Displaying 1 result from an estimated 1 matches for "cmp0".
Did you mean:
cmp
2015 Feb 08
11
[LLVMdev] RFC: Proposal to Remove Poison
...ret i1 %cmp
}
Because it is possible for %load's undef to be either true or false, %cmp
must be equivalent to undef as well. This is completely consistent with
the above rules.
The following program is a little more interesting:
define i1 @g() {
%mem = alloca i1
%load = load i1* %mem
%cmp0 = icmp eq i1 %load, 0
%cmp1 = icmp eq i1 %load, 1
%and = xor i1 %cmp0, %cmp1
ret i1 %and
}
The intent of this program is to compare a memory location against all
possible values the location might have.
If we ran LLVM's InstCombine pass then %and would have been replaced with
the "...