aboutsummaryrefslogtreecommitdiff
path: root/test/Transforms/InstCombine/2009-01-31-InfIterate.ll
blob: 815c1a91936a9eba6da61706b11b5798f9f73656 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
; RUN: opt < %s -instcombine | llvm-dis
; PR3452
define i128 @test(i64 %A, i64 %B, i1 %C, i128 %Z, i128 %Y, i64* %P, i64* %Q) {
entry:
	%tmp2 = trunc i128 %Z to i64
	%tmp4 = trunc i128 %Y to i64
	store i64 %tmp2, i64* %P
	store i64 %tmp4, i64* %Q
	%x = sub i64 %tmp2, %tmp4
	%c = sub i64 %tmp2, %tmp4
	%tmp137 = zext i1 %C to i64
	%tmp138 = sub i64 %c, %tmp137
	br label %T

T:
	%G = phi i64 [%tmp138, %entry], [%tmp2, %Fal]
	%F = zext i64 %G to i128
	ret i128 %F

Fal:
	br label %T
}