2 * Copyright (C) 2019 Alyssa Rosenzweig <alyssa@rosenzweig.io>
4 * Permission is hereby granted, free of charge, to any person obtaining a
5 * copy of this software and associated documentation files (the "Software"),
6 * to deal in the Software without restriction, including without limitation
7 * the rights to use, copy, modify, merge, publish, distribute, sublicense,
8 * and/or sell copies of the Software, and to permit persons to whom the
9 * Software is furnished to do so, subject to the following conditions:
11 * The above copyright notice and this permission notice (including the next
12 * paragraph) shall be included in all copies or substantial portions of the
15 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
18 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
20 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
25 #include "midgard_ops.h"
27 void mir_rewrite_index_src_single(midgard_instruction
*ins
, unsigned old
, unsigned new)
29 if (ins
->ssa_args
.src0
== old
)
30 ins
->ssa_args
.src0
= new;
32 if (ins
->ssa_args
.src1
== old
&&
33 !ins
->ssa_args
.inline_constant
)
34 ins
->ssa_args
.src1
= new;
39 mir_rewrite_index_src(compiler_context
*ctx
, unsigned old
, unsigned new)
41 mir_foreach_instr_global(ctx
, ins
) {
42 mir_rewrite_index_src_single(ins
, old
, new);
47 mir_rewrite_index_src_tag(compiler_context
*ctx
, unsigned old
, unsigned new, unsigned tag
)
49 mir_foreach_instr_global(ctx
, ins
) {
53 mir_rewrite_index_src_single(ins
, old
, new);
60 mir_rewrite_index_dst(compiler_context
*ctx
, unsigned old
, unsigned new)
62 mir_foreach_instr_global(ctx
, ins
) {
63 if (ins
->ssa_args
.dest
== old
)
64 ins
->ssa_args
.dest
= new;
69 mir_rewrite_index(compiler_context
*ctx
, unsigned old
, unsigned new)
71 mir_rewrite_index_src(ctx
, old
, new);
72 mir_rewrite_index_dst(ctx
, old
, new);
76 mir_use_count(compiler_context
*ctx
, unsigned value
)
78 unsigned used_count
= 0;
80 mir_foreach_instr_global(ctx
, ins
) {
81 if (mir_has_arg(ins
, value
))
88 /* Checks if a value is used only once (or totally dead), which is an important
89 * heuristic to figure out if certain optimizations are Worth It (TM) */
92 mir_single_use(compiler_context
*ctx
, unsigned value
)
94 return mir_use_count(ctx
, value
) <= 1;
98 mir_nontrivial_mod(midgard_vector_alu_src src
, bool is_int
, unsigned mask
)
101 if (!is_int
&& src
.mod
) return true;
103 /* Other int mods don't matter in isolation */
104 if (is_int
&& src
.mod
== midgard_int_shift
) return true;
106 /* size-conversion */
107 if (src
.half
) return true;
110 for (unsigned c
= 0; c
< 4; ++c
) {
111 if (!(mask
& (1 << c
))) continue;
112 if (((src
.swizzle
>> (2*c
)) & 3) != c
) return true;
119 mir_nontrivial_source2_mod(midgard_instruction
*ins
)
121 bool is_int
= midgard_is_integer_op(ins
->alu
.op
);
123 midgard_vector_alu_src src2
=
124 vector_alu_from_unsigned(ins
->alu
.src2
);
126 return mir_nontrivial_mod(src2
, is_int
, ins
->mask
);
129 /* Checks if an index will be used as a special register -- basically, if we're
130 * used as the input to a non-ALU op */
133 mir_special_index(compiler_context
*ctx
, unsigned idx
)
135 mir_foreach_instr_global(ctx
, ins
) {
136 bool is_ldst
= ins
->type
== TAG_LOAD_STORE_4
;
137 bool is_tex
= ins
->type
== TAG_TEXTURE_4
;
139 if (!(is_ldst
|| is_tex
))
142 if (mir_has_arg(ins
, idx
))