[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / SLPVectorizer / X86 / slp-throttle.ll
blob6752641753ff197b946b02662f009da4e2a78c93
1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2 ; RUN: opt -slp-vectorizer -S -mtriple=x86_64-unknown-linux-gnu -mcpu=bdver2 < %s | FileCheck %s
4 define dso_local void @rftbsub(double* %a) local_unnamed_addr #0 {
5 ; CHECK-LABEL: @rftbsub(
6 ; CHECK-NEXT:  entry:
7 ; CHECK-NEXT:    [[ARRAYIDX6:%.*]] = getelementptr inbounds double, double* [[A:%.*]], i64 2
8 ; CHECK-NEXT:    [[TMP0:%.*]] = load double, double* [[ARRAYIDX6]], align 8
9 ; CHECK-NEXT:    [[TMP1:%.*]] = or i64 2, 1
10 ; CHECK-NEXT:    [[ARRAYIDX12:%.*]] = getelementptr inbounds double, double* [[A]], i64 [[TMP1]]
11 ; CHECK-NEXT:    [[TMP2:%.*]] = load double, double* [[ARRAYIDX12]], align 8
12 ; CHECK-NEXT:    [[ADD16:%.*]] = fadd double [[TMP2]], undef
13 ; CHECK-NEXT:    [[MUL18:%.*]] = fmul double undef, [[ADD16]]
14 ; CHECK-NEXT:    [[ADD19:%.*]] = fadd double undef, [[MUL18]]
15 ; CHECK-NEXT:    [[SUB22:%.*]] = fsub double undef, undef
16 ; CHECK-NEXT:    [[SUB25:%.*]] = fsub double [[TMP0]], [[ADD19]]
17 ; CHECK-NEXT:    store double [[SUB25]], double* [[ARRAYIDX6]], align 8
18 ; CHECK-NEXT:    [[SUB29:%.*]] = fsub double [[TMP2]], [[SUB22]]
19 ; CHECK-NEXT:    store double [[SUB29]], double* [[ARRAYIDX12]], align 8
20 ; CHECK-NEXT:    unreachable
22 entry:
23   %arrayidx6 = getelementptr inbounds double, double* %a, i64 2
24   %0 = load double, double* %arrayidx6, align 8
25   %1 = or i64 2, 1
26   %arrayidx12 = getelementptr inbounds double, double* %a, i64 %1
27   %2 = load double, double* %arrayidx12, align 8
28   %add16 = fadd double %2, undef
29   %mul18 = fmul double undef, %add16
30   %add19 = fadd double undef, %mul18
31   %sub22 = fsub double undef, undef
32   %sub25 = fsub double %0, %add19
33   store double %sub25, double* %arrayidx6, align 8
34   %sub29 = fsub double %2, %sub22
35   store double %sub29, double* %arrayidx12, align 8
36   unreachable