Displaying 1 result from an estimated 1 matches for "sel_sel".
2016 Sep 28
4
IR canonicalization: select or bool math?
...e between integers that are not consecutive?
a. define i32 @sel_0_or_2(i1 %a) {
%sel = select i1 %a, i32 2, i32 0
ret i32 %sel2
}
b. define i32 @sel_0_or_2(i1 %a) {
%zexta = zext i1 %a to i32
%add = add i32 %zexta, %zexta
ret i32 %add
}
8. Choose {0,1,2} based on 2 bools?
a. define i32 @sel_sel(i1 %a, i1 %b) {
%zexta = zext i1 %a to i32
%sel1 = select i1 %a, i32 2, i32 1
%sel2 = select i1 %b, i32 %sel1, %zexta
ret i32 %sel2
}
b. define i32 @sel_sel(i1 %a, i1 %b) {
%zexta = zext i1 %a to i32
%zextb = zext i1 %b to i32
%add = add i32 %zexta, %zextb
ret i32 %add
}
Links for...