Ignore intrinsics::assume in MIR inlining cost estimation

saethlin · saethlin · commit 7e95ff7c3ecf · 2023-12-04T19:21:59.000-05:00
diff --git a/compiler/rustc_mir_transform/src/cost_checker.rs b/compiler/rustc_mir_transform/src/cost_checker.rs
@@ -47,6 +47,7 @@ impl<'tcx> Visitor<'tcx> for CostChecker<'_, 'tcx> {
             StatementKind::StorageLive(_)
             | StatementKind::StorageDead(_)
             | StatementKind::Deinit(_)
+            | StatementKind::Intrinsic(box NonDivergingIntrinsic::Assume(_))
             | StatementKind::Nop => {}
             _ => self.cost += INSTR_COST,
         }

Original file line number	Diff line number	Diff line change
`@@ -47,6 +47,7 @@ impl<'tcx> Visitor<'tcx> for CostChecker<'_, 'tcx> {`
`47`	`47`	`StatementKind::StorageLive(_)`
`48`	`48`	`\| StatementKind::StorageDead(_)`
`49`	`49`	`\| StatementKind::Deinit(_)`
	`50`	`+ \| StatementKind::Intrinsic(box NonDivergingIntrinsic::Assume(_))`
`50`	`51`	`\| StatementKind::Nop => {}`
`51`	`52`	`_ => self.cost += INSTR_COST,`
`52`	`53`	`}`