Lines Matching refs:vtn_assert
48 vtn_assert(b->func == NULL); in vtn_cfg_handle_prepass_instruction()
62 vtn_assert(func_type->return_type->type == result_type); in vtn_cfg_handle_prepass_instruction()
112 vtn_assert(b->func_param_idx < b->func->impl->num_params); in vtn_cfg_handle_prepass_instruction()
120 vtn_assert(vtn_var->type->type == param->type); in vtn_cfg_handle_prepass_instruction()
203 vtn_assert(b->block == NULL); in vtn_cfg_handle_prepass_instruction()
222 vtn_assert(b->block && b->block->merge == NULL); in vtn_cfg_handle_prepass_instruction()
233 vtn_assert(b->block && b->block->branch == NULL); in vtn_cfg_handle_prepass_instruction()
317 vtn_assert(swcase->fallthrough == NULL || in vtn_get_branch_type()
381 vtn_assert(block->node.link.next == NULL); in vtn_cfg_walk_blocks()
447 vtn_assert((*block->merge & SpvOpCodeMask) == SpvOpSelectionMerge); in vtn_cfg_walk_blocks()
488 vtn_assert((*block->merge & SpvOpCodeMask) == SpvOpSelectionMerge); in vtn_cfg_walk_blocks()
540 vtn_assert(cse->start_block != break_block); in vtn_cfg_walk_blocks()
562 vtn_assert(case_block->switch_case); in vtn_cfg_walk_blocks()
576 vtn_assert(branch_type == vtn_branch_type_loop_continue); in vtn_cfg_walk_blocks()
646 vtn_assert(phi_entry); in vtn_handle_phi_second_pass()
842 vtn_assert(i == num_cases); in vtn_emit_cf_list()
850 vtn_assert(cond == NULL); in vtn_emit_cf_list()
865 vtn_assert(i == num_cases); in vtn_emit_cf_list()