1 target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-f128:128:128-v128:128:128-n32:64" 2 target triple = "powerpc64-bgq-linux" 3 ; RUN: llc < %s -march=ppc64 -mcpu=a2q | FileCheck %s 4 5 define void @s452() nounwind { 6 entry: 7 br label %for.body4 8 9 for.body4: ; preds = %for.body4, %entry 10 %conv.4 = sitofp i32 undef to double 11 %conv.5 = sitofp i32 undef to double 12 %mul.4.v.i0.1 = insertelement <2 x double> undef, double %conv.4, i32 0 13 %mul.4.v.i0.2 = insertelement <2 x double> %mul.4.v.i0.1, double %conv.5, i32 1 14 %mul.4 = fmul <2 x double> %mul.4.v.i0.2, undef 15 %add7.4 = fadd <2 x double> undef, %mul.4 16 store <2 x double> %add7.4, <2 x double>* undef, align 16 17 br i1 undef, label %for.end, label %for.body4 18 19 for.end: ; preds = %for.body4 20 unreachable 21 ; CHECK-LABEL: @s452 22 ; CHECK: lfiwax [[REG1:[0-9]+]], 23 ; CHECK: fcfid [[REG2:[0-9]+]], [[REG1]] 24 ; FIXME: We could 'promote' this to a vector earlier and remove this splat. 25 ; CHECK: qvesplati {{[0-9]+}}, [[REG2]], 0 26 ; CHECK: qvfmul 27 ; CHECK: qvfadd 28 ; CHECK: qvesplati {{[0-9]+}}, 29 ; FIXME: We can use qvstfcdx here instead of two stores. 30 ; CHECK: stfd 31 ; CHECK: stfd 32 } 33 34
