1 use crate::cdsl::formats::{InstructionFormat, InstructionFormatBuilder as Builder};
2 use crate::shared::{entities::EntityRefs, immediates::Immediates};
3 use std::rc::Rc;
4 
5 pub(crate) struct Formats {
6     pub(crate) atomic_cas: Rc<InstructionFormat>,
7     pub(crate) atomic_rmw: Rc<InstructionFormat>,
8     pub(crate) binary: Rc<InstructionFormat>,
9     pub(crate) binary_imm8: Rc<InstructionFormat>,
10     pub(crate) binary_imm64: Rc<InstructionFormat>,
11     pub(crate) branch_table: Rc<InstructionFormat>,
12     pub(crate) brif: Rc<InstructionFormat>,
13     pub(crate) call: Rc<InstructionFormat>,
14     pub(crate) call_indirect: Rc<InstructionFormat>,
15     pub(crate) cond_trap: Rc<InstructionFormat>,
16     pub(crate) float_compare: Rc<InstructionFormat>,
17     pub(crate) func_addr: Rc<InstructionFormat>,
18     pub(crate) int_compare: Rc<InstructionFormat>,
19     pub(crate) int_compare_imm: Rc<InstructionFormat>,
20     pub(crate) int_add_trap: Rc<InstructionFormat>,
21     pub(crate) jump: Rc<InstructionFormat>,
22     pub(crate) load: Rc<InstructionFormat>,
23     pub(crate) load_no_offset: Rc<InstructionFormat>,
24     pub(crate) multiary: Rc<InstructionFormat>,
25     pub(crate) nullary: Rc<InstructionFormat>,
26     pub(crate) shuffle: Rc<InstructionFormat>,
27     pub(crate) stack_load: Rc<InstructionFormat>,
28     pub(crate) stack_store: Rc<InstructionFormat>,
29     pub(crate) dynamic_stack_load: Rc<InstructionFormat>,
30     pub(crate) dynamic_stack_store: Rc<InstructionFormat>,
31     pub(crate) store: Rc<InstructionFormat>,
32     pub(crate) store_no_offset: Rc<InstructionFormat>,
33     pub(crate) table_addr: Rc<InstructionFormat>,
34     pub(crate) ternary: Rc<InstructionFormat>,
35     pub(crate) ternary_imm8: Rc<InstructionFormat>,
36     pub(crate) trap: Rc<InstructionFormat>,
37     pub(crate) unary: Rc<InstructionFormat>,
38     pub(crate) unary_const: Rc<InstructionFormat>,
39     pub(crate) unary_global_value: Rc<InstructionFormat>,
40     pub(crate) unary_ieee32: Rc<InstructionFormat>,
41     pub(crate) unary_ieee64: Rc<InstructionFormat>,
42     pub(crate) unary_imm: Rc<InstructionFormat>,
43 }
44 
45 impl Formats {
46     pub fn new(imm: &Immediates, entities: &EntityRefs) -> Self {
47         Self {
48             unary: Builder::new("Unary").value().build(),
49 
50             unary_imm: Builder::new("UnaryImm").imm(&imm.imm64).build(),
51 
52             unary_ieee32: Builder::new("UnaryIeee32").imm(&imm.ieee32).build(),
53 
54             unary_ieee64: Builder::new("UnaryIeee64").imm(&imm.ieee64).build(),
55 
56             unary_const: Builder::new("UnaryConst").imm(&imm.pool_constant).build(),
57 
58             unary_global_value: Builder::new("UnaryGlobalValue")
59                 .imm(&entities.global_value)
60                 .build(),
61 
62             binary: Builder::new("Binary").value().value().build(),
63 
64             binary_imm8: Builder::new("BinaryImm8").value().imm(&imm.uimm8).build(),
65 
66             binary_imm64: Builder::new("BinaryImm64").value().imm(&imm.imm64).build(),
67 
68             // The select instructions are controlled by the second VALUE operand.
69             // The first VALUE operand is the controlling flag which has a derived type.
70             // The fma instruction has the same constraint on all inputs.
71             ternary: Builder::new("Ternary")
72                 .value()
73                 .value()
74                 .value()
75                 .typevar_operand(1)
76                 .build(),
77 
78             ternary_imm8: Builder::new("TernaryImm8")
79                 .value()
80                 .imm(&imm.uimm8)
81                 .value()
82                 .build(),
83 
84             // Catch-all for instructions with many outputs and inputs and no immediate
85             // operands.
86             multiary: Builder::new("MultiAry").varargs().build(),
87 
88             nullary: Builder::new("NullAry").build(),
89 
90             shuffle: Builder::new("Shuffle")
91                 .value()
92                 .value()
93                 .imm(&imm.uimm128)
94                 .build(),
95 
96             int_compare: Builder::new("IntCompare")
97                 .imm(&imm.intcc)
98                 .value()
99                 .value()
100                 .build(),
101 
102             int_compare_imm: Builder::new("IntCompareImm")
103                 .imm(&imm.intcc)
104                 .value()
105                 .imm(&imm.imm64)
106                 .build(),
107 
108             float_compare: Builder::new("FloatCompare")
109                 .imm(&imm.floatcc)
110                 .value()
111                 .value()
112                 .build(),
113 
114             jump: Builder::new("Jump").block().build(),
115 
116             brif: Builder::new("Brif").value().block().block().build(),
117 
118             branch_table: Builder::new("BranchTable")
119                 .value()
120                 .imm(&entities.jump_table)
121                 .build(),
122 
123             call: Builder::new("Call")
124                 .imm(&entities.func_ref)
125                 .varargs()
126                 .build(),
127 
128             call_indirect: Builder::new("CallIndirect")
129                 .imm(&entities.sig_ref)
130                 .value()
131                 .varargs()
132                 .build(),
133 
134             func_addr: Builder::new("FuncAddr").imm(&entities.func_ref).build(),
135 
136             atomic_rmw: Builder::new("AtomicRmw")
137                 .imm(&imm.memflags)
138                 .imm(&imm.atomic_rmw_op)
139                 .value()
140                 .value()
141                 .build(),
142 
143             atomic_cas: Builder::new("AtomicCas")
144                 .imm(&imm.memflags)
145                 .value()
146                 .value()
147                 .value()
148                 .typevar_operand(2)
149                 .build(),
150 
151             load: Builder::new("Load")
152                 .imm(&imm.memflags)
153                 .value()
154                 .imm(&imm.offset32)
155                 .build(),
156 
157             load_no_offset: Builder::new("LoadNoOffset")
158                 .imm(&imm.memflags)
159                 .value()
160                 .build(),
161 
162             store: Builder::new("Store")
163                 .imm(&imm.memflags)
164                 .value()
165                 .value()
166                 .imm(&imm.offset32)
167                 .build(),
168 
169             store_no_offset: Builder::new("StoreNoOffset")
170                 .imm(&imm.memflags)
171                 .value()
172                 .value()
173                 .build(),
174 
175             stack_load: Builder::new("StackLoad")
176                 .imm(&entities.stack_slot)
177                 .imm(&imm.offset32)
178                 .build(),
179 
180             stack_store: Builder::new("StackStore")
181                 .value()
182                 .imm(&entities.stack_slot)
183                 .imm(&imm.offset32)
184                 .build(),
185 
186             dynamic_stack_load: Builder::new("DynamicStackLoad")
187                 .imm(&entities.dynamic_stack_slot)
188                 .build(),
189 
190             dynamic_stack_store: Builder::new("DynamicStackStore")
191                 .value()
192                 .imm(&entities.dynamic_stack_slot)
193                 .build(),
194 
195             // Accessing a WebAssembly table.
196             table_addr: Builder::new("TableAddr")
197                 .imm(&entities.table)
198                 .value()
199                 .imm(&imm.offset32)
200                 .build(),
201 
202             trap: Builder::new("Trap").imm(&imm.trapcode).build(),
203 
204             cond_trap: Builder::new("CondTrap").value().imm(&imm.trapcode).build(),
205 
206             int_add_trap: Builder::new("IntAddTrap")
207                 .value()
208                 .value()
209                 .imm(&imm.trapcode)
210                 .build(),
211         }
212     }
213 }
214