cranelift_codegen_meta/shared/
formats.rs

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

cranelift_codegen_meta/shared/
formats.rs
