Test source: git
Source: <stdin> ---------------------------------------- define * @test1(* %b, * %e) { %0: %e_ptr = ptrtoint * %e to i64 %b_ptr = ptrtoint * %b to i64 %sub = sub i64 %e_ptr, %b_ptr %sdiv = sdiv exact i64 %sub, 7 %gep = gep inbounds * %b, 7 x i64 %sdiv ret * %gep } => define * @test1(* %b, * %e) { %0: ret * %e } Transformation doesn't verify! ERROR: Value mismatch Example: * %b = pointer(non-local, block_id=1, offset=2882303761518166016) * %e = pointer(non-local, block_id=0, offset=4611686018428305408) Source: i64 %e_ptr = #x40000000000e0000 (4611686018428305408) i64 %b_ptr = #x38000000000f8001 (4035225266124980225) i64 %sub = #x07fffffffffe7fff (576460752303325183) i64 %sdiv = #x0124924924921249 (82351536043332169) * %gep = pointer(non-local, block_id=1, offset=3458764513821491199) SOURCE MEMORY STATE =================== NON-LOCAL BLOCKS: Block 0 > size: 0 align: 64 alloc type: 0 address: 0 Block 1 > size: 4611686018427387930 align: 4 alloc type: 0 address: 1152921504606814209 Block 2 > size: 74344962757642516 align: 1 alloc type: 0 address: 318966124467191808 Target: Source value: pointer(non-local, block_id=1, offset=3458764513821491199) Target value: pointer(non-local, block_id=0, offset=4611686018428305408) ------------------- SMT STATS ------------------- Num queries: 2 Num invalid: 0 Num skips: 0 Num trivial: 3 (60.0%) Num timeout: 0 (0.0%) Num errors: 0 (0.0%) Num SAT: 2 (100.0%) Num UNSAT: 0 (0.0%)
+ : 'RUN: at line 2' + /home/nlopes/llvm/build/bin/FileCheck /home/nlopes/llvm/llvm/test/Transforms/InstSimplify/gep.ll + /home/nlopes/alive2/scripts/opt-alive.sh -S -instsimplify Alive2: Transform doesn't verify; aborting! FileCheck error: '<stdin>' is empty. FileCheck command line: /home/nlopes/llvm/build/bin/FileCheck /home/nlopes/llvm/llvm/test/Transforms/InstSimplify/gep.ll