Test source: git
Source: <stdin> ---------------------------------------- define i1 @merge_logical_and_and(i1 %X, i1 %Y) { %0: %c = select i1 %X, i1 %Y, i1 0 %res = and i1 %X, %c ret i1 %res } => define i1 @merge_logical_and_and(i1 %X, i1 %Y) { %0: %c = select i1 %X, i1 %Y, i1 0 ret i1 %c } Transformation seems to be correct! ---------------------------------------- define i1 @merge_two_logical_ands(i1 %X, i1 %Y) { %0: %c = select i1 %X, i1 %Y, i1 0 %res = select i1 %X, i1 %c, i1 0 ret i1 %res } => define i1 @merge_two_logical_ands(i1 %X, i1 %Y) { %0: %res = select i1 %X, i1 %Y, i1 0 ret i1 %res } Transformation seems to be correct! ---------------------------------------- define i1 @merge_and_logical_and(i1 %X, i1 %Y) { %0: %c = and i1 %X, %Y %res = select i1 %X, i1 %c, i1 0 ret i1 %res } => define i1 @merge_and_logical_and(i1 %X, i1 %Y) { %0: %c = and i1 %X, %Y %res = select i1 %X, i1 %c, i1 0 ret i1 %res } Transformation seems to be correct! ---------------------------------------- define i1 @merge_logical_and_and2(i1 %X, i1 %Y) { %0: %c = select i1 %Y, i1 %X, i1 0 %res = and i1 %X, %c ret i1 %res } => define i1 @merge_logical_and_and2(i1 %X, i1 %Y) { %0: %c = select i1 %Y, i1 %X, i1 0 ret i1 %c } Transformation seems to be correct! ---------------------------------------- define i1 @merge_two_logical_ands2(i1 %X, i1 %Y) { %0: %c = select i1 %Y, i1 %X, i1 0 %res = select i1 %X, i1 %c, i1 0 ret i1 %res } => define i1 @merge_two_logical_ands2(i1 %X, i1 %Y) { %0: %1 = and i1 %X, %Y ret i1 %1 } Transformation doesn't verify! ERROR: Target is more poisonous than source Example: i1 %X = #x0 (0) i1 %Y = poison Source: i1 %c = poison i1 %res = #x0 (0) Target: i1 %1 = poison Source value: #x0 (0) Target value: poison ------------------- SMT STATS ------------------- Num queries: 18 Num invalid: 0 Num skips: 0 Num trivial: 14 (43.8%) Num timeout: 0 (0.0%) Num errors: 0 (0.0%) Num SAT: 6 (33.3%) Num UNSAT: 12 (66.7%)
+ : 'RUN: at line 2' + /home/nlopes/alive2/build/opt-alive.sh -instcombine-unsafe-select-transform=0 -instcombine -S + /home/nlopes/llvm/build/bin/FileCheck /home/nlopes/llvm/llvm/test/Transforms/InstCombine/select-safe-bool-transforms.ll Alive2: Transform doesn't verify; aborting! FileCheck error: '<stdin>' is empty. FileCheck command line: /home/nlopes/llvm/build/bin/FileCheck /home/nlopes/llvm/llvm/test/Transforms/InstCombine/select-safe-bool-transforms.ll