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 3 4define 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 21; 22entry: 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 37} 38