diff --git a/include/mlir-hlo/Dialect/mhlo/transforms/mhlo_passes.td b/include/mlir-hlo/Dialect/mhlo/transforms/mhlo_passes.td index 52cee9d..6c623ec 100644 --- a/include/mlir-hlo/Dialect/mhlo/transforms/mhlo_passes.td +++ b/include/mlir-hlo/Dialect/mhlo/transforms/mhlo_passes.td @@ -41,9 +41,9 @@ def LegalizeGatherToTorchIndexSelectPass : Pass<"mhlo-legalize-gather-to-torch-i } -def LegalizeTanhToApproximationPass : Pass<"mhlo-legalize-tanh-to-approximation", "FuncOp"> { - let summary = "Legalize tanh from standard dialect to an approximation."; - let constructor = "createLegalizeTanhToApproximationPass()"; +def LegalizeTanhToApproximationPass : Pass<"mhlo-legalize-trigonometric-to-approximation", "FuncOp"> { + let summary = "Legalize trigonometric operations from standard dialect to an approximation."; + let constructor = "createLegalizeTrigonometricToApproximationPass()"; } diff --git a/include/mlir-hlo/Dialect/mhlo/transforms/passes.h b/include/mlir-hlo/Dialect/mhlo/transforms/passes.h index fae79d9..2c0735a 100644 --- a/include/mlir-hlo/Dialect/mhlo/transforms/passes.h +++ b/include/mlir-hlo/Dialect/mhlo/transforms/passes.h @@ -62,8 +62,10 @@ std::unique_ptr> createSinkConstantsToControlFlowPass(); // fuse mhlo ops to kLoop/kInput fusion patterns std::unique_ptr> createMhloFusionPass(); -/// Lowers the standard TanhOp to an approximation that does not use intrinsics. -std::unique_ptr> createLegalizeTanhToApproximationPass(); +/// Lowers trigonometric operations from the standard dialect to approximations +// that do not use intrinsics. +std::unique_ptr> +createLegalizeTrigonometricToApproximationPass(); std::unique_ptr createOptimizeMhloPass(); std::unique_ptr createLowerComplexPass(); diff --git a/include/mlir-hlo/Dialect/mhlo/transforms/rewriters.h b/include/mlir-hlo/Dialect/mhlo/transforms/rewriters.h index cf21a95..b0a382d 100644 --- a/include/mlir-hlo/Dialect/mhlo/transforms/rewriters.h +++ b/include/mlir-hlo/Dialect/mhlo/transforms/rewriters.h @@ -88,10 +88,10 @@ void PopulateTransformUnrankedHloPatterns(MLIRContext *context, void PopulateUnfuseBatchNormPatterns(MLIRContext *context, OwningRewritePatternList *patterns); -// Populates a pattern that translates the standard TanhOp to an approximation -// that does not use intrinsics. -void PopulateTanhToApproximationPatterns(MLIRContext *context, - OwningRewritePatternList *patterns); +// Populates patterns that translate the trigonometric operations from the +// standard dialect to approximations that do not use intrinsics. +void PopulateTrigonometricToApproximationPatterns( + MLIRContext *context, OwningRewritePatternList *patterns); } // namespace mhlo diff --git a/lib/Dialect/mhlo/transforms/CMakeLists.txt b/lib/Dialect/mhlo/transforms/CMakeLists.txt index e02add4..3549132 100644 --- a/lib/Dialect/mhlo/transforms/CMakeLists.txt +++ b/lib/Dialect/mhlo/transforms/CMakeLists.txt @@ -49,7 +49,7 @@ add_mlir_library(ChloPasses add_mlir_library(MhloPasses legalize_gather_to_torch_index_select.cc - legalize_tanh_to_approximation.cc + legalize_trigonometric_to_approximation.cc lower_complex.cc lower_complex_patterns.td lower_general_dot.cc diff --git a/lib/Dialect/mhlo/transforms/legalize_tanh_to_approximation.cc b/lib/Dialect/mhlo/transforms/legalize_trigonometric_to_approximation.cc similarity index 91% rename from lib/Dialect/mhlo/transforms/legalize_tanh_to_approximation.cc rename to lib/Dialect/mhlo/transforms/legalize_trigonometric_to_approximation.cc index 57c494f..7021fb8 100644 --- a/lib/Dialect/mhlo/transforms/legalize_tanh_to_approximation.cc +++ b/lib/Dialect/mhlo/transforms/legalize_trigonometric_to_approximation.cc @@ -126,12 +126,13 @@ class ApproximateTanhLowering : public OpRewritePattern { } }; -struct LegalizeTanhToApproximationPass - : public PassWrapper { +struct LegalizeTrigonometricToApproximationPass + : public PassWrapper { /// Perform the lowering of standard dialect operations to approximations. void runOnFunction() override { OwningRewritePatternList patterns; - PopulateTanhToApproximationPatterns(&getContext(), &patterns); + PopulateTrigonometricToApproximationPatterns(&getContext(), &patterns); applyPatternsAndFoldGreedily(getFunction(), patterns); } }; @@ -139,12 +140,12 @@ struct LegalizeTanhToApproximationPass } // anonymous namespace std::unique_ptr> -createLegalizeTanhToApproximationPass() { - return std::make_unique(); +createLegalizeTrigonometricToApproximationPass() { + return std::make_unique(); } -void PopulateTanhToApproximationPatterns(mlir::MLIRContext *context, - OwningRewritePatternList *patterns) { +void PopulateTrigonometricToApproximationPatterns( + mlir::MLIRContext *context, OwningRewritePatternList *patterns) { patterns->insert(context); } diff --git a/tests/legalize-trigonometric-to-approximation.mlir b/tests/legalize-trigonometric-to-approximation.mlir new file mode 100644 index 0000000..b138e1c --- /dev/null +++ b/tests/legalize-trigonometric-to-approximation.mlir @@ -0,0 +1,121 @@ +// RUN: mlir-hlo-opt --mhlo-legalize-trigonometric-to-approximation --split-input-file %s | FileCheck %s + +func @tanh_f64(%arg0 : f64) -> f64 { + %res = tanh %arg0 : f64 + return %res : f64 +} + +// CHECK-LABEL: @tanh_f64 +// CHECK: tanh + +// ----- + +func @tanh_f32(%arg0 : f32) -> f32 { + %res = tanh %arg0 : f32 + return %res : f32 +} + +// NOTE: Assertions have been autogenerated by utils/generate-test-checks.py + +// CHECK-LABEL: func @tanh_f32 +// CHECK-SAME: (%[[VAL_0:.*]]: f32) -> f32 +// CHECK: %[[VAL_1:.*]] = constant 4.000000e-04 : f32 +// CHECK: %[[VAL_2:.*]] = constant 7.90531111 : f32 +// CHECK: %[[VAL_3:.*]] = constant -7.90531111 : f32 +// CHECK: %[[VAL_4:.*]] = constant -2.76076837E-16 : f32 +// CHECK: %[[VAL_5:.*]] = constant 2.00018794E-13 : f32 +// CHECK: %[[VAL_6:.*]] = constant -8.60467184E-11 : f32 +// CHECK: %[[VAL_7:.*]] = constant 5.12229725E-8 : f32 +// CHECK: %[[VAL_8:.*]] = constant 1.48572235E-5 : f32 +// CHECK: %[[VAL_9:.*]] = constant 6.37261954E-4 : f32 +// CHECK: %[[VAL_10:.*]] = constant 0.00489352457 : f32 +// CHECK: %[[VAL_11:.*]] = constant 1.19825836E-6 : f32 +// CHECK: %[[VAL_12:.*]] = constant 1.18534706E-4 : f32 +// CHECK: %[[VAL_13:.*]] = constant 0.00226843474 : f32 +// CHECK: %[[VAL_14:.*]] = constant 0.00489352504 : f32 +// CHECK: %[[VAL_15:.*]] = absf %[[VAL_0]] : f32 +// CHECK: %[[VAL_16:.*]] = cmpf "olt", %[[VAL_15]], %[[VAL_1]] : f32 +// CHECK: %[[VAL_17:.*]] = cmpf "ule", %[[VAL_0]], %[[VAL_2]] : f32 +// CHECK: %[[VAL_18:.*]] = select %[[VAL_17]], %[[VAL_0]], %[[VAL_2]] : f32 +// CHECK: %[[VAL_19:.*]] = cmpf "uge", %[[VAL_18]], %[[VAL_3]] : f32 +// CHECK: %[[VAL_20:.*]] = select %[[VAL_19]], %[[VAL_18]], %[[VAL_3]] : f32 +// CHECK: %[[VAL_21:.*]] = mulf %[[VAL_20]], %[[VAL_20]] : f32 +// CHECK: %[[VAL_22:.*]] = mulf %[[VAL_21]], %[[VAL_4]] : f32 +// CHECK: %[[VAL_23:.*]] = addf %[[VAL_22]], %[[VAL_5]] : f32 +// CHECK: %[[VAL_24:.*]] = mulf %[[VAL_21]], %[[VAL_23]] : f32 +// CHECK: %[[VAL_25:.*]] = addf %[[VAL_24]], %[[VAL_6]] : f32 +// CHECK: %[[VAL_26:.*]] = mulf %[[VAL_21]], %[[VAL_25]] : f32 +// CHECK: %[[VAL_27:.*]] = addf %[[VAL_26]], %[[VAL_7]] : f32 +// CHECK: %[[VAL_28:.*]] = mulf %[[VAL_21]], %[[VAL_27]] : f32 +// CHECK: %[[VAL_29:.*]] = addf %[[VAL_28]], %[[VAL_8]] : f32 +// CHECK: %[[VAL_30:.*]] = mulf %[[VAL_21]], %[[VAL_29]] : f32 +// CHECK: %[[VAL_31:.*]] = addf %[[VAL_30]], %[[VAL_9]] : f32 +// CHECK: %[[VAL_32:.*]] = mulf %[[VAL_21]], %[[VAL_31]] : f32 +// CHECK: %[[VAL_33:.*]] = addf %[[VAL_32]], %[[VAL_10]] : f32 +// CHECK: %[[VAL_34:.*]] = mulf %[[VAL_20]], %[[VAL_33]] : f32 +// CHECK: %[[VAL_35:.*]] = mulf %[[VAL_21]], %[[VAL_11]] : f32 +// CHECK: %[[VAL_36:.*]] = addf %[[VAL_35]], %[[VAL_12]] : f32 +// CHECK: %[[VAL_37:.*]] = mulf %[[VAL_21]], %[[VAL_36]] : f32 +// CHECK: %[[VAL_38:.*]] = addf %[[VAL_37]], %[[VAL_13]] : f32 +// CHECK: %[[VAL_39:.*]] = mulf %[[VAL_21]], %[[VAL_38]] : f32 +// CHECK: %[[VAL_40:.*]] = addf %[[VAL_39]], %[[VAL_14]] : f32 +// CHECK: %[[VAL_41:.*]] = divf %[[VAL_34]], %[[VAL_40]] : f32 +// CHECK: %[[VAL_42:.*]] = select %[[VAL_16]], %[[VAL_0]], %[[VAL_41]] : f32 +// CHECK: return %[[VAL_42]] : f32 + +// ----- + +func @tanh_f16(%arg0 : f16) -> f16 { + %res = tanh %arg0 : f16 + return %res : f16 +} + +// NOTE: Assertions have been autogenerated by utils/generate-test-checks.py + +// CHECK-LABEL: func @tanh_f16 +// CHECK-SAME: (%[[VAL_0:.*]]: f16) -> f16 +// CHECK: %[[VAL_1:.*]] = constant 4.000000e-04 : f32 +// CHECK: %[[VAL_2:.*]] = constant 7.90531111 : f32 +// CHECK: %[[VAL_3:.*]] = constant -7.90531111 : f32 +// CHECK: %[[VAL_4:.*]] = constant -2.76076837E-16 : f32 +// CHECK: %[[VAL_5:.*]] = constant 2.00018794E-13 : f32 +// CHECK: %[[VAL_6:.*]] = constant -8.60467184E-11 : f32 +// CHECK: %[[VAL_7:.*]] = constant 5.12229725E-8 : f32 +// CHECK: %[[VAL_8:.*]] = constant 1.48572235E-5 : f32 +// CHECK: %[[VAL_9:.*]] = constant 6.37261954E-4 : f32 +// CHECK: %[[VAL_10:.*]] = constant 0.00489352457 : f32 +// CHECK: %[[VAL_11:.*]] = constant 1.19825836E-6 : f32 +// CHECK: %[[VAL_12:.*]] = constant 1.18534706E-4 : f32 +// CHECK: %[[VAL_13:.*]] = constant 0.00226843474 : f32 +// CHECK: %[[VAL_14:.*]] = constant 0.00489352504 : f32 +// CHECK: %[[VAL_15:.*]] = fpext %[[VAL_0]] : f16 to f32 +// CHECK: %[[VAL_16:.*]] = absf %[[VAL_15]] : f32 +// CHECK: %[[VAL_17:.*]] = cmpf "olt", %[[VAL_16]], %[[VAL_1]] : f32 +// CHECK: %[[VAL_18:.*]] = cmpf "ule", %[[VAL_15]], %[[VAL_2]] : f32 +// CHECK: %[[VAL_19:.*]] = select %[[VAL_18]], %[[VAL_15]], %[[VAL_2]] : f32 +// CHECK: %[[VAL_20:.*]] = cmpf "uge", %[[VAL_19]], %[[VAL_3]] : f32 +// CHECK: %[[VAL_21:.*]] = select %[[VAL_20]], %[[VAL_19]], %[[VAL_3]] : f32 +// CHECK: %[[VAL_22:.*]] = mulf %[[VAL_21]], %[[VAL_21]] : f32 +// CHECK: %[[VAL_23:.*]] = mulf %[[VAL_22]], %[[VAL_4]] : f32 +// CHECK: %[[VAL_24:.*]] = addf %[[VAL_23]], %[[VAL_5]] : f32 +// CHECK: %[[VAL_25:.*]] = mulf %[[VAL_22]], %[[VAL_24]] : f32 +// CHECK: %[[VAL_26:.*]] = addf %[[VAL_25]], %[[VAL_6]] : f32 +// CHECK: %[[VAL_27:.*]] = mulf %[[VAL_22]], %[[VAL_26]] : f32 +// CHECK: %[[VAL_28:.*]] = addf %[[VAL_27]], %[[VAL_7]] : f32 +// CHECK: %[[VAL_29:.*]] = mulf %[[VAL_22]], %[[VAL_28]] : f32 +// CHECK: %[[VAL_30:.*]] = addf %[[VAL_29]], %[[VAL_8]] : f32 +// CHECK: %[[VAL_31:.*]] = mulf %[[VAL_22]], %[[VAL_30]] : f32 +// CHECK: %[[VAL_32:.*]] = addf %[[VAL_31]], %[[VAL_9]] : f32 +// CHECK: %[[VAL_33:.*]] = mulf %[[VAL_22]], %[[VAL_32]] : f32 +// CHECK: %[[VAL_34:.*]] = addf %[[VAL_33]], %[[VAL_10]] : f32 +// CHECK: %[[VAL_35:.*]] = mulf %[[VAL_21]], %[[VAL_34]] : f32 +// CHECK: %[[VAL_36:.*]] = mulf %[[VAL_22]], %[[VAL_11]] : f32 +// CHECK: %[[VAL_37:.*]] = addf %[[VAL_36]], %[[VAL_12]] : f32 +// CHECK: %[[VAL_38:.*]] = mulf %[[VAL_22]], %[[VAL_37]] : f32 +// CHECK: %[[VAL_39:.*]] = addf %[[VAL_38]], %[[VAL_13]] : f32 +// CHECK: %[[VAL_40:.*]] = mulf %[[VAL_22]], %[[VAL_39]] : f32 +// CHECK: %[[VAL_41:.*]] = addf %[[VAL_40]], %[[VAL_14]] : f32 +// CHECK: %[[VAL_42:.*]] = divf %[[VAL_35]], %[[VAL_41]] : f32 +// CHECK: %[[VAL_43:.*]] = select %[[VAL_17]], %[[VAL_15]], %[[VAL_42]] : f32 +// CHECK: %[[VAL_44:.*]] = fptrunc %[[VAL_43]] : f32 to f16 +// CHECK: return %[[VAL_44]] : f16 diff --git a/tests/legalize_tanh_to_approximation.mlir b/tests/legalize_tanh_to_approximation.mlir deleted file mode 100644 index aa834d3..0000000 --- a/tests/legalize_tanh_to_approximation.mlir +++ /dev/null @@ -1,125 +0,0 @@ -// RUN: mlir-hlo-opt -mhlo-legalize-tanh-to-approximation -split-input-file %s | FileCheck %s - -func @tanh_f64(%arg0 : f64) -> f64 { - %res = tanh %arg0 : f64 - return %res : f64 -} - -// CHECK-LABEL: @tanh_f64 -// CHECK: tanh - -// ----- - -func @tanh_f32(%arg0 : f32) -> f32 { - %res = tanh %arg0 : f32 - return %res : f32 -} - -// NOTE: Assertions have been autogenerated by utils/generate-test-checks.py - -// CHECK-LABEL: func @tanh_f32( -// CHECK-SAME: %[[VAL_0:.*]]: f32) -> f32 { -// CHECK: %[[VAL_1:.*]] = constant 4.000000e-04 : f32 -// CHECK: %[[VAL_2:.*]] = constant 7.90531111 : f32 -// CHECK: %[[VAL_3:.*]] = constant -7.90531111 : f32 -// CHECK: %[[VAL_4:.*]] = constant -2.76076837E-16 : f32 -// CHECK: %[[VAL_5:.*]] = constant 2.00018794E-13 : f32 -// CHECK: %[[VAL_6:.*]] = constant -8.60467184E-11 : f32 -// CHECK: %[[VAL_7:.*]] = constant 5.12229725E-8 : f32 -// CHECK: %[[VAL_8:.*]] = constant 1.48572235E-5 : f32 -// CHECK: %[[VAL_9:.*]] = constant 6.37261954E-4 : f32 -// CHECK: %[[VAL_10:.*]] = constant 0.00489352457 : f32 -// CHECK: %[[VAL_11:.*]] = constant 1.19825836E-6 : f32 -// CHECK: %[[VAL_12:.*]] = constant 1.18534706E-4 : f32 -// CHECK: %[[VAL_13:.*]] = constant 0.00226843474 : f32 -// CHECK: %[[VAL_14:.*]] = constant 0.00489352504 : f32 -// CHECK: %[[VAL_15:.*]] = absf %[[VAL_0]] : f32 -// CHECK: %[[VAL_16:.*]] = cmpf "olt", %[[VAL_15]], %[[VAL_1]] : f32 -// CHECK: %[[VAL_17:.*]] = cmpf "ule", %[[VAL_0]], %[[VAL_2]] : f32 -// CHECK: %[[VAL_18:.*]] = select %[[VAL_17]], %[[VAL_0]], %[[VAL_2]] : f32 -// CHECK: %[[VAL_19:.*]] = cmpf "uge", %[[VAL_18]], %[[VAL_3]] : f32 -// CHECK: %[[VAL_20:.*]] = select %[[VAL_19]], %[[VAL_18]], %[[VAL_3]] : f32 -// CHECK: %[[VAL_21:.*]] = mulf %[[VAL_20]], %[[VAL_20]] : f32 -// CHECK: %[[VAL_22:.*]] = mulf %[[VAL_21]], %[[VAL_4]] : f32 -// CHECK: %[[VAL_23:.*]] = addf %[[VAL_22]], %[[VAL_5]] : f32 -// CHECK: %[[VAL_24:.*]] = mulf %[[VAL_21]], %[[VAL_23]] : f32 -// CHECK: %[[VAL_25:.*]] = addf %[[VAL_24]], %[[VAL_6]] : f32 -// CHECK: %[[VAL_26:.*]] = mulf %[[VAL_21]], %[[VAL_25]] : f32 -// CHECK: %[[VAL_27:.*]] = addf %[[VAL_26]], %[[VAL_7]] : f32 -// CHECK: %[[VAL_28:.*]] = mulf %[[VAL_21]], %[[VAL_27]] : f32 -// CHECK: %[[VAL_29:.*]] = addf %[[VAL_28]], %[[VAL_8]] : f32 -// CHECK: %[[VAL_30:.*]] = mulf %[[VAL_21]], %[[VAL_29]] : f32 -// CHECK: %[[VAL_31:.*]] = addf %[[VAL_30]], %[[VAL_9]] : f32 -// CHECK: %[[VAL_32:.*]] = mulf %[[VAL_21]], %[[VAL_31]] : f32 -// CHECK: %[[VAL_33:.*]] = addf %[[VAL_32]], %[[VAL_10]] : f32 -// CHECK: %[[VAL_34:.*]] = mulf %[[VAL_20]], %[[VAL_33]] : f32 -// CHECK: %[[VAL_35:.*]] = mulf %[[VAL_21]], %[[VAL_11]] : f32 -// CHECK: %[[VAL_36:.*]] = addf %[[VAL_35]], %[[VAL_12]] : f32 -// CHECK: %[[VAL_37:.*]] = mulf %[[VAL_21]], %[[VAL_36]] : f32 -// CHECK: %[[VAL_38:.*]] = addf %[[VAL_37]], %[[VAL_13]] : f32 -// CHECK: %[[VAL_39:.*]] = mulf %[[VAL_21]], %[[VAL_38]] : f32 -// CHECK: %[[VAL_40:.*]] = addf %[[VAL_39]], %[[VAL_14]] : f32 -// CHECK: %[[VAL_41:.*]] = divf %[[VAL_34]], %[[VAL_40]] : f32 -// CHECK: %[[VAL_42:.*]] = select %[[VAL_16]], %[[VAL_0]], %[[VAL_41]] : f32 -// CHECK: return %[[VAL_42]] : f32 -// CHECK: } - -// ----- - -func @tanh_f16(%arg0 : f16) -> f16 { - %res = tanh %arg0 : f16 - return %res : f16 -} - -// NOTE: Assertions have been autogenerated by utils/generate-test-checks.py - -// CHECK-LABEL: func @tanh_f16( -// CHECK-SAME: %[[VAL_0:.*]]: f16) -> f16 { -// CHECK: %[[VAL_1:.*]] = constant 4.000000e-04 : f32 -// CHECK: %[[VAL_2:.*]] = constant 7.90531111 : f32 -// CHECK: %[[VAL_3:.*]] = constant -7.90531111 : f32 -// CHECK: %[[VAL_4:.*]] = constant -2.76076837E-16 : f32 -// CHECK: %[[VAL_5:.*]] = constant 2.00018794E-13 : f32 -// CHECK: %[[VAL_6:.*]] = constant -8.60467184E-11 : f32 -// CHECK: %[[VAL_7:.*]] = constant 5.12229725E-8 : f32 -// CHECK: %[[VAL_8:.*]] = constant 1.48572235E-5 : f32 -// CHECK: %[[VAL_9:.*]] = constant 6.37261954E-4 : f32 -// CHECK: %[[VAL_10:.*]] = constant 0.00489352457 : f32 -// CHECK: %[[VAL_11:.*]] = constant 1.19825836E-6 : f32 -// CHECK: %[[VAL_12:.*]] = constant 1.18534706E-4 : f32 -// CHECK: %[[VAL_13:.*]] = constant 0.00226843474 : f32 -// CHECK: %[[VAL_14:.*]] = constant 0.00489352504 : f32 -// CHECK: %[[VAL_15:.*]] = fpext %[[VAL_0]] : f16 to f32 -// CHECK: %[[VAL_16:.*]] = absf %[[VAL_15]] : f32 -// CHECK: %[[VAL_17:.*]] = cmpf "olt", %[[VAL_16]], %[[VAL_1]] : f32 -// CHECK: %[[VAL_18:.*]] = cmpf "ule", %[[VAL_15]], %[[VAL_2]] : f32 -// CHECK: %[[VAL_19:.*]] = select %[[VAL_18]], %[[VAL_15]], %[[VAL_2]] : f32 -// CHECK: %[[VAL_20:.*]] = cmpf "uge", %[[VAL_19]], %[[VAL_3]] : f32 -// CHECK: %[[VAL_21:.*]] = select %[[VAL_20]], %[[VAL_19]], %[[VAL_3]] : f32 -// CHECK: %[[VAL_22:.*]] = mulf %[[VAL_21]], %[[VAL_21]] : f32 -// CHECK: %[[VAL_23:.*]] = mulf %[[VAL_22]], %[[VAL_4]] : f32 -// CHECK: %[[VAL_24:.*]] = addf %[[VAL_23]], %[[VAL_5]] : f32 -// CHECK: %[[VAL_25:.*]] = mulf %[[VAL_22]], %[[VAL_24]] : f32 -// CHECK: %[[VAL_26:.*]] = addf %[[VAL_25]], %[[VAL_6]] : f32 -// CHECK: %[[VAL_27:.*]] = mulf %[[VAL_22]], %[[VAL_26]] : f32 -// CHECK: %[[VAL_28:.*]] = addf %[[VAL_27]], %[[VAL_7]] : f32 -// CHECK: %[[VAL_29:.*]] = mulf %[[VAL_22]], %[[VAL_28]] : f32 -// CHECK: %[[VAL_30:.*]] = addf %[[VAL_29]], %[[VAL_8]] : f32 -// CHECK: %[[VAL_31:.*]] = mulf %[[VAL_22]], %[[VAL_30]] : f32 -// CHECK: %[[VAL_32:.*]] = addf %[[VAL_31]], %[[VAL_9]] : f32 -// CHECK: %[[VAL_33:.*]] = mulf %[[VAL_22]], %[[VAL_32]] : f32 -// CHECK: %[[VAL_34:.*]] = addf %[[VAL_33]], %[[VAL_10]] : f32 -// CHECK: %[[VAL_35:.*]] = mulf %[[VAL_21]], %[[VAL_34]] : f32 -// CHECK: %[[VAL_36:.*]] = mulf %[[VAL_22]], %[[VAL_11]] : f32 -// CHECK: %[[VAL_37:.*]] = addf %[[VAL_36]], %[[VAL_12]] : f32 -// CHECK: %[[VAL_38:.*]] = mulf %[[VAL_22]], %[[VAL_37]] : f32 -// CHECK: %[[VAL_39:.*]] = addf %[[VAL_38]], %[[VAL_13]] : f32 -// CHECK: %[[VAL_40:.*]] = mulf %[[VAL_22]], %[[VAL_39]] : f32 -// CHECK: %[[VAL_41:.*]] = addf %[[VAL_40]], %[[VAL_14]] : f32 -// CHECK: %[[VAL_42:.*]] = divf %[[VAL_35]], %[[VAL_41]] : f32 -// CHECK: %[[VAL_43:.*]] = select %[[VAL_17]], %[[VAL_15]], %[[VAL_42]] : f32 -// CHECK: %[[VAL_44:.*]] = fptrunc %[[VAL_43]] : f32 to f16 -// CHECK: return %[[VAL_44]] : f16 -// CHECK: } - -