Back to PBT run
input.generic.mlir
"builtin.module"() ({
"llvm.func"() <{CConv = #llvm.cconv<ccc>, function_type = !llvm.func<f64 (f64, f64, f64)>, linkage = #llvm.linkage<external>, passthrough = ["nofree", "norecurse", "nosync", ["min-legal-vector-width", "0"], ["no-trapping-math", "true"], ["stack-protector-buffer-size", "8"], ["target-cpu", "generic-rv64"]], sym_name = "envelope_0", unnamed_addr = 0 : i64, visibility_ = 0 : i64}> ({
^bb0(%arg10: f64, %arg11: f64, %arg12: f64):
%9 = "llvm.intr.fmuladd"(%arg10, %arg11, %arg12) <{fastmathFlags = #llvm.fastmath<nnan, ninf, nsz>}> : (f64, f64, f64) -> f64
"llvm.return"(%9) : (f64) -> ()
}) : () -> ()
"llvm.func"() <{CConv = #llvm.cconv<ccc>, function_type = !llvm.func<f64 (f64, f64, f64)>, linkage = #llvm.linkage<external>, sym_name = "split_1", unnamed_addr = 0 : i64, visibility_ = 0 : i64}> ({
^bb0(%arg7: f64, %arg8: f64, %arg9: f64):
%7 = "arith.mulf"(%arg7, %arg8) <{fastmath = #arith.fastmath<none>}> : (f64, f64) -> f64
%8 = "arith.addf"(%7, %arg9) <{fastmath = #arith.fastmath<none>}> : (f64, f64) -> f64
"llvm.return"(%8) : (f64) -> ()
}) : () -> ()
"llvm.func"() <{CConv = #llvm.cconv<ccc>, function_type = !llvm.func<f64 (f64, f64, f64)>, linkage = #llvm.linkage<external>, passthrough = ["nofree", "norecurse", "nosync", ["min-legal-vector-width", "0"], ["no-trapping-math", "true"], ["stack-protector-buffer-size", "8"], ["target-cpu", "generic-rv64"]], sym_name = "envelope_2", unnamed_addr = 0 : i64, visibility_ = 0 : i64}> ({
^bb0(%arg4: f64, %arg5: f64, %arg6: f64):
%5 = "llvm.intr.fmuladd"(%arg4, %arg5, %arg6) <{fastmathFlags = #llvm.fastmath<contract>}> : (f64, f64, f64) -> f64
%6 = "llvm.intr.fmuladd"(%5, %arg5, %arg6) <{fastmathFlags = #llvm.fastmath<contract>}> : (f64, f64, f64) -> f64
"llvm.return"(%6) : (f64) -> ()
}) : () -> ()
"llvm.func"() <{CConv = #llvm.cconv<ccc>, function_type = !llvm.func<f64 (f64, f64, f64, i32)>, linkage = #llvm.linkage<external>, sym_name = "mixed_3", unnamed_addr = 0 : i64, visibility_ = 0 : i64}> ({
^bb0(%arg0: f64, %arg1: f64, %arg2: f64, %arg3: i32):
%0 = "llvm.fmul"(%arg0, %arg1) <{fastmathFlags = #llvm.fastmath<none>}> : (f64, f64) -> f64
%1 = "llvm.add"(%arg3, %arg3) <{overflowFlags = 0 : i32}> : (i32, i32) -> i32
%2 = "llvm.intr.fmuladd"(%arg0, %arg1, %arg2) <{fastmathFlags = #llvm.fastmath<none>}> : (f64, f64, f64) -> f64
%3 = "llvm.intr.fmuladd"(%2, %arg1, %arg2) <{fastmathFlags = #llvm.fastmath<none>}> : (f64, f64, f64) -> f64
%4 = "llvm.fadd"(%3, %0) <{fastmathFlags = #llvm.fastmath<none>}> : (f64, f64) -> f64
"llvm.return"(%4) : (f64) -> ()
}) : () -> ()
}) : () -> ()