pan/bi: Move some print routines out of the disasm
authorAlyssa Rosenzweig <alyssa.rosenzweig@collabora.com>
Tue, 3 Mar 2020 20:39:04 +0000 (15:39 -0500)
committerMarge Bot <eric+marge@anholt.net>
Thu, 5 Mar 2020 14:35:38 +0000 (14:35 +0000)
These are generally useful for debug of the compiler IR even prior to
code emit; let's share these.

Signed-off-by: Alyssa Rosenzweig <alyssa.rosenzweig@collabora.com>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/4061>

src/panfrost/Makefile.sources
src/panfrost/bifrost/bi_print.c [new file with mode: 0644]
src/panfrost/bifrost/bi_print.h [new file with mode: 0644]
src/panfrost/bifrost/bifrost.h
src/panfrost/bifrost/disassemble.c
src/panfrost/bifrost/meson.build

index 58e72e3884188ced8c227c805146446f01733f2f..5893fac91aaa314eb4931fdf969254f88936ca41 100644 (file)
@@ -3,6 +3,8 @@ bifrost_FILES := \
         bifrost/bifrost_compile.c \
         bifrost/bifrost_compile.h \
         bifrost/bifrost_tables.c \
+        bifrost/bi_print.c \
+        bifrost/bi_print.h \
         bifrost/bi_quirks.c \
         bifrost/compiler.h \
         bifrost/cmdline.c \
