tools/objtool/check.c

273 	cfi->cfa.base = CFI_UNDEFINED;
2216 	state->cfa = initial_func_cfi.cfa;
2219 	state->stack_size = initial_func_cfi.cfa.offset;
2309 		if (arch_decode_hint_reg(hint->sp_reg, &cfi.cfa.base)) {
2314 		cfi.cfa.offset = bswap_if_needed(file->elf, hint->sp_offset);
2705 	if (cfi->cfa.base != initial_func_cfi.cfa.base || cfi->drap)
2708 	if (cfi->cfa.offset != initial_func_cfi.cfa.offset)
2711 	if (cfi->stack_size != initial_func_cfi.cfa.offset)
2734 	if (cfi->cfa.base == CFI_BP &&
2735 	    check_reg_frame_pos(&cfi->regs[CFI_BP], -cfi->cfa.offset) &&
2736 	    check_reg_frame_pos(&cfi->regs[CFI_RA], -cfi->cfa.offset + 8))
2749 	struct cfi_reg *cfa = &cfi->cfa;
2751 	if (cfa->base != CFI_SP && cfa->base != CFI_SP_INDIRECT)
2756 		cfa->offset += 8;
2760 		cfa->offset -= 8;
2765 		cfa->offset -= op->src.offset;
2842 	struct cfi_reg *cfa = &cfi->cfa;
2850 	if (cfa->base == CFI_UNDEFINED) {
2869 			    cfa->base == CFI_SP &&
2870 			    check_reg_frame_pos(&regs[CFI_BP], -cfa->offset)) {
2873 				cfa->base = op->dest.reg;
2886 			else if (op->src.reg == CFI_SP && cfa->base == CFI_SP) {
2903 				 (cfa->base == CFI_BP || cfa->base == cfi->drap_reg)) {
2913 			else if (op->dest.reg == cfa->base) {
2916 				if (cfa->base == CFI_SP &&
2927 					cfa->offset = -cfi->vals[op->src.reg].offset;
2928 					cfi->stack_size = cfa->offset;
2930 				} else if (cfa->base == CFI_SP &&
2932 					   cfi->vals[op->src.reg].offset == cfa->offset) {
2960 					cfa->base = CFI_SP_INDIRECT;
2963 					cfa->base = CFI_UNDEFINED;
2964 					cfa->offset = 0;
2970 				 cfi->vals[op->src.reg].offset == cfa->offset) {
2974 				 * because we can't change cfa->base, case 3)
2989 				if (cfa->base == CFI_SP)
2990 					cfa->offset -= op->src.offset;
3001 			if (op->src.reg == CFI_SP && cfa->base == CFI_SP) {
3027 				cfa->base = CFI_SP;
3028 				cfa->offset = cfi->stack_size = -op->src.offset;
3034 			if (op->dest.reg == cfi->cfa.base && !(next_insn && next_insn->hint)) {
3043 			    (cfi->drap_reg != CFI_UNDEFINED && cfa->base != CFI_SP) ||
3044 			    (cfi->drap_reg == CFI_UNDEFINED && cfa->base != CFI_BP)) {
3051 				cfa->base = cfi->drap_reg;
3052 				cfa->offset = cfi->stack_size = 0;
3065 			if (op->dest.reg == CFI_SP && cfa->base == CFI_SP_INDIRECT) {
3068 				cfa->base = CFI_SP;
3072 			if (!cfi->drap && op->dest.reg == cfa->base) {
3075 				cfa->base = CFI_SP;
3078 			if (cfi->drap && cfa->base == CFI_BP_INDIRECT &&
3083 				cfa->base = cfi->drap_reg;
3084 				cfa->offset = 0;
3094 			if (cfa->base == CFI_SP)
3095 				cfa->offset -= 8;
3100 			if (!cfi->drap && op->dest.reg == cfa->base &&
3104 				cfa->base = CFI_SP;
3105 				cfa->offset = cfi->stack_size;
3112 				cfa->base = cfi->drap_reg;
3113 				cfa->offset = 0;
3123 			} else if (op->src.reg == cfa->base &&
3124 			    op->src.offset == regs[op->dest.reg].offset + cfa->offset) {
3149 		if (cfa->base == CFI_SP)
3150 			cfa->offset += 8;
3156 			if (op->src.reg == cfa->base && op->src.reg == cfi->drap_reg) {
3159 				cfa->base = CFI_BP_INDIRECT;
3160 				cfa->offset = -cfi->stack_size;
3165 			} else if (op->src.reg == CFI_BP && cfa->base == cfi->drap_reg) {
3184 		    cfa->base != CFI_BP)
3191 			if (op->src.reg == cfa->base && op->src.reg == cfi->drap_reg) {
3194 				cfa->base = CFI_BP_INDIRECT;
3195 				cfa->offset = op->dest.offset;
3205 		} else if (op->dest.reg == cfa->base) {
3210 				 op->dest.offset - cfi->cfa.offset);
3222 			cfi->vals[op->dest.reg].offset = cfa->offset;
3235 		if (cfa->base == CFI_SP)
3236 			cfa->offset -= 8;
3337 	if (memcmp(&cfi1->cfa, &cfi2->cfa, sizeof(cfi1->cfa))) {
3340 			  cfi1->cfa.base, cfi1->cfa.offset,
3341 			  cfi2->cfa.base, cfi2->cfa.offset);
3809 			if (state.cfi.cfa.base == CFI_UNDEFINED)