[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / LoopVectorize / pr33706.ll
blobb9d0d8a44accbb0854e3bf43a489a80d7135c8e2
1 ; RUN: opt -S -loop-vectorize -force-vector-interleave=1 -force-vector-width=2 < %s | FileCheck %s
3 @global = local_unnamed_addr global i32 0, align 4
4 @global.1 = local_unnamed_addr global i32 0, align 4
5 @global.2 = local_unnamed_addr global float 0x3EF0000000000000, align 4
7 ; CHECK-LABEL: @PR33706
8 ; CHECK-NOT: <2 x i32>
9 define void @PR33706(float* nocapture readonly %arg, float* nocapture %arg1, i32 %arg2) local_unnamed_addr {
10 bb:
11   %tmp = load i32, i32* @global.1, align 4
12   %tmp3 = getelementptr inbounds float, float* %arg, i64 190
13   %tmp4 = getelementptr inbounds float, float* %arg1, i64 512
14   %tmp5 = and i32 %tmp, 65535
15   %tmp6 = icmp ugt i32 %arg2, 65536
16   br i1 %tmp6, label %bb7, label %bb9
18 bb7:                                              ; preds = %bb
19   %tmp8 = load i32, i32* @global, align 4
20   br label %bb27
22 bb9:                                              ; preds = %bb
23   %tmp10 = udiv i32 65536, %arg2
24   br label %bb11
26 bb11:                                             ; preds = %bb11, %bb9
27   %tmp12 = phi i32 [ %tmp20, %bb11 ], [ %tmp5, %bb9 ]
28   %tmp13 = phi float* [ %tmp18, %bb11 ], [ %tmp4, %bb9 ]
29   %tmp14 = phi i32 [ %tmp16, %bb11 ], [ %tmp10, %bb9 ]
30   %tmp15 = phi i32 [ %tmp19, %bb11 ], [ %tmp, %bb9 ]
31   %tmp16 = add nsw i32 %tmp14, -1
32   %tmp17 = sitofp i32 %tmp12 to float
33   store float %tmp17, float* %tmp13, align 4
34   %tmp18 = getelementptr inbounds float, float* %tmp13, i64 1
35   %tmp19 = add i32 %tmp15, %arg2
36   %tmp20 = and i32 %tmp19, 65535
37   %tmp21 = icmp eq i32 %tmp16, 0
38   br i1 %tmp21, label %bb22, label %bb11
40 bb22:                                             ; preds = %bb11
41   %tmp23 = phi float* [ %tmp18, %bb11 ]
42   %tmp24 = phi i32 [ %tmp19, %bb11 ]
43   %tmp25 = phi i32 [ %tmp20, %bb11 ]
44   %tmp26 = ashr i32 %tmp24, 16
45   store i32 %tmp26, i32* @global, align 4
46   br label %bb27
48 bb27:                                             ; preds = %bb22, %bb7
49   %tmp28 = phi i32 [ %tmp26, %bb22 ], [ %tmp8, %bb7 ]
50   %tmp29 = phi float* [ %tmp23, %bb22 ], [ %tmp4, %bb7 ]
51   %tmp30 = phi i32 [ %tmp25, %bb22 ], [ %tmp5, %bb7 ]
52   %tmp31 = sext i32 %tmp28 to i64
53   %tmp32 = getelementptr inbounds float, float* %tmp3, i64 %tmp31
54   %tmp33 = load float, float* %tmp32, align 4
55   %tmp34 = sitofp i32 %tmp30 to float
56   %tmp35 = load float, float* @global.2, align 4
57   %tmp36 = fmul float %tmp35, %tmp34
58   %tmp37 = fadd float %tmp33, %tmp36
59   store float %tmp37, float* %tmp29, align 4
60   ret void