diff options
| author | Ralf Jung <post@ralfj.de> | 2023-10-03 20:00:48 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-10-03 20:00:48 +0200 |
| commit | 3e21c1fc5681b118fb27bf0c8131d73bcfa8185c (patch) | |
| tree | 3629292edee0e18190f62b4ba7af419dcece82fd | |
| parent | 91ef03bf2f545f10db008d0ad54c3d197f539895 (diff) | |
wording tweaks
| -rw-r--r-- | src/tools/miri/src/shims/x86/sse.rs | 2 | ||||
| -rw-r--r-- | src/tools/miri/src/shims/x86/sse2.rs | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/miri/src/shims/x86/sse.rs b/src/tools/miri/src/shims/x86/sse.rs index 0e51a73d091..fa722f4b75e 100644 --- a/src/tools/miri/src/shims/x86/sse.rs +++ b/src/tools/miri/src/shims/x86/sse.rs @@ -144,7 +144,7 @@ pub(super) trait EvalContextExt<'mir, 'tcx: 'mir>: // 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, diff --git a/src/tools/miri/src/shims/x86/sse2.rs b/src/tools/miri/src/shims/x86/sse2.rs index a27d37d0fff..261c947c8ef 100644 --- a/src/tools/miri/src/shims/x86/sse2.rs +++ b/src/tools/miri/src/shims/x86/sse2.rs @@ -640,7 +640,7 @@ pub(super) trait EvalContextExt<'mir, 'tcx: 'mir>: // 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, |