diff --git a/src/panfrost/bifrost/bi_print.c b/src/panfrost/bifrost/bi_print.c
new file mode 100644 (file)
index 0000000..020ef70
--- /dev/null
@@ -0,0 +1,93 @@
+/*
+ * Copyright (C) 2019 Connor Abbott <cwabbott0@gmail.com>
+ * Copyright (C) 2019 Lyude Paul <thatslyude@gmail.com>
+ * Copyright (C) 2019 Ryan Houdek <Sonicadvance1@gmail.com>
+ * Copyright (C) 2019-2020 Collabora, Ltd.
+ *
+ * Permission is hereby granted, free of charge, to any person obtaining a
+ * copy of this software and associated documentation files (the "Software"),
+ * to deal in the Software without restriction, including without limitation
+ * the rights to use, copy, modify, merge, publish, distribute, sublicense,
+ * and/or sell copies of the Software, and to permit persons to whom the
+ * Software is furnished to do so, subject to the following conditions:
+ *
+ * The above copyright notice and this permission notice (including the next
+ * paragraph) shall be included in all copies or substantial portions of the
+ * Software.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.  IN NO EVENT SHALL
+ * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+ * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+ * SOFTWARE.
+ */
+
+#include "bi_print.h"
+
+const char *
+bi_output_mod_name(enum bifrost_outmod mod)
+{
+        switch (mod) {
+        case BIFROST_NONE: return "";
+        case BIFROST_POS: return ".pos";
+        case BIFROST_SAT_SIGNED: return ".sat_signed";
+        case BIFROST_SAT: return ".sat";
+        default: return "invalid";
+        }
+}
+
+const char *
+bi_minmax_mode_name(enum bifrost_minmax_mode mod)
+{
+        switch (mod) {
+        case BIFROST_MINMAX_NONE: return "";
+        case BIFROST_NAN_WINS: return ".nan_wins";
+        case BIFROST_SRC1_WINS: return ".src1_wins";
+        case BIFROST_SRC0_WINS: return ".src0_wins";
+        default: return "invalid";
+        }
+}
+
+const char *
+bi_round_mode_name(enum bifrost_roundmode mod)
+{
+        switch (mod) {
+        case BIFROST_RTE: return "";
+        case BIFROST_RTP: return ".rtp";
+        case BIFROST_RTN: return ".rtn";
+        case BIFROST_RTZ: return ".rtz";
+        default: return "invalid";
+        }
+}
+
+const char *
+bi_csel_cond_name(enum bifrost_csel_cond cond)
+{
+        switch (cond) {
+        case BIFROST_FEQ_F: return "feq.f";
+        case BIFROST_FGT_F: return "fgt.f";
+        case BIFROST_FGE_F: return "fge.f";
+        case BIFROST_IEQ_F: return "ieq.f";
+        case BIFROST_IGT_I: return "igt.i";
+        case BIFROST_IGE_I: return "uge.i";
+        case BIFROST_UGT_I: return "ugt.i";
+        case BIFROST_UGE_I: return "uge.i";
+        default: return "invalid";
+        }
+}
+
+const char *
+bi_ldst_type_name(enum bifrost_ldst_type type)
+{
+        switch (type) {
+        case BIFROST_LDST_F16: return "f16";
+        case BIFROST_LDST_F32: return "f32";
+        case BIFROST_LDST_I32: return "i32";
+        case BIFROST_LDST_U32: return "u32";
+        default: return "invalid";
+        }
+}
+
+
diff --git a/src/panfrost/bifrost/bi_print.h b/src/panfrost/bifrost/bi_print.h
new file mode 100644 (file)
index 0000000..8b90fa1
--- /dev/null
@@ -0,0 +1,38 @@
+/*
+ * Copyright (C) 2019 Connor Abbott <cwabbott0@gmail.com>
+ * Copyright (C) 2019 Lyude Paul <thatslyude@gmail.com>
+ * Copyright (C) 2019 Ryan Houdek <Sonicadvance1@gmail.com>
+ * Copyright (C) 2020 Collabora Ltd.
+ *
+ * Permission is hereby granted, free of charge, to any person obtaining a
+ * copy of this software and associated documentation files (the "Software"),
+ * to deal in the Software without restriction, including without limitation
+ * the rights to use, copy, modify, merge, publish, distribute, sublicense,
+ * and/or sell copies of the Software, and to permit persons to whom the
+ * Software is furnished to do so, subject to the following conditions:
+ *
+ * The above copyright notice and this permission notice (including the next
+ * paragraph) shall be included in all copies or substantial portions of the
+ * Software.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.  IN NO EVENT SHALL
+ * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+ * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+ * SOFTWARE.
+ */
+
+#ifndef __BI_PRINT_H
+#define __BI_PRINT_H
+
+#include "bifrost.h"
+
+const char * bi_output_mod_name(enum bifrost_outmod mod);
+const char * bi_minmax_mode_name(enum bifrost_minmax_mode mod);
+const char * bi_round_mode_name(enum bifrost_roundmode mod);
+const char * bi_csel_cond_name(enum bifrost_csel_cond cond);
+const char * bi_ldst_type_name(enum bifrost_ldst_type type);
+
+#endif
index 689eb146cff6423acd5e55dbc8d4a056f4c467de..d8a1cff089da8223da693d88fcf4479a039dac3b 100644 (file)
@@ -90,12 +90,32 @@ enum bifrost_outmod {
 };
 
 enum bifrost_roundmode {
-        BIFROST_RTE = 0x0,
-        BIFROST_RTP = 0x1,
-        BIFROST_RTN = 0x2,
-        BIFROST_RTZ = 0x3
+        BIFROST_RTE = 0x0, /* round to even */
+        BIFROST_RTP = 0x1, /* round to positive */
+        BIFROST_RTN = 0x2, /* round to negative */
+        BIFROST_RTZ = 0x3 /* round to zero */
 };
 
+/* NONE: Same as fmax() and fmin() -- return the other
+ * number if any number is NaN.  Also always return +0 if
+ * one argument is +0 and the other is -0.
+ *
+ * NAN_WINS: Instead of never returning a NaN, always return
+ * one. The "greater"/"lesser" NaN is always returned, first
+ * by checking the sign and then the mantissa bits.
+ *
+ * SRC1_WINS: For max, implement src0 > src1 ? src0 : src1.
+ * For min, implement src0 < src1 ? src0 : src1.  This
+ * includes handling NaN's and signedness of 0 differently
+ * from above, since +0 and -0 compare equal and comparisons
+ * always return false for NaN's. As a result, this mode is
+ * *not* commutative.
+ *
+ * SRC0_WINS: For max, implement src0 < src1 ? src1 : src0
+ * For min, implement src0 > src1 ? src1 : src0
+ */
+
+
 enum bifrost_minmax_mode {
         BIFROST_MINMAX_NONE = 0x0,
         BIFROST_NAN_WINS    = 0x1,
index 19964d36a5deb647ab5c1048b3decf10732370e4..6c1bebda1ec074a5c54bdaf139df305a04592a79 100644 (file)
@@ -32,6 +32,7 @@
 
 #include "bifrost.h"
 #include "disassemble.h"
+#include "bi_print.h"
 #include "util/macros.h"
 
 // return bits (high, lo]
@@ -417,102 +418,6 @@ static void dump_src(FILE *fp, unsigned src, struct bifrost_regs srcs, uint64_t
         }
 }
 
