1; RUN: opt < %s -instcombine | llvm-dis
2; PR3452
3define i128 @test(i64 %A, i64 %B, i1 %C, i128 %Z, i128 %Y, i64* %P, i64* %Q) {
4entry:
5	%tmp2 = trunc i128 %Z to i64
6	%tmp4 = trunc i128 %Y to i64
7	store i64 %tmp2, i64* %P
8	store i64 %tmp4, i64* %Q
9	%x = sub i64 %tmp2, %tmp4
10	%c = sub i64 %tmp2, %tmp4
11	%tmp137 = zext i1 %C to i64
12	%tmp138 = sub i64 %c, %tmp137
13	br label %T
14
15T:
16	%G = phi i64 [%tmp138, %entry], [%tmp2, %Fal]
17	%F = zext i64 %G to i128
18	ret i128 %F
19
20Fal:
21	br label %T
22}
23