diff options
| author | iximeow <me@iximeow.net> | 2023-12-16 15:05:08 -0800 |
|---|---|---|
| committer | iximeow <me@iximeow.net> | 2023-12-16 15:05:08 -0800 |
| commit | d7d84b3be6c929ee9d1b425a82b7121936a7cd34 (patch) | |
| tree | 83dffdbf52d2ee3b19eba1cef44ea1f06bb86360 /test | |
| parent | 2d303b6121e318e30572dd1134ddb0cf12bd0776 (diff) | |
fix incorrect register selection for `vpmov*2m` with `rex.r` set
Diffstat (limited to 'test')
| -rw-r--r-- | test/long_mode/mod.rs | 4 | ||||
| -rw-r--r-- | test/protected_mode/mod.rs | 5 | ||||
| -rw-r--r-- | test/real_mode/mod.rs | 5 |
3 files changed, 14 insertions, 0 deletions
diff --git a/test/long_mode/mod.rs b/test/long_mode/mod.rs index c7a4788..b087d74 100644 --- a/test/long_mode/mod.rs +++ b/test/long_mode/mod.rs @@ -1470,6 +1470,10 @@ fn evex() { // modrm bits as a register selector. out-of-range `k` seem to just get masked down.. test_display(&[0x62, 0xd2, 0x7e, 0x08, 0x28, 0xc2], "vpmovm2b xmm0, k2"); test_display(&[0x62, 0xf2, 0x7e, 0x08, 0x28, 0xc1], "vpmovm2b xmm0, k1"); + // vpmovb2m (and larger forms). out-of-range `k` are invalid in 64-bit mode, are part of the + // `bound` instruction for 32- and 16-bit modes. + test_invalid(&[0x62, 0x72, 0x7e, 0x28, 0x29, 0xfd]); + test_display(&[0x62, 0xf2, 0x7e, 0x28, 0x29, 0xfd], "vpmovb2m k7, ymm5"); test_display(&[0x62, 0x12, 0x7d, 0x06, 0xa0, 0x04, 0x2f], "vpscatterdd dword [r15 + xmm29 * 1], k6, xmm8"); test_display(&[0x62, 0x12, 0x7d, 0x06, 0xa0, 0x14, 0x0f], "vpscatterdd dword [r15 + xmm25 * 1], k6, xmm10"); diff --git a/test/protected_mode/mod.rs b/test/protected_mode/mod.rs index e843c7a..88d6c49 100644 --- a/test/protected_mode/mod.rs +++ b/test/protected_mode/mod.rs @@ -1337,6 +1337,11 @@ fn evex() { test_display(&[0x62, 0xd2, 0x7e, 0x08, 0x28, 0xc2], "vpmovm2b xmm0, k2"); test_display(&[0x62, 0xf2, 0x7e, 0x08, 0x28, 0xc1], "vpmovm2b xmm0, k1"); + // vpmovb2m (and larger forms). out-of-range `k` are invalid in 64-bit mode, are part of the + // `bound` instruction for 32- and 16-bit modes. + test_display(&[0x62, 0x72, 0x7e /* , 0x28, 0x29, 0xfd */], "bound esi, qword [edx + 0x7e]"); + test_display(&[0x62, 0xf2, 0x7e, 0x28, 0x29, 0xfd], "vpmovb2m k7, ymm5"); + test_display(&[0x62, 0xf2, 0x7d, 0x48, 0x2a, 0x44, 0x40, 0x01], "vmovntdqa zmm0, zmmword [eax + eax * 2 + 0x40]"); test_display(&[0x62, 0xf2, 0x7d, 0x08, 0x2a, 0x44, 0x40, 0x01], "vmovntdqa xmm0, xmmword [eax + eax * 2 + 0x10]"); } diff --git a/test/real_mode/mod.rs b/test/real_mode/mod.rs index a321e64..b422887 100644 --- a/test/real_mode/mod.rs +++ b/test/real_mode/mod.rs @@ -18406,6 +18406,11 @@ fn test_invalid_sequences() { test_display(&[0x62, 0xd2, 0x7e, 0x08, 0x28, 0xc2], "vpmovm2b xmm0, k2"); test_display(&[0x62, 0xf2, 0x7e, 0x08, 0x28, 0xc1], "vpmovm2b xmm0, k1"); + // vpmovb2m (and larger forms). out-of-range `k` are invalid in 64-bit mode, are part of the + // `bound` instruction for 32- and 16-bit modes. + test_display(&[0x62, 0x72, 0x7e /* , 0x28, 0x29, 0xfd */], "bound si, dword [bp + si * 1 + 0x7e]"); + test_display(&[0x62, 0xf2, 0x7e, 0x28, 0x29, 0xfd], "vpmovb2m k7, ymm5"); + } #[test] |