-static void dump_output_mod(FILE *fp, unsigned mod)
-{
-        switch (mod) {
-        case BIFROST_NONE:
-                break;
-        case BIFROST_POS:
-                fprintf(fp, ".clamp_0_inf");
-                break; // max(out, 0)
-        case BIFROST_SAT_SIGNED:
-                fprintf(fp, ".clamp_m1_1");
-                break; // clamp(out, -1, 1)
-        case BIFROST_SAT:
-                fprintf(fp, ".clamp_0_1");
-                break; // clamp(out, 0, 1)
-        default:
-                break;
-        }
-}
-
-static void dump_minmax_mode(FILE *fp, unsigned mod)
-{
-        switch (mod) {
-        case BIFROST_MINMAX_NONE:
-                /* Same as fmax() and fmin() -- return the other number if any
-                 * number is NaN.  Also always return +0 if one argument is +0 and
-                 * the other is -0.
-                 */
-                break;
-        case BIFROST_NAN_WINS:
-                /* Instead of never returning a NaN, always return one. The
-                 * "greater"/"lesser" NaN is always returned, first by checking the
-                 * sign and then the mantissa bits.
-                 */
-                fprintf(fp, ".nan_wins");
-                break;
-        case BIFROST_SRC1_WINS:
-                /* For max, implement src0 > src1 ? src0 : src1
-                 * For min, implement src0 < src1 ? src0 : src1
-                 *
-                 * This includes handling NaN's and signedness of 0 differently
-                 * from above, since +0 and -0 compare equal and comparisons always
-                 * return false for NaN's. As a result, this mode is *not*
-                 * commutative.
-                 */
-                fprintf(fp, ".src1_wins");
-                break;
-        case BIFROST_SRC0_WINS:
-                /* For max, implement src0 < src1 ? src1 : src0
-                 * For min, implement src0 > src1 ? src1 : src0
-                 */
-                fprintf(fp, ".src0_wins");
-                break;
-        default:
-                break;
-        }
-}
-
-static void dump_round_mode(FILE *fp, unsigned mod)
-{
-        switch (mod) {
-        case BIFROST_RTE:
-                /* roundTiesToEven, the IEEE default. */
-                break;
-        case BIFROST_RTP:
-                /* roundTowardPositive in the IEEE spec. */
-                fprintf(fp, ".round_pos");
-                break;
-        case BIFROST_RTN:
-                /* roundTowardNegative in the IEEE spec. */
-                fprintf(fp, ".round_neg");
-                break;
-        case BIFROST_RTZ:
-                /* roundTowardZero in the IEEE spec. */
-                fprintf(fp, ".round_zero");
-                break;
-        default:
-                break;
-        }
-}
-
-static const char *
-csel_cond_name(enum bifrost_csel_cond cond)
-{
-        switch (cond) {
-        case BIFROST_FEQ_F: return "feq.f";
-        case BIFROST_FGT_F: return "fgt.f";
-        case BIFROST_FGE_F: return "fge.f";
-        case BIFROST_IEQ_F: return "ieq.f";
-        case BIFROST_IGT_I: return "igt.i";
-        case BIFROST_IGE_I: return "uge.i";
-        case BIFROST_UGT_I: return "ugt.i";
-        case BIFROST_UGE_I: return "uge.i";
-        default: return "invalid";
-        }
-}
-
 static const struct fma_op_info FMAOpInfos[] = {
         { false, 0x00000, "FMA.f32",  FMA_FMA },
         { false, 0x40000, "MAX.f32", FMA_FMINMAX },
@@ -769,18 +674,6 @@ static void dump_fma_expand_src1(FILE *fp, unsigned ctrl)
         }
 }
 
