llvm/test/Transforms/InstCombine/scalable-const-fp-splat.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
   2 ; RUN: opt -passes=instcombine -S -o - < %s | FileCheck %s
   3
   4 define <vscale x 2 x float> @shrink_splat_scalable_extend(<vscale x 2 x float> %a) {
   5 ; CHECK-LABEL: define <vscale x 2 x float> @shrink_splat_scalable_extend(
   6 ; CHECK-SAME: <vscale x 2 x float> [[A:%.*]]) {
   7 ; CHECK-NEXT:    [[TMP1:%.*]] = fadd <vscale x 2 x float> [[A]], shufflevector (<vscale x 2 x float> insertelement (<vscale x 2 x float> undef, float -1.000000e+00, i32 0), <vscale x 2 x float> undef, <vscale x 2 x i32> zeroinitializer)
   8 ; CHECK-NEXT:    ret <vscale x 2 x float> [[TMP1]]
   9 ;
  10   %1 = shufflevector <vscale x 2 x float> insertelement (<vscale x 2 x float> undef, float -1.000000e+00, i32 0), <vscale x 2 x float> undef, <vscale x 2 x i32> zeroinitializer
  11   %2 = fpext <vscale x 2 x float> %a to <vscale x 2 x double>
  12   %3 = fpext <vscale x 2 x float> %1 to <vscale x 2 x double>
  13   %4 = fadd <vscale x 2 x double> %2, %3
  14   %5 = fptrunc <vscale x 2 x double> %4 to <vscale x 2 x float>
  15   ret <vscale x 2 x float> %5
  16 }