Test Failure: Transforms/CallSiteSplitting/callsite-no-or-structure.ll

Test source: git

Log:

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=-8)
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: 4	align: 2	alloc type: 0	address: 8
Block 2 >	size: 0	align: 2	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!

stderr:

+ : '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

<-- Back