... cond_br %cond, ^bb1(...), ^bb2(...) ... ^bb1: // has single predecessor ... cond_br %cond, ^bb3(...), ^bb4(...)
->
... cond_br %cond, ^bb1(...), ^bb2(...) ... ^bb1: // has single predecessor ... br ^bb3(...)
Differential D89604
[mlir] Add canonicalization for cond_br that feed into a cond_br on the same condition rriddle on Oct 16 2020, 5:00 PM. Authored by
Details ... cond_br %cond, ^bb1(...), ^bb2(...) ... ^bb1: // has single predecessor ... cond_br %cond, ^bb3(...), ^bb4(...) -> ... cond_br %cond, ^bb1(...), ^bb2(...) ... ^bb1: // has single predecessor ... br ^bb3(...)
Diff Detail
Event TimelineComment Actions Nice, micro nit: in description add ... as when I initially read it I thought there was requirement for empty block bb1
|