-static const char *
-bi_ldst_type_name(enum bifrost_ldst_type type)
-{
-        switch (type) {
-        case BIFROST_LDST_F16: return "f16";
-        case BIFROST_LDST_F32: return "f32";
-        case BIFROST_LDST_I32: return "i32";
-        case BIFROST_LDST_U32: return "u32";
-        default: return "invalid";
-        }
-}
-
 static void dump_fma(FILE *fp, uint64_t word, struct bifrost_regs regs, struct bifrost_regs next_regs, uint64_t *consts, bool verbose)
 {
         if (verbose) {
@@ -797,17 +690,17 @@ static void dump_fma(FILE *fp, uint64_t word, struct bifrost_regs regs, struct b
             info.src_type == FMA_FADD16 ||
             info.src_type == FMA_FMINMAX16 ||
             info.src_type == FMA_FMA16) {
-                dump_output_mod(fp, bits(FMA.op, 12, 14));
+                fprintf(fp, "%s", bi_output_mod_name(bits(FMA.op, 12, 14)));
                 switch (info.src_type) {
                 case FMA_FADD:
                 case FMA_FMA:
                 case FMA_FADD16:
                 case FMA_FMA16:
-                        dump_round_mode(fp, bits(FMA.op, 10, 12));
+                        fprintf(fp, "%s", bi_round_mode_name(bits(FMA.op, 10, 12)));
                         break;
                 case FMA_FMINMAX:
                 case FMA_FMINMAX16:
-                        dump_minmax_mode(fp, bits(FMA.op, 10, 12));
+                        fprintf(fp, "%s", bi_minmax_mode_name(bits(FMA.op, 10, 12)));
                         break;
                 default:
                         assert(0);
@@ -842,7 +735,7 @@ static void dump_fma(FILE *fp, uint64_t word, struct bifrost_regs regs, struct b
                                 fprintf(fp, ".unk%d_mode", (int) (FMA.op >> 9) & 0x3);
                         }
                 } else {
-                        dump_output_mod(fp, bits(FMA.op, 9, 11));
+                        fprintf(fp, "%s", bi_output_mod_name(bits(FMA.op, 9, 11)));
                 }
         } else if (info.src_type == FMA_SHIFT) {
                 struct bifrost_shift_fma shift;
@@ -1021,7 +914,7 @@ static void dump_fma(FILE *fp, uint64_t word, struct bifrost_regs regs, struct b
         case FMA_CSEL4: {
                 struct bifrost_csel4 csel;
                 memcpy(&csel, &FMA, sizeof(csel));
-                fprintf(fp, ".%s ", csel_cond_name(csel.cond));
+                fprintf(fp, ".%s ", bi_csel_cond_name(csel.cond));
 
                 dump_src(fp, csel.src0, regs, consts, true);
                 fprintf(fp, ", ");
@@ -1281,11 +1174,11 @@ static void dump_add(FILE *fp, uint64_t word, struct bifrost_regs regs,
         // float16 seems like it doesn't support output modifiers
         if (info.src_type == ADD_FADD || info.src_type == ADD_FMINMAX) {
                 // output modifiers
-                dump_output_mod(fp, bits(ADD.op, 8, 10));
+                fprintf(fp, "%s", bi_output_mod_name(bits(ADD.op, 8, 10)));
                 if (info.src_type == ADD_FADD)
-                        dump_round_mode(fp, bits(ADD.op, 10, 12));
+                        fprintf(fp, "%s", bi_round_mode_name(bits(ADD.op, 10, 12)));
                 else
-                        dump_minmax_mode(fp, bits(ADD.op, 10, 12));
+                        fprintf(fp, "%s", bi_minmax_mode_name(bits(ADD.op, 10, 12)));
         } else if (info.src_type == ADD_FCMP || info.src_type == ADD_FCMP16) {
                 dump_fcmp(fp, bits(ADD.op, 3, 6));
                 if (info.src_type == ADD_FCMP)
index f7141eb69e1f7c8a92b3ad3b9d3a5d8776fdf0ff..2812dba2c5bb905d38a0aef653e3362de7f1ca32 100644 (file)
@@ -21,6 +21,7 @@
 
 libpanfrost_bifrost_files = files(
   'disassemble.c',
+  'bi_print.c',
   'bi_tables.c',
   'bifrost_compile.c',
 )