1 /* Copyright (c) 2018-2019 Alyssa Rosenzweig (alyssa@rosenzweig.io)
3 * Permission is hereby granted, free of charge, to any person obtaining a copy
4 * of this software and associated documentation files (the "Software"), to deal
5 * in the Software without restriction, including without limitation the rights
6 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
7 * copies of the Software, and to permit persons to whom the Software is
8 * furnished to do so, subject to the following conditions:
10 * The above copyright notice and this permission notice shall be included in
11 * all copies or substantial portions of the Software.
13 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
14 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
15 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
16 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
17 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
18 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
29 extern struct mir_op_props alu_opcode_props
[256];
30 extern struct mir_ldst_op_props load_store_opcode_props
[256];
31 extern struct mir_tag_props midgard_tag_props
[16];
33 #define OP_IS_ATOMIC(op) (load_store_opcode_props[op].props & LDST_ATOMIC)
34 #define OP_IS_STORE(op) (load_store_opcode_props[op].props & LDST_STORE)
35 #define OP_HAS_ADDRESS(op) (load_store_opcode_props[op].props & LDST_ADDRESS)
37 /* Is this opcode that of an integer (regardless of signedness)? Instruction
38 * names authoritatively determine types */
41 midgard_is_integer_op(int op
)
43 const char *name
= alu_opcode_props
[op
].name
;
48 return (name
[0] == 'i') || (name
[0] == 'u');
51 /* Does this opcode *write* an integer? Same as is_integer_op, unless it's a
52 * conversion between int<->float in which case we do the opposite */
55 midgard_is_integer_out_op(int op
)
57 bool is_int
= midgard_is_integer_op(op
);
58 bool is_conversion
= alu_opcode_props
[op
].props
& OP_TYPE_CONVERT
;
60 return is_int
^ is_conversion
;
63 /* Determines effective writemask, taking quirks and expansion into account */
65 static inline unsigned
66 effective_writemask(midgard_alu_op op
, unsigned existing_mask
)
68 /* Channel count is off-by-one to fit in two-bits (0 channel makes no
71 unsigned channel_count
= GET_CHANNEL_COUNT(alu_opcode_props
[op
].props
);
73 /* If there is a fixed channel count, construct the appropriate mask */
76 return (1 << channel_count
) - 1;