Test source: git
Source: <stdin> ---------------------------------------- define <2 x i4> @vector(<2 x i4> %x, <2 x i4> %y, <2 x i4> %m) { %0: %im = xor <2 x i4> %m, { 15, 15 } %n0 = xor <2 x i4> %x, %y %n1 = and <2 x i4> %n0, %im %r = xor <2 x i4> %n1, %y ret <2 x i4> %r } => define <2 x i4> @vector(<2 x i4> %x, <2 x i4> %y, <2 x i4> %m) { %0: %n0 = xor <2 x i4> %x, %y %1 = and <2 x i4> %n0, %m %r = xor <2 x i4> %1, %x ret <2 x i4> %r } Transformation doesn't verify! ERROR: Target's return value is more undefined Example: <2 x i4> %x = < undef, poison > <2 x i4> %y = < #x0 (0), poison > <2 x i4> %m = < #xf (15, -1), poison > Source: <2 x i4> %im = < #x0 (0), poison > <2 x i4> %n0 = < #x0 (0) [based on undef value], poison > <2 x i4> %n1 = < #x0 (0), poison > <2 x i4> %r = < #x0 (0), poison > Target: <2 x i4> %n0 = < #xd (13, -3), poison > <2 x i4> %1 = < #xd (13, -3), poison > <2 x i4> %r = < #x1 (1), poison > Source value: < #x0 (0), poison > Target value: < #x1 (1), poison > ------------------- SMT STATS ------------------- Num queries: 17 Num invalid: 0 Num skips: 0 Num trivial: 14 (45.2%) Num timeout: 0 (0.0%) Num errors: 0 (0.0%) Num SAT: 16 (94.1%) Num UNSAT: 1 (5.9%) Alive2: Transform doesn't verify; aborting!
+ : 'RUN: at line 2' + /home/nlopes/alive2/build/opt-alive.sh -passes=instcombine -S + /tmp/nlopes/llvm/build/bin/FileCheck /tmp/nlopes/llvm/llvm/test/Transforms/InstCombine/invert-variable-mask-in-masked-merge-vector.ll FileCheck error: '<stdin>' is empty. FileCheck command line: /tmp/nlopes/llvm/build/bin/FileCheck /tmp/nlopes/llvm/llvm/test/Transforms/InstCombine/invert-variable-mask-in-masked-merge-vector.ll
NOTE: This test would pass if undef didn't exist!