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=503341854666784768) * %e = pointer(non-local, block_id=2, offset=41704637073442560) Source: i64 %e_ptr = #x00b74536993bff80 (51586021539446656) i64 %b_ptr = #x07b01ebcd9400000 (553976550614106112) i64 %sub = #xf9072679bffbff80 (17944353544634892160, -502390529074659456) i64 %sdiv = #xff01057f1b6d2480 (18374973998127457408, -71770075582094208) * %gep = pointer(non-local, block_id=1, offset=951325592125312) SOURCE MEMORY STATE =================== NON-LOCAL BLOCKS: Block 0 > size: 0 align: 1 alloc type: 0 address: 0 Block 1 > size: 4719773720032121356 align: 2 alloc type: 0 address: 50634695947321344 Block 2 > size: 40536710488048399 align: 2 alloc type: 0 address: 9881384466004096 Target: Source value: pointer(non-local, block_id=1, offset=951325592125312) Target value: pointer(non-local, block_id=2, offset=41704637073442560) ------------------- 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