1
Fork 0

Fix conflicts after rebase

- r-l/r 126784
- r-l/r 127113
- r-l/miri 3562
This commit is contained in:
Maybe Lapkin 2024-07-07 18:04:29 +02:00
parent 54e11cf378
commit 7fd0c55a1a
5 changed files with 10 additions and 5 deletions

View file

@ -40,7 +40,9 @@ impl<'b, 'tcx> CostChecker<'b, 'tcx> {
fn is_call_like(bbd: &BasicBlockData<'_>) -> bool {
use TerminatorKind::*;
match bbd.terminator().kind {
Call { .. } | Drop { .. } | Assert { .. } | InlineAsm { .. } => true,
Call { .. } | TailCall { .. } | Drop { .. } | Assert { .. } | InlineAsm { .. } => {
true
}
Goto { .. }
| SwitchInt { .. }
@ -137,6 +139,9 @@ impl<'tcx> Visitor<'tcx> for CostChecker<'_, 'tcx> {
self.penalty += LANDINGPAD_PENALTY;
}
}
TerminatorKind::TailCall { .. } => {
self.penalty += CALL_PENALTY;
}
TerminatorKind::SwitchInt { discr, targets } => {
if discr.constant().is_some() {
// Not only will this become a `Goto`, but likely other