Evan Cheng | ffcb95b | 2006-02-21 19:13:53 +0000 | [diff] [blame] | 1 | //====- X86InstrMMX.td - Describe the X86 Instruction Set -------*- C++ -*-===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file was developed by the Evan Cheng and is distributed under |
| 6 | // the University of Illinois Open Source License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file describes the X86 MMX instruction set, defining the instructions, |
| 11 | // and properties of the instructions which are needed for code generation, |
| 12 | // machine code emission, and analysis. |
| 13 | // |
| 14 | //===----------------------------------------------------------------------===// |
| 15 | |
Bill Wendling | a31bd27 | 2007-03-06 18:53:42 +0000 | [diff] [blame] | 16 | //===----------------------------------------------------------------------===// |
Evan Cheng | fcf5e21 | 2006-04-11 06:57:30 +0000 | [diff] [blame] | 17 | // Instruction templates |
Bill Wendling | a31bd27 | 2007-03-06 18:53:42 +0000 | [diff] [blame] | 18 | //===----------------------------------------------------------------------===// |
| 19 | |
Evan Cheng | d2a6d54 | 2006-04-12 23:42:44 +0000 | [diff] [blame] | 20 | // MMXI - MMX instructions with TB prefix. |
| 21 | // MMX2I - MMX / SSE2 instructions with TB and OpSize prefixes. |
| 22 | // MMXIi8 - MMX instructions with ImmT == Imm8 and TB prefix. |
| 23 | class MMXI<bits<8> o, Format F, dag ops, string asm, list<dag> pattern> |
| 24 | : I<o, F, ops, asm, pattern>, TB, Requires<[HasMMX]>; |
| 25 | class MMX2I<bits<8> o, Format F, dag ops, string asm, list<dag> pattern> |
| 26 | : I<o, F, ops, asm, pattern>, TB, OpSize, Requires<[HasSSE2]>; |
Evan Cheng | fcf5e21 | 2006-04-11 06:57:30 +0000 | [diff] [blame] | 27 | class MMXIi8<bits<8> o, Format F, dag ops, string asm, list<dag> pattern> |
Evan Cheng | 1693e48 | 2006-07-19 00:27:29 +0000 | [diff] [blame] | 28 | : Ii8<o, F, ops, asm, pattern>, TB, Requires<[HasMMX]>; |
Evan Cheng | fcf5e21 | 2006-04-11 06:57:30 +0000 | [diff] [blame] | 29 | |
Evan Cheng | ba753c6 | 2006-03-20 06:04:52 +0000 | [diff] [blame] | 30 | // Some 'special' instructions |
| 31 | def IMPLICIT_DEF_VR64 : I<0, Pseudo, (ops VR64:$dst), |
| 32 | "#IMPLICIT_DEF $dst", |
| 33 | [(set VR64:$dst, (v8i8 (undef)))]>, |
| 34 | Requires<[HasMMX]>; |
| 35 | |
Bill Wendling | a31bd27 | 2007-03-06 18:53:42 +0000 | [diff] [blame] | 36 | def : Pat<(v8i8 (undef)), (IMPLICIT_DEF_VR64)>, Requires<[HasMMX]>; |
Evan Cheng | ba753c6 | 2006-03-20 06:04:52 +0000 | [diff] [blame] | 37 | def : Pat<(v4i16 (undef)), (IMPLICIT_DEF_VR64)>, Requires<[HasMMX]>; |
| 38 | def : Pat<(v2i32 (undef)), (IMPLICIT_DEF_VR64)>, Requires<[HasMMX]>; |
| 39 | |
Bill Wendling | a31bd27 | 2007-03-06 18:53:42 +0000 | [diff] [blame] | 40 | //===----------------------------------------------------------------------===// |
| 41 | // MMX Pattern Fragments |
| 42 | //===----------------------------------------------------------------------===// |
| 43 | |
| 44 | def loadv2i32 : PatFrag<(ops node:$ptr), (v2i32 (load node:$ptr))>; |
| 45 | |
| 46 | //===----------------------------------------------------------------------===// |
| 47 | // MMX EMMS Instruction |
| 48 | //===----------------------------------------------------------------------===// |
| 49 | |
| 50 | def EMMS : MMXI<0x77, RawFrm, (ops), "emms", [(int_x86_mmx_emms)]>; |
| 51 | |
| 52 | //===----------------------------------------------------------------------===// |
| 53 | // MMX Scalar Instructions |
| 54 | //===----------------------------------------------------------------------===// |
Bill Wendling | 229baff | 2007-03-05 23:09:45 +0000 | [diff] [blame] | 55 | |
Evan Cheng | ffcb95b | 2006-02-21 19:13:53 +0000 | [diff] [blame] | 56 | // Move Instructions |
Bill Wendling | a31bd27 | 2007-03-06 18:53:42 +0000 | [diff] [blame] | 57 | def MOVD64rr : MMXI<0x6E, MRMSrcReg, (ops VR64:$dst, GR32:$src), |
| 58 | "movd {$src, $dst|$dst, $src}", []>; |
| 59 | def MOVD64rm : MMXI<0x6E, MRMSrcMem, (ops VR64:$dst, i32mem:$src), |
| 60 | "movd {$src, $dst|$dst, $src}", []>; |
| 61 | def MOVD64mr : MMXI<0x7E, MRMDestMem, (ops i32mem:$dst, VR64:$src), |
| 62 | "movd {$src, $dst|$dst, $src}", []>; |
Evan Cheng | ffcb95b | 2006-02-21 19:13:53 +0000 | [diff] [blame] | 63 | |
Bill Wendling | a31bd27 | 2007-03-06 18:53:42 +0000 | [diff] [blame] | 64 | def MOVQ64rr : MMXI<0x6F, MRMSrcReg, (ops VR64:$dst, VR64:$src), |
| 65 | "movq {$src, $dst|$dst, $src}", []>; |
| 66 | def MOVQ64rm : MMXI<0x6F, MRMSrcMem, (ops VR64:$dst, i64mem:$src), |
| 67 | "movq {$src, $dst|$dst, $src}", |
| 68 | [(set VR64:$dst, (loadv2i32 addr:$src))]>; |
| 69 | def MOVQ64mr : MMXI<0x7F, MRMDestMem, (ops i64mem:$dst, VR64:$src), |
| 70 | "movq {$src, $dst|$dst, $src}", |
| 71 | [(store (v2i32 VR64:$src), addr:$dst)]>; |
Evan Cheng | 3246e06 | 2006-03-25 01:31:59 +0000 | [diff] [blame] | 72 | |
| 73 | // Conversion instructions |
Evan Cheng | d2a6d54 | 2006-04-12 23:42:44 +0000 | [diff] [blame] | 74 | def CVTPI2PSrr : MMXI<0x2A, MRMSrcReg, (ops VR128:$dst, VR64:$src), |
| 75 | "cvtpi2ps {$src, $dst|$dst, $src}", []>; |
| 76 | def CVTPI2PSrm : MMXI<0x2A, MRMSrcMem, (ops VR128:$dst, i64mem:$src), |
| 77 | "cvtpi2ps {$src, $dst|$dst, $src}", []>; |
| 78 | def CVTPI2PDrr : MMX2I<0x2A, MRMSrcReg, (ops VR128:$dst, VR64:$src), |
| 79 | "cvtpi2pd {$src, $dst|$dst, $src}", []>; |
| 80 | def CVTPI2PDrm : MMX2I<0x2A, MRMSrcMem, (ops VR128:$dst, i64mem:$src), |
| 81 | "cvtpi2pd {$src, $dst|$dst, $src}", []>; |
Evan Cheng | 3246e06 | 2006-03-25 01:31:59 +0000 | [diff] [blame] | 82 | def CVTTPS2PIrr: I<0x2C, MRMSrcReg, (ops VR64:$dst, VR128:$src), |
| 83 | "cvttps2pi {$src, $dst|$dst, $src}", []>, TB, |
| 84 | Requires<[HasSSE2]>; |
Evan Cheng | cc4f047 | 2006-03-25 06:00:03 +0000 | [diff] [blame] | 85 | def CVTTPS2PIrm: I<0x2C, MRMSrcMem, (ops VR64:$dst, f64mem:$src), |
Evan Cheng | 3246e06 | 2006-03-25 01:31:59 +0000 | [diff] [blame] | 86 | "cvttps2pi {$src, $dst|$dst, $src}", []>, TB, |
| 87 | Requires<[HasMMX]>; |
Evan Cheng | d2a6d54 | 2006-04-12 23:42:44 +0000 | [diff] [blame] | 88 | def CVTPS2PIrr : MMXI<0x2D, MRMSrcReg, (ops VR64:$dst, VR128:$src), |
| 89 | "cvtps2pi {$src, $dst|$dst, $src}", []>; |
| 90 | def CVTPS2PIrm : MMXI<0x2D, MRMSrcMem, (ops VR64:$dst, f64mem:$src), |
| 91 | "cvtps2pi {$src, $dst|$dst, $src}", []>; |
| 92 | def CVTPD2PIrr : MMX2I<0x2D, MRMSrcReg, (ops VR64:$dst, VR128:$src), |
| 93 | "cvtpd2pi {$src, $dst|$dst, $src}", []>; |
| 94 | def CVTPD2PIrm : MMX2I<0x2D, MRMSrcMem, (ops VR64:$dst, f128mem:$src), |
| 95 | "cvtpd2pi {$src, $dst|$dst, $src}", []>; |
Evan Cheng | fcf5e21 | 2006-04-11 06:57:30 +0000 | [diff] [blame] | 96 | |
| 97 | // Shuffle and unpack instructions |
| 98 | def PSHUFWri : MMXIi8<0x70, MRMSrcReg, |
| 99 | (ops VR64:$dst, VR64:$src1, i8imm:$src2), |
| 100 | "pshufw {$src2, $src1, $dst|$dst, $src1, $src2}", []>; |
| 101 | def PSHUFWmi : MMXIi8<0x70, MRMSrcMem, |
| 102 | (ops VR64:$dst, i64mem:$src1, i8imm:$src2), |
| 103 | "pshufw {$src2, $src1, $dst|$dst, $src1, $src2}", []>; |
| 104 | |
| 105 | // Misc. |
| 106 | def MOVNTQ : I<0xE7, MRMDestMem, (ops i64mem:$dst, VR64:$src), |
| 107 | "movntq {$src, $dst|$dst, $src}", []>, TB, |
| 108 | Requires<[HasMMX]>; |
| 109 | |
| 110 | def MASKMOVQ : I<0xF7, MRMDestMem, (ops VR64:$src, VR64:$mask), |
| 111 | "maskmovq {$mask, $src|$src, $mask}", []>, TB, |
| 112 | Requires<[HasMMX]>; |
Bill Wendling | a31bd27 | 2007-03-06 18:53:42 +0000 | [diff] [blame] | 113 | |
| 114 | //===----------------------------------------------------------------------===// |
| 115 | // Non-Instruction Patterns |
| 116 | //===----------------------------------------------------------------------===// |
| 117 | |
| 118 | // Store 64-bit integer vector values. |
| 119 | def : Pat<(store (v8i8 VR64:$src), addr:$dst), |
| 120 | (MOVQ64mr addr:$dst, VR64:$src)>; |
| 121 | def : Pat<(store (v4i16 VR64:$src), addr:$dst), |
| 122 | (MOVQ64mr addr:$dst, VR64:$src)>; |