[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / tools / gold / X86 / vectorize.ll
blobe78064de5b97943236a60bf685b297831a51f400
1 ; RUN: llvm-as %s -o %t.o
3 ; RUN: %gold -m elf_x86_64 -plugin %llvmshlibdir/LLVMgold%shlibext \
4 ; RUN:    --plugin-opt=save-temps \
5 ; RUN:    -shared %t.o -o %t2.o
6 ; RUN: llvm-dis %t2.o.0.4.opt.bc -o - | FileCheck %s
8 ; test that the vectorizer is run.
9 ; CHECK: fadd <4 x float>
11 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
12 target triple = "x86_64-unknown-linux-gnu"
14 define void @f(float* nocapture %x, i64 %n) {
15 bb:
16   br label %bb1
18 bb1:
19   %i.0 = phi i64 [ 0, %bb ], [ %tmp4, %bb1 ]
20   %tmp = getelementptr inbounds float, float* %x, i64 %i.0
21   %tmp2 = load float, float* %tmp, align 4
22   %tmp3 = fadd float %tmp2, 1.000000e+00
23   store float %tmp3, float* %tmp, align 4
24   %tmp4 = add nsw i64 %i.0, 1
25   %tmp5 = icmp slt i64 %tmp4, %n
26   br i1 %tmp5, label %bb1, label %bb6
28 bb6:
29   ret void