mirror of
https://github.com/raspberrypi/linux.git
synced 2026-01-02 15:53:42 +00:00
When update the latest upstream gcc and binutils, it generates more objtool warnings on LoongArch, like this: init/main.o: warning: objtool: unexpected relocation symbol type in .rela.discard.unreachable We can see that the reloc sym name is local label instead of section in relocation section '.rela.discard.unreachable', in this case, the reloc sym type is STT_NOTYPE instead of STT_SECTION. As suggested by Peter Zijlstra, we add a "local_label" member in struct symbol, then set it as true if symbol type is STT_NOTYPE and symbol name starts with ".L" string in classify_symbols(). Let's check reloc->sym->local_label to not return -1 in add_dead_ends(), and also use reloc->sym->offset instead of reloc addend which is 0 to find the corresponding instruction. At the same time, let's replace the variable "addend" with "offset" to reflect the reality. Here are some detailed info: [fedora@linux 6.8.test]$ gcc --version gcc (GCC) 14.0.1 20240129 (experimental) [fedora@linux 6.8.test]$ as --version GNU assembler (GNU Binutils) 2.42.50.20240129 [fedora@linux 6.8.test]$ readelf -r init/main.o | grep -A 2 "rela.discard.unreachable" Relocation section '.rela.discard.unreachable' at offset 0x6028 contains 1 entry: Offset Info Type Sym. Value Sym. Name + Addend 000000000000 00d900000063 R_LARCH_32_PCREL 00000000000002c4 .L500^B1 + 0 Signed-off-by: Tiezhu Yang <yangtiezhu@loongson.cn> Signed-off-by: Huacai Chen <chenhuacai@loongson.cn>
352 lines
8.9 KiB
C
352 lines
8.9 KiB
C
/* SPDX-License-Identifier: GPL-2.0-or-later */
|
|
/*
|
|
* Copyright (C) 2015 Josh Poimboeuf <jpoimboe@redhat.com>
|
|
*/
|
|
|
|
#ifndef _OBJTOOL_ELF_H
|
|
#define _OBJTOOL_ELF_H
|
|
|
|
#include <stdio.h>
|
|
#include <gelf.h>
|
|
#include <linux/list.h>
|
|
#include <linux/hashtable.h>
|
|
#include <linux/rbtree.h>
|
|
#include <linux/jhash.h>
|
|
#include <arch/elf.h>
|
|
|
|
#ifdef LIBELF_USE_DEPRECATED
|
|
# define elf_getshdrnum elf_getshnum
|
|
# define elf_getshdrstrndx elf_getshstrndx
|
|
#endif
|
|
|
|
/*
|
|
* Fallback for systems without this "read, mmaping if possible" cmd.
|
|
*/
|
|
#ifndef ELF_C_READ_MMAP
|
|
#define ELF_C_READ_MMAP ELF_C_READ
|
|
#endif
|
|
|
|
struct elf_hash_node {
|
|
struct elf_hash_node *next;
|
|
};
|
|
|
|
struct section {
|
|
struct list_head list;
|
|
struct elf_hash_node hash;
|
|
struct elf_hash_node name_hash;
|
|
GElf_Shdr sh;
|
|
struct rb_root_cached symbol_tree;
|
|
struct list_head symbol_list;
|
|
struct section *base, *rsec;
|
|
struct symbol *sym;
|
|
Elf_Data *data;
|
|
char *name;
|
|
int idx;
|
|
bool _changed, text, rodata, noinstr, init, truncate;
|
|
struct reloc *relocs;
|
|
};
|
|
|
|
struct symbol {
|
|
struct list_head list;
|
|
struct rb_node node;
|
|
struct elf_hash_node hash;
|
|
struct elf_hash_node name_hash;
|
|
GElf_Sym sym;
|
|
struct section *sec;
|
|
char *name;
|
|
unsigned int idx, len;
|
|
unsigned long offset;
|
|
unsigned long __subtree_last;
|
|
struct symbol *pfunc, *cfunc, *alias;
|
|
unsigned char bind, type;
|
|
u8 uaccess_safe : 1;
|
|
u8 static_call_tramp : 1;
|
|
u8 retpoline_thunk : 1;
|
|
u8 return_thunk : 1;
|
|
u8 fentry : 1;
|
|
u8 profiling_func : 1;
|
|
u8 warned : 1;
|
|
u8 embedded_insn : 1;
|
|
u8 local_label : 1;
|
|
struct list_head pv_target;
|
|
struct reloc *relocs;
|
|
};
|
|
|
|
struct reloc {
|
|
struct elf_hash_node hash;
|
|
struct section *sec;
|
|
struct symbol *sym;
|
|
struct reloc *sym_next_reloc;
|
|
};
|
|
|
|
struct elf {
|
|
Elf *elf;
|
|
GElf_Ehdr ehdr;
|
|
int fd;
|
|
bool changed;
|
|
char *name;
|
|
unsigned int num_files;
|
|
struct list_head sections;
|
|
unsigned long num_relocs;
|
|
|
|
int symbol_bits;
|
|
int symbol_name_bits;
|
|
int section_bits;
|
|
int section_name_bits;
|
|
int reloc_bits;
|
|
|
|
struct elf_hash_node **symbol_hash;
|
|
struct elf_hash_node **symbol_name_hash;
|
|
struct elf_hash_node **section_hash;
|
|
struct elf_hash_node **section_name_hash;
|
|
struct elf_hash_node **reloc_hash;
|
|
|
|
struct section *section_data;
|
|
struct symbol *symbol_data;
|
|
};
|
|
|
|
struct elf *elf_open_read(const char *name, int flags);
|
|
|
|
struct section *elf_create_section(struct elf *elf, const char *name,
|
|
size_t entsize, unsigned int nr);
|
|
struct section *elf_create_section_pair(struct elf *elf, const char *name,
|
|
size_t entsize, unsigned int nr,
|
|
unsigned int reloc_nr);
|
|
|
|
struct symbol *elf_create_prefix_symbol(struct elf *elf, struct symbol *orig, long size);
|
|
|
|
struct reloc *elf_init_reloc_text_sym(struct elf *elf, struct section *sec,
|
|
unsigned long offset,
|
|
unsigned int reloc_idx,
|
|
struct section *insn_sec,
|
|
unsigned long insn_off);
|
|
|
|
struct reloc *elf_init_reloc_data_sym(struct elf *elf, struct section *sec,
|
|
unsigned long offset,
|
|
unsigned int reloc_idx,
|
|
struct symbol *sym,
|
|
s64 addend);
|
|
|
|
int elf_write_insn(struct elf *elf, struct section *sec,
|
|
unsigned long offset, unsigned int len,
|
|
const char *insn);
|
|
int elf_write(struct elf *elf);
|
|
void elf_close(struct elf *elf);
|
|
|
|
struct section *find_section_by_name(const struct elf *elf, const char *name);
|
|
struct symbol *find_func_by_offset(struct section *sec, unsigned long offset);
|
|
struct symbol *find_symbol_by_offset(struct section *sec, unsigned long offset);
|
|
struct symbol *find_symbol_by_name(const struct elf *elf, const char *name);
|
|
struct symbol *find_symbol_containing(const struct section *sec, unsigned long offset);
|
|
int find_symbol_hole_containing(const struct section *sec, unsigned long offset);
|
|
struct reloc *find_reloc_by_dest(const struct elf *elf, struct section *sec, unsigned long offset);
|
|
struct reloc *find_reloc_by_dest_range(const struct elf *elf, struct section *sec,
|
|
unsigned long offset, unsigned int len);
|
|
struct symbol *find_func_containing(struct section *sec, unsigned long offset);
|
|
|
|
/*
|
|
* Try to see if it's a whole archive (vmlinux.o or module).
|
|
*
|
|
* Note this will miss the case where a module only has one source file.
|
|
*/
|
|
static inline bool has_multiple_files(struct elf *elf)
|
|
{
|
|
return elf->num_files > 1;
|
|
}
|
|
|
|
static inline size_t elf_addr_size(struct elf *elf)
|
|
{
|
|
return elf->ehdr.e_ident[EI_CLASS] == ELFCLASS32 ? 4 : 8;
|
|
}
|
|
|
|
static inline size_t elf_rela_size(struct elf *elf)
|
|
{
|
|
return elf_addr_size(elf) == 4 ? sizeof(Elf32_Rela) : sizeof(Elf64_Rela);
|
|
}
|
|
|
|
static inline unsigned int elf_data_rela_type(struct elf *elf)
|
|
{
|
|
return elf_addr_size(elf) == 4 ? R_DATA32 : R_DATA64;
|
|
}
|
|
|
|
static inline unsigned int elf_text_rela_type(struct elf *elf)
|
|
{
|
|
return elf_addr_size(elf) == 4 ? R_TEXT32 : R_TEXT64;
|
|
}
|
|
|
|
static inline bool is_reloc_sec(struct section *sec)
|
|
{
|
|
return sec->sh.sh_type == SHT_RELA || sec->sh.sh_type == SHT_REL;
|
|
}
|
|
|
|
static inline bool sec_changed(struct section *sec)
|
|
{
|
|
return sec->_changed;
|
|
}
|
|
|
|
static inline void mark_sec_changed(struct elf *elf, struct section *sec,
|
|
bool changed)
|
|
{
|
|
sec->_changed = changed;
|
|
elf->changed |= changed;
|
|
}
|
|
|
|
static inline unsigned int sec_num_entries(struct section *sec)
|
|
{
|
|
return sec->sh.sh_size / sec->sh.sh_entsize;
|
|
}
|
|
|
|
static inline unsigned int reloc_idx(struct reloc *reloc)
|
|
{
|
|
return reloc - reloc->sec->relocs;
|
|
}
|
|
|
|
static inline void *reloc_rel(struct reloc *reloc)
|
|
{
|
|
struct section *rsec = reloc->sec;
|
|
|
|
return rsec->data->d_buf + (reloc_idx(reloc) * rsec->sh.sh_entsize);
|
|
}
|
|
|
|
static inline bool is_32bit_reloc(struct reloc *reloc)
|
|
{
|
|
/*
|
|
* Elf32_Rel: 8 bytes
|
|
* Elf32_Rela: 12 bytes
|
|
* Elf64_Rel: 16 bytes
|
|
* Elf64_Rela: 24 bytes
|
|
*/
|
|
return reloc->sec->sh.sh_entsize < 16;
|
|
}
|
|
|
|
#define __get_reloc_field(reloc, field) \
|
|
({ \
|
|
is_32bit_reloc(reloc) ? \
|
|
((Elf32_Rela *)reloc_rel(reloc))->field : \
|
|
((Elf64_Rela *)reloc_rel(reloc))->field; \
|
|
})
|
|
|
|
#define __set_reloc_field(reloc, field, val) \
|
|
({ \
|
|
if (is_32bit_reloc(reloc)) \
|
|
((Elf32_Rela *)reloc_rel(reloc))->field = val; \
|
|
else \
|
|
((Elf64_Rela *)reloc_rel(reloc))->field = val; \
|
|
})
|
|
|
|
static inline u64 reloc_offset(struct reloc *reloc)
|
|
{
|
|
return __get_reloc_field(reloc, r_offset);
|
|
}
|
|
|
|
static inline void set_reloc_offset(struct elf *elf, struct reloc *reloc, u64 offset)
|
|
{
|
|
__set_reloc_field(reloc, r_offset, offset);
|
|
mark_sec_changed(elf, reloc->sec, true);
|
|
}
|
|
|
|
static inline s64 reloc_addend(struct reloc *reloc)
|
|
{
|
|
return __get_reloc_field(reloc, r_addend);
|
|
}
|
|
|
|
static inline void set_reloc_addend(struct elf *elf, struct reloc *reloc, s64 addend)
|
|
{
|
|
__set_reloc_field(reloc, r_addend, addend);
|
|
mark_sec_changed(elf, reloc->sec, true);
|
|
}
|
|
|
|
|
|
static inline unsigned int reloc_sym(struct reloc *reloc)
|
|
{
|
|
u64 info = __get_reloc_field(reloc, r_info);
|
|
|
|
return is_32bit_reloc(reloc) ?
|
|
ELF32_R_SYM(info) :
|
|
ELF64_R_SYM(info);
|
|
}
|
|
|
|
static inline unsigned int reloc_type(struct reloc *reloc)
|
|
{
|
|
u64 info = __get_reloc_field(reloc, r_info);
|
|
|
|
return is_32bit_reloc(reloc) ?
|
|
ELF32_R_TYPE(info) :
|
|
ELF64_R_TYPE(info);
|
|
}
|
|
|
|
static inline void set_reloc_sym(struct elf *elf, struct reloc *reloc, unsigned int sym)
|
|
{
|
|
u64 info = is_32bit_reloc(reloc) ?
|
|
ELF32_R_INFO(sym, reloc_type(reloc)) :
|
|
ELF64_R_INFO(sym, reloc_type(reloc));
|
|
|
|
__set_reloc_field(reloc, r_info, info);
|
|
|
|
mark_sec_changed(elf, reloc->sec, true);
|
|
}
|
|
static inline void set_reloc_type(struct elf *elf, struct reloc *reloc, unsigned int type)
|
|
{
|
|
u64 info = is_32bit_reloc(reloc) ?
|
|
ELF32_R_INFO(reloc_sym(reloc), type) :
|
|
ELF64_R_INFO(reloc_sym(reloc), type);
|
|
|
|
__set_reloc_field(reloc, r_info, info);
|
|
|
|
mark_sec_changed(elf, reloc->sec, true);
|
|
}
|
|
|
|
#define for_each_sec(file, sec) \
|
|
list_for_each_entry(sec, &file->elf->sections, list)
|
|
|
|
#define sec_for_each_sym(sec, sym) \
|
|
list_for_each_entry(sym, &sec->symbol_list, list)
|
|
|
|
#define for_each_sym(file, sym) \
|
|
for (struct section *__sec, *__fake = (struct section *)1; \
|
|
__fake; __fake = NULL) \
|
|
for_each_sec(file, __sec) \
|
|
sec_for_each_sym(__sec, sym)
|
|
|
|
#define for_each_reloc(rsec, reloc) \
|
|
for (int __i = 0, __fake = 1; __fake; __fake = 0) \
|
|
for (reloc = rsec->relocs; \
|
|
__i < sec_num_entries(rsec); \
|
|
__i++, reloc++)
|
|
|
|
#define for_each_reloc_from(rsec, reloc) \
|
|
for (int __i = reloc_idx(reloc); \
|
|
__i < sec_num_entries(rsec); \
|
|
__i++, reloc++)
|
|
|
|
#define OFFSET_STRIDE_BITS 4
|
|
#define OFFSET_STRIDE (1UL << OFFSET_STRIDE_BITS)
|
|
#define OFFSET_STRIDE_MASK (~(OFFSET_STRIDE - 1))
|
|
|
|
#define for_offset_range(_offset, _start, _end) \
|
|
for (_offset = ((_start) & OFFSET_STRIDE_MASK); \
|
|
_offset >= ((_start) & OFFSET_STRIDE_MASK) && \
|
|
_offset <= ((_end) & OFFSET_STRIDE_MASK); \
|
|
_offset += OFFSET_STRIDE)
|
|
|
|
static inline u32 sec_offset_hash(struct section *sec, unsigned long offset)
|
|
{
|
|
u32 ol, oh, idx = sec->idx;
|
|
|
|
offset &= OFFSET_STRIDE_MASK;
|
|
|
|
ol = offset;
|
|
oh = (offset >> 16) >> 16;
|
|
|
|
__jhash_mix(ol, oh, idx);
|
|
|
|
return ol;
|
|
}
|
|
|
|
static inline u32 reloc_hash(struct reloc *reloc)
|
|
{
|
|
return sec_offset_hash(reloc->sec, reloc_offset(reloc));
|
|
}
|
|
|
|
#endif /* _OBJTOOL_ELF_H */
|