Branch data     Line data    Source code

       1                 :            : /* RISC-V specific symbolic name handling.
       2                 :            :    Copyright (C) 2024 Mark J. Wielaard <mark@klomp.org>
       3                 :            :    This file is part of elfutils.
       4                 :            : 
       5                 :            :    This file is free software; you can redistribute it and/or modify
       6                 :            :    it under the terms of either
       7                 :            : 
       8                 :            :      * the GNU Lesser General Public License as published by the Free
       9                 :            :        Software Foundation; either version 3 of the License, or (at
      10                 :            :        your option) any later version
      11                 :            : 
      12                 :            :    or
      13                 :            : 
      14                 :            :      * the GNU General Public License as published by the Free
      15                 :            :        Software Foundation; either version 2 of the License, or (at
      16                 :            :        your option) any later version
      17                 :            : 
      18                 :            :    or both in parallel, as here.
      19                 :            : 
      20                 :            :    elfutils is distributed in the hope that it will be useful, but
      21                 :            :    WITHOUT ANY WARRANTY; without even the implied warranty of
      22                 :            :    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
      23                 :            :    General Public License for more details.
      24                 :            : 
      25                 :            :    You should have received copies of the GNU General Public License and
      26                 :            :    the GNU Lesser General Public License along with this program.  If
      27                 :            :    not, see <http://www.gnu.org/licenses/>.  */
      28                 :            : 
      29                 :            : #ifdef HAVE_CONFIG_H
      30                 :            : # include <config.h>
      31                 :            : #endif
      32                 :            : 
      33                 :            : #include <assert.h>
      34                 :            : #include <elf.h>
      35                 :            : #include <stddef.h>
      36                 :            : #include <string.h>
      37                 :            : 
      38                 :            : #define BACKEND riscv_
      39                 :            : #include "libebl_CPU.h"
      40                 :            : 
      41                 :            : 
      42                 :            : /* Check for the simple reloc types.  */
      43                 :            : Elf_Type
      44                 :      12442 : riscv_reloc_simple_type (Ebl *ebl __attribute__ ((unused)), int type,
      45                 :            :                          int *addsub)
      46                 :            : {
      47   [ -  +  +  +  :      12442 :   switch (type)
          +  -  -  +  +  
                   +  - ]
      48                 :            :     {
      49                 :            :     case R_RISCV_SET8:
      50                 :            :       return ELF_T_BYTE;
      51                 :            :     case R_RISCV_SET16:
      52                 :            :       return ELF_T_HALF;
      53                 :            :     case R_RISCV_32:
      54                 :            :     case R_RISCV_SET32:
      55                 :            :       return ELF_T_WORD;
      56                 :            :     case R_RISCV_64:
      57                 :            :       return ELF_T_XWORD;
      58                 :         88 :     case R_RISCV_ADD16:
      59                 :         88 :       *addsub = 1;
      60                 :         88 :       return ELF_T_HALF;
      61                 :         88 :     case R_RISCV_SUB16:
      62                 :         88 :       *addsub = -1;
      63                 :         88 :       return ELF_T_HALF;
      64                 :          0 :     case R_RISCV_ADD32:
      65                 :          0 :       *addsub = 1;
      66                 :          0 :       return ELF_T_WORD;
      67                 :          0 :     case R_RISCV_SUB32:
      68                 :          0 :       *addsub = -1;
      69                 :          0 :       return ELF_T_WORD;
      70                 :         48 :     case R_RISCV_ADD64:
      71                 :         48 :       *addsub = 1;
      72                 :         48 :       return ELF_T_XWORD;
      73                 :         48 :     case R_RISCV_SUB64:
      74                 :         48 :       *addsub = -1;
      75                 :         48 :       return ELF_T_XWORD;
      76                 :         32 :     default:
      77                 :         32 :       return ELF_T_NUM;
      78                 :            :     }
      79                 :            : }
      80                 :            : 
      81                 :            : /* Check whether machine flags are valid.  */
      82                 :            : bool
      83                 :          2 : riscv_machine_flag_check (GElf_Word flags)
      84                 :            : {
      85                 :          2 :   return ((flags &~ (EF_RISCV_RVC
      86                 :          2 :                      | EF_RISCV_FLOAT_ABI)) == 0);
      87                 :            : }
      88                 :            : 
      89                 :            : /* Check whether given symbol's st_value and st_size are OK despite failing
      90                 :            :    normal checks.  */
      91                 :            : bool
      92                 :          2 : riscv_check_special_symbol (Elf *elf, const GElf_Sym *sym,
      93                 :            :                             const char *name, const GElf_Shdr *destshdr)
      94                 :            : {
      95         [ -  + ]:          2 :   if (name == NULL)
      96                 :            :     return false;
      97                 :            : 
      98                 :          2 :   size_t shstrndx;
      99         [ -  + ]:          2 :   if (elf_getshdrstrndx (elf, &shstrndx) != 0)
     100                 :            :     return false;
     101                 :          2 :   const char *sname = elf_strptr (elf, shstrndx, destshdr->sh_name);
     102         [ -  + ]:          2 :   if (sname == NULL)
     103                 :            :     return false;
     104                 :            : 
     105                 :            :   /* _GLOBAL_OFFSET_TABLE_ points to the start of the .got section, but it
     106                 :            :      is preceded by the .got.plt section in the output .got section.  */
     107         [ -  + ]:          2 :   if (strcmp (name, "_GLOBAL_OFFSET_TABLE_") == 0)
     108                 :            :     {
     109         [ #  # ]:          0 :       if (strcmp (sname, ".got") == 0
     110         [ #  # ]:          0 :           && sym->st_value >= destshdr->sh_addr
     111         [ #  # ]:          0 :           && sym->st_value < destshdr->sh_addr + destshdr->sh_size)
     112                 :            :         return true;
     113         [ #  # ]:          0 :       else if (strcmp (sname, ".got.plt") == 0)
     114                 :            :         {
     115                 :            :           /* Find .got section and compare against that.  */
     116                 :            :           Elf_Scn *scn = NULL;
     117         [ #  # ]:          0 :           while ((scn = elf_nextscn (elf, scn)) != NULL)
     118                 :            :             {
     119                 :          0 :               GElf_Shdr shdr_mem;
     120                 :          0 :               GElf_Shdr *shdr = gelf_getshdr (scn, &shdr_mem);
     121         [ #  # ]:          0 :               if (shdr != NULL)
     122                 :            :                 {
     123                 :          0 :                   sname = elf_strptr (elf, shstrndx, shdr->sh_name);
     124   [ #  #  #  # ]:          0 :                   if (sname != NULL && strcmp (sname, ".got") == 0)
     125                 :          0 :                     return (sym->st_value >= shdr->sh_addr
     126   [ #  #  #  # ]:          0 :                             && sym->st_value < shdr->sh_addr + shdr->sh_size);
     127                 :            :                 }
     128                 :            :             }
     129                 :            :         }
     130                 :            :     }
     131                 :            : 
     132                 :            :   /* __global_pointer$ points to the .sdata section with an offset of
     133                 :            :      0x800.  It might however fall in the .got section, in which case we
     134                 :            :      cannot check the offset.  The size always should be zero.  */
     135         [ +  - ]:          2 :   if (strcmp (name, "__global_pointer$") == 0)
     136                 :          0 :     return (((strcmp (sname, ".sdata") == 0
     137         [ #  # ]:          0 :               && sym->st_value == destshdr->sh_addr + 0x800)
     138         [ #  # ]:          0 :              || strcmp (sname, ".got") == 0)
     139   [ #  #  #  # ]:          0 :             && sym->st_size == 0);
     140                 :            : 
     141                 :            :   return false;
     142                 :            : }
     143                 :            : 
     144                 :            : const char *
     145                 :          0 : riscv_segment_type_name (int segment, char *buf __attribute__ ((unused)),
     146                 :            :                          size_t len __attribute__ ((unused)))
     147                 :            : {
     148         [ #  # ]:          0 :   switch (segment)
     149                 :            :     {
     150                 :            :     case PT_RISCV_ATTRIBUTES:
     151                 :            :       return "RISCV_ATTRIBUTES";
     152                 :            :     }
     153                 :          0 :   return NULL;
     154                 :            : }
     155                 :            : 
     156                 :            : /* Return symbolic representation of section type.  */
     157                 :            : const char *
     158                 :        114 : riscv_section_type_name (int type,
     159                 :            :                          char *buf __attribute__ ((unused)),
     160                 :            :                          size_t len __attribute__ ((unused)))
     161                 :            : {
     162         [ +  - ]:        114 :   switch (type)
     163                 :            :     {
     164                 :            :     case SHT_RISCV_ATTRIBUTES:
     165                 :            :       return "RISCV_ATTRIBUTES";
     166                 :            :     }
     167                 :            : 
     168                 :        114 :   return NULL;
     169                 :            : }
     170                 :            : 
     171                 :            : const char *
     172                 :          0 : riscv_dynamic_tag_name (int64_t tag, char *buf __attribute__ ((unused)),
     173                 :            :                         size_t len __attribute__ ((unused)))
     174                 :            : {
     175         [ #  # ]:          0 :   switch (tag)
     176                 :            :     {
     177                 :            :     case DT_RISCV_VARIANT_CC:
     178                 :            :       return "RISCV_VARIANT_CC";
     179                 :            :     }
     180                 :          0 :   return NULL;
     181                 :            : }
     182                 :            : 
     183                 :            : bool
     184                 :         60 : riscv_dynamic_tag_check (int64_t tag)
     185                 :            : {
     186                 :         60 :   return tag == DT_RISCV_VARIANT_CC;
     187                 :            : }