vc4: Move the QPU instructions to schedule into each block.

We'll want to schedule them individually, to handle delay slots.
This commit is contained in:
Eric Anholt 2016-03-15 17:53:36 -07:00
parent 37ecc61662
commit a59da513d3
4 changed files with 180 additions and 141 deletions

View File

@ -536,6 +536,7 @@ qir_new_block(struct vc4_compile *c)
struct qblock *block = rzalloc(c, struct qblock); struct qblock *block = rzalloc(c, struct qblock);
list_inithead(&block->instructions); list_inithead(&block->instructions);
list_inithead(&block->qpu_inst_list);
block->predecessors = _mesa_set_create(block, block->predecessors = _mesa_set_create(block,
_mesa_hash_pointer, _mesa_hash_pointer,

View File

@ -355,6 +355,7 @@ struct qblock {
struct list_head link; struct list_head link;
struct list_head instructions; struct list_head instructions;
struct list_head qpu_inst_list;
struct set *predecessors; struct set *predecessors;
struct qblock *successors[2]; struct qblock *successors[2];
@ -467,6 +468,7 @@ struct vc4_compile {
struct qblock *loop_break_block; struct qblock *loop_break_block;
struct list_head qpu_inst_list; struct list_head qpu_inst_list;
uint64_t *qpu_insts; uint64_t *qpu_insts;
uint32_t qpu_inst_count; uint32_t qpu_inst_count;
uint32_t qpu_inst_size; uint32_t qpu_inst_size;

View File

@ -44,31 +44,31 @@ vc4_dump_program(struct vc4_compile *c)
} }
static void static void
queue(struct vc4_compile *c, uint64_t inst) queue(struct qblock *block, uint64_t inst)
{ {
struct queued_qpu_inst *q = rzalloc(c, struct queued_qpu_inst); struct queued_qpu_inst *q = rzalloc(block, struct queued_qpu_inst);
q->inst = inst; q->inst = inst;
list_addtail(&q->link, &c->qpu_inst_list); list_addtail(&q->link, &block->qpu_inst_list);
} }
static uint64_t * static uint64_t *
last_inst(struct vc4_compile *c) last_inst(struct qblock *block)
{ {
struct queued_qpu_inst *q = struct queued_qpu_inst *q =
(struct queued_qpu_inst *)c->qpu_inst_list.prev; (struct queued_qpu_inst *)block->qpu_inst_list.prev;
return &q->inst; return &q->inst;
} }
static void static void
set_last_cond_add(struct vc4_compile *c, uint32_t cond) set_last_cond_add(struct qblock *block, uint32_t cond)
{ {
*last_inst(c) = qpu_set_cond_add(*last_inst(c), cond); *last_inst(block) = qpu_set_cond_add(*last_inst(block), cond);
} }
static void static void
set_last_cond_mul(struct vc4_compile *c, uint32_t cond) set_last_cond_mul(struct qblock *block, uint32_t cond)
{ {
*last_inst(c) = qpu_set_cond_mul(*last_inst(c), cond); *last_inst(block) = qpu_set_cond_mul(*last_inst(block), cond);
} }
/** /**
@ -106,7 +106,7 @@ swap_file(struct qpu_reg *src)
* instruction, instead. We reserve ra31/rb31 for this purpose. * instruction, instead. We reserve ra31/rb31 for this purpose.
*/ */
static void static void
fixup_raddr_conflict(struct vc4_compile *c, fixup_raddr_conflict(struct qblock *block,
struct qpu_reg dst, struct qpu_reg dst,
struct qpu_reg *src0, struct qpu_reg *src1, struct qpu_reg *src0, struct qpu_reg *src1,
struct qinst *inst, uint64_t *unpack) struct qinst *inst, uint64_t *unpack)
@ -129,39 +129,39 @@ fixup_raddr_conflict(struct vc4_compile *c,
* in case of unpacks. * in case of unpacks.
*/ */
if (qir_is_float_input(inst)) if (qir_is_float_input(inst))
queue(c, qpu_a_FMAX(qpu_rb(31), *src0, *src0)); queue(block, qpu_a_FMAX(qpu_rb(31), *src0, *src0));
else else
queue(c, qpu_a_MOV(qpu_rb(31), *src0)); queue(block, qpu_a_MOV(qpu_rb(31), *src0));
/* If we had an unpack on this A-file source, we need to put /* If we had an unpack on this A-file source, we need to put
* it into this MOV, not into the later move from regfile B. * it into this MOV, not into the later move from regfile B.
*/ */
if (inst->src[0].pack) { if (inst->src[0].pack) {
*last_inst(c) |= *unpack; *last_inst(block) |= *unpack;
*unpack = 0; *unpack = 0;
} }
*src0 = qpu_rb(31); *src0 = qpu_rb(31);
} else { } else {
queue(c, qpu_a_MOV(qpu_ra(31), *src0)); queue(block, qpu_a_MOV(qpu_ra(31), *src0));
*src0 = qpu_ra(31); *src0 = qpu_ra(31);
} }
} }
static void static void
set_last_dst_pack(struct vc4_compile *c, struct qinst *inst) set_last_dst_pack(struct qblock *block, struct qinst *inst)
{ {
bool had_pm = *last_inst(c) & QPU_PM; bool had_pm = *last_inst(block) & QPU_PM;
bool had_ws = *last_inst(c) & QPU_WS; bool had_ws = *last_inst(block) & QPU_WS;
uint32_t unpack = QPU_GET_FIELD(*last_inst(c), QPU_UNPACK); uint32_t unpack = QPU_GET_FIELD(*last_inst(block), QPU_UNPACK);
if (!inst->dst.pack) if (!inst->dst.pack)
return; return;
*last_inst(c) |= QPU_SET_FIELD(inst->dst.pack, QPU_PACK); *last_inst(block) |= QPU_SET_FIELD(inst->dst.pack, QPU_PACK);
if (qir_is_mul(inst)) { if (qir_is_mul(inst)) {
assert(!unpack || had_pm); assert(!unpack || had_pm);
*last_inst(c) |= QPU_PM; *last_inst(block) |= QPU_PM;
} else { } else {
assert(!unpack || !had_pm); assert(!unpack || !had_pm);
assert(!had_ws); /* dst must be a-file to pack. */ assert(!had_ws); /* dst must be a-file to pack. */
@ -169,51 +169,23 @@ set_last_dst_pack(struct vc4_compile *c, struct qinst *inst)
} }
static void static void
handle_r4_qpu_write(struct vc4_compile *c, struct qinst *qinst, handle_r4_qpu_write(struct qblock *block, struct qinst *qinst,
struct qpu_reg dst) struct qpu_reg dst)
{ {
if (dst.mux != QPU_MUX_R4) if (dst.mux != QPU_MUX_R4)
queue(c, qpu_a_MOV(dst, qpu_r4())); queue(block, qpu_a_MOV(dst, qpu_r4()));
else if (qinst->sf) else if (qinst->sf)
queue(c, qpu_a_MOV(qpu_ra(QPU_W_NOP), qpu_r4())); queue(block, qpu_a_MOV(qpu_ra(QPU_W_NOP), qpu_r4()));
} }
void static void
vc4_generate_code(struct vc4_context *vc4, struct vc4_compile *c) vc4_generate_code_block(struct vc4_compile *c,
struct qblock *block,
struct qpu_reg *temp_registers)
{ {
struct qpu_reg *temp_registers = vc4_register_allocate(vc4, c);
uint32_t inputs_remaining = c->num_inputs;
uint32_t vpm_read_fifo_count = 0;
uint32_t vpm_read_offset = 0;
int last_vpm_read_index = -1; int last_vpm_read_index = -1;
list_inithead(&c->qpu_inst_list); qir_for_each_inst(qinst, block) {
switch (c->stage) {
case QSTAGE_VERT:
case QSTAGE_COORD:
/* There's a 4-entry FIFO for VPMVCD reads, each of which can
* load up to 16 dwords (4 vec4s) per vertex.
*/
while (inputs_remaining) {
uint32_t num_entries = MIN2(inputs_remaining, 16);
queue(c, qpu_load_imm_ui(qpu_vrsetup(),
vpm_read_offset |
0x00001a00 |
((num_entries & 0xf) << 20)));
inputs_remaining -= num_entries;
vpm_read_offset += num_entries;
vpm_read_fifo_count++;
}
assert(vpm_read_fifo_count <= 4);
queue(c, qpu_load_imm_ui(qpu_vwsetup(), 0x00001a00));
break;
case QSTAGE_FRAG:
break;
}
qir_for_each_inst_inorder(qinst, c) {
#if 0 #if 0
fprintf(stderr, "translating qinst to qpu: "); fprintf(stderr, "translating qinst to qpu: ");
qir_dump_inst(qinst); qir_dump_inst(qinst);
@ -369,40 +341,40 @@ vc4_generate_code(struct vc4_context *vc4, struct vc4_compile *c)
case QOP_LOG2: case QOP_LOG2:
switch (qinst->op) { switch (qinst->op) {
case QOP_RCP: case QOP_RCP:
queue(c, qpu_a_MOV(qpu_rb(QPU_W_SFU_RECIP), queue(block, qpu_a_MOV(qpu_rb(QPU_W_SFU_RECIP),
src[0]) | unpack); src[0]) | unpack);
break; break;
case QOP_RSQ: case QOP_RSQ:
queue(c, qpu_a_MOV(qpu_rb(QPU_W_SFU_RECIPSQRT), queue(block, qpu_a_MOV(qpu_rb(QPU_W_SFU_RECIPSQRT),
src[0]) | unpack); src[0]) | unpack);
break; break;
case QOP_EXP2: case QOP_EXP2:
queue(c, qpu_a_MOV(qpu_rb(QPU_W_SFU_EXP), queue(block, qpu_a_MOV(qpu_rb(QPU_W_SFU_EXP),
src[0]) | unpack); src[0]) | unpack);
break; break;
case QOP_LOG2: case QOP_LOG2:
queue(c, qpu_a_MOV(qpu_rb(QPU_W_SFU_LOG), queue(block, qpu_a_MOV(qpu_rb(QPU_W_SFU_LOG),
src[0]) | unpack); src[0]) | unpack);
break; break;
default: default:
abort(); abort();
} }
handle_r4_qpu_write(c, qinst, dst); handle_r4_qpu_write(block, qinst, dst);
break; break;
case QOP_LOAD_IMM: case QOP_LOAD_IMM:
assert(qinst->src[0].file == QFILE_LOAD_IMM); assert(qinst->src[0].file == QFILE_LOAD_IMM);
queue(c, qpu_load_imm_ui(dst, qinst->src[0].index)); queue(block, qpu_load_imm_ui(dst, qinst->src[0].index));
break; break;
case QOP_MS_MASK: case QOP_MS_MASK:
src[1] = qpu_ra(QPU_R_MS_REV_FLAGS); src[1] = qpu_ra(QPU_R_MS_REV_FLAGS);
fixup_raddr_conflict(c, dst, &src[0], &src[1], fixup_raddr_conflict(block, dst, &src[0], &src[1],
qinst, &unpack); qinst, &unpack);
queue(c, qpu_a_AND(qpu_ra(QPU_W_MS_FLAGS), queue(block, qpu_a_AND(qpu_ra(QPU_W_MS_FLAGS),
src[0], src[1]) | unpack); src[0], src[1]) | unpack);
break; break;
case QOP_FRAG_Z: case QOP_FRAG_Z:
@ -413,45 +385,45 @@ vc4_generate_code(struct vc4_context *vc4, struct vc4_compile *c)
break; break;
case QOP_TLB_COLOR_READ: case QOP_TLB_COLOR_READ:
queue(c, qpu_NOP()); queue(block, qpu_NOP());
*last_inst(c) = qpu_set_sig(*last_inst(c), *last_inst(block) = qpu_set_sig(*last_inst(block),
QPU_SIG_COLOR_LOAD); QPU_SIG_COLOR_LOAD);
handle_r4_qpu_write(c, qinst, dst); handle_r4_qpu_write(block, qinst, dst);
break; break;
case QOP_VARY_ADD_C: case QOP_VARY_ADD_C:
queue(c, qpu_a_FADD(dst, src[0], qpu_r5()) | unpack); queue(block, qpu_a_FADD(dst, src[0], qpu_r5()) | unpack);
break; break;
case QOP_TEX_S: case QOP_TEX_S:
case QOP_TEX_T: case QOP_TEX_T:
case QOP_TEX_R: case QOP_TEX_R:
case QOP_TEX_B: case QOP_TEX_B:
queue(c, qpu_a_MOV(qpu_rb(QPU_W_TMU0_S + queue(block, qpu_a_MOV(qpu_rb(QPU_W_TMU0_S +
(qinst->op - QOP_TEX_S)), (qinst->op - QOP_TEX_S)),
src[0]) | unpack); src[0]) | unpack);
break; break;
case QOP_TEX_DIRECT: case QOP_TEX_DIRECT:
fixup_raddr_conflict(c, dst, &src[0], &src[1], fixup_raddr_conflict(block, dst, &src[0], &src[1],
qinst, &unpack); qinst, &unpack);
queue(c, qpu_a_ADD(qpu_rb(QPU_W_TMU0_S), queue(block, qpu_a_ADD(qpu_rb(QPU_W_TMU0_S),
src[0], src[1]) | unpack); src[0], src[1]) | unpack);
break; break;
case QOP_TEX_RESULT: case QOP_TEX_RESULT:
queue(c, qpu_NOP()); queue(block, qpu_NOP());
*last_inst(c) = qpu_set_sig(*last_inst(c), *last_inst(block) = qpu_set_sig(*last_inst(block),
QPU_SIG_LOAD_TMU0); QPU_SIG_LOAD_TMU0);
handle_r4_qpu_write(c, qinst, dst); handle_r4_qpu_write(block, qinst, dst);
break; break;
case QOP_BRANCH: case QOP_BRANCH:
/* The branch target will be updated at QPU scheduling /* The branch target will be updated at QPU scheduling
* time. * time.
*/ */
queue(c, (qpu_branch(qinst->cond, 0) | queue(block, (qpu_branch(qinst->cond, 0) |
QPU_BRANCH_REL)); QPU_BRANCH_REL));
handled_qinst_cond = true; handled_qinst_cond = true;
break; break;
@ -472,22 +444,22 @@ vc4_generate_code(struct vc4_context *vc4, struct vc4_compile *c)
if (qir_get_op_nsrc(qinst->op) == 1) if (qir_get_op_nsrc(qinst->op) == 1)
src[1] = src[0]; src[1] = src[0];
fixup_raddr_conflict(c, dst, &src[0], &src[1], fixup_raddr_conflict(block, dst, &src[0], &src[1],
qinst, &unpack); qinst, &unpack);
if (qir_is_mul(qinst)) { if (qir_is_mul(qinst)) {
queue(c, qpu_m_alu2(translate[qinst->op].op, queue(block, qpu_m_alu2(translate[qinst->op].op,
dst, dst,
src[0], src[1]) | unpack); src[0], src[1]) | unpack);
set_last_cond_mul(c, qinst->cond); set_last_cond_mul(block, qinst->cond);
} else { } else {
queue(c, qpu_a_alu2(translate[qinst->op].op, queue(block, qpu_a_alu2(translate[qinst->op].op,
dst, dst,
src[0], src[1]) | unpack); src[0], src[1]) | unpack);
set_last_cond_add(c, qinst->cond); set_last_cond_add(block, qinst->cond);
} }
handled_qinst_cond = true; handled_qinst_cond = true;
set_last_dst_pack(c, qinst); set_last_dst_pack(block, qinst);
break; break;
} }
@ -496,8 +468,47 @@ vc4_generate_code(struct vc4_context *vc4, struct vc4_compile *c)
handled_qinst_cond); handled_qinst_cond);
if (qinst->sf) if (qinst->sf)
*last_inst(c) |= QPU_SF; *last_inst(block) |= QPU_SF;
} }
}
void
vc4_generate_code(struct vc4_context *vc4, struct vc4_compile *c)
{
struct qpu_reg *temp_registers = vc4_register_allocate(vc4, c);
uint32_t inputs_remaining = c->num_inputs;
uint32_t vpm_read_fifo_count = 0;
uint32_t vpm_read_offset = 0;
struct qblock *start_block = list_first_entry(&c->blocks,
struct qblock, link);
switch (c->stage) {
case QSTAGE_VERT:
case QSTAGE_COORD:
/* There's a 4-entry FIFO for VPMVCD reads, each of which can
* load up to 16 dwords (4 vec4s) per vertex.
*/
while (inputs_remaining) {
uint32_t num_entries = MIN2(inputs_remaining, 16);
queue(start_block,
qpu_load_imm_ui(qpu_vrsetup(),
vpm_read_offset |
0x00001a00 |
((num_entries & 0xf) << 20)));
inputs_remaining -= num_entries;
vpm_read_offset += num_entries;
vpm_read_fifo_count++;
}
assert(vpm_read_fifo_count <= 4);
queue(start_block, qpu_load_imm_ui(qpu_vwsetup(), 0x00001a00));
break;
case QSTAGE_FRAG:
break;
}
qir_for_each_block(block, c)
vc4_generate_code_block(c, block, temp_registers);
uint32_t cycles = qpu_schedule_instructions(c); uint32_t cycles = qpu_schedule_instructions(c);
uint32_t inst_count_at_schedule_time = c->qpu_inst_count; uint32_t inst_count_at_schedule_time = c->qpu_inst_count;

View File

@ -722,22 +722,14 @@ mark_instruction_scheduled(struct list_head *schedule_list,
} }
static uint32_t static uint32_t
schedule_instructions(struct vc4_compile *c, struct list_head *schedule_list) schedule_instructions(struct vc4_compile *c, struct list_head *schedule_list,
enum quniform_contents *orig_uniform_contents,
uint32_t *orig_uniform_data,
uint32_t *next_uniform)
{ {
struct choose_scoreboard scoreboard; struct choose_scoreboard scoreboard;
uint32_t time = 0; uint32_t time = 0;
/* We reorder the uniforms as we schedule instructions, so save the
* old data off and replace it.
*/
uint32_t *uniform_data = c->uniform_data;
enum quniform_contents *uniform_contents = c->uniform_contents;
c->uniform_contents = ralloc_array(c, enum quniform_contents,
c->num_uniforms);
c->uniform_data = ralloc_array(c, uint32_t, c->num_uniforms);
c->uniform_array_size = c->num_uniforms;
uint32_t next_uniform = 0;
memset(&scoreboard, 0, sizeof(scoreboard)); memset(&scoreboard, 0, sizeof(scoreboard));
scoreboard.last_waddr_a = ~0; scoreboard.last_waddr_a = ~0;
scoreboard.last_waddr_b = ~0; scoreboard.last_waddr_b = ~0;
@ -785,11 +777,11 @@ schedule_instructions(struct vc4_compile *c, struct list_head *schedule_list)
mark_instruction_scheduled(schedule_list, time, mark_instruction_scheduled(schedule_list, time,
chosen, true); chosen, true);
if (chosen->uniform != -1) { if (chosen->uniform != -1) {
c->uniform_data[next_uniform] = c->uniform_data[*next_uniform] =
uniform_data[chosen->uniform]; orig_uniform_data[chosen->uniform];
c->uniform_contents[next_uniform] = c->uniform_contents[*next_uniform] =
uniform_contents[chosen->uniform]; orig_uniform_contents[chosen->uniform];
next_uniform++; (*next_uniform)++;
} }
merge = choose_instruction_to_schedule(&scoreboard, merge = choose_instruction_to_schedule(&scoreboard,
@ -801,11 +793,11 @@ schedule_instructions(struct vc4_compile *c, struct list_head *schedule_list)
inst = qpu_merge_inst(inst, merge->inst->inst); inst = qpu_merge_inst(inst, merge->inst->inst);
assert(inst != 0); assert(inst != 0);
if (merge->uniform != -1) { if (merge->uniform != -1) {
c->uniform_data[next_uniform] = c->uniform_data[*next_uniform] =
uniform_data[merge->uniform]; orig_uniform_data[merge->uniform];
c->uniform_contents[next_uniform] = c->uniform_contents[*next_uniform] =
uniform_contents[merge->uniform]; orig_uniform_contents[merge->uniform];
next_uniform++; (*next_uniform)++;
} }
if (debug) { if (debug) {
@ -840,47 +832,37 @@ schedule_instructions(struct vc4_compile *c, struct list_head *schedule_list)
time++; time++;
} }
assert(next_uniform == c->num_uniforms);
return time; return time;
} }
uint32_t static uint32_t
qpu_schedule_instructions(struct vc4_compile *c) qpu_schedule_instructions_block(struct vc4_compile *c, struct qblock *block,
enum quniform_contents *orig_uniform_contents,
uint32_t *orig_uniform_data,
uint32_t *next_uniform)
{ {
void *mem_ctx = ralloc_context(NULL); void *mem_ctx = ralloc_context(NULL);
struct list_head schedule_list; struct list_head schedule_list;
list_inithead(&schedule_list); list_inithead(&schedule_list);
if (debug) {
fprintf(stderr, "Pre-schedule instructions\n");
list_for_each_entry(struct queued_qpu_inst, q,
&c->qpu_inst_list, link) {
vc4_qpu_disasm(&q->inst, 1);
fprintf(stderr, "\n");
}
fprintf(stderr, "\n");
}
/* Wrap each instruction in a scheduler structure. */ /* Wrap each instruction in a scheduler structure. */
uint32_t next_uniform = 0; uint32_t next_sched_uniform = *next_uniform;
while (!list_empty(&c->qpu_inst_list)) { while (!list_empty(&block->qpu_inst_list)) {
struct queued_qpu_inst *inst = struct queued_qpu_inst *inst =
(struct queued_qpu_inst *)c->qpu_inst_list.next; (struct queued_qpu_inst *)block->qpu_inst_list.next;
struct schedule_node *n = rzalloc(mem_ctx, struct schedule_node); struct schedule_node *n = rzalloc(mem_ctx, struct schedule_node);
n->inst = inst; n->inst = inst;
if (reads_uniform(inst->inst)) { if (reads_uniform(inst->inst)) {
n->uniform = next_uniform++; n->uniform = next_sched_uniform++;
} else { } else {
n->uniform = -1; n->uniform = -1;
} }
list_del(&inst->link); list_del(&inst->link);
list_addtail(&n->link, &schedule_list); list_addtail(&n->link, &schedule_list);
} }
assert(next_uniform == c->num_uniforms);
calculate_forward_deps(c, &schedule_list); calculate_forward_deps(c, &schedule_list);
calculate_reverse_deps(c, &schedule_list); calculate_reverse_deps(c, &schedule_list);
@ -889,7 +871,52 @@ qpu_schedule_instructions(struct vc4_compile *c)
compute_delay(n); compute_delay(n);
} }
uint32_t cycles = schedule_instructions(c, &schedule_list); uint32_t cycles = schedule_instructions(c, &schedule_list,
orig_uniform_contents,
orig_uniform_data,
next_uniform);
ralloc_free(mem_ctx);
return cycles;
}
uint32_t
qpu_schedule_instructions(struct vc4_compile *c)
{
/* We reorder the uniforms as we schedule instructions, so save the
* old data off and replace it.
*/
uint32_t *uniform_data = c->uniform_data;
enum quniform_contents *uniform_contents = c->uniform_contents;
c->uniform_contents = ralloc_array(c, enum quniform_contents,
c->num_uniforms);
c->uniform_data = ralloc_array(c, uint32_t, c->num_uniforms);
c->uniform_array_size = c->num_uniforms;
uint32_t next_uniform = 0;
if (debug) {
fprintf(stderr, "Pre-schedule instructions\n");
qir_for_each_block(block, c) {
fprintf(stderr, "BLOCK %d\n", block->index);
list_for_each_entry(struct queued_qpu_inst, q,
&block->qpu_inst_list, link) {
vc4_qpu_disasm(&q->inst, 1);
fprintf(stderr, "\n");
}
}
fprintf(stderr, "\n");
}
uint32_t cycles = 0;
qir_for_each_block(block, c) {
cycles += qpu_schedule_instructions_block(c, block,
uniform_contents,
uniform_data,
&next_uniform);
}
assert(next_uniform == c->num_uniforms);
if (debug) { if (debug) {
fprintf(stderr, "Post-schedule instructions\n"); fprintf(stderr, "Post-schedule instructions\n");
@ -897,7 +924,5 @@ qpu_schedule_instructions(struct vc4_compile *c)
fprintf(stderr, "\n"); fprintf(stderr, "\n");
} }
ralloc_free(mem_ctx);
return cycles; return cycles;
} }