Test source: git
Comments: LLVM bug: introduces load type punning
Source: <stdin>
-- 1. ModuleToFunctionPassAdaptor
-- 1. PassManager<Function> : Skipping NOP
-- 2. GVNPass
----------------------------------------
define i64 @foo(ptr %arrayidx) {
%entry:
%p = load ptr, ptr %arrayidx, align 8
%cmpnull = icmp eq ptr %p, null
br label %BB2
%entry2:
br label %BB2
%BB2:
%load = load i64, ptr %arrayidx, align 8
ret i64 %load
}
Transformation seems to be correct! (syntactically equal)
-- 3. GVNPass
----------------------------------------
define i64 @foo(ptr %arrayidx) {
%entry:
%p = load ptr, ptr %arrayidx, align 8
br label %BB2
%BB2:
%load = load i64, ptr %arrayidx, align 8
ret i64 %load
}
=>
define i64 @foo(ptr %arrayidx) {
%entry:
%p = load ptr, ptr %arrayidx, align 8
%0 = ptrtoint ptr %p to i64
br label %BB2
%BB2:
ret i64 %0
}
Transformation doesn't verify! (unsound)
ERROR: Target is more poisonous than source
Example:
ptr %arrayidx = pointer(non-local, block_id=1, offset=4611685743515795435)
Source:
ptr %p = poison
>> Jump to %BB2
i64 %load = #x0000004000000000 (274877906944)
SOURCE MEMORY STATE
===================
NON-LOCAL BLOCKS:
Block 0 > size: 0 align: 8 alloc type: 0 address: 0
Block 1 > size: 4620675488057131008 align: 4 alloc type: 0 address: 10376311679716708613
Block 2 > size: 5665827547680746711 align: 2 alloc type: 0 address: 198158781461309570
Target:
ptr %p = poison
i64 %0 = poison
>> Jump to %BB2
Source value: #x0000004000000000 (274877906944)
Target value: poison
Pass: GVNPass
Command line: '/home/nlopes/llvm/build/bin/opt' '-load=/home/nlopes/alive2/build/tv/tv.so' '-load-pass-plugin=/home/nlopes/alive2/build/tv/tv.so' '-tv-exit-on-error' '-passes=gvn' '-disable-output' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'
Wrote bitcode to: "/home/nlopes/alive2/build/logs/in_F0yR0utd_eh6T.bc"
------------------- SMT STATS -------------------
Num queries: 4
Num invalid: 0
Num skips: 0
Num trivial: 5 (55.6%)
Num timeout: 0 (0.0%)
Num errors: 0 (0.0%)
Num SAT: 4 (100.0%)
Num UNSAT: 0 (0.0%)
Alive2: Transform doesn't verify; aborting!
+ : 'RUN: at line 1' + /home/nlopes/alive2/build/opt-alive.sh -passes=gvn -disable-output