For some reason the global variable reduction was trying to delete
use instructions. This broke the verifier if the user was a terminator,
since the block now no longer has one. It doesn't make sense for this
reduction to delete the users, so just stop doing that.
Details
Details
- Reviewers
regehr aeubanks lebedev.ri dblaikie diegotf
Diff Detail
Diff Detail
Unit Tests
Unit Tests