Displaying 1 result from an estimated 1 matches for "_z3srcm".
2020 Jun 19
4
LLVM-IR store-load propagation
...,
obtaining a valid proof of why the transformation wasn't correct
(effectively showing that the original 'src' and 'tgt' functions may
actually be semantically equivalent).
To replicate the Alive2 result at https://alive2.llvm.org, the following
input can be used:
define i64 @_Z3srcm(i64 %Flags) {
entry:
%Memory = alloca [2 x i64], align 16
%and = lshr i64 %Flags, 6
%shr = and i64 %and, 1
%0 = bitcast [2 x i64]* %Memory to i8*
%arrayidx = getelementptr inbounds [2 x i64], [2 x i64]* %Memory, i64 0,
i64 0
store i64 5369966919, i64* %arrayidx, align 16
%arrayidx1 =...