xref: /openbmc/linux/tools/objtool/orc_gen.c (revision 6342a20e)
11ccea77eSThomas Gleixner // SPDX-License-Identifier: GPL-2.0-or-later
2627fce14SJosh Poimboeuf /*
3627fce14SJosh Poimboeuf  * Copyright (C) 2017 Josh Poimboeuf <jpoimboe@redhat.com>
4627fce14SJosh Poimboeuf  */
5627fce14SJosh Poimboeuf 
6627fce14SJosh Poimboeuf #include <stdlib.h>
7627fce14SJosh Poimboeuf #include <string.h>
8627fce14SJosh Poimboeuf 
9f7515d9fSJosh Poimboeuf #include <linux/objtool_types.h>
10ee819aedSJulien Thierry #include <asm/orc_types.h>
11ee819aedSJulien Thierry 
127786032eSVasily Gorbik #include <objtool/check.h>
137786032eSVasily Gorbik #include <objtool/warn.h>
147786032eSVasily Gorbik #include <objtool/endianness.h>
15627fce14SJosh Poimboeuf 
init_orc_entry(struct orc_entry * orc,struct cfi_state * cfi,struct instruction * insn)168b946cc3SPeter Zijlstra static int init_orc_entry(struct orc_entry *orc, struct cfi_state *cfi,
178b946cc3SPeter Zijlstra 			  struct instruction *insn)
18627fce14SJosh Poimboeuf {
19ab4e0744SJosh Poimboeuf 	struct cfi_reg *bp = &cfi->regs[CFI_BP];
20627fce14SJosh Poimboeuf 
21ab4e0744SJosh Poimboeuf 	memset(orc, 0, sizeof(*orc));
22627fce14SJosh Poimboeuf 
238b946cc3SPeter Zijlstra 	if (!cfi) {
24fb799447SJosh Poimboeuf 		/*
25fb799447SJosh Poimboeuf 		 * This is usually either unreachable nops/traps (which don't
26fb799447SJosh Poimboeuf 		 * trigger unreachable instruction warnings), or
27fb799447SJosh Poimboeuf 		 * STACK_FRAME_NON_STANDARD functions.
28fb799447SJosh Poimboeuf 		 */
29fb799447SJosh Poimboeuf 		orc->type = ORC_TYPE_UNDEFINED;
308b946cc3SPeter Zijlstra 		return 0;
318b946cc3SPeter Zijlstra 	}
328b946cc3SPeter Zijlstra 
33f902cfddSJosh Poimboeuf 	switch (cfi->type) {
34fb799447SJosh Poimboeuf 	case UNWIND_HINT_TYPE_UNDEFINED:
35fb799447SJosh Poimboeuf 		orc->type = ORC_TYPE_UNDEFINED;
36fb799447SJosh Poimboeuf 		return 0;
37fb799447SJosh Poimboeuf 	case UNWIND_HINT_TYPE_END_OF_STACK:
38fb799447SJosh Poimboeuf 		orc->type = ORC_TYPE_END_OF_STACK;
39fb799447SJosh Poimboeuf 		return 0;
40f902cfddSJosh Poimboeuf 	case UNWIND_HINT_TYPE_CALL:
41f902cfddSJosh Poimboeuf 		orc->type = ORC_TYPE_CALL;
42f902cfddSJosh Poimboeuf 		break;
43f902cfddSJosh Poimboeuf 	case UNWIND_HINT_TYPE_REGS:
44f902cfddSJosh Poimboeuf 		orc->type = ORC_TYPE_REGS;
45f902cfddSJosh Poimboeuf 		break;
46f902cfddSJosh Poimboeuf 	case UNWIND_HINT_TYPE_REGS_PARTIAL:
47f902cfddSJosh Poimboeuf 		orc->type = ORC_TYPE_REGS_PARTIAL;
48f902cfddSJosh Poimboeuf 		break;
49f902cfddSJosh Poimboeuf 	default:
50246b2c85SJosh Poimboeuf 		WARN_INSN(insn, "unknown unwind hint type %d", cfi->type);
51f902cfddSJosh Poimboeuf 		return -1;
52f902cfddSJosh Poimboeuf 	}
53f902cfddSJosh Poimboeuf 
5400c8f01cSJosh Poimboeuf 	orc->signal = cfi->signal;
553eaecac8SJulien Thierry 
56ab4e0744SJosh Poimboeuf 	switch (cfi->cfa.base) {
57627fce14SJosh Poimboeuf 	case CFI_SP:
58627fce14SJosh Poimboeuf 		orc->sp_reg = ORC_REG_SP;
59627fce14SJosh Poimboeuf 		break;
60627fce14SJosh Poimboeuf 	case CFI_SP_INDIRECT:
61627fce14SJosh Poimboeuf 		orc->sp_reg = ORC_REG_SP_INDIRECT;
62627fce14SJosh Poimboeuf 		break;
63627fce14SJosh Poimboeuf 	case CFI_BP:
64627fce14SJosh Poimboeuf 		orc->sp_reg = ORC_REG_BP;
65627fce14SJosh Poimboeuf 		break;
66627fce14SJosh Poimboeuf 	case CFI_BP_INDIRECT:
67627fce14SJosh Poimboeuf 		orc->sp_reg = ORC_REG_BP_INDIRECT;
68627fce14SJosh Poimboeuf 		break;
69627fce14SJosh Poimboeuf 	case CFI_R10:
70627fce14SJosh Poimboeuf 		orc->sp_reg = ORC_REG_R10;
71627fce14SJosh Poimboeuf 		break;
72627fce14SJosh Poimboeuf 	case CFI_R13:
73627fce14SJosh Poimboeuf 		orc->sp_reg = ORC_REG_R13;
74627fce14SJosh Poimboeuf 		break;
75627fce14SJosh Poimboeuf 	case CFI_DI:
76627fce14SJosh Poimboeuf 		orc->sp_reg = ORC_REG_DI;
77627fce14SJosh Poimboeuf 		break;
78627fce14SJosh Poimboeuf 	case CFI_DX:
79627fce14SJosh Poimboeuf 		orc->sp_reg = ORC_REG_DX;
80627fce14SJosh Poimboeuf 		break;
81627fce14SJosh Poimboeuf 	default:
82246b2c85SJosh Poimboeuf 		WARN_INSN(insn, "unknown CFA base reg %d", cfi->cfa.base);
83627fce14SJosh Poimboeuf 		return -1;
84627fce14SJosh Poimboeuf 	}
85627fce14SJosh Poimboeuf 
86627fce14SJosh Poimboeuf 	switch (bp->base) {
87627fce14SJosh Poimboeuf 	case CFI_UNDEFINED:
88627fce14SJosh Poimboeuf 		orc->bp_reg = ORC_REG_UNDEFINED;
89627fce14SJosh Poimboeuf 		break;
90627fce14SJosh Poimboeuf 	case CFI_CFA:
91627fce14SJosh Poimboeuf 		orc->bp_reg = ORC_REG_PREV_SP;
92627fce14SJosh Poimboeuf 		break;
93627fce14SJosh Poimboeuf 	case CFI_BP:
94627fce14SJosh Poimboeuf 		orc->bp_reg = ORC_REG_BP;
95627fce14SJosh Poimboeuf 		break;
96627fce14SJosh Poimboeuf 	default:
97246b2c85SJosh Poimboeuf 		WARN_INSN(insn, "unknown BP base reg %d", bp->base);
98627fce14SJosh Poimboeuf 		return -1;
99627fce14SJosh Poimboeuf 	}
100627fce14SJosh Poimboeuf 
101ab4e0744SJosh Poimboeuf 	orc->sp_offset = cfi->cfa.offset;
102627fce14SJosh Poimboeuf 	orc->bp_offset = bp->offset;
103627fce14SJosh Poimboeuf 
104627fce14SJosh Poimboeuf 	return 0;
105627fce14SJosh Poimboeuf }
106627fce14SJosh Poimboeuf 
write_orc_entry(struct elf * elf,struct section * orc_sec,struct section * ip_sec,unsigned int idx,struct section * insn_sec,unsigned long insn_off,struct orc_entry * o)107ab4e0744SJosh Poimboeuf static int write_orc_entry(struct elf *elf, struct section *orc_sec,
108ef47cc01SPeter Zijlstra 			   struct section *ip_sec, unsigned int idx,
109ab4e0744SJosh Poimboeuf 			   struct section *insn_sec, unsigned long insn_off,
110ab4e0744SJosh Poimboeuf 			   struct orc_entry *o)
111627fce14SJosh Poimboeuf {
112627fce14SJosh Poimboeuf 	struct orc_entry *orc;
113627fce14SJosh Poimboeuf 
114627fce14SJosh Poimboeuf 	/* populate ORC data */
115ab4e0744SJosh Poimboeuf 	orc = (struct orc_entry *)orc_sec->data->d_buf + idx;
116627fce14SJosh Poimboeuf 	memcpy(orc, o, sizeof(*orc));
1170646c28bSChristophe Leroy 	orc->sp_offset = bswap_if_needed(elf, orc->sp_offset);
1180646c28bSChristophe Leroy 	orc->bp_offset = bswap_if_needed(elf, orc->bp_offset);
119627fce14SJosh Poimboeuf 
120f1974222SMatt Helsley 	/* populate reloc for ip */
121*6342a20eSJosh Poimboeuf 	if (!elf_init_reloc_text_sym(elf, ip_sec, idx * sizeof(int), idx,
122ef47cc01SPeter Zijlstra 				     insn_sec, insn_off))
123627fce14SJosh Poimboeuf 		return -1;
124627fce14SJosh Poimboeuf 
125627fce14SJosh Poimboeuf 	return 0;
126627fce14SJosh Poimboeuf }
127627fce14SJosh Poimboeuf 
128ab4e0744SJosh Poimboeuf struct orc_list_entry {
129ab4e0744SJosh Poimboeuf 	struct list_head list;
130ab4e0744SJosh Poimboeuf 	struct orc_entry orc;
131ab4e0744SJosh Poimboeuf 	struct section *insn_sec;
132ab4e0744SJosh Poimboeuf 	unsigned long insn_off;
133ab4e0744SJosh Poimboeuf };
134627fce14SJosh Poimboeuf 
orc_list_add(struct list_head * orc_list,struct orc_entry * orc,struct section * sec,unsigned long offset)135ab4e0744SJosh Poimboeuf static int orc_list_add(struct list_head *orc_list, struct orc_entry *orc,
136ab4e0744SJosh Poimboeuf 			struct section *sec, unsigned long offset)
137ab4e0744SJosh Poimboeuf {
138ab4e0744SJosh Poimboeuf 	struct orc_list_entry *entry = malloc(sizeof(*entry));
139ab4e0744SJosh Poimboeuf 
140ab4e0744SJosh Poimboeuf 	if (!entry) {
141ab4e0744SJosh Poimboeuf 		WARN("malloc failed");
142ab4e0744SJosh Poimboeuf 		return -1;
143ab4e0744SJosh Poimboeuf 	}
144ab4e0744SJosh Poimboeuf 
145ab4e0744SJosh Poimboeuf 	entry->orc	= *orc;
146ab4e0744SJosh Poimboeuf 	entry->insn_sec = sec;
147ab4e0744SJosh Poimboeuf 	entry->insn_off = offset;
148ab4e0744SJosh Poimboeuf 
149ab4e0744SJosh Poimboeuf 	list_add_tail(&entry->list, orc_list);
150ab4e0744SJosh Poimboeuf 	return 0;
151ab4e0744SJosh Poimboeuf }
152ab4e0744SJosh Poimboeuf 
alt_group_len(struct alt_group * alt_group)153c9c324dcSJosh Poimboeuf static unsigned long alt_group_len(struct alt_group *alt_group)
154c9c324dcSJosh Poimboeuf {
155c9c324dcSJosh Poimboeuf 	return alt_group->last_insn->offset +
156c9c324dcSJosh Poimboeuf 	       alt_group->last_insn->len -
157c9c324dcSJosh Poimboeuf 	       alt_group->first_insn->offset;
158c9c324dcSJosh Poimboeuf }
159c9c324dcSJosh Poimboeuf 
orc_create(struct objtool_file * file)160ab4e0744SJosh Poimboeuf int orc_create(struct objtool_file *file)
161ab4e0744SJosh Poimboeuf {
162ef47cc01SPeter Zijlstra 	struct section *sec, *orc_sec;
163ab4e0744SJosh Poimboeuf 	unsigned int nr = 0, idx = 0;
164ab4e0744SJosh Poimboeuf 	struct orc_list_entry *entry;
165ab4e0744SJosh Poimboeuf 	struct list_head orc_list;
166ab4e0744SJosh Poimboeuf 
167fb799447SJosh Poimboeuf 	struct orc_entry null = { .type = ORC_TYPE_UNDEFINED };
168627fce14SJosh Poimboeuf 
169ab4e0744SJosh Poimboeuf 	/* Build a deduplicated list of ORC entries: */
170ab4e0744SJosh Poimboeuf 	INIT_LIST_HEAD(&orc_list);
171ab4e0744SJosh Poimboeuf 	for_each_sec(file, sec) {
172ab4e0744SJosh Poimboeuf 		struct orc_entry orc, prev_orc = {0};
173ab4e0744SJosh Poimboeuf 		struct instruction *insn;
174ab4e0744SJosh Poimboeuf 		bool empty = true;
175ab4e0744SJosh Poimboeuf 
176ab4e0744SJosh Poimboeuf 		if (!sec->text)
177ab4e0744SJosh Poimboeuf 			continue;
178ab4e0744SJosh Poimboeuf 
179ab4e0744SJosh Poimboeuf 		sec_for_each_insn(file, sec, insn) {
180c9c324dcSJosh Poimboeuf 			struct alt_group *alt_group = insn->alt_group;
181c9c324dcSJosh Poimboeuf 			int i;
182c9c324dcSJosh Poimboeuf 
183c9c324dcSJosh Poimboeuf 			if (!alt_group) {
1848b946cc3SPeter Zijlstra 				if (init_orc_entry(&orc, insn->cfi, insn))
185ab4e0744SJosh Poimboeuf 					return -1;
186ab4e0744SJosh Poimboeuf 				if (!memcmp(&prev_orc, &orc, sizeof(orc)))
187ab4e0744SJosh Poimboeuf 					continue;
188c9c324dcSJosh Poimboeuf 				if (orc_list_add(&orc_list, &orc, sec,
189c9c324dcSJosh Poimboeuf 						 insn->offset))
190ab4e0744SJosh Poimboeuf 					return -1;
191ab4e0744SJosh Poimboeuf 				nr++;
192ab4e0744SJosh Poimboeuf 				prev_orc = orc;
193ab4e0744SJosh Poimboeuf 				empty = false;
194c9c324dcSJosh Poimboeuf 				continue;
195c9c324dcSJosh Poimboeuf 			}
196c9c324dcSJosh Poimboeuf 
197c9c324dcSJosh Poimboeuf 			/*
198c9c324dcSJosh Poimboeuf 			 * Alternatives can have different stack layout
199c9c324dcSJosh Poimboeuf 			 * possibilities (but they shouldn't conflict).
200c9c324dcSJosh Poimboeuf 			 * Instead of traversing the instructions, use the
201c9c324dcSJosh Poimboeuf 			 * alt_group's flattened byte-offset-addressed CFI
202c9c324dcSJosh Poimboeuf 			 * array.
203c9c324dcSJosh Poimboeuf 			 */
204c9c324dcSJosh Poimboeuf 			for (i = 0; i < alt_group_len(alt_group); i++) {
205c9c324dcSJosh Poimboeuf 				struct cfi_state *cfi = alt_group->cfi[i];
206c9c324dcSJosh Poimboeuf 				if (!cfi)
207c9c324dcSJosh Poimboeuf 					continue;
2088b946cc3SPeter Zijlstra 				/* errors are reported on the original insn */
2098b946cc3SPeter Zijlstra 				if (init_orc_entry(&orc, cfi, insn))
210c9c324dcSJosh Poimboeuf 					return -1;
211c9c324dcSJosh Poimboeuf 				if (!memcmp(&prev_orc, &orc, sizeof(orc)))
212c9c324dcSJosh Poimboeuf 					continue;
213c9c324dcSJosh Poimboeuf 				if (orc_list_add(&orc_list, &orc, insn->sec,
214c9c324dcSJosh Poimboeuf 						 insn->offset + i))
215c9c324dcSJosh Poimboeuf 					return -1;
216c9c324dcSJosh Poimboeuf 				nr++;
217c9c324dcSJosh Poimboeuf 				prev_orc = orc;
218c9c324dcSJosh Poimboeuf 				empty = false;
219c9c324dcSJosh Poimboeuf 			}
220c9c324dcSJosh Poimboeuf 
221c9c324dcSJosh Poimboeuf 			/* Skip to the end of the alt_group */
222c9c324dcSJosh Poimboeuf 			insn = alt_group->last_insn;
223ab4e0744SJosh Poimboeuf 		}
224ab4e0744SJosh Poimboeuf 
225ab4e0744SJosh Poimboeuf 		/* Add a section terminator */
226ab4e0744SJosh Poimboeuf 		if (!empty) {
227fe255fe6SJoe Lawrence 			orc_list_add(&orc_list, &null, sec, sec->sh.sh_size);
228ab4e0744SJosh Poimboeuf 			nr++;
229ab4e0744SJosh Poimboeuf 		}
230ab4e0744SJosh Poimboeuf 	}
231ab4e0744SJosh Poimboeuf 	if (!nr)
232ab4e0744SJosh Poimboeuf 		return 0;
233ab4e0744SJosh Poimboeuf 
234ab4e0744SJosh Poimboeuf 	/* Create .orc_unwind, .orc_unwind_ip and .rela.orc_unwind_ip sections: */
235627fce14SJosh Poimboeuf 	sec = find_section_by_name(file->elf, ".orc_unwind");
236627fce14SJosh Poimboeuf 	if (sec) {
237627fce14SJosh Poimboeuf 		WARN("file already has .orc_unwind section, skipping");
238627fce14SJosh Poimboeuf 		return -1;
239627fce14SJosh Poimboeuf 	}
2402707579dSJosh Poimboeuf 	orc_sec = elf_create_section(file->elf, ".orc_unwind",
241ab4e0744SJosh Poimboeuf 				     sizeof(struct orc_entry), nr);
242ab4e0744SJosh Poimboeuf 	if (!orc_sec)
243627fce14SJosh Poimboeuf 		return -1;
244627fce14SJosh Poimboeuf 
245*6342a20eSJosh Poimboeuf 	sec = elf_create_section_pair(file->elf, ".orc_unwind_ip", sizeof(int), nr, nr);
246ce90aaf5SSimon Ser 	if (!sec)
247ce90aaf5SSimon Ser 		return -1;
248627fce14SJosh Poimboeuf 
249ab4e0744SJosh Poimboeuf 	/* Write ORC entries to sections: */
250ab4e0744SJosh Poimboeuf 	list_for_each_entry(entry, &orc_list, list) {
251ef47cc01SPeter Zijlstra 		if (write_orc_entry(file->elf, orc_sec, sec, idx++,
252ab4e0744SJosh Poimboeuf 				    entry->insn_sec, entry->insn_off,
253ab4e0744SJosh Poimboeuf 				    &entry->orc))
254627fce14SJosh Poimboeuf 			return -1;
255627fce14SJosh Poimboeuf 	}
256627fce14SJosh Poimboeuf 
257627fce14SJosh Poimboeuf 	return 0;
258627fce14SJosh Poimboeuf }
259