Closed Bug 674664 Opened 10 years ago Closed 10 years ago
Monkey: Assertion failure: def->virtual Register() < graph .num Virtual Registers(), at Greedy Allocator .cpp:58
Attached test case asserts on x86 debug builds.
This one triggers the (I suspect) related assertion: Assertion failure: use->virtualRegister() < graph.numVirtualRegisters(), at GreedyAllocator.h:296
Situation: a predecessor is merging the state of its left and right successors. The left side has R0=Def1, and the right side has R1=Def1. We accidentally ignored this case and Def1 became assigned to both R0 and R1. As a fix I inserted a move in the right-hand block from R0 -> R1.
Assignee: general → dvander
Status: NEW → ASSIGNED
Attachment #550867 - Flags: review?(adrake)
Attachment #550867 - Flags: review?(adrake) → review+
I found another test case that broke this, turns out I missed a case.
Attachment #550938 - Flags: review?(adrake) → review+
Status: ASSIGNED → RESOLVED
Closed: 10 years ago
Resolution: --- → FIXED
You need to log in before you can comment on or make changes to this bug.