Skip to content

Commit

Permalink
objtool: Convert ANNOTATE_INTRA_FUNCTION_CALL to ANNOTATE
Browse files Browse the repository at this point in the history
Signed-off-by: Peter Zijlstra (Intel) <peterz@infradead.org>
Acked-by: Josh Poimboeuf <jpoimboe@kernel.org>
Link: https://lore.kernel.org/r/20241128094311.584892071@infradead.org
  • Loading branch information
Peter Zijlstra committed Dec 2, 2024
1 parent f0cd57c commit 112765c
Show file tree
Hide file tree
Showing 4 changed files with 47 additions and 67 deletions.
16 changes: 6 additions & 10 deletions include/linux/objtool.h
Original file line number Diff line number Diff line change
Expand Up @@ -67,16 +67,6 @@

#else /* __ASSEMBLY__ */

/*
* This macro indicates that the following intra-function call is valid.
* Any non-annotated intra-function call will cause objtool to issue a warning.
*/
#define ANNOTATE_INTRA_FUNCTION_CALL \
999: \
.pushsection .discard.intra_function_calls; \
.long 999b; \
.popsection;

/*
* In asm, there are two kinds of code: normal C-type callable functions and
* the rest. The normal callable functions can be called by other code, and
Expand Down Expand Up @@ -154,6 +144,12 @@

#define ANNOTATE_NOENDBR ANNOTATE type=ANNOTYPE_NOENDBR

/*
* This macro indicates that the following intra-function call is valid.
* Any non-annotated intra-function call will cause objtool to issue a warning.
*/
#define ANNOTATE_INTRA_FUNCTION_CALL ANNOTATE type=ANNOTYPE_INTRA_FUNCTION_CALL

#endif /* __ASSEMBLY__ */

