[llvm-commits] [llvm] r150978 - /llvm/trunk/lib/Transforms/InstCombine/InstCombineCompares.cpp

Duncan Sands baldrick at free.fr
Tue Feb 21 00:10:42 PST 2012


Hi Benjamin,

> InstCombine: Removing the base from the address calculation is only safe when the GEPs are inbounds.

since GEP is implicitly a signed computation, isn't this only true for signed
comparisons?  I.e. mightn't an inbounds GEP overflow when viewed as an unsigned
computation, leading to wrongness for unsigned comparisons?

Ciao, Duncan.



More information about the llvm-commits mailing list