Test source: git
Source: <stdin> ---------------------------------------- define i16 @f1() nowrite nofree { %0: ret i16 0 } => define i16 @f1() nowrite nofree { %0: ret i16 0 } Transformation seems to be correct! (syntactically equal) ---------------------------------------- define void @f3() { %0: %call1 = call i16 @f1() nowrite nofree call void @f2() %call2 = call i16 @f1() nowrite nofree ret void } => define void @f3() { %0: %call1 = call i16 @f1() nowrite nofree call void @f2() ret void } Transformation doesn't verify! ERROR: Source and target don't have the same return domain Example: Source: i16 %call1 = poison i16 %call2 = UB triggered! SOURCE MEMORY STATE =================== NON-LOCAL BLOCKS: Block 0 > size: 0 align: 1 alloc type: 0 Block 1 > size: 0 align: 1 Target: i16 %call1 = poison ------------------- SMT STATS ------------------- Num queries: 7 Num invalid: 0 Num skips: 0 Num trivial: 0 (0.0%) 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!
+ : 'RUN: at line 2' + /home/nlopes/alive2/build/opt-alive.sh -S -globals-aa -early-cse-memssa -earlycse-debug-hash + /home/nlopes/llvm/build/bin/FileCheck /home/nlopes/llvm/llvm/test/Transforms/EarlyCSE/globalsaa-memoryssa.ll FileCheck error: '<stdin>' is empty. FileCheck command line: /home/nlopes/llvm/build/bin/FileCheck /home/nlopes/llvm/llvm/test/Transforms/EarlyCSE/globalsaa-memoryssa.ll