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=4035225266123964416) * %e = pointer(non-local, block_id=0, offset=4035234062217007680) Source: i64 %e_ptr = #x3800080000005240 (4035234062217007680) i64 %b_ptr = #x3800080000000000 (4035234062216986624) i64 %sub = #x0000000000005240 (21056) i64 %sdiv = #x0000000000000bc0 (3008) * %gep = pointer(non-local, block_id=1, offset=4035225266123985472) SOURCE MEMORY STATE =================== NON-LOCAL BLOCKS: Block 0 > size: 0 align: 64 alloc type: 0 address: 0 Block 1 > size: 4612099434814146595 align: 2 alloc type: 0 address: 8796093022208 Block 2 > size: 162185065147663361 align: 2 alloc type: 0 address: 4612248968380809216 Target: Source value: pointer(non-local, block_id=1, offset=4035225266123985472) Target value: pointer(non-local, block_id=0, offset=4035234062217007680) ------------------- 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/alive2/scripts/opt-alive.sh -S -instsimplify + /home/nlopes/llvm/build/bin/FileCheck /home/nlopes/llvm/llvm/test/Transforms/InstSimplify/gep.ll 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