search for: definesdead

...g(Reg, TRI); The instruction I being analyzed is: %BX<def> = MOV16rm %EDI, 2, %ECX, 0, %noreg; mem:LD2[%arrayidx98](tbaa=!18) and the Reg being passed in is 21, which is EBX. The result I get back for is: Analysis: {Clobbers = true, Defines = true, Reads = false, ReadsOverlap = false, DefinesDead = false, Kills = false} It seems based on the comment in the definition of PhysRegInfo.Defines, that Defines should only be true if Reg or a super-register of Reg is defined. BX is not a super-register of EBX, so it seemed like Defines should be false here, while Clobbers is correct as true. I w...

...BX<def> = MOV16rm %EDI, 2, %ECX, 0, %noreg; >mem:LD2[%arrayidx98](tbaa=!18) >> >> and the Reg being passed in is 21, which is EBX. The result I get back for >is: >> >> Analysis: {Clobbers = true, Defines = true, Reads = false, ReadsOverlap = >false, >> DefinesDead = false, Kills = false} >> >> It seems based on the comment in the definition of PhysRegInfo.Defines, >that Defines should only be true if Reg or a super-register of Reg is >> defined. BX is not a super-register of EBX, so it seemed like Defines >should be false here, while...

...D2[%arrayidx98](tbaa=!18) >>>> >>>> and the Reg being passed in is 21, which is EBX. The result I get back for >>> is: >>>> >>>> Analysis: {Clobbers = true, Defines = true, Reads = false, ReadsOverlap = >>> false, >>>> DefinesDead = false, Kills = false} >>>> >>>> It seems based on the comment in the definition of PhysRegInfo.Defines, >>> that Defines should only be true if Reg or a super-register of Reg is >>>> defined. BX is not a super-register of EBX, so it seemed like Defin...

...mem:LD2[%arrayidx98](tbaa=!18) >> >> >> and the Reg being passed in is 21, which is EBX. The result I get back for >> >> is: >> >> >> Analysis: {Clobbers = true, Defines = true, Reads = false, ReadsOverlap = >> >> false, >> >> DefinesDead = false, Kills = false} >> >> It seems based on the comment in the definition of PhysRegInfo.Defines, >> >> that Defines should only be true if Reg or a super-register of Reg is >> >> defined. BX is not a super-register of EBX, so it seemed like Defines >>...