blob: d6edf69882e829253d9ae97956a0d3b915f80b19 [file]
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -passes=slp-vectorizer -S -mtriple=x86_64-unknown-linux-gnu -mcpu=bdver2 < %s | FileCheck %s
define void @rftbsub(ptr %a) {
; CHECK-LABEL: @rftbsub(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[ARRAYIDX6:%.*]] = getelementptr inbounds double, ptr [[A:%.*]], i64 2
; CHECK-NEXT: [[TMP0:%.*]] = or disjoint i64 2, 1
; CHECK-NEXT: [[ARRAYIDX12:%.*]] = getelementptr inbounds double, ptr [[A]], i64 [[TMP0]]
; CHECK-NEXT: [[TMP1:%.*]] = load double, ptr [[ARRAYIDX12]], align 8
; CHECK-NEXT: [[TMP2:%.*]] = load <2 x double>, ptr [[ARRAYIDX6]], align 8
; CHECK-NEXT: [[ADD16:%.*]] = fadd double [[TMP1]], undef
; CHECK-NEXT: [[MUL18:%.*]] = fmul double undef, [[ADD16]]
; CHECK-NEXT: [[TMP3:%.*]] = insertelement <2 x double> <double poison, double undef>, double [[MUL18]], i32 0
; CHECK-NEXT: [[TMP6:%.*]] = fadd <2 x double> undef, [[TMP3]]
; CHECK-NEXT: [[TMP7:%.*]] = fsub <2 x double> undef, [[TMP3]]
; CHECK-NEXT: [[TMP4:%.*]] = shufflevector <2 x double> [[TMP6]], <2 x double> [[TMP7]], <2 x i32> <i32 0, i32 3>
; CHECK-NEXT: [[TMP5:%.*]] = fsub <2 x double> [[TMP2]], [[TMP4]]
; CHECK-NEXT: store <2 x double> [[TMP5]], ptr [[ARRAYIDX6]], align 8
; CHECK-NEXT: ret void
;
entry:
%arrayidx6 = getelementptr inbounds double, ptr %a, i64 2
%0 = load double, ptr %arrayidx6, align 8
%1 = or disjoint i64 2, 1
%arrayidx12 = getelementptr inbounds double, ptr %a, i64 %1
%2 = load double, ptr %arrayidx12, align 8
%add16 = fadd double %2, undef
%mul18 = fmul double undef, %add16
%add19 = fadd double undef, %mul18
%sub22 = fsub double undef, undef
%sub25 = fsub double %0, %add19
store double %sub25, ptr %arrayidx6, align 8
%sub29 = fsub double %2, %sub22
store double %sub29, ptr %arrayidx12, align 8
ret void
}