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

[Duncan Sands]

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.