89 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: %if x86-registered-target %{ opt < %s -passes=slp-vectorizer -S -mtriple=x86_64-unknown-linux-gnu | FileCheck %s --check-prefix=X86 %}3; RUN: %if aarch64-registered-target %{ opt < %s -passes=slp-vectorizer -S -mtriple=aarch64-unknown-linux-gnu | FileCheck %s --check-prefix=AARCH64 %}4 5define void @test() {6; X86-LABEL: @test(7; X86-NEXT: entry:8; X86-NEXT: br label [[BODY:%.*]]9; X86: body:10; X86-NEXT: [[PHI1:%.*]] = phi double [ 0.000000e+00, [[ENTRY:%.*]] ], [ 0.000000e+00, [[BODY]] ]11; X86-NEXT: [[TMP0:%.*]] = phi <2 x double> [ zeroinitializer, [[ENTRY]] ], [ zeroinitializer, [[BODY]] ]12; X86-NEXT: [[TMP1:%.*]] = insertelement <2 x double> <double poison, double 0.000000e+00>, double [[PHI1]], i32 013; X86-NEXT: [[TMP2:%.*]] = fmul fast <2 x double> <double 0.000000e+00, double undef>, [[TMP1]]14; X86-NEXT: [[TMP3:%.*]] = call fast double @llvm.vector.reduce.fadd.v2f64(double 0.000000e+00, <2 x double> [[TMP2]])15; X86-NEXT: [[CMP42_I:%.*]] = fcmp fast ole double [[TMP3]], 0.000000e+0016; X86-NEXT: br i1 false, label [[BODY]], label [[EXIT:%.*]]17; X86: exit:18; X86-NEXT: br i1 false, label [[IF_THEN135_I:%.*]], label [[IF_END209_I:%.*]]19; X86: if.then135.i:20; X86-NEXT: [[TMP4:%.*]] = fcmp fast olt <2 x double> [[TMP0]], zeroinitializer21; X86-NEXT: [[TMP5:%.*]] = shufflevector <2 x i1> <i1 poison, i1 false>, <2 x i1> [[TMP4]], <2 x i32> <i32 2, i32 1>22; X86-NEXT: [[TMP6:%.*]] = select <2 x i1> [[TMP5]], <2 x double> zeroinitializer, <2 x double> zeroinitializer23; X86-NEXT: [[TMP7:%.*]] = fmul fast <2 x double> zeroinitializer, [[TMP6]]24; X86-NEXT: [[TMP8:%.*]] = fmul fast <2 x double> [[TMP7]], zeroinitializer25; X86-NEXT: [[TMP9:%.*]] = fadd fast <2 x double> [[TMP8]], zeroinitializer26; X86-NEXT: br label [[IF_END209_I]]27; X86: if.end209.i:28; X86-NEXT: [[TMP10:%.*]] = phi <2 x double> [ [[TMP9]], [[IF_THEN135_I]] ], [ zeroinitializer, [[EXIT]] ]29; X86-NEXT: ret void30;31; AARCH64-LABEL: @test(32; AARCH64-NEXT: entry:33; AARCH64-NEXT: br label [[BODY:%.*]]34; AARCH64: body:35; AARCH64-NEXT: [[PHI1:%.*]] = phi double [ 0.000000e+00, [[ENTRY:%.*]] ], [ 0.000000e+00, [[BODY]] ]36; AARCH64-NEXT: [[TMP0:%.*]] = phi <2 x double> [ zeroinitializer, [[ENTRY]] ], [ zeroinitializer, [[BODY]] ]37; AARCH64-NEXT: [[MUL_I478_I:%.*]] = fmul fast double [[PHI1]], 0.000000e+0038; AARCH64-NEXT: [[MUL7_I485_I:%.*]] = fmul fast double undef, 0.000000e+0039; AARCH64-NEXT: [[ADD8_I_I:%.*]] = fadd fast double [[MUL_I478_I]], [[MUL7_I485_I]]40; AARCH64-NEXT: [[CMP42_I:%.*]] = fcmp fast ole double [[ADD8_I_I]], 0.000000e+0041; AARCH64-NEXT: br i1 false, label [[BODY]], label [[EXIT:%.*]]42; AARCH64: exit:43; AARCH64-NEXT: br i1 false, label [[IF_THEN135_I:%.*]], label [[IF_END209_I:%.*]]44; AARCH64: if.then135.i:45; AARCH64-NEXT: [[TMP1:%.*]] = fcmp fast olt <2 x double> [[TMP0]], zeroinitializer46; AARCH64-NEXT: [[TMP2:%.*]] = shufflevector <2 x i1> <i1 poison, i1 false>, <2 x i1> [[TMP1]], <2 x i32> <i32 2, i32 1>47; AARCH64-NEXT: [[TMP3:%.*]] = select <2 x i1> [[TMP2]], <2 x double> zeroinitializer, <2 x double> zeroinitializer48; AARCH64-NEXT: [[TMP4:%.*]] = fmul fast <2 x double> zeroinitializer, [[TMP3]]49; AARCH64-NEXT: [[TMP5:%.*]] = fmul fast <2 x double> [[TMP4]], zeroinitializer50; AARCH64-NEXT: [[TMP6:%.*]] = fadd fast <2 x double> [[TMP5]], zeroinitializer51; AARCH64-NEXT: br label [[IF_END209_I]]52; AARCH64: if.end209.i:53; AARCH64-NEXT: [[TMP7:%.*]] = phi <2 x double> [ [[TMP6]], [[IF_THEN135_I]] ], [ zeroinitializer, [[EXIT]] ]54; AARCH64-NEXT: ret void55;56entry:57 br label %body58 59body:60 %phi1 = phi double [ 0.000000e+00, %entry ], [ 0.000000e+00, %body ]61 %phi2 = phi double [ 0.000000e+00, %entry ], [ 0.000000e+00, %body ]62 %mul.i478.i = fmul fast double %phi1, 0.000000e+0063 %mul7.i485.i = fmul fast double undef, 0.000000e+0064 %add8.i.i = fadd fast double %mul.i478.i, %mul7.i485.i65 %cmp42.i = fcmp fast ole double %add8.i.i, 0.000000e+0066 br i1 false, label %body, label %exit67 68exit:69 br i1 false, label %if.then135.i, label %if.end209.i70 71if.then135.i:72 %cmp145.i = fcmp fast olt double %phi1, 0.000000e+0073 %0 = select i1 false, double 0.000000e+00, double 0.000000e+0074 %cmp152.i = fcmp fast olt double %phi2, 0.000000e+0075 %1 = select i1 %cmp152.i, double 0.000000e+00, double 0.000000e+0076 %mul166.i = fmul fast double 0.000000e+00, %077 %mul177.i = fmul fast double %mul166.i, 0.000000e+0078 %add178.i = fadd fast double %mul177.i, 0.000000e+0079 %mul181.i = fmul fast double 0.000000e+00, %180 %mul182.i = fmul fast double %mul181.i, 0.000000e+0081 %add183.i = fadd fast double %mul182.i, 0.000000e+0082 br label %if.end209.i83 84if.end209.i:85 %drdys.1.i = phi double [ %add183.i, %if.then135.i ], [ 0.000000e+00, %exit ]86 %dbdxs.1.i = phi double [ %add178.i, %if.then135.i ], [ 0.000000e+00, %exit ]87 ret void88}89