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 4define <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]], splat (float -1.000000e+00) 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} 17