pan/bi: Add various read predicates

Correpsonding to source masks in the XML.

Signed-off-by: Alyssa Rosenzweig <alyssa.rosenzweig@collabora.com>
Reviewed-by: Boris Brezillon <boris.brezillon@collabora.com>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/8723>

src/panfrost/bifrost/bi_schedule.c

@@ -178,6 +178,81 @@ bi_must_message(bi_instr *ins)
         return bi_opcode_props[ins->op].message != BIFROST_MESSAGE_NONE;
 }
 
+static bool
+bi_fma_atomic(enum bi_opcode op)
+{
+        switch (op) {
+        case BI_OPCODE_ATOM_C_I32:
+        case BI_OPCODE_ATOM_C_I64:
+        case BI_OPCODE_ATOM_C1_I32:
+        case BI_OPCODE_ATOM_C1_I64:
+        case BI_OPCODE_ATOM_C1_RETURN_I32:
+        case BI_OPCODE_ATOM_C1_RETURN_I64:
+        case BI_OPCODE_ATOM_C_RETURN_I32:
+        case BI_OPCODE_ATOM_C_RETURN_I64:
+        case BI_OPCODE_ATOM_POST_I32:
+        case BI_OPCODE_ATOM_POST_I64:
+        case BI_OPCODE_ATOM_PRE_I64:
+                return true;
+        default:
+                return false;
+        }
+}
+
+ASSERTED static bool
+bi_reads_zero(bi_instr *ins)
+{
+        return !(bi_fma_atomic(ins->op) || ins->op == BI_OPCODE_IMULD);
+}
+
+static bool
+bi_reads_temps(bi_instr *ins, unsigned src)
+{
+        switch (ins->op) {
+        /* Cannot permute a temporary */
+        case BI_OPCODE_CLPER_V6_I32:
+        case BI_OPCODE_CLPER_V7_I32:
+                return src != 0;
+        case BI_OPCODE_IMULD:
+                return false;
+        default:
+                return true;
+        }
+}
+
+ASSERTED static bool
+bi_reads_t(bi_instr *ins, unsigned src)
+{
+        /* Branch offset cannot come from passthrough */
+        if (bi_opcode_props[ins->op].branch)
+                return src != 2;
+
+        /* Table can never read passthrough */
+        if (bi_opcode_props[ins->op].table)
+                return false;
+
+        /* Staging register reads may happen before the succeeding register
+         * block encodes a write, so effectively there is no passthrough */
+        if (src == 0 && bi_opcode_props[ins->op].sr_read)
+                return false;
+
+        /* Descriptor must not come from a passthrough */
+        switch (ins->op) {
+        case BI_OPCODE_LD_CVT:
+        case BI_OPCODE_LD_TILE:
+        case BI_OPCODE_ST_CVT:
+        case BI_OPCODE_ST_TILE:
+        case BI_OPCODE_TEXC:
+                return src != 2;
+        case BI_OPCODE_BLEND:
+                return src != 2 && src != 3;
+
+        /* Else, just check if we can read any temps */
+        default:
+                return bi_reads_temps(ins, src);
+        }
+}
+
 /* Eventually, we'll need a proper scheduling, grouping instructions
  * into clauses and ordering/assigning grouped instructions to the
  * appropriate FMA/ADD slots. Right now we do the dumbest possible