yield on x86 'pause' hint

RalfJung · RalfJung · commit 994b13eaee64 · 2020-05-03T12:43:38.000+02:00
diff --git a/src/shims/foreign_items.rs b/src/shims/foreign_items.rs
@@ -434,7 +434,9 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
             }
 
             // Architecture-specific shims
-            "llvm.x86.sse2.pause" if this.tcx.sess.target.target.arch == "x86" || this.tcx.sess.target.target.arch == "x86_64" => {}
+            "llvm.x86.sse2.pause" if this.tcx.sess.target.target.arch == "x86" || this.tcx.sess.target.target.arch == "x86_64" => {
+                this.sched_yield()?;
+            }
 
             // Platform-specific shims
             _ => match this.tcx.sess.target.target.target_os.as_str() {

Original file line number	Diff line number	Diff line change
`@@ -434,7 +434,9 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx`
`434`	`434`	`}`
`435`	`435`
`436`	`436`	`// Architecture-specific shims`
`437`		`- "llvm.x86.sse2.pause" if this.tcx.sess.target.target.arch == "x86" \|\| this.tcx.sess.target.target.arch == "x86_64" => {}`
	`437`	`+ "llvm.x86.sse2.pause" if this.tcx.sess.target.target.arch == "x86" \|\| this.tcx.sess.target.target.arch == "x86_64" => {`
	`438`	`+ this.sched_yield()?;`
	`439`	`+ }`
`438`	`440`
`439`	`441`	`// Platform-specific shims`
`440`	`442`	`_ => match this.tcx.sess.target.target.target_os.as_str() {`