[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
Re: [omr-dev] Codegen question
|
I think (I am not sure) that the problem might be related to the same
array show being used to reference two different symbols?
I am using :
TR::SymbolReference *symRef =
injector->symRefTab()->findOrCreateArrayShadowSymbolRef(type, base);
On 23 June 2018 at 16:22, Dibyendu Majumdar <mobile@xxxxxxxxxxxxxxx> wrote:
> 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