15ffd83dbSDimitry Andric//=- AMDGPUCombine.td - Define AMDGPU Combine Rules ----------*- tablegen -*-=// 25ffd83dbSDimitry Andric// 35ffd83dbSDimitry Andric// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 45ffd83dbSDimitry Andric// See https://llvm.org/LICENSE.txt for license information. 55ffd83dbSDimitry Andric// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 65ffd83dbSDimitry Andric// 75ffd83dbSDimitry Andric//===----------------------------------------------------------------------===// 85ffd83dbSDimitry Andric 95ffd83dbSDimitry Andricinclude "llvm/Target/GlobalISel/Combine.td" 105ffd83dbSDimitry Andric 115ffd83dbSDimitry Andric// TODO: This really belongs after legalization after scalarization. 125ffd83dbSDimitry Andric// TODO: GICombineRules should accept subtarget predicates 135ffd83dbSDimitry Andric 14e8d8bef9SDimitry Andricdef fmin_fmax_legacy_matchdata : GIDefMatchData<"AMDGPUPostLegalizerCombinerHelper::FMinFMaxLegacyInfo">; 155ffd83dbSDimitry Andric 165ffd83dbSDimitry Andricdef fcmp_select_to_fmin_fmax_legacy : GICombineRule< 175ffd83dbSDimitry Andric (defs root:$select, fmin_fmax_legacy_matchdata:$matchinfo), 185ffd83dbSDimitry Andric (match (wip_match_opcode G_SELECT):$select, 19e8d8bef9SDimitry Andric [{ return PostLegalizerHelper.matchFMinFMaxLegacy(*${select}, ${matchinfo}); }]), 20e8d8bef9SDimitry Andric (apply [{ PostLegalizerHelper.applySelectFCmpToFMinToFMaxLegacy(*${select}, ${matchinfo}); }])>; 215ffd83dbSDimitry Andric 225ffd83dbSDimitry Andric 235ffd83dbSDimitry Andricdef uchar_to_float : GICombineRule< 245ffd83dbSDimitry Andric (defs root:$itofp), 255ffd83dbSDimitry Andric (match (wip_match_opcode G_UITOFP, G_SITOFP):$itofp, 26e8d8bef9SDimitry Andric [{ return PostLegalizerHelper.matchUCharToFloat(*${itofp}); }]), 27e8d8bef9SDimitry Andric (apply [{ PostLegalizerHelper.applyUCharToFloat(*${itofp}); }])>; 285ffd83dbSDimitry Andric 29e8d8bef9SDimitry Andricdef cvt_f32_ubyteN_matchdata : GIDefMatchData<"AMDGPUPostLegalizerCombinerHelper::CvtF32UByteMatchInfo">; 305ffd83dbSDimitry Andric 315ffd83dbSDimitry Andricdef cvt_f32_ubyteN : GICombineRule< 325ffd83dbSDimitry Andric (defs root:$cvt_f32_ubyteN, cvt_f32_ubyteN_matchdata:$matchinfo), 335ffd83dbSDimitry Andric (match (wip_match_opcode G_AMDGPU_CVT_F32_UBYTE0, 345ffd83dbSDimitry Andric G_AMDGPU_CVT_F32_UBYTE1, 355ffd83dbSDimitry Andric G_AMDGPU_CVT_F32_UBYTE2, 365ffd83dbSDimitry Andric G_AMDGPU_CVT_F32_UBYTE3):$cvt_f32_ubyteN, 37e8d8bef9SDimitry Andric [{ return PostLegalizerHelper.matchCvtF32UByteN(*${cvt_f32_ubyteN}, ${matchinfo}); }]), 38e8d8bef9SDimitry Andric (apply [{ PostLegalizerHelper.applyCvtF32UByteN(*${cvt_f32_ubyteN}, ${matchinfo}); }])>; 395ffd83dbSDimitry Andric 40*fe6060f1SDimitry Andricdef clamp_i64_to_i16_matchdata : GIDefMatchData<"AMDGPUPreLegalizerCombinerHelper::ClampI64ToI16MatchInfo">; 41*fe6060f1SDimitry Andric 42*fe6060f1SDimitry Andricdef clamp_i64_to_i16 : GICombineRule< 43*fe6060f1SDimitry Andric (defs root:$clamp_i64_to_i16, clamp_i64_to_i16_matchdata:$matchinfo), 44*fe6060f1SDimitry Andric (match (wip_match_opcode G_TRUNC):$clamp_i64_to_i16, 45*fe6060f1SDimitry Andric [{ return PreLegalizerHelper.matchClampI64ToI16(*${clamp_i64_to_i16}, MRI, *MF, ${matchinfo}); }]), 46*fe6060f1SDimitry Andric (apply [{ PreLegalizerHelper.applyClampI64ToI16(*${clamp_i64_to_i16}, ${matchinfo}); }])>; 47*fe6060f1SDimitry Andric 48*fe6060f1SDimitry Andricdef med3_matchdata : GIDefMatchData<"AMDGPURegBankCombinerHelper::Med3MatchInfo">; 49*fe6060f1SDimitry Andric 50*fe6060f1SDimitry Andricdef int_minmax_to_med3 : GICombineRule< 51*fe6060f1SDimitry Andric (defs root:$min_or_max, med3_matchdata:$matchinfo), 52*fe6060f1SDimitry Andric (match (wip_match_opcode G_SMAX, 53*fe6060f1SDimitry Andric G_SMIN, 54*fe6060f1SDimitry Andric G_UMAX, 55*fe6060f1SDimitry Andric G_UMIN):$min_or_max, 56*fe6060f1SDimitry Andric [{ return RegBankHelper.matchIntMinMaxToMed3(*${min_or_max}, ${matchinfo}); }]), 57*fe6060f1SDimitry Andric (apply [{ RegBankHelper.applyMed3(*${min_or_max}, ${matchinfo}); }])>; 58*fe6060f1SDimitry Andric 59*fe6060f1SDimitry Andricdef remove_fcanonicalize_matchinfo : GIDefMatchData<"Register">; 60*fe6060f1SDimitry Andric 61*fe6060f1SDimitry Andricdef remove_fcanonicalize : GICombineRule< 62*fe6060f1SDimitry Andric (defs root:$fcanonicalize, remove_fcanonicalize_matchinfo:$matchinfo), 63*fe6060f1SDimitry Andric (match (wip_match_opcode G_FCANONICALIZE):$fcanonicalize, 64*fe6060f1SDimitry Andric [{ return PostLegalizerHelper.matchRemoveFcanonicalize(*${fcanonicalize}, ${matchinfo}); }]), 65*fe6060f1SDimitry Andric (apply [{ Helper.replaceSingleDefInstWithReg(*${fcanonicalize}, ${matchinfo}); }])>; 66*fe6060f1SDimitry Andric 675ffd83dbSDimitry Andric// Combines which should only apply on SI/VI 685ffd83dbSDimitry Andricdef gfx6gfx7_combines : GICombineGroup<[fcmp_select_to_fmin_fmax_legacy]>; 695ffd83dbSDimitry Andric 705ffd83dbSDimitry Andricdef AMDGPUPreLegalizerCombinerHelper: GICombinerHelper< 71*fe6060f1SDimitry Andric "AMDGPUGenPreLegalizerCombinerHelper", [all_combines, clamp_i64_to_i16]> { 725ffd83dbSDimitry Andric let DisableRuleOption = "amdgpuprelegalizercombiner-disable-rule"; 73*fe6060f1SDimitry Andric let StateClass = "AMDGPUPreLegalizerCombinerHelperState"; 745ffd83dbSDimitry Andric} 755ffd83dbSDimitry Andric 765ffd83dbSDimitry Andricdef AMDGPUPostLegalizerCombinerHelper: GICombinerHelper< 775ffd83dbSDimitry Andric "AMDGPUGenPostLegalizerCombinerHelper", 78e8d8bef9SDimitry Andric [all_combines, gfx6gfx7_combines, 79*fe6060f1SDimitry Andric uchar_to_float, cvt_f32_ubyteN, remove_fcanonicalize]> { 805ffd83dbSDimitry Andric let DisableRuleOption = "amdgpupostlegalizercombiner-disable-rule"; 81e8d8bef9SDimitry Andric let StateClass = "AMDGPUPostLegalizerCombinerHelperState"; 82e8d8bef9SDimitry Andric let AdditionalArguments = []; 835ffd83dbSDimitry Andric} 845ffd83dbSDimitry Andric 855ffd83dbSDimitry Andricdef AMDGPURegBankCombinerHelper : GICombinerHelper< 86*fe6060f1SDimitry Andric "AMDGPUGenRegBankCombinerHelper", [zext_trunc_fold, int_minmax_to_med3]> { 875ffd83dbSDimitry Andric let DisableRuleOption = "amdgpuregbankcombiner-disable-rule"; 88*fe6060f1SDimitry Andric let StateClass = "AMDGPURegBankCombinerHelperState"; 89*fe6060f1SDimitry Andric let AdditionalArguments = []; 905ffd83dbSDimitry Andric} 91