It has been moved to rustc_mir.
-78a089487b5f6d5e4205ac4500410b442857bced
+1ec980d225fff2346a1a631a7ffc88b37e9e18af
- "assume" => {
- let &[cond] = check_arg_count(args)?;
- let cond = this.read_scalar(cond)?.check_init()?.to_bool()?;
- if !cond {
- throw_ub_format!("`assume` intrinsic called with `false`");
- }
- }
-
"exact_div" => {
let &[num, denom] = check_arg_count(args)?;
this.exact_div(this.read_immediate(num)?, this.read_immediate(denom)?, dest)?;
"exact_div" => {
let &[num, denom] = check_arg_count(args)?;
this.exact_div(this.read_immediate(num)?, this.read_immediate(denom)?, dest)?;