0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
1 //===-- X86Instr3DNow.td - The 3DNow! Instruction Set ------*- tablegen -*-===//
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
2 //
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
3 // The LLVM Compiler Infrastructure
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
4 //
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
5 // This file is distributed under the University of Illinois Open Source
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
6 // License. See LICENSE.TXT for details.
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
7 //
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
8 //===----------------------------------------------------------------------===//
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
9 //
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
10 // This file describes the 3DNow! instruction set, which extends MMX to support
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
11 // floating point and also adds a few more random instructions for good measure.
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
12 //
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
13 //===----------------------------------------------------------------------===//
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
14
|
134
|
15 let Sched = WriteFAdd in {
|
|
16 def I3DNOW_FALU_ITINS : OpndItins<
|
|
17 IIC_3DNOW_FALU_RR, IIC_3DNOW_FALU_RM
|
|
18 >;
|
|
19 }
|
|
20
|
|
21 let Sched = WriteCvtF2I in {
|
|
22 def I3DNOW_FCVT_F2I_ITINS : OpndItins<
|
|
23 IIC_3DNOW_FCVT_F2I_RR, IIC_3DNOW_FCVT_F2I_RM
|
|
24 >;
|
|
25 }
|
|
26
|
|
27 let Sched = WriteCvtI2F in {
|
|
28 def I3DNOW_FCVT_I2F_ITINS : OpndItins<
|
|
29 IIC_3DNOW_FCVT_I2F_RR, IIC_3DNOW_FCVT_I2F_RM
|
|
30 >;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
31 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
32
|
134
|
33 let Sched = WriteVecIMul in {
|
|
34 def I3DNOW_MISC_FUNC_ITINS : OpndItins<
|
|
35 IIC_3DNOW_MISC_FUNC_REG, IIC_3DNOW_MISC_FUNC_MEM
|
|
36 >;
|
|
37 }
|
|
38
|
|
39 let Sched = WriteShuffle in {
|
|
40 def I3DNOW_PSHUF_ITINS : OpndItins<
|
|
41 IIC_MMX_PSHUF, IIC_MMX_PSHUF
|
|
42 >;
|
|
43 }
|
|
44
|
|
45 class I3DNow<bits<8> o, Format F, dag outs, dag ins, string asm, list<dag> pat,
|
|
46 InstrItinClass itin>
|
|
47 : I<o, F, outs, ins, asm, pat, itin>, TB, Requires<[Has3DNow]> {
|
|
48 }
|
|
49
|
|
50 class I3DNow_binop<bits<8> o, Format F, dag ins, string Mnemonic, list<dag> pat,
|
|
51 InstrItinClass itin>
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
52 : I3DNow<o, F, (outs VR64:$dst), ins,
|
134
|
53 !strconcat(Mnemonic, "\t{$src2, $dst|$dst, $src2}"), pat, itin>,
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
54 Has3DNow0F0FOpcode {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
55 let Constraints = "$src1 = $dst";
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
56 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
57
|
134
|
58 class I3DNow_conv<bits<8> o, Format F, dag ins, string Mnemonic, list<dag> pat,
|
|
59 InstrItinClass itin>
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
60 : I3DNow<o, F, (outs VR64:$dst), ins,
|
134
|
61 !strconcat(Mnemonic, "\t{$src, $dst|$dst, $src}"), pat, itin>,
|
|
62 Has3DNow0F0FOpcode;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
63
|
134
|
64 multiclass I3DNow_binop_rm_int<bits<8> opc, string Mn, OpndItins itins,
|
|
65 bit Commutable = 0, string Ver = ""> {
|
121
|
66 let isCommutable = Commutable in
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
67 def rr : I3DNow_binop<opc, MRMSrcReg, (ins VR64:$src1, VR64:$src2), Mn,
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
68 [(set VR64:$dst, (!cast<Intrinsic>(
|
134
|
69 !strconcat("int_x86_3dnow", Ver, "_", Mn)) VR64:$src1, VR64:$src2))],
|
|
70 itins.rr>, Sched<[itins.Sched]>;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
71 def rm : I3DNow_binop<opc, MRMSrcMem, (ins VR64:$src1, i64mem:$src2), Mn,
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
72 [(set VR64:$dst, (!cast<Intrinsic>(
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
73 !strconcat("int_x86_3dnow", Ver, "_", Mn)) VR64:$src1,
|
134
|
74 (bitconvert (load_mmx addr:$src2))))], itins.rm>,
|
|
75 Sched<[itins.Sched.Folded, ReadAfterLd]>;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
76 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
77
|
134
|
78 multiclass I3DNow_conv_rm_int<bits<8> opc, string Mn, OpndItins itins,
|
|
79 string Ver = ""> {
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
80 def rr : I3DNow_conv<opc, MRMSrcReg, (ins VR64:$src), Mn,
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
81 [(set VR64:$dst, (!cast<Intrinsic>(
|
134
|
82 !strconcat("int_x86_3dnow", Ver, "_", Mn)) VR64:$src))], itins.rr>,
|
|
83 Sched<[itins.Sched]>;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
84 def rm : I3DNow_conv<opc, MRMSrcMem, (ins i64mem:$src), Mn,
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
85 [(set VR64:$dst, (!cast<Intrinsic>(
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
86 !strconcat("int_x86_3dnow", Ver, "_", Mn))
|
134
|
87 (bitconvert (load_mmx addr:$src))))], itins.rm>,
|
|
88 Sched<[itins.Sched.Folded, ReadAfterLd]>;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
89 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
90
|
134
|
91 defm PAVGUSB : I3DNow_binop_rm_int<0xBF, "pavgusb", I3DNOW_MISC_FUNC_ITINS, 1>;
|
|
92 defm PF2ID : I3DNow_conv_rm_int<0x1D, "pf2id", I3DNOW_FCVT_F2I_ITINS>;
|
|
93 defm PFACC : I3DNow_binop_rm_int<0xAE, "pfacc", I3DNOW_FALU_ITINS>;
|
|
94 defm PFADD : I3DNow_binop_rm_int<0x9E, "pfadd", I3DNOW_FALU_ITINS, 1>;
|
|
95 defm PFCMPEQ : I3DNow_binop_rm_int<0xB0, "pfcmpeq", I3DNOW_FALU_ITINS, 1>;
|
|
96 defm PFCMPGE : I3DNow_binop_rm_int<0x90, "pfcmpge", I3DNOW_FALU_ITINS>;
|
|
97 defm PFCMPGT : I3DNow_binop_rm_int<0xA0, "pfcmpgt", I3DNOW_FALU_ITINS>;
|
|
98 defm PFMAX : I3DNow_binop_rm_int<0xA4, "pfmax", I3DNOW_FALU_ITINS>;
|
|
99 defm PFMIN : I3DNow_binop_rm_int<0x94, "pfmin", I3DNOW_FALU_ITINS>;
|
|
100 defm PFMUL : I3DNow_binop_rm_int<0xB4, "pfmul", I3DNOW_FALU_ITINS, 1>;
|
|
101 defm PFRCP : I3DNow_conv_rm_int<0x96, "pfrcp", I3DNOW_FALU_ITINS>;
|
|
102 defm PFRCPIT1 : I3DNow_binop_rm_int<0xA6, "pfrcpit1", I3DNOW_FALU_ITINS>;
|
|
103 defm PFRCPIT2 : I3DNow_binop_rm_int<0xB6, "pfrcpit2", I3DNOW_FALU_ITINS>;
|
|
104 defm PFRSQIT1 : I3DNow_binop_rm_int<0xA7, "pfrsqit1", I3DNOW_FALU_ITINS>;
|
|
105 defm PFRSQRT : I3DNow_conv_rm_int<0x97, "pfrsqrt", I3DNOW_FALU_ITINS>;
|
|
106 defm PFSUB : I3DNow_binop_rm_int<0x9A, "pfsub", I3DNOW_FALU_ITINS, 1>;
|
|
107 defm PFSUBR : I3DNow_binop_rm_int<0xAA, "pfsubr", I3DNOW_FALU_ITINS, 1>;
|
|
108 defm PI2FD : I3DNow_conv_rm_int<0x0D, "pi2fd", I3DNOW_FCVT_I2F_ITINS>;
|
|
109 defm PMULHRW : I3DNow_binop_rm_int<0xB7, "pmulhrw", I3DNOW_MISC_FUNC_ITINS, 1>;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
110
|
134
|
111 // FIXME: Is there a better scheduler class for EMMS/FEMMS?
|
|
112 let SchedRW = [WriteMicrocoded] in
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
113 def FEMMS : I3DNow<0x0E, RawFrm, (outs), (ins), "femms",
|
134
|
114 [(int_x86_mmx_femms)], IIC_MMX_EMMS>;
|
|
115
|
|
116 // PREFETCHWT1 is supported we want to use it for everything but T0.
|
|
117 def PrefetchWLevel : PatFrag<(ops), (i32 imm), [{
|
|
118 return N->getSExtValue() == 3 || !Subtarget->hasPREFETCHWT1();
|
|
119 }]>;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
120
|
134
|
121 // Use PREFETCHWT1 for NTA, T2, T1.
|
|
122 def PrefetchWT1Level : ImmLeaf<i32, [{
|
|
123 return Imm < 3;
|
|
124 }]>;
|
|
125
|
|
126 let SchedRW = [WriteLoad] in {
|
|
127 let Predicates = [Has3DNow, NoSSEPrefetch] in
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
128 def PREFETCH : I3DNow<0x0D, MRM0m, (outs), (ins i8mem:$addr),
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
129 "prefetch\t$addr",
|
134
|
130 [(prefetch addr:$addr, imm, imm, (i32 1))],
|
|
131 IIC_SSE_PREFETCH>;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
132
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
133 def PREFETCHW : I<0x0D, MRM1m, (outs), (ins i8mem:$addr), "prefetchw\t$addr",
|
134
|
134 [(prefetch addr:$addr, (i32 1), (i32 PrefetchWLevel), (i32 1))],
|
|
135 IIC_SSE_PREFETCH>, TB, Requires<[HasPrefetchW]>;
|
|
136
|
|
137 def PREFETCHWT1 : I<0x0D, MRM2m, (outs), (ins i8mem:$addr), "prefetchwt1\t$addr",
|
|
138 [(prefetch addr:$addr, (i32 1), (i32 PrefetchWT1Level), (i32 1))],
|
|
139 IIC_SSE_PREFETCH>, TB, Requires<[HasPREFETCHWT1]>;
|
|
140 }
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
141
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
142 // "3DNowA" instructions
|
134
|
143 defm PF2IW : I3DNow_conv_rm_int<0x1C, "pf2iw", I3DNOW_FCVT_F2I_ITINS, "a">;
|
|
144 defm PI2FW : I3DNow_conv_rm_int<0x0C, "pi2fw", I3DNOW_FCVT_I2F_ITINS, "a">;
|
|
145 defm PFNACC : I3DNow_binop_rm_int<0x8A, "pfnacc", I3DNOW_FALU_ITINS, 0, "a">;
|
|
146 defm PFPNACC : I3DNow_binop_rm_int<0x8E, "pfpnacc", I3DNOW_FALU_ITINS, 0, "a">;
|
|
147 defm PSWAPD : I3DNow_conv_rm_int<0xBB, "pswapd", I3DNOW_PSHUF_ITINS, "a">;
|