diff options
| author | Manish Goregaokar <manishsmail@gmail.com> | 2020-07-17 14:09:08 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-17 14:09:08 -0700 |
| commit | 10b7eecbdd7cee00349dfc30b9e2dcf8b4f688af (patch) | |
| tree | c1c12aa7bea1cedeaffb73e98efc407d45b1ebdc /src/rustllvm/RustWrapper.cpp | |
| parent | 9c84c6b836bce0730cd1c34ef7e4832b755a713d (diff) | |
| parent | 698e870f75710152309158342fd18461531cc0fb (diff) | |
| download | rust-10b7eecbdd7cee00349dfc30b9e2dcf8b4f688af.tar.gz rust-10b7eecbdd7cee00349dfc30b9e2dcf8b4f688af.zip | |
Rollup merge of #74169 - ecstatic-morse:dataflow-unreachable, r=pnkfelix
Stop processing unreachable blocks when solving dataflow ...instead we `debug_assert` that the user is not checking the dataflow state for an unreachable block. This resolves a FIXME in the dataflow engine. The old behavior was an artifact of the previous dataflow framework. Things should run a tiny bit faster now, but I suspect not enough to show up in benchmarks. AFAIK, only the generator transform runs dataflow on MIR with unreachable basic blocks. This PR also adds some utility methods to `mir::traversal`. r? @pnkfelix
Diffstat (limited to 'src/rustllvm/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions