adjust for different 'yield' hint on aarch64

This commit is contained in:
Ralf Jung 2021-05-03 11:25:05 +02:00
parent aac6e2ad3e
commit c3ae8a6f90

View file

@ -512,16 +512,16 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
let &[] = check_arg_count(args)?;
this.yield_active_thread();
}
"llvm.aarch64.hint" if this.tcx.sess.target.arch == "aarch64" => {
"llvm.aarch64.isb" if this.tcx.sess.target.arch == "aarch64" => {
check_abi(abi, Abi::C { unwind: false })?;
let &[ref hint] = check_arg_count(args)?;
let hint = this.read_scalar(hint)?.to_i32()?;
match hint {
1 => { // HINT_YIELD
let &[ref arg] = check_arg_count(args)?;
let arg = this.read_scalar(arg)?.to_i32()?;
match arg {
15 => { // SY ("full system scope")
this.yield_active_thread();
}
_ => {
throw_unsup_format!("unsupported llvm.aarch64.hint argument {}", hint);
throw_unsup_format!("unsupported llvm.aarch64.isb argument {}", arg);
}
}
}