search for: readsoverlap

...perands(I).analyzePhysReg(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 i...

...ion 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 Defi...

...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 n...

...gt; = 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...