Test Failure: Transforms/OpenMP/deduplication.ll

Test source: git

Log:

Source: <stdin>

----------------------------------------
@0 = constant 24 bytes, align 8
@.str0 = constant 23 bytes, align 1

define void @external(i1 %c) {
#init:
  store [23 x i8] { 59, 117, 110, 107, 110, 111, 119, 110, 59, 117, 110, 107, 110, 111, 119, 110, 59, 48, 59, 48, 59, 59, 0 }, * @.str0, align 1
  br label %entry

%entry:
  br i1 %c, label %t, label %e

%e:
  %c1 = call i32 @__kmpc_global_thread_num(nonnull * @0)
  call void @internal(i32 %c1, i32 %c1)
  call void @useI32(i32 %c1)
  br label %m

%t:
  %c0 = call i32 @__kmpc_global_thread_num(nonnull * @0)
  call void @internal(i32 %c0, i32 %c0)
  call void @useI32(i32 %c0)
  br label %m

%m:
  %c2 = call i32 @__kmpc_global_thread_num(nonnull * @0)
  call void @internal(i32 0, i32 %c2)
  call void @useI32(i32 %c2)
  ret void
}
=>
@0 = constant 24 bytes, align 8
@.str0 = constant 23 bytes, align 1

define void @external(i1 %c) {
#init:
  store [23 x i8] { 59, 117, 110, 107, 110, 111, 119, 110, 59, 117, 110, 107, 110, 111, 119, 110, 59, 48, 59, 48, 59, 59, 0 }, * @.str0, align 1
  br label %entry

%entry:
  %c2 = call i32 @__kmpc_global_thread_num(nonnull * @0)
  br i1 %c, label %t, label %e

%e:
  call void @internal(i32 %c2, i32 %c2)
  call void @useI32(i32 %c2)
  br label %m

%t:
  call void @internal(i32 %c2, i32 %c2)
  call void @useI32(i32 %c2)
  br label %m

%m:
  call void @internal(i32 0, i32 %c2)
  call void @useI32(i32 %c2)
  ret void
}
Transformation doesn't verify!
ERROR: Source is more defined than target

Example:
i1 %c = any

Source:
i32 %c1 = poison
i32 %c0 = poison
i32 %c2 = poison

SOURCE MEMORY STATE
===================
NON-LOCAL BLOCKS:
Block 0 >	size: 0	align: 1	alloc type: 0
Block 1 >	size: 24	align: 8	alloc type: 0
Block 2 >	size: 23	align: 1	alloc type: 0
Block 3 >	size: 24	align: 2	alloc type: 0

Target:
i32 %c2 = poison



------------------- SMT STATS -------------------
Num queries: 7
Num invalid: 0
Num skips:   0
Num trivial: 1 (12.5%)
Num timeout: 0 (0.0%)
Num errors:  0 (0.0%)
Num SAT:     6 (85.7%)
Num UNSAT:   1 (14.3%)
Alive2: Transform doesn't verify; aborting!

stderr:

+ : 'RUN: at line 2'
+ /home/nlopes/alive2/build/opt-alive.sh -openmp-opt-cgscc -S
+ /home/nlopes/llvm/build/bin/FileCheck /home/nlopes/llvm/llvm/test/Transforms/OpenMP/deduplication.ll

FileCheck error: '<stdin>' is empty.
FileCheck command line:  /home/nlopes/llvm/build/bin/FileCheck /home/nlopes/llvm/llvm/test/Transforms/OpenMP/deduplication.ll

<-- Back