From f39f6ce7bad5639a796453e8e5f48ac25222f36a Mon Sep 17 00:00:00 2001 From: Alyssa Rosenzweig Date: Tue, 14 Apr 2026 16:07:44 -0400 Subject: [PATCH] jay: strengthen assert Signed-off-by: Alyssa Rosenzweig Part-of: --- src/intel/compiler/jay/jay_register_allocate.c | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/src/intel/compiler/jay/jay_register_allocate.c b/src/intel/compiler/jay/jay_register_allocate.c index ae99ec8778f..3852ea887a9 100644 --- a/src/intel/compiler/jay/jay_register_allocate.c +++ b/src/intel/compiler/jay/jay_register_allocate.c @@ -337,13 +337,20 @@ typedef struct jay_ra_state { struct affinity *affinities; } jay_ra_state; +static bool +reg_is_available(const jay_ra_state *ra, jay_reg reg) +{ + assert(reg != NO_REG); + return BITSET_TEST(ra->available_regs[r_file(reg)], r_reg(reg)); +} + static inline jay_reg current_reg(const jay_ra_state *ra, uint32_t index) { assert(index > 0 && index < ra->bld.func->ssa_alloc); jay_reg reg = ra->reg_for_index[index]; - assert(reg != NO_REG); + assert(!reg_is_available(ra, reg)); assert(ra->index_for_reg[r_file(reg)][r_reg(reg)] == index); return reg; } @@ -622,13 +629,6 @@ jay_emit_parallel_copies(jay_builder *b, free(done); } -static bool -reg_is_available(jay_ra_state *ra, jay_reg reg) -{ - assert(reg != NO_REG); - return BITSET_TEST(ra->available_regs[r_file(reg)], r_reg(reg)); -} - static void assign_reg_for_index(jay_ra_state *ra, uint32_t index, jay_reg reg) {