Test source: git
Source: <stdin> ERROR: Unsupported type: <vscale x 4 x i32*> ERROR: Unsupported type: <vscale x 4 x float*> ERROR: Unsupported type: <vscale x 2 x i64*> ---------------------------------------- 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: Timeout ---------------------------------------- define * @test2(* %b, * %e) { %0: %e_ptr = ptrtoint * %e to i64 %b_ptr = ptrtoint * %b to i64 %sub = sub i64 %e_ptr, %b_ptr %gep = gep inbounds * %b, 1 x i64 %sub ret * %gep } => define * @test2(* %b, * %e) { %0: ret * %e } Transformation doesn't verify! ERROR: Value mismatch Example: * %b = pointer(non-local, block_id=1, offset=1118018607494725632) * %e = pointer(non-local, block_id=0, offset=9007199263129600) Source: i64 %e_ptr = #x0020000000800000 (9007199263129600) i64 %b_ptr = #x0fa4000000000000 (1127025806749466624) i64 %sub = #xf07c000000800000 (17328725466223214592, -1118018607486337024) * %gep = pointer(non-local, block_id=1, offset=8388608) SOURCE MEMORY STATE =================== NON-LOCAL BLOCKS: Block 0 > size: 0 align: 1 alloc type: 0 address: 0 Block 1 > size: 1152923256918769859 align: 2 alloc type: 0 address: 9007199254740992 Block 2 > size: 5770025916482880713 align: 65536 alloc type: 0 address: 1306607391798059696 Target: Source value: pointer(non-local, block_id=1, offset=8388608) Target value: pointer(non-local, block_id=0, offset=9007199263129600) ------------------- SMT STATS ------------------- Num queries: 7 Num invalid: 0 Num skips: 0 Num trivial: 4 (36.4%) Num timeout: 1 (14.3%) Num errors: 0 (0.0%) Num SAT: 3 (42.9%) Num UNSAT: 3 (42.9%)
+ : 'RUN: at line 2' + /home/nlopes/alive2/build/opt-alive.sh -S -instsimplify + /home/nlopes/llvm/build/bin/FileCheck --allow-unused-prefixes=false /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 --allow-unused-prefixes=false /home/nlopes/llvm/llvm/test/Transforms/InstSimplify/gep.ll