[HARMONY-6027] [drlvm][jit] An incorrect register assignment in graph coloring register allocation

• Type: Bug
• Status: Open
• Priority: Major
• Resolution: Unresolved
• Component/s: DRLVM
• Environment: IA32 Windows
• Assignee: Chunrong Lai
• Reporter: Xiaoming Gu
• Created: 24/Nov/08 09:01
• Updated: 16/Dec/08 07:18

Description

When running crypto.rsa with early_prop bypassed, a run-time bug happens because of the following code for spec/benchmarks/crypto/rsa/Main.runMultiEncryptDecrypt().

with early_prop
0230D094 I140: MOVSX t166(ESI):I_32,s164(EBX):I_32

without early_prop
0230D0B4 I663: MOV t165(DH):I_8,s164(EBX):I_32
0230D0B6 I140: MOVSX t166(ESI):I_32,t165(DH):I_8

After checking all the code in runMultiEncryptDecrypt(), I find EDX is defined and used several time in this method. With the control flow graph, I think the bug comes from that EDX is changed uncarefully for the above modification on DH.

This bug is similar to H6016 from the view of early_prop. (https://issues.apache.org/jira/browse/HARMONY-6016) But they trig different bugs.

Issue Links

• incorporates: HARMONY-6016 [drlvm][jit] An interprocedural register interference caused by incorrect register mask interpretation
• incorporates: HARMONY-6023 [drlvm][jit] Illegal CDQ deletion in int64 lowerer
• incorporates: HARMONY-6024 [drlvm][jit] Incorrect generated instruction in peephole opt for MOV