forked from OSchip/llvm-project
13a80eaceb
We used to be over-conservative about preserving inbounds. Actually, the second
GEP (which applies the constant offset) can inherit the inbounds attribute of
the original GEP, because the resultant pointer is equivalent to that of the
original GEP. For example,
x = GEP inbounds a, i+5
=>
y = GEP a, i // inbounds removed
x = GEP inbounds y, 5 // inbounds preserved
llvm-svn: 244937
|
||
|---|---|---|
| .. | ||
| lit.local.cfg | ||
| pr23975.ll | ||
| reassociate-geps-and-slsr-addrspace.ll | ||