#else /* !CONFIG_OBJTOOL */
Expand Down
1 change: 1 addition & 0 deletions include/linux/objtool_types.h
Original file line number Diff line number Diff line change
Expand Up @@ -63,5 +63,6 @@ struct unwind_hint {
#define ANNOTYPE_INSTR_END 4
#define ANNOTYPE_UNRET_BEGIN 5
#define ANNOTYPE_IGNORE_ALTS 6
#define ANNOTYPE_INTRA_FUNCTION_CALL 7

#endif /* _LINUX_OBJTOOL_TYPES_H */
1 change: 1 addition & 0 deletions tools/include/linux/objtool_types.h
Original file line number Diff line number Diff line change
Expand Up @@ -63,5 +63,6 @@ struct unwind_hint {
#define ANNOTYPE_INSTR_END 4
#define ANNOTYPE_UNRET_BEGIN 5
#define ANNOTYPE_IGNORE_ALTS 6
#define ANNOTYPE_INTRA_FUNCTION_CALL 7

#endif /* _LINUX_OBJTOOL_TYPES_H */
96 changes: 39 additions & 57 deletions tools/objtool/check.c
Original file line number Diff line number Diff line change
Expand Up @@ -2339,7 +2339,8 @@ static int read_unwind_hints(struct objtool_file *file)
return 0;
}

static int read_annotate(struct objtool_file *file, int (*func)(int type, struct instruction *insn))
static int read_annotate(struct objtool_file *file,
int (*func)(struct objtool_file *file, int type, struct instruction *insn))
{
struct section *sec;
struct instruction *insn;
Expand Down Expand Up @@ -2372,15 +2373,15 @@ static int read_annotate(struct objtool_file *file, int (*func)(int type, struct
return -1;
}

ret = func(type, insn);
ret = func(file, type, insn);
if (ret < 0)
return ret;
}

return 0;
}

static int __annotate_ignore_alts(int type, struct instruction *insn)
static int __annotate_ignore_alts(struct objtool_file *file, int type, struct instruction *insn)
{
if (type != ANNOTYPE_IGNORE_ALTS)
return 0;
Expand All @@ -2389,7 +2390,7 @@ static int __annotate_ignore_alts(int type, struct instruction *insn)
return 0;
}

static int __annotate_noendbr(int type, struct instruction *insn)
static int __annotate_noendbr(struct objtool_file *file, int type, struct instruction *insn)
{
if (type != ANNOTYPE_NOENDBR)
return 0;
Expand All @@ -2398,7 +2399,37 @@ static int __annotate_noendbr(int type, struct instruction *insn)
return 0;
}

static int __annotate_retpoline_safe(int type, struct instruction *insn)
static int __annotate_ifc(struct objtool_file *file, int type, struct instruction *insn)
{
unsigned long dest_off;

if (type != ANNOTYPE_INTRA_FUNCTION_CALL)
return 0;

if (insn->type != INSN_CALL) {
WARN_INSN(insn, "intra_function_call not a direct call");
return -1;
}

/*
* Treat intra-function CALLs as JMPs, but with a stack_op.
* See add_call_destinations(), which strips stack_ops from
* normal CALLs.
*/
insn->type = INSN_JUMP_UNCONDITIONAL;

dest_off = arch_jump_destination(insn);
insn->jump_dest = find_insn(file, insn->sec, dest_off);
if (!insn->jump_dest) {
WARN_INSN(insn, "can't find call dest at %s+0x%lx",
insn->sec->name, dest_off);
return -1;
}

return 0;
}

static int __annotate_retpoline_safe(struct objtool_file *file, int type, struct instruction *insn)
{
if (type != ANNOTYPE_RETPOLINE_SAFE)
return 0;
Expand All @@ -2415,7 +2446,7 @@ static int __annotate_retpoline_safe(int type, struct instruction *insn)
return 0;
}

static int __annotate_instr(int type, struct instruction *insn)
static int __annotate_instr(struct objtool_file *file, int type, struct instruction *insn)
{
switch (type) {
case ANNOTYPE_INSTR_BEGIN:
Expand All @@ -2433,7 +2464,7 @@ static int __annotate_instr(int type, struct instruction *insn)
return 0;
}

static int __annotate_unret(int type, struct instruction *insn)
static int __annotate_unret(struct objtool_file *file, int type, struct instruction *insn)
{
if (type != ANNOTYPE_UNRET_BEGIN)
return 0;
Expand All @@ -2443,55 +2474,6 @@ static int __annotate_unret(int type, struct instruction *insn)

}

static int read_intra_function_calls(struct objtool_file *file)
{
struct instruction *insn;
struct section *rsec;
struct reloc *reloc;

rsec = find_section_by_name(file->elf, ".rela.discard.intra_function_calls");
if (!rsec)
return 0;

for_each_reloc(rsec, reloc) {
unsigned long dest_off;

if (reloc->sym->type != STT_SECTION) {
WARN("unexpected relocation symbol type in %s",
rsec->name);
return -1;
}

insn = find_insn(file, reloc->sym->sec, reloc_addend(reloc));
if (!insn) {
WARN("bad .discard.intra_function_call entry");
return -1;
}

if (insn->type != INSN_CALL) {
WARN_INSN(insn, "intra_function_call not a direct call");
return -1;
}

/*
* Treat intra-function CALLs as JMPs, but with a stack_op.
* See add_call_destinations(), which strips stack_ops from
* normal CALLs.
*/
insn->type = INSN_JUMP_UNCONDITIONAL;

dest_off = arch_jump_destination(insn);
insn->jump_dest = find_insn(file, insn->sec, dest_off);
if (!insn->jump_dest) {
WARN_INSN(insn, "can't find call dest at %s+0x%lx",
insn->sec->name, dest_off);
return -1;
}
}

return 0;
}

/*
* Return true if name matches an instrumentation function, where calls to that
* function from noinstr code can safely be removed, but compilers won't do so.
Expand Down Expand Up @@ -2630,7 +2612,7 @@ static int decode_sections(struct objtool_file *file)
* Must be before add_call_destination(); it changes INSN_CALL to
* INSN_JUMP.
*/
ret = read_intra_function_calls(file);
ret = read_annotate(file, __annotate_ifc);
if (ret)
return ret;

Expand Down

0 comments on commit 112765c

Please sign in to comment.