Back to PBT run
input.generic.mlir
"builtin.module"() ({
"llvm.func"() <{CConv = #llvm.cconv<ccc>, function_type = !llvm.func<i32 (i1, i32, i32)>, linkage = #llvm.linkage<external>, sym_name = "plain_diamond_0", unnamed_addr = 0 : i64, visibility_ = 0 : i64}> ({
^bb0(%arg6: i1, %arg7: i32, %arg8: i32):
"cf.cond_br"(%arg6)[^bb1, ^bb2] <{operandSegmentSizes = array<i32: 1, 0, 0>}> : (i1) -> ()
^bb1: // pred: ^bb0
"cf.br"(%arg7)[^bb3] : (i32) -> ()
^bb2: // pred: ^bb0
"cf.br"(%arg8)[^bb3] : (i32) -> ()
^bb3(%2: i32): // 2 preds: ^bb1, ^bb2
"llvm.return"(%2) : (i32) -> ()
}) : () -> ()
"llvm.func"() <{CConv = #llvm.cconv<ccc>, function_type = !llvm.func<i32 (i1, i32, i32)>, linkage = #llvm.linkage<external>, sym_name = "plain_diamond_1", unnamed_addr = 0 : i64, visibility_ = 0 : i64}> ({
^bb0(%arg3: i1, %arg4: i32, %arg5: i32):
"cf.cond_br"(%arg3)[^bb1, ^bb2] <{operandSegmentSizes = array<i32: 1, 0, 0>}> : (i1) -> ()
^bb1: // pred: ^bb0
"cf.br"(%arg4)[^bb3] : (i32) -> ()
^bb2: // pred: ^bb0
"cf.br"(%arg5)[^bb3] : (i32) -> ()
^bb3(%1: i32): // 2 preds: ^bb1, ^bb2
"llvm.return"(%1) : (i32) -> ()
}) : () -> ()
"llvm.func"() <{CConv = #llvm.cconv<ccc>, function_type = !llvm.func<i32 (i1, i32, i32)>, linkage = #llvm.linkage<external>, sym_name = "plain_diamond_2", unnamed_addr = 0 : i64, visibility_ = 0 : i64}> ({
^bb0(%arg0: i1, %arg1: i32, %arg2: i32):
"cf.cond_br"(%arg0)[^bb1, ^bb2] <{operandSegmentSizes = array<i32: 1, 0, 0>}> : (i1) -> ()
^bb1: // pred: ^bb0
"cf.br"(%arg1)[^bb3] : (i32) -> ()
^bb2: // pred: ^bb0
"cf.br"(%arg2)[^bb3] : (i32) -> ()
^bb3(%0: i32): // 2 preds: ^bb1, ^bb2
"llvm.return"(%0) : (i32) -> ()
}) : () -> ()
}) : () -> ()