diff options
author | John Hawthorn <john@hawthorn.email> | 2022-08-04 10:12:25 -0700 |
---|---|---|
committer | Takashi Kokubun <takashikkbn@gmail.com> | 2022-08-29 08:47:06 -0700 |
commit | 24ddc07d6ee02620b8be7b4defd903897bb97845 (patch) | |
tree | 078af9b2f901bcfeb9c47f069335865140050a33 /yjit/src/backend/ir.rs | |
parent | fe172aac0465160ec5a02c687ab1dc6ade2c090a (diff) | |
download | ruby-24ddc07d6ee02620b8be7b4defd903897bb97845.tar.gz |
Fix live_ranges idx calculation (https://github.com/Shopify/ruby/pull/353)
forward_pass adjusts the indexes of our opnds to reflect the new
instructions as they are generated in the forward pass. However, we were
using the old live_ranges array, for which the new indexes are
incorrect.
This caused us to previously generate an IR which contained unnecessary
trivial load instructions (ex. mov rax, rax), because it was looking at
the wrong lifespans. Presumably this could also cause bugs because the
lifespan of the incorrectly considered operand idx could be short.
We've added an assert which would have failed on the previous trivial
case (but not necessarily all cases).
Co-authored-by: Matthew Draper <matthew@trebex.net>
Diffstat (limited to 'yjit/src/backend/ir.rs')
-rw-r--r-- | yjit/src/backend/ir.rs | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/yjit/src/backend/ir.rs b/yjit/src/backend/ir.rs index 41842c9704..066e9dd4ce 100644 --- a/yjit/src/backend/ir.rs +++ b/yjit/src/backend/ir.rs @@ -567,7 +567,7 @@ impl Assembler /// Transform input instructions, consumes the input assembler pub(super) fn forward_pass<F>(mut self, mut map_insn: F) -> Assembler - where F: FnMut(&mut Assembler, usize, Op, Vec<Opnd>, Option<Target>, Option<String>, Option<PosMarkerFn>) + where F: FnMut(&mut Assembler, usize, Op, Vec<Opnd>, Option<Target>, Option<String>, Option<PosMarkerFn>, Vec<Opnd>) { let mut asm = Assembler { insns: Vec::default(), @@ -594,6 +594,7 @@ impl Assembler } for (index, insn) in self.insns.drain(..).enumerate() { + let original_opnds = insn.opnds.clone(); let opnds: Vec<Opnd> = insn.opnds.into_iter().map(|opnd| map_opnd(opnd, &mut indices)).collect(); // For each instruction, either handle it here or allow the map_insn @@ -603,7 +604,7 @@ impl Assembler asm.comment(insn.text.unwrap().as_str()); }, _ => { - map_insn(&mut asm, index, insn.op, opnds, insn.target, insn.text, insn.pos_marker); + map_insn(&mut asm, index, insn.op, opnds, insn.target, insn.text, insn.pos_marker, original_opnds); } }; @@ -664,7 +665,7 @@ impl Assembler let live_ranges: Vec<usize> = std::mem::take(&mut self.live_ranges); - let asm = self.forward_pass(|asm, index, op, opnds, target, text, pos_marker| { + let asm = self.forward_pass(|asm, index, op, opnds, target, text, pos_marker, original_insns| { // Check if this is the last instruction that uses an operand that // spans more than one instruction. In that case, return the // allocated register to the pool. |