Lines Matching refs:cfi
12 #include <objtool/cfi.h>
264 static void init_cfi_state(struct cfi_state *cfi)
269 cfi->regs[i].base = CFI_UNDEFINED;
270 cfi->vals[i].base = CFI_UNDEFINED;
272 cfi->cfa.base = CFI_UNDEFINED;
273 cfi->drap_reg = CFI_UNDEFINED;
274 cfi->drap_offset = -1;
281 init_cfi_state(&state->cfi);
294 struct cfi_state *cfi = calloc(sizeof(struct cfi_state), 1);
295 if (!cfi) {
300 return cfi;
313 static inline u32 cfi_key(struct cfi_state *cfi)
315 return jhash((void *)cfi + sizeof(cfi->hash),
316 sizeof(*cfi) - sizeof(cfi->hash), 0);
319 static struct cfi_state *cfi_hash_find_or_add(struct cfi_state *cfi)
321 struct hlist_head *head = &cfi_hash[hash_min(cfi_key(cfi), cfi_bits)];
325 if (!cficmp(cfi, obj)) {
332 *obj = *cfi;
338 static void cfi_hash_add(struct cfi_state *cfi)
340 struct hlist_head *head = &cfi_hash[hash_min(cfi_key(cfi), cfi_bits)];
342 hlist_add_head(&cfi->hash, head);
1744 orig_alt_group->cfi = calloc(special_alt->orig_len,
1746 if (!orig_alt_group->cfi) {
1866 new_alt_group->cfi = orig_alt_group->cfi;
2206 struct cfi_state cfi = init_cfi;
2247 insn->cfi = &force_undefined_cfi;
2273 insn->cfi = &func_cfi;
2277 if (insn->cfi)
2278 cfi = *(insn->cfi);
2280 if (arch_decode_hint_reg(hint->sp_reg, &cfi.cfa.base)) {
2285 cfi.cfa.offset = bswap_if_needed(file->elf, hint->sp_offset);
2286 cfi.type = hint->type;
2287 cfi.signal = hint->signal;
2289 insn->cfi = cfi_hash_find_or_add(&cfi);
2670 struct cfi_state *cfi = &state->cfi;
2673 if (cfi->cfa.base != initial_func_cfi.cfa.base || cfi->drap)
2676 if (cfi->cfa.offset != initial_func_cfi.cfa.offset)
2679 if (cfi->stack_size != initial_func_cfi.cfa.offset)
2683 if (cfi->regs[i].base != initial_func_cfi.regs[i].base ||
2684 cfi->regs[i].offset != initial_func_cfi.regs[i].offset)
2700 struct cfi_state *cfi = &state->cfi;
2702 if (cfi->cfa.base == CFI_BP &&
2703 check_reg_frame_pos(&cfi->regs[CFI_BP], -cfi->cfa.offset) &&
2704 check_reg_frame_pos(&cfi->regs[CFI_RA], -cfi->cfa.offset + 8))
2707 if (cfi->drap && cfi->regs[CFI_BP].base == CFI_BP)
2714 struct cfi_state *cfi,
2717 struct cfi_reg *cfa = &cfi->cfa;
2738 static void save_reg(struct cfi_state *cfi, unsigned char reg, int base, int offset)
2741 cfi->regs[reg].base == CFI_UNDEFINED) {
2742 cfi->regs[reg].base = base;
2743 cfi->regs[reg].offset = offset;
2747 static void restore_reg(struct cfi_state *cfi, unsigned char reg)
2749 cfi->regs[reg].base = initial_func_cfi.regs[reg].base;
2750 cfi->regs[reg].offset = initial_func_cfi.regs[reg].offset;
2808 struct cfi_state *cfi, struct stack_op *op)
2810 struct cfi_reg *cfa = &cfi->cfa;
2811 struct cfi_reg *regs = cfi->regs;
2814 if (cfi->force_undefined)
2826 if (cfi->type == UNWIND_HINT_TYPE_REGS ||
2827 cfi->type == UNWIND_HINT_TYPE_REGS_PARTIAL)
2828 return update_cfi_state_regs(insn, cfi, op);
2842 cfi->bp_scratch = false;
2846 op->dest.reg == CFI_BP && cfi->drap) {
2850 regs[CFI_BP].offset = -cfi->stack_size;
2851 cfi->bp_scratch = false;
2866 cfi->vals[op->dest.reg].base = CFI_CFA;
2867 cfi->vals[op->dest.reg].offset = -cfi->stack_size;
2871 (cfa->base == CFI_BP || cfa->base == cfi->drap_reg)) {
2878 cfi->stack_size = -cfi->regs[CFI_BP].offset;
2885 cfi->vals[op->src.reg].base == CFI_CFA) {
2895 cfa->offset = -cfi->vals[op->src.reg].offset;
2896 cfi->stack_size = cfa->offset;
2899 cfi->vals[op->src.reg].base == CFI_SP_INDIRECT &&
2900 cfi->vals[op->src.reg].offset == cfa->offset) {
2937 cfi->vals[op->src.reg].base == CFI_SP_INDIRECT &&
2938 cfi->vals[op->src.reg].offset == cfa->offset) {
2946 cfi->stack_size += 8;
2956 cfi->stack_size -= op->src.offset;
2965 cfi->stack_size = -(op->src.offset + regs[CFI_BP].offset);
2972 cfi->drap_reg = op->dest.reg;
2984 cfi->vals[op->dest.reg].base = CFI_CFA;
2985 cfi->vals[op->dest.reg].offset = \
2986 -cfi->stack_size + op->src.offset;
2991 if (cfi->drap && op->dest.reg == CFI_SP &&
2992 op->src.reg == cfi->drap_reg) {
2996 cfa->offset = cfi->stack_size = -op->src.offset;
2997 cfi->drap_reg = CFI_UNDEFINED;
2998 cfi->drap = false;
3002 if (op->dest.reg == cfi->cfa.base && !(next_insn && next_insn->hint)) {
3011 (cfi->drap_reg != CFI_UNDEFINED && cfa->base != CFI_SP) ||
3012 (cfi->drap_reg == CFI_UNDEFINED && cfa->base != CFI_BP)) {
3017 if (cfi->drap_reg != CFI_UNDEFINED) {
3019 cfa->base = cfi->drap_reg;
3020 cfa->offset = cfi->stack_size = 0;
3021 cfi->drap = true;
3040 if (!cfi->drap && op->dest.reg == cfa->base) {
3046 if (cfi->drap && cfa->base == CFI_BP_INDIRECT &&
3047 op->dest.reg == cfi->drap_reg &&
3048 cfi->drap_offset == -cfi->stack_size) {
3051 cfa->base = cfi->drap_reg;
3053 cfi->drap_offset = -1;
3055 } else if (cfi->stack_size == -regs[op->dest.reg].offset) {
3058 restore_reg(cfi, op->dest.reg);
3061 cfi->stack_size -= 8;
3068 if (!cfi->drap && op->dest.reg == cfa->base &&
3073 cfa->offset = cfi->stack_size;
3076 if (cfi->drap && op->src.reg == CFI_BP &&
3077 op->src.offset == cfi->drap_offset) {
3080 cfa->base = cfi->drap_reg;
3082 cfi->drap_offset = -1;
3085 if (cfi->drap && op->src.reg == CFI_BP &&
3089 restore_reg(cfi, op->dest.reg);
3096 restore_reg(cfi, op->dest.reg);
3099 op->src.offset == regs[op->dest.reg].offset + cfi->stack_size) {
3102 restore_reg(cfi, op->dest.reg);
3116 cfi->stack_size += 8;
3123 if (cfi->drap) {
3124 if (op->src.reg == cfa->base && op->src.reg == cfi->drap_reg) {
3128 cfa->offset = -cfi->stack_size;
3131 cfi->drap_offset = -cfi->stack_size;
3133 } else if (op->src.reg == CFI_BP && cfa->base == cfi->drap_reg) {
3136 cfi->stack_size = 0;
3141 save_reg(cfi, op->src.reg, CFI_BP, -cfi->stack_size);
3147 save_reg(cfi, op->src.reg, CFI_CFA, -cfi->stack_size);
3153 cfi->bp_scratch = true;
3158 if (cfi->drap) {
3159 if (op->src.reg == cfa->base && op->src.reg == cfi->drap_reg) {
3166 cfi->drap_offset = op->dest.offset;
3170 save_reg(cfi, op->src.reg, CFI_BP, op->dest.offset);
3177 save_reg(cfi, op->src.reg, CFI_CFA,
3178 op->dest.offset - cfi->cfa.offset);
3183 save_reg(cfi, op->src.reg, CFI_CFA,
3184 op->dest.offset - cfi->stack_size);
3189 cfi->vals[op->dest.reg].base = CFI_SP_INDIRECT;
3190 cfi->vals[op->dest.reg].offset = cfa->offset;
3202 cfi->stack_size -= 8;
3233 if (!insn->cfi) {
3238 alt_cfi = insn->alt_group->cfi;
3242 alt_cfi[group_off] = insn->cfi;
3244 if (cficmp(alt_cfi[group_off], insn->cfi)) {
3265 if (update_cfi_state(insn, next_insn, &state->cfi, op))
3297 struct cfi_state *cfi1 = insn->cfi;
3496 if (state->cfi.bp_scratch) {
3575 if (!insn->hint && !insn_cfi_match(insn, &state.cfi))
3623 insn->cfi = save_insn->cfi;
3627 state.cfi = *insn->cfi;
3629 /* XXX track if we actually changed state.cfi */
3631 if (prev_insn && !cficmp(prev_insn->cfi, &state.cfi)) {
3632 insn->cfi = prev_insn->cfi;
3635 insn->cfi = cfi_hash_find_or_add(&state.cfi);
3777 if (state.cfi.cfa.base == CFI_UNDEFINED)
4119 struct cfi_state *cfi;
4148 if (!insn->cfi) {
4156 /* Propagate insn->cfi to the prefix code */
4157 cfi = cfi_hash_find_or_add(insn->cfi);
4159 prev->cfi = cfi;
4221 set_func_state(&state.cfi);
4762 if (opts.cfi) {