[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / LoopVectorize / vect.omp.persistence.ll
blob995fc1f2c3dd5ba9cf6ff1c7822d5e67350ecb09
1 ; RUN: opt < %s -O2 -force-vector-interleave=2 -force-vector-width=4 -debug-only=loop-vectorize -S 2>&1 | FileCheck %s
2 ; REQUIRES: asserts
4 ; CHECK: LV: Checking a loop in "foo"
5 ; CHECK: LV: Loop hints: force=enabled
7 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
9 ; Ensure that "llvm.loop.vectorize.enable" metadata was not lost even
10 ; if loop was not rotated.
12 ; See http://reviews.llvm.org/D3348 for details.
14 ; CHECK-LABEL: @foo
15 ; CHECK: !llvm.loop !0
16 ; CHECK: !0 = distinct !{!0, !1}
17 ; CHECK: !1 = !{!"llvm.loop.vectorize.enable", i1 true}
18 define i32 @foo(i32 %a) {
19 entry:
20   br label %loop_cond
22 loop_cond:
23   %indx = phi i32 [ 1, %entry ], [ %inc, %loop_inc ]
24   %cmp = icmp ne i32 %indx, %a
25   br i1 %cmp, label %return, label %loop_inc
27 loop_inc:
28   %inc = add i32 %indx, 1
29   br label %loop_cond, !llvm.loop !0
31 return:
32   ret i32 0
35 !0 = !{!0, !1}
36 !1 = !{!"llvm.loop.vectorize.enable", i1 true}