While the collect_unreachable is useful and prevents us from verification errors, we still want to get rid of it and use clean up passes so the unreachable code won't appear in the lowering. Thus we can use the mlir's canonicalizer pass, once #542 will be fixed.
While the
collect_unreachable
is useful and prevents us from verification errors, we still want to get rid of it and use clean up passes so the unreachable code won't appear in the lowering. Thus we can use the mlir'scanonicalizer
pass, once #542 will be fixed.