Ryan Taylor
2015-Apr-20 20:00 UTC
[LLVMdev] Why are imm shifts where imm >= width type eliminated entirely?
For example: unsigned int x, y; void foo() { y = x >> 129; } Where int is a 16bit type, the .ll is producing only 'ret void' at O3. At O0 the .ll looks fine but then llc gets rid of it an simply returns. I'm just curious what the reasoning is for this? It isn't trying to set y to anything at all. Thanks. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20150420/1b8b96e8/attachment.html>
Stephen Canon
2015-Apr-20 20:04 UTC
[LLVMdev] Why are imm shifts where imm >= width type eliminated entirely?
> On Apr 20, 2015, at 4:00 PM, Ryan Taylor <ryta1203 at gmail.com> wrote: > > For example: > > unsigned int x, y; > > void foo() > { > y = x >> 129; > } > > Where int is a 16bit type, the .ll is producing only 'ret void' at O3. At O0 the .ll looks fine but then llc gets rid of it an simply returns. > > I'm just curious what the reasoning is for this? It isn't trying to set y to anything at all. > > Thanks.Shifts amounts equal to or larger than the width of the promoted type being shifted are undefined behavior. – Steve
David Majnemer
2015-Apr-20 20:11 UTC
[LLVMdev] Why are imm shifts where imm >= width type eliminated entirely?
On Mon, Apr 20, 2015 at 1:00 PM, Ryan Taylor <ryta1203 at gmail.com> wrote:> For example: > > unsigned int x, y; > > void foo() > { > y = x >> 129; > } > > Where int is a 16bit type, the .ll is producing only 'ret void' at O3. At > O0 the .ll looks fine but then llc gets rid of it an simply returns. > > I'm just curious what the reasoning is for this? It isn't trying to set y > to anything at all. >The optimization is performed here: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Analysis/InstructionSimplify.cpp?revision=233938&view=markup#l1278 What will happen is: %shr = lshr i16, %x, 129 store i16 %shr, i16* @y will get transformed into: store i16 undef, i16* @y Then we will delete the store of undef using the following: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/InstCombine/InstCombineLoadStoreAlloca.cpp?revision=234601&view=markup#l978> Thanks. > > _______________________________________________ > LLVM Developers mailing list > LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu > http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev > >-------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20150420/0460147b/attachment.html>
Ryan Taylor
2015-Apr-20 20:19 UTC
[LLVMdev] Why are imm shifts where imm >= width type eliminated entirely?
Ok, this makes sense. So, my follow up is then why, as in Mips, R600, etc... the bit value is checked in the tablegen. Seems that we should expect it to fit anyways if it still exists at this point? I'm having a hard time trying to get shl to take a PatLeaf for Imm instead of an ImmLeaf. On Mon, Apr 20, 2015 at 4:11 PM, David Majnemer <david.majnemer at gmail.com> wrote:> > > On Mon, Apr 20, 2015 at 1:00 PM, Ryan Taylor <ryta1203 at gmail.com> wrote: > >> For example: >> >> unsigned int x, y; >> >> void foo() >> { >> y = x >> 129; >> } >> >> Where int is a 16bit type, the .ll is producing only 'ret void' at O3. At >> O0 the .ll looks fine but then llc gets rid of it an simply returns. >> >> I'm just curious what the reasoning is for this? It isn't trying to set y >> to anything at all. >> > > The optimization is performed here: > http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Analysis/InstructionSimplify.cpp?revision=233938&view=markup#l1278 > > What will happen is: > %shr = lshr i16, %x, 129 > store i16 %shr, i16* @y > > will get transformed into: > store i16 undef, i16* @y > > Then we will delete the store of undef using the following: > http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/InstCombine/InstCombineLoadStoreAlloca.cpp?revision=234601&view=markup#l978 > > >> Thanks. >> >> _______________________________________________ >> LLVM Developers mailing list >> LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu >> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev >> >> >-------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20150420/b85874a1/attachment.html>
Seemingly Similar Threads
- [LLVMdev] Why are imm shifts where imm >= width type eliminated entirely?
- [LLVMdev] Why are imm shifts where imm >= width type eliminated entirely?
- [LLVMdev] Why are imm shifts where imm >= width type eliminated entirely?
- [LLVMdev] ConstantFolding code owner nomination
- Hitting assertion failure related to vectorization + instcombine