[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
[omr-dev] Codegen question
|
Hi,
I am trying to debug what appears to be incorrect code gen.
The code being compiled is something very simple:
int not(int v) {return ~v; }
The output from trace log is:
0x00007FF406D70034 00000000 [0x000001BBE7664110]
ProcEntry ; PROCENTRY
0x00007FF406D70034 00000000 [0x000001BBE7666870] 48 83 ec 10
sub rsp, 0x00000010 ; SUB8RegImms
0x00007FF406D70038 00000004 [0x000001BBE76667F0]
vfpSave ; AdjustFramePtr
0x00007FF406D70038 00000004 [0x000001BBE7664670]
assocRegs ; ASSOCREGS
0x00007FF406D70038 00000004 [0x000001BBE7664430]
Label L0016: ; LABEL
0x00007FF406D70038 00000004 [0x000001BBE7665DD0] 48 8b c1
mov rax, rcx ; MOV8RegReg
========================================
0x00007FF406D7003B 00000007 [0x000001BBE76646E0]
Fence Relative [ 0x000001BBE75E63E0 ] ; FENCE BBStart
<block_2> (frequency 10000)
0x00007FF406D7003B 00000007 [0x000001BBE7664AC0] 89 44 24 08
mov dword ptr [rsp+0x8], eax ; S4MemReg, SymRef
<array-shadow>[#480 Auto +8] [flags 0x6001000e 0x0 ]
0x00007FF406D7003F 0000000b [0x000001BBE7664E20] f7 d0
not eax ; NOT4Reg
0x00007FF406D70041 0000000d [0x000001BBE7664F30] 89 04 24
mov dword ptr [rsp], eax ; S4MemReg, SymRef
<array-shadow>[#480 Auto] [flags 0x6001000e 0x0 ]
0x00007FF406D70044 00000010 [0x000001BBE7665440]
assocRegs ; ASSOCREGS
0x00007FF406D70044 00000010 [0x000001BBE76668F0] 48 83 c4 10
add rsp, 0x00000010 ; ADD8RegImms
0x00007FF406D70048 00000014 [0x000001BBE7665220] c3
ret
I do not understand above - I am expecting that the parameter being
passed will be accessed via register RDI/EDI (first arg). But I don't
see that ... and this code when executed doesn't give the right
results.
The IL is:
n2n BBStart <block_2>
[0x000001BBE75C3900] bci=[-1,0,-] rc=0 vc=0
vn=- li=- udi=- nc=0
n9n istorei <array-shadow>[#480 Shadow] [flags 0x80000603 0x0
] [0x000001BBE75C3AC0] bci=[-1,0,-] rc=0 vc=0
vn=- li=- udi=- nc=2
n8n aladd
[0x000001BBE75C3A80] bci=[-1,0,-] rc=1 vc=0
vn=- li=- udi=- nc=2
n5n loadaddr <temp slot 3>[#592 Auto] [flags 0x6001000e
0x0 ] [0x000001BBE75C39C0] bci=[-1,0,-] rc=1 vc=0
vn=- li=- udi=- nc=0
n7n lconst 0
[0x000001BBE75C3A40] bci=[-1,0,-] rc=1 vc=0
vn=- li=- udi=- nc=0
n6n iload Parm 0<parm 0 I>[#590 Parm] [flags 0x40000103 0x0
] [0x000001BBE75C3A00] bci=[-1,0,-] rc=1 vc=0
vn=- li=- udi=- nc=0
n19n istorei <array-shadow>[#480 Shadow] [flags 0x80000603 0x0
] [0x000001BBE75C3D40] bci=[-1,0,-] rc=0 vc=0
vn=- li=- udi=- nc=2
n18n aladd
[0x000001BBE75C3D00] bci=[-1,0,-] rc=1 vc=0
vn=- li=- udi=- nc=2
n17n loadaddr <temp slot 2>[#591 Auto] [flags 0x6001000e
0x0 ] [0x000001BBE75C3CC0] bci=[-1,0,-] rc=1 vc=0
vn=- li=- udi=- nc=0
n16n lconst 0
[0x000001BBE75C3C80] bci=[-1,0,-] rc=1 vc=0
vn=- li=- udi=- nc=0
n15n ixor
[0x000001BBE75C3C40] bci=[-1,0,-] rc=1 vc=0
vn=- li=- udi=- nc=2
n13n iloadi <array-shadow>[#480 Shadow] [flags 0x80000603
0x0 ] [0x000001BBE75C3BC0] bci=[-1,0,-] rc=1 vc=0
vn=- li=- udi=- nc=1
n12n aladd
[0x000001BBE75C3B80] bci=[-1,0,-] rc=1 vc=0
vn=- li=- udi=- nc=2
n10n loadaddr <temp slot 3>[#592 Auto] [flags
0x6001000e 0x0 ] [0x000001BBE75C3B00] bci=[-1,0,-]
rc=1 vc=0 vn=- li=- udi=- nc=0
n11n lconst 0
[0x000001BBE75C3B40] bci=[-1,0,-] rc=1 vc=0
vn=- li=- udi=- nc=0
n14n iconst -1
[0x000001BBE75C3C00] bci=[-1,0,-] rc=1 vc=0
vn=- li=- udi=- nc=0
n20n goto --> block_3 BBStart at n4n
[0x000001BBE75C3D80] bci=[-1,0,-] rc=0 vc=0
vn=- li=- udi=- nc=0
n1n BBEnd </block_2> =====
[0x000001BBE75C38C0] bci=[-1,0,-] rc=0 vc=0
vn=- li=- udi=- nc=0
n4n BBStart <block_3>
[0x000001BBE75C3980] bci=[-1,0,-] rc=0 vc=0
vn=- li=- udi=- nc=0
n25n ireturn
[0x000001BBE75C3EC0] bci=[-1,0,-] rc=0 vc=0
vn=- li=- udi=- nc=1
n24n iloadi <array-shadow>[#480 Shadow] [flags 0x80000603 0x0
] [0x000001BBE75C3E80] bci=[-1,0,-] rc=1 vc=0
vn=- li=- udi=- nc=1
n23n aladd
[0x000001BBE75C3E40] bci=[-1,0,-] rc=1 vc=0
vn=- li=- udi=- nc=2
n22n loadaddr <temp slot 2>[#591 Auto] [flags 0x6001000e
0x0 ] [0x000001BBE75C3E00] bci=[-1,0,-] rc=1 vc=0
vn=- li=- udi=- nc=0
n21n lconst 0
[0x000001BBE75C3DC0] bci=[-1,0,-] rc=1 vc=0
vn=- li=- udi=- nc=0
n3n BBEnd </block_3>
[0x000001BBE75C3940] bci=[-1,0,-] rc=0 vc=0
vn=- li=- udi=- nc=0
I must be doing something wrong but I can't see what...
Regards
Dibyendu