clean up checks for constant promotion of integer division/remainder operations

[dianne]

I found the old logic with matches on Options returned by other matches to be kind of complicated, so I rewrote it with let chains. There should be no change in behavior.

[rustbot]

Some changes occurred to MIR optimizations

cc @rust-lang/wg-mir-opt

[rustbot]

r? @jieyouxu

rustbot has assigned @jieyouxu.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer