mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2025-01-09 21:32:49 +00:00
6b51ac6728
(I think it's reasonably clear that we want to have a canonical form for constructs like this; if anyone thinks that a select is not the best canonical form, please tell me.) llvm-svn: 75531
32 lines
534 B
LLVM
32 lines
534 B
LLVM
; RUN: llvm-as < %s | opt -instcombine | llvm-dis | grep {zext } | count 0
|
|
|
|
define i32 @a(i1 %x) {
|
|
entry:
|
|
%y = zext i1 %x to i32
|
|
%res = add i32 %y, 1
|
|
ret i32 %res
|
|
}
|
|
|
|
define i32 @b(i1 %x) {
|
|
entry:
|
|
%y = zext i1 %x to i32
|
|
%res = add i32 %y, -1
|
|
ret i32 %res
|
|
}
|
|
|
|
define i32 @c(i1 %x) {
|
|
entry:
|
|
%y = zext i1 %x to i32
|
|
%res = sub i32 0, %y
|
|
ret i32 %res
|
|
}
|
|
|
|
define i32 @d(i1 %x) {
|
|
entry:
|
|
%y = zext i1 %x to i32
|
|
%res = sub i32 3, %y
|
|
ret i32 %res
|
|
}
|
|
|
|
|