test/Transforms/InstCombine/canonicalize_branch.ll


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

; RUN: llvm-upgrade < %s | llvm-as | opt -instcombine | llvm-dis | not grep 'setne\|setle\|setge'

int %test1(uint %X, uint %Y) {
	%C = setne uint %X, %Y
	br bool %C, label %T, label %F
T:
	ret int 12
F:
	ret int 123
}

int %test2(uint %X, uint %Y) {
	%C = setle uint %X, %Y
	br bool %C, label %T, label %F
T:
	ret int 12
F:
	ret int 123
}
int %test3(uint %X, uint %Y) {
	%C = setge uint %X, %Y
	br bool %C, label %T, label %F
T:
	ret int 12
F:
	ret int 123
}