mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

wording tweaks

Browse Source
This commit is contained in:
Ralf Jung 2023-10-03 20:00:48 +02:00 committed by GitHub
parent 91ef03bf2f
commit 3e21c1fc56
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/tools/miri/src/shims/x86/sse.rs
View File

@ -144,7 +144,7 @@ fn emulate_x86_sse_intrinsic(
// The difference between the com* and ucom* variants is signaling
// of exceptions when either argument is a quiet NaN. We do not
// support accessing the SSE status register from miri (or from Rust,
// for that matter), so we treat equally both variants.
// for that matter), so we treat both variants equally.
let res = match unprefixed_name {
"comieq.ss" | "ucomieq.ss" => left == right,
"comilt.ss" | "ucomilt.ss" => left < right,

2
src/tools/miri/src/shims/x86/sse2.rs
View File

@ -640,7 +640,7 @@ enum ShiftOp {
// The difference between the com* and ucom* variants is signaling
// of exceptions when either argument is a quiet NaN. We do not
// support accessing the SSE status register from miri (or from Rust,
// for that matter), so we treat equally both variants.
// for that matter), so we treat both variants equally.
let res = match unprefixed_name {
"comieq.sd" | "ucomieq.sd" => left == right,
"comilt.sd" | "ucomilt.sd" => left < right,