Test source: git
Source: <stdin> ---------------------------------------- define * @test_split_branch_phi(* %ptrarg, i32 %i) { %Header: %tobool = icmp ne * %ptrarg, null br i1 %tobool, label %TBB, label %CallSite %TBB: %arrayidx = gep inbounds * %ptrarg, 4 x i64 42 %0 = load i32, * %arrayidx, align 4 %tobool1 = icmp ne i32 %0, 0 br i1 %tobool1, label %CallSite, label %End %CallSite: %somepointer = gep * %ptrarg, 4 x i64 18 call void @bar(* %ptrarg, i32 %i) br label %End %End: %somepointerphi = phi * [ %somepointer, %CallSite ], [ null, %TBB ] ret * %somepointerphi } => define * @test_split_branch_phi(* %ptrarg, i32 %i) { %Header: %tobool = icmp ne * %ptrarg, null br i1 %tobool, label %TBB, label %Header.split %Header.split: %somepointer1 = gep * %ptrarg, 4 x i64 18 call void @bar(* null, i32 %i) br label %CallSite %TBB: %arrayidx = gep inbounds * %ptrarg, 4 x i64 42 %0 = load i32, * %arrayidx, align 4 %tobool1 = icmp ne i32 %0, 0 br i1 %tobool1, label %TBB.split, label %End %TBB.split: %somepointer2 = gep * %ptrarg, 4 x i64 18 call void @bar(nonnull * %ptrarg, i32 %i) br label %CallSite %CallSite: %1 = phi * [ %somepointer1, %Header.split ], [ %somepointer2, %TBB.split ] br label %End %End: %somepointerphi = phi * [ %1, %CallSite ], [ null, %TBB ] ret * %somepointerphi } Transformation doesn't verify! ERROR: Source is more defined than target Example: * %ptrarg = pointer(non-local, block_id=1, offset=84) i32 %i = poison Source: i1 %tobool = #x0 (0) * %arrayidx = poison i32 %0 = poison i1 %tobool1 = poison * %somepointer = pointer(non-local, block_id=1, offset=156) * %somepointerphi = pointer(non-local, block_id=1, offset=156) SOURCE MEMORY STATE =================== NON-LOCAL BLOCKS: Block 0 > size: 0 align: 1 alloc type: 0 address: 0 Block 1 > size: 0 align: 33554432 alloc type: 0 address: 4012 Block 2 > align: 1 alloc type: 0 Target: i1 %tobool = #x0 (0) * %somepointer1 = pointer(non-local, block_id=1, offset=156) * %arrayidx = poison i32 %0 = poison i1 %tobool1 = poison * %somepointer2 = pointer(non-local, block_id=1, offset=156) * %1 = pointer(non-local, block_id=1, offset=156) * %somepointerphi = pointer(non-local, block_id=1, offset=156) ------------------- SMT STATS ------------------- Num queries: 5 Num invalid: 0 Num skips: 0 Num trivial: 9 (64.3%) Num timeout: 0 (0.0%) Num errors: 0 (0.0%) Num SAT: 5 (100.0%) Num UNSAT: 0 (0.0%) Alive2: Transform doesn't verify; aborting!
+ : 'RUN: at line 1' + /home/nlopes/alive2/build/opt-alive.sh -S -callsite-splitting + /home/nlopes/llvm/build/bin/FileCheck --check-prefix=CHECK /home/nlopes/llvm/llvm/test/Transforms/CallSiteSplitting/callsite-instructions-before-call.ll FileCheck error: '<stdin>' is empty. FileCheck command line: /home/nlopes/llvm/build/bin/FileCheck --check-prefix=CHECK /home/nlopes/llvm/llvm/test/Transforms/CallSiteSplitting/callsite-instructions-before-call.ll