1dab19dacSAlexey Bataev; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5 2dab19dacSAlexey Bataev; RUN: opt -S --passes=slp-vectorizer -slp-threshold=-99999 -mtriple=riscv64 -mattr=+v < %s | FileCheck %s 3dab19dacSAlexey Bataev 4dab19dacSAlexey Bataevdefine void @test(ptr %a, i64 %0) { 5dab19dacSAlexey Bataev; CHECK-LABEL: define void @test( 6dab19dacSAlexey Bataev; CHECK-SAME: ptr [[A:%.*]], i64 [[TMP0:%.*]]) #[[ATTR0:[0-9]+]] { 7dab19dacSAlexey Bataev; CHECK-NEXT: [[ENTRY:.*:]] 8dab19dacSAlexey Bataev; CHECK-NEXT: [[TMP1:%.*]] = insertelement <2 x ptr> poison, ptr [[A]], i32 0 9dab19dacSAlexey Bataev; CHECK-NEXT: [[TMP2:%.*]] = shufflevector <2 x ptr> [[TMP1]], <2 x ptr> poison, <2 x i32> zeroinitializer 10dab19dacSAlexey Bataev; CHECK-NEXT: br label %[[BB:.*]] 11dab19dacSAlexey Bataev; CHECK: [[BB]]: 12*3133acf1SHan-Kuan Chen; CHECK-NEXT: [[TMP3:%.*]] = or disjoint i64 [[TMP0]], 1 13*3133acf1SHan-Kuan Chen; CHECK-NEXT: [[TMP4:%.*]] = insertelement <2 x i64> poison, i64 [[TMP3]], i32 0 14*3133acf1SHan-Kuan Chen; CHECK-NEXT: [[TMP5:%.*]] = insertelement <2 x i64> [[TMP4]], i64 0, i32 1 15dab19dacSAlexey Bataev; CHECK-NEXT: [[TMP6:%.*]] = getelementptr double, <2 x ptr> [[TMP2]], <2 x i64> [[TMP5]] 16*3133acf1SHan-Kuan Chen; CHECK-NEXT: [[ARRAYIDX17_I28_1:%.*]] = getelementptr double, ptr [[A]], i64 [[TMP3]] 17*3133acf1SHan-Kuan Chen; CHECK-NEXT: [[TMP7:%.*]] = call <2 x double> @llvm.masked.gather.v2f64.v2p0(<2 x ptr> [[TMP6]], i32 8, <2 x i1> splat (i1 true), <2 x double> poison) 18*3133acf1SHan-Kuan Chen; CHECK-NEXT: [[TMP8:%.*]] = load <2 x double>, ptr [[A]], align 8 19*3133acf1SHan-Kuan Chen; CHECK-NEXT: [[TMP9:%.*]] = load <2 x double>, ptr [[A]], align 8 20*3133acf1SHan-Kuan Chen; CHECK-NEXT: [[TMP10:%.*]] = fsub <2 x double> [[TMP8]], [[TMP9]] 21dab19dacSAlexey Bataev; CHECK-NEXT: [[TMP11:%.*]] = fsub <2 x double> [[TMP7]], [[TMP10]] 22*3133acf1SHan-Kuan Chen; CHECK-NEXT: call void @llvm.experimental.vp.strided.store.v2f64.p0.i64(<2 x double> [[TMP11]], ptr align 8 [[ARRAYIDX17_I28_1]], i64 -8, <2 x i1> splat (i1 true), i32 2) 23dab19dacSAlexey Bataev; CHECK-NEXT: br label %[[BB]] 24dab19dacSAlexey Bataev; 25dab19dacSAlexey Bataeventry: 26dab19dacSAlexey Bataev br label %bb 27dab19dacSAlexey Bataev 28dab19dacSAlexey Bataevbb: 29dab19dacSAlexey Bataev %indvars.iv.next239.i = add i64 0, 0 30dab19dacSAlexey Bataev %arrayidx.i.1 = getelementptr double, ptr %a, i64 %indvars.iv.next239.i 31dab19dacSAlexey Bataev %1 = load double, ptr %arrayidx.i.1, align 8 32dab19dacSAlexey Bataev %arrayidx10.i.1 = getelementptr double, ptr %a, i64 %0 33dab19dacSAlexey Bataev %2 = or disjoint i64 %0, 1 34dab19dacSAlexey Bataev %arrayidx17.i28.1 = getelementptr double, ptr %a, i64 %2 35dab19dacSAlexey Bataev %3 = load double, ptr %arrayidx17.i28.1, align 8 36dab19dacSAlexey Bataev %4 = load double, ptr %a, align 8 37dab19dacSAlexey Bataev %5 = load double, ptr %a, align 8 38dab19dacSAlexey Bataev %arrayidx38.i.1 = getelementptr double, ptr %a, i64 1 39dab19dacSAlexey Bataev %6 = load double, ptr %arrayidx38.i.1, align 8 40dab19dacSAlexey Bataev %arrayidx41.i.1 = getelementptr double, ptr %a, i64 1 41dab19dacSAlexey Bataev %7 = load double, ptr %arrayidx41.i.1, align 8 42dab19dacSAlexey Bataev %sub47.i.1 = fsub double %4, %5 43dab19dacSAlexey Bataev %sub54.i.1 = fsub double %6, %7 44dab19dacSAlexey Bataev %sub69.i.1 = fsub double %1, %sub54.i.1 45dab19dacSAlexey Bataev store double %sub69.i.1, ptr %arrayidx10.i.1, align 8 46dab19dacSAlexey Bataev %sub72.i.1 = fsub double %3, %sub47.i.1 47dab19dacSAlexey Bataev store double %sub72.i.1, ptr %arrayidx17.i28.1, align 8 48dab19dacSAlexey Bataev br label %bb 49dab19dacSAlexey Bataev} 50