test/Transforms/InstCombine/2009-01-31-InfIterate.ll

   1 ; RUN: opt < %s -instcombine | llvm-dis
   2 ; PR3452
   3 define i128 @test(i64 %A, i64 %B, i1 %C, i128 %Z, i128 %Y, i64* %P, i64* %Q) {
   4 entry:
   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
  15 T:
  16         %G = phi i64 [%tmp138, %entry], [%tmp2, %Fal]
  17         %F = zext i64 %G to i128
  18         ret i128 %F
  19
  20 Fal:
  21         br label %T
  22 }