Test source: git
Source: <stdin> ---------------------------------------- define i32 @test_simple(* %a, i32 %v, i32 %p) { %Header: br i1 undef, label %Tail, label %End %End: ret i32 %v %Tail: %r = call i32 @callee(* %a, i32 %v, i32 %p) ret i32 %r } => define i32 @test_simple(* %a, i32 %v, i32 %p) { %Header: br i1 undef, label %Header.split, label %End %End: ret i32 %v %Header.split: %r1 = call i32 @callee(* %a, i32 %v, i32 %p) br label %Tail %Tail: %phi.call = phi i32 [ %r1, %Header.split ] ret i32 %phi.call } Transformation seems to be correct! ---------------------------------------- define i32 @test_eq_eq_eq_untaken2(* %a, i32 %v, i32 %p) { %Header: %tobool1 = icmp eq * %a, null br i1 %tobool1, label %TBB1, label %Tail %TBB1: %cmp1 = icmp eq i32 %v, 1 br i1 %cmp1, label %TBB2, label %End %TBB2: %cmp2 = icmp eq i32 %p, 99 br i1 %cmp2, label %Tail, label %End %Tail: %r = call i32 @callee(* %a, i32 %v, i32 %p) ret i32 %r %End: ret i32 %v } => define i32 @test_eq_eq_eq_untaken2(* %a, i32 %v, i32 %p) { %Header: %tobool1 = icmp eq * %a, null br i1 %tobool1, label %TBB1, label %Header.split %Header.split: %r1 = call i32 @callee(nonnull * %a, i32 %v, i32 %p) br label %Tail %TBB1: %cmp1 = icmp eq i32 %v, 1 br i1 %cmp1, label %TBB2, label %End %TBB2: %cmp2 = icmp eq i32 %p, 99 br i1 %cmp2, label %TBB2.split, label %End %TBB2.split: %r2 = call i32 @callee(* null, i32 1, i32 99) br label %Tail %Tail: %phi.call = phi i32 [ %r1, %Header.split ], [ %r2, %TBB2.split ] ret i32 %phi.call %End: ret i32 %v } Transformation doesn't verify! ERROR: Source is more defined than target Example: * %a = pointer(non-local, block_id=1, offset=-4) i32 %v = #x00000001 (1) i32 %p = #x00000063 (99) Source: i1 %tobool1 = #x1 (1) i1 %cmp1 = #x1 (1) i1 %cmp2 = #x1 (1) i32 %r = poison SOURCE MEMORY STATE =================== NON-LOCAL BLOCKS: Block 0 > size: 0 align: 1 alloc type: 0 address: 0 Block 1 > size: 8 align: 2 alloc type: 0 address: 4 Block 2 > size: 0 align: 1 alloc type: 0 Target: i1 %tobool1 = #x1 (1) i32 %r1 = poison i1 %cmp1 = #x1 (1) i1 %cmp2 = #x1 (1) i32 %r2 = poison i32 %phi.call = poison ------------------- SMT STATS ------------------- Num queries: 7 Num invalid: 0 Num skips: 0 Num trivial: 15 (68.2%) Num timeout: 0 (0.0%) Num errors: 0 (0.0%) Num SAT: 7 (100.0%) Num UNSAT: 0 (0.0%) Alive2: Transform doesn't verify; aborting!
+ : 'RUN: at line 1' + /home/nlopes/alive2/build/opt-alive.sh -callsite-splitting -S + /home/nlopes/llvm/build/bin/FileCheck /home/nlopes/llvm/llvm/test/Transforms/CallSiteSplitting/callsite-no-or-structure.ll FileCheck error: '<stdin>' is empty. FileCheck command line: /home/nlopes/llvm/build/bin/FileCheck /home/nlopes/llvm/llvm/test/Transforms/CallSiteSplitting/callsite-no-or-structure.ll