[InstCombine] Signed saturation tests. NFC
[llvm-core.git] / test / Transforms / LoopUnroll / 2007-05-05-UnrollMiscomp.ll
blob95e9dde04e6fd67901900ca28684e6731be2f20f
1 ; RUN: opt < %s -loop-unroll -S | not grep undef
2 ; PR1385
4 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64"
5 target triple = "i686-apple-darwin8"
6         %struct.__mpz_struct = type { i32, i32, i32* }
9 define void @Foo(%struct.__mpz_struct* %base) {
10 entry:
11         %want = alloca [1 x %struct.__mpz_struct], align 16             ; <[1 x %struct.__mpz_struct]*> [#uses=4]
12         %want1 = getelementptr [1 x %struct.__mpz_struct], [1 x %struct.__mpz_struct]* %want, i32 0, i32 0          ; <%struct.__mpz_struct*> [#uses=1]
13         call void @__gmpz_init( %struct.__mpz_struct* %want1 )
14         %want27 = getelementptr [1 x %struct.__mpz_struct], [1 x %struct.__mpz_struct]* %want, i32 0, i32 0         ; <%struct.__mpz_struct*> [#uses=1]
15         %want3 = getelementptr [1 x %struct.__mpz_struct], [1 x %struct.__mpz_struct]* %want, i32 0, i32 0          ; <%struct.__mpz_struct*> [#uses=1]
16         %want2 = getelementptr [1 x %struct.__mpz_struct], [1 x %struct.__mpz_struct]* %want, i32 0, i32 0          ; <%struct.__mpz_struct*> [#uses=2]
17         br label %bb
19 bb:             ; preds = %bb, %entry
20         %i.01.0 = phi i32 [ 0, %entry ], [ %indvar.next, %bb ]          ; <i32> [#uses=1]
21         %want23.0 = phi %struct.__mpz_struct* [ %want27, %entry ], [ %want2, %bb ]              ; <%struct.__mpz_struct*> [#uses=1]
22         call void @__gmpz_mul( %struct.__mpz_struct* %want23.0, %struct.__mpz_struct* %want3, %struct.__mpz_struct* %base )
23         %indvar.next = add i32 %i.01.0, 1               ; <i32> [#uses=2]
24         %exitcond = icmp ne i32 %indvar.next, 2         ; <i1> [#uses=1]
25         br i1 %exitcond, label %bb, label %bb10
27 bb10:           ; preds = %bb
28         %want2.lcssa = phi %struct.__mpz_struct* [ %want2, %bb ]                ; <%struct.__mpz_struct*> [#uses=1]
29         call void @__gmpz_clear( %struct.__mpz_struct* %want2.lcssa )
30         ret void
33 declare void @__gmpz_init(%struct.__mpz_struct*)
34 declare void @__gmpz_mul(%struct.__mpz_struct*, %struct.__mpz_struct*, %struct.__mpz_struct*)
35 declare void @__gmpz_clear(%struct.__mpz_struct*)