+static int
+bits_for_mode(midgard_reg_mode mode)
+{
+ switch (mode) {
+ case midgard_reg_mode_8:
+ return 8;
+ case midgard_reg_mode_16:
+ return 16;
+ case midgard_reg_mode_32:
+ return 32;
+ case midgard_reg_mode_64:
+ return 64;
+ default:
+ return 0;
+ }
+}
+
+static void
+print_dest(unsigned reg, midgard_reg_mode mode, midgard_dest_override override, bool out_high)
+{
+ bool overriden = override != midgard_dest_override_none;
+ bool overriden_up = override == midgard_dest_override_upper;
+
+ /* Depending on the mode and override, we determine the type of
+ * destination addressed. Absent an override, we address just the
+ * type of the operation itself, directly at the out_reg register
+ * (scaled if necessary to disambiguate, raised if necessary) */
+
+ unsigned bits = bits_for_mode(mode);
+
+ if (overriden)
+ bits /= 2;
+
+ /* Sanity check the override */
+
+ if (overriden) {
+ bool modeable = (mode == midgard_reg_mode_32) || (mode == midgard_reg_mode_16);
+ bool known = override != 0x3; /* Unused value */
+ bool uppable = !overriden_up || (mode == midgard_reg_mode_32);
+
+ if (!(modeable && known && uppable))
+ printf("/* do%d */ ", override);
+ }
+
+ switch (mode) {
+ case midgard_reg_mode_8:
+ case midgard_reg_mode_16:
+ reg = reg * 2 + out_high;
+ break;
+
+ case midgard_reg_mode_32:
+ if (overriden) {
+ reg = (reg * 2) + overriden_up;
+ }
+
+ break;
+
+ default:
+ break;
+ }
+
+ print_reg(reg, bits);
+}
+