94 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-attributes --check-globals2; RUN: opt -S -passes=inline,instcombine < %s | FileCheck %s3 4target triple = "aarch64-unknown-linux-gnu"5 6; TODO: We can only lower to constrained intrinsics when the necessary code7; generation support for scalable vector strict operations exists.8define <vscale x 2 x double> @replace_fadd_intrinsic_double_strictfp(<vscale x 2 x double> %a, <vscale x 2 x double> %b) #0 {9; CHECK: Function Attrs: strictfp10; CHECK-LABEL: @replace_fadd_intrinsic_double_strictfp(11; CHECK-NEXT: [[TMP2:%.*]] = tail call <vscale x 2 x double> @llvm.aarch64.sve.fadd.u.nxv2f64(<vscale x 2 x i1> splat (i1 true), <vscale x 2 x double> [[A:%.*]], <vscale x 2 x double> [[B:%.*]]) #[[ATTR2:[0-9]+]]12; CHECK-NEXT: ret <vscale x 2 x double> [[TMP2]]13;14 %1 = tail call <vscale x 2 x i1> @llvm.aarch64.sve.ptrue.nxv2i1(i32 31) #115 %2 = tail call <vscale x 2 x double> @llvm.aarch64.sve.fadd.nxv2f64(<vscale x 2 x i1> %1, <vscale x 2 x double> %a, <vscale x 2 x double> %b) #116 ret <vscale x 2 x double> %217}18 19; NOTE: IRBuilder::CreateBinOp doesn't emit constrained operations directly so20; rely on function inlining to showcase the problematic transformation.21define <vscale x 2 x double> @call_replace_fadd_intrinsic_double_strictfp(<vscale x 2 x double> %a, <vscale x 2 x double> %b) #0 {22; CHECK: Function Attrs: strictfp23; CHECK-LABEL: @call_replace_fadd_intrinsic_double_strictfp(24; CHECK-NEXT: [[TMP2:%.*]] = call <vscale x 2 x double> @llvm.aarch64.sve.fadd.u.nxv2f64(<vscale x 2 x i1> splat (i1 true), <vscale x 2 x double> [[A:%.*]], <vscale x 2 x double> [[B:%.*]]) #[[ATTR2]]25; CHECK-NEXT: ret <vscale x 2 x double> [[TMP2]]26;27 %1 = call <vscale x 2 x double> @replace_fadd_intrinsic_double_strictfp(<vscale x 2 x double> %a, <vscale x 2 x double> %b) #128 ret <vscale x 2 x double> %129}30 31; TODO: We can only lower to constrained intrinsics when the necessary code32; generation support for scalable vector strict operations exists.33define <vscale x 2 x double> @replace_fmul_intrinsic_double_strictfp(<vscale x 2 x double> %a, <vscale x 2 x double> %b) #0 {34; CHECK: Function Attrs: strictfp35; CHECK-LABEL: @replace_fmul_intrinsic_double_strictfp(36; CHECK-NEXT: [[TMP2:%.*]] = tail call <vscale x 2 x double> @llvm.aarch64.sve.fmul.u.nxv2f64(<vscale x 2 x i1> splat (i1 true), <vscale x 2 x double> [[A:%.*]], <vscale x 2 x double> [[B:%.*]]) #[[ATTR2]]37; CHECK-NEXT: ret <vscale x 2 x double> [[TMP2]]38;39 %1 = tail call <vscale x 2 x i1> @llvm.aarch64.sve.ptrue.nxv2i1(i32 31) #140 %2 = tail call <vscale x 2 x double> @llvm.aarch64.sve.fmul.nxv2f64(<vscale x 2 x i1> %1, <vscale x 2 x double> %a, <vscale x 2 x double> %b) #141 ret <vscale x 2 x double> %242}43 44; NOTE: IRBuilder::CreateBinOp doesn't emit constrained operations directly so45; rely on function inlining to showcase the problematic transformation.46define <vscale x 2 x double> @call_replace_fmul_intrinsic_double_strictfp(<vscale x 2 x double> %a, <vscale x 2 x double> %b) #0 {47; CHECK: Function Attrs: strictfp48; CHECK-LABEL: @call_replace_fmul_intrinsic_double_strictfp(49; CHECK-NEXT: [[TMP2:%.*]] = call <vscale x 2 x double> @llvm.aarch64.sve.fmul.u.nxv2f64(<vscale x 2 x i1> splat (i1 true), <vscale x 2 x double> [[A:%.*]], <vscale x 2 x double> [[B:%.*]]) #[[ATTR2]]50; CHECK-NEXT: ret <vscale x 2 x double> [[TMP2]]51;52 %1 = call <vscale x 2 x double> @replace_fmul_intrinsic_double_strictfp(<vscale x 2 x double> %a, <vscale x 2 x double> %b) #153 ret <vscale x 2 x double> %154}55 56; TODO: We can only lower to constrained intrinsics when the necessary code57; generation support for scalable vector strict operations exists.58define <vscale x 2 x double> @replace_fsub_intrinsic_double_strictfp(<vscale x 2 x double> %a, <vscale x 2 x double> %b) #0 {59; CHECK: Function Attrs: strictfp60; CHECK-LABEL: @replace_fsub_intrinsic_double_strictfp(61; CHECK-NEXT: [[TMP2:%.*]] = tail call <vscale x 2 x double> @llvm.aarch64.sve.fsub.u.nxv2f64(<vscale x 2 x i1> splat (i1 true), <vscale x 2 x double> [[A:%.*]], <vscale x 2 x double> [[B:%.*]]) #[[ATTR2]]62; CHECK-NEXT: ret <vscale x 2 x double> [[TMP2]]63;64 %1 = tail call <vscale x 2 x i1> @llvm.aarch64.sve.ptrue.nxv2i1(i32 31) #165 %2 = tail call <vscale x 2 x double> @llvm.aarch64.sve.fsub.nxv2f64(<vscale x 2 x i1> %1, <vscale x 2 x double> %a, <vscale x 2 x double> %b) #166 ret <vscale x 2 x double> %267}68 69; NOTE: IRBuilder::CreateBinOp doesn't emit constrained operations directly so70; rely on function inlining to showcase the problematic transformation.71define <vscale x 2 x double> @call_replace_fsub_intrinsic_double_strictfp(<vscale x 2 x double> %a, <vscale x 2 x double> %b) #0 {72; CHECK: Function Attrs: strictfp73; CHECK-LABEL: @call_replace_fsub_intrinsic_double_strictfp(74; CHECK-NEXT: [[TMP2:%.*]] = call <vscale x 2 x double> @llvm.aarch64.sve.fsub.u.nxv2f64(<vscale x 2 x i1> splat (i1 true), <vscale x 2 x double> [[A:%.*]], <vscale x 2 x double> [[B:%.*]]) #[[ATTR2]]75; CHECK-NEXT: ret <vscale x 2 x double> [[TMP2]]76;77 %1 = call <vscale x 2 x double> @replace_fsub_intrinsic_double_strictfp(<vscale x 2 x double> %a, <vscale x 2 x double> %b) #178 ret <vscale x 2 x double> %179}80 81declare <vscale x 2 x double> @llvm.aarch64.sve.fadd.nxv2f64(<vscale x 2 x i1>, <vscale x 2 x double>, <vscale x 2 x double>)82declare <vscale x 2 x double> @llvm.aarch64.sve.fmul.nxv2f64(<vscale x 2 x i1>, <vscale x 2 x double>, <vscale x 2 x double>)83declare <vscale x 2 x double> @llvm.aarch64.sve.fsub.nxv2f64(<vscale x 2 x i1>, <vscale x 2 x double>, <vscale x 2 x double>)84 85declare <vscale x 2 x i1> @llvm.aarch64.sve.ptrue.nxv2i1(i32)86 87attributes #0 = { "target-features"="+sve" strictfp }88attributes #1 = { strictfp }89;.90; CHECK: attributes #[[ATTR0:[0-9]+]] = { strictfp "target-features"="+sve" }91; CHECK: attributes #[[ATTR1:[0-9]+]] = { nocallback nofree nosync nounwind willreturn memory(none) }92; CHECK: attributes #[[ATTR2]] = { strictfp }93;.94