projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f085a9d) | patch
[BasicAA] Add test showing 32 bit overflow issue for GEPs.
authorFlorian Hahn <flo@fhahn.com>
Fri, 1 Oct 2021 10:25:16 +0000 (11:25 +0100)
committerFlorian Hahn <flo@fhahn.com>
Fri, 1 Oct 2021 10:37:56 +0000 (11:37 +0100)
commit413b7ac6b535dfb4c57c2842388a2071901b9d56
tree96cfa673e2f267bef42d5538127ea614c20c687btree | snapshot
parentf085a9db8b8d408d08adcba8e283e637a0116622commit | diff
[BasicAA] Add test showing 32 bit overflow issue for GEPs.

This patch additional tests with i64 GEP indices for 32 bit pointers.
@mustalias_overflow_in_32_bit_add_mul_gep highlights a case where
BasicAA currently incorrectly determines noalias.

Modeled in Alive2 for 32 bit pointers: https://alive2.llvm.org/ce/z/HHjQgb
Modeled in Alive2 for 64 bit pointers: https://alive2.llvm.org/ce/z/DoWK2c
llvm/test/Analysis/BasicAA/gep-implicit-trunc-32-bit-pointers.ll [new file with mode: 0644] blob
Domain: System / Toolchain;