Back to PBT run
input.generic.mlir
"builtin.module"() ({
"llvm.func"() <{CConv = #llvm.cconv<ccc>, denormal_fpenv = #llvm.denormal_fpenv<default_output_mode = ieee, default_input_mode = ieee, float_output_mode = ieee, float_input_mode = ieee>, function_type = !llvm.func<f64 (f64, f64, f64)>, linkage = #llvm.linkage<external>, sym_name = "envelope_0", unnamed_addr = 0 : i64, visibility_ = 0 : i64}> ({
^bb0(%arg8: f64, %arg9: f64, %arg10: f64):
%7 = "llvm.intr.fmuladd"(%arg8, %arg9, %arg10) <{fastmathFlags = #llvm.fastmath<contract>}> : (f64, f64, f64) -> f64
"llvm.return"(%7) : (f64) -> ()
}) : () -> ()
"func.func"() <{function_type = (f32) -> f32, sym_name = "nested_1"}> ({
^bb0(%arg4: f32):
"builtin.module"() ({
"llvm.func"() <{CConv = #llvm.cconv<ccc>, function_type = !llvm.func<f32 (f32, f32, f32)>, linkage = #llvm.linkage<external>, sym_name = "inner_nested_1", unnamed_addr = 0 : i64, visibility_ = 0 : i64}> ({
^bb0(%arg5: f32, %arg6: f32, %arg7: f32):
%5 = "llvm.intr.fmuladd"(%arg5, %arg6, %arg7) <{fastmathFlags = #llvm.fastmath<none>}> : (f32, f32, f32) -> f32
%6 = "llvm.intr.fmuladd"(%5, %arg6, %arg7) <{fastmathFlags = #llvm.fastmath<none>}> : (f32, f32, f32) -> f32
"llvm.return"(%6) : (f32) -> ()
}) : () -> ()
}) : () -> ()
"func.return"(%arg4) : (f32) -> ()
}) : () -> ()
"llvm.func"() <{CConv = #llvm.cconv<ccc>, function_type = !llvm.func<f32 (f32, f32, f32, i32)>, linkage = #llvm.linkage<external>, sym_name = "mixed_2", unnamed_addr = 0 : i64, visibility_ = 0 : i64}> ({
^bb0(%arg0: f32, %arg1: f32, %arg2: f32, %arg3: i32):
%0 = "llvm.fmul"(%arg0, %arg1) <{fastmathFlags = #llvm.fastmath<none>}> : (f32, f32) -> f32
%1 = "llvm.add"(%arg3, %arg3) <{overflowFlags = 0 : i32}> : (i32, i32) -> i32
%2 = "llvm.intr.fmuladd"(%arg0, %arg1, %arg2) <{fastmathFlags = #llvm.fastmath<none>}> : (f32, f32, f32) -> f32
%3 = "llvm.intr.fmuladd"(%2, %arg1, %arg2) <{fastmathFlags = #llvm.fastmath<none>}> : (f32, f32, f32) -> f32
%4 = "llvm.fadd"(%3, %0) <{fastmathFlags = #llvm.fastmath<none>}> : (f32, f32) -> f32
"llvm.return"(%4) : (f32) -> ()
}) : () -> ()
}) : () -> ()