[LoongArch 2/6] Add ELF machine flag and relocs for upcoming LoongArch target

[SixWeining]

Summary

This patch adds necessary definitions for LoongArch ELF files, including
relocation types. Also adds initial support to ELFYaml, llvm-objdump,
and llvm-readobj in order to work with LoongArch ELFs.

Depends on D115857

[jhenderson]

Two nits. Otherwise looks good. Your comment references llvm-objdump, but there's nothing testing llvm-objdump here. I imagine it's just a case of "it just works", due to the Object library changes?

I haven't checked that the LOONGARCH definitions match up with any official spec. Do you have anything you could cite for these values i.e. ELF generic-abi mailing list for the EM value, and some psABI doc for the relocations?

Not that I think this particular change needs it, but has there been any particular buy-in from the community for integrating this architecture at all? (In this case, I don't think it's necessary, but for wider changes, it probably is).

Please note that I won't be online until the 4th of January, after today's work, so may be slow to respond to anything.

llvm/include/llvm/BinaryFormat/ELFRelocs/LoongArch.def

2

I imagine that this is copied from other files, but this blank line can be deleted.

I'm not sure why we don't include a license header at the top here, but I presume that's the case in the other files too?

46

You can reduce the amount of spaces, to make it slightly easier to line things up. I've highlighted this line, as it's the longest, but you can then move all the other numbers to match up.

llvm/test/tools/llvm-readobj/ELF/reloc-types-elf-loongarch64.test

1 ↗

(On Diff #394776)

You can drop "elf" from the title of this test, since it's already in the ELF subdirectory.

llvm/unittests/Object/ELFObjectFileTest.cpp

295

Please clang-format your newly added code.

[SixWeining]

address @jhenderson comments

[SixWeining]

llvm/include/llvm/BinaryFormat/ELFRelocs/LoongArch.def

2

1. OK, I will delete the first blank line.
2. About the license header absence I think maybe the reason is this file is not a 'standalone' source or header file but a file that would be included by other files.

46

No problem. I will change that.

llvm/test/tools/llvm-readobj/ELF/reloc-types-elf-loongarch64.test

1 ↗

(On Diff #394776)

Good suggestion. But we just follow other existing files naming method in the same directory. Maybe we can change all these files in a seperate patch later.

[SixWeining]

In D115859#3199357, @jhenderson wrote:

Two nits. Otherwise looks good. Your comment references llvm-objdump, but there's nothing testing llvm-objdump here. I imagine it's just a case of "it just works", due to the Object library changes?

I haven't checked that the LOONGARCH definitions match up with any official spec. Do you have anything you could cite for these values i.e. ELF generic-abi mailing list for the EM value, and some psABI doc for the relocations?

Not that I think this particular change needs it, but has there been any particular buy-in from the community for integrating this architecture at all? (In this case, I don't think it's necessary, but for wider changes, it probably is).

Please note that I won't be online until the 4th of January, after today's work, so may be slow to respond to anything.

Thanks @jhenderson and I have updated this revision to address your comments.
It is worth mentioning that this change is based on the LoongArch ELF ABI: https://loongson.github.io/LoongArch-Documentation/LoongArch-ELF-ABI-EN.html which has been upstreamed to binutils.
And this is the RFC proposing LoongArch to LLVM.

[rengolin]

This looks good to me too.

I will wait for more people to have a look at it before approving, especially during the long break until January.

[xen0n]

llvm/include/llvm/BinaryFormat/ELFRelocs/LoongArch.def

6

It may be better to point to the documentation source code with exact commit hash, because unfortunately there seems to be no versioning in the rendered website, so future revisions to the documentation could render this comment out-dated.

Also minor nit: it should probably say "from the LoongArch ELF psABI", both because the values are not modified here downstream, and to fully spell out the documentation title.

llvm/unittests/Object/ELFObjectFileTest.cpp

292

MachineTestForLoongArch for proper casing?

293

From my cursory look, it seems the 2nd and 4th elements are for verifying big-endian cases, yet LoongArch is little-endian-only according to documentation. So do you want to ignore big-endian cases and fix here to say elfNN-unknown instead?

[SixWeining]

Thanks for your comments @xen0n and I will update the revision to address them.

llvm/include/llvm/BinaryFormat/ELFRelocs/LoongArch.def

6

Thanks. That's reasonable and I will change it.

llvm/unittests/Object/ELFObjectFileTest.cpp

292

OK, I will change it.

293

Yes, LoongArch is little-endian only. But I think it doesn't mean LoongArch should only support identifing little-endian ELF files. For example, on little endian x86, the llvm-readelf tool can even recognize big-endian ELF file.

$ arch
x86_64
$ cat a.yaml 
--- !ELF
FileHeader:
  Class:   ELFCLASS64
  Data:    ELFDATA2MSB
  Type:    ET_REL
  Machine: EM_X86_64
$ yaml2obj a.yaml -o a.o
$ llvm-readelf -h a.o
ELF Header:
  Magic:   7f 45 4c 46 02 02 01 00 00 00 00 00 00 00 00 00
  Class:                             ELF64
  Data:                              2's complement, big endian
  Version:                           1 (current)
  OS/ABI:                            UNIX - System V
  ABI Version:                       0
  Type:                              REL (Relocatable file)
  Machine:                           Advanced Micro Devices X86-64
  Version:                           0x1
  ...

[rengolin]

Adding owners of recent new targets to help onboarding this new target.

[SixWeining]

address comments of @xen0n about the psABI doc reference

[MaskRay]

llvm/test/tools/llvm-readobj/ELF/reloc-types-elf-loongarch64.test

1 ↗

(On Diff #394776)

I will do the file renames for other reloc-types-elf-* tests (D71203) @grimar

[jhenderson]

LGTM, but worth giving it a bit longer for others to finish commenting on too.

llvm/test/tools/llvm-readobj/ELF/reloc-types-elf-loongarch64.test

1 ↗

(On Diff #394776)

(just noting to make sure that if @MaskRay does this first, to make sure you rename this file before it lands)

[SixWeining]

llvm/test/tools/llvm-readobj/ELF/reloc-types-elf-loongarch64.test

1 ↗

(On Diff #394776)

Thanks @jhenderson and @MaskRay.

I just checked that other files has already been renamed in this commit: d9cf9bd4b3c30221a2ec348cdfb01a24d84927b6. Now I will rename the loongarch test file in this patch.

[SixWeining]

rename reloc-types-elf-loongarch64.test to reloc-types-loongarch64.test

[jhenderson]

LGTM again.

[rastogishubham]

Hi it seems like this patch caused an error in the lldb build machines:

/Users/buildslave/jenkins/workspace/lldb-cmake/llvm-project/llvm/include/llvm/BinaryFormat/ELF.h:877:1: error: expected identifier
#include "ELFRelocs/LoongArch.def"
^
/Users/buildslave/jenkins/workspace/lldb-cmake/llvm-project/llvm/include/llvm/BinaryFormat/ELF.h:877:1: error: expected '}'
/Users/buildslave/jenkins/workspace/lldb-cmake/llvm-project/llvm/include/llvm/BinaryFormat/ELF.h:876:6: note: to match this '{'
enum {

^

/Users/buildslave/jenkins/workspace/lldb-cmake/llvm-project/llvm/include/llvm/BinaryFormat/ELF.h:876:7: error: expected ';' after enum
enum {

^
;

/Users/buildslave/jenkins/workspace/lldb-cmake/llvm-project/llvm/include/llvm/BinaryFormat/ELF.h:876:1: warning: declaration does not declare anything [-Wmissing-declarations]
enum {
^
/Users/buildslave/jenkins/workspace/lldb-cmake/llvm-project/llvm/include/llvm/BinaryFormat/ELF.h:877:1: fatal error: import of module 'LLVM_BinaryFormat.ELFRelocs.LoongArch' appears within namespace 'llvm::ELF'
#include "ELFRelocs/LoongArch.def"
^
/Users/buildslave/jenkins/workspace/lldb-cmake/llvm-project/llvm/include/llvm/BinaryFormat/ELF.h:27:1: note: namespace 'llvm::ELF' begins here
namespace ELF {
^
/Users/buildslave/jenkins/workspace/lldb-cmake/llvm-project/llvm/lib/BinaryFormat/AMDGPUMetadataVerifier.cpp:14:10: fatal error: could not build module 'LLVM_BinaryFormat'
#include "llvm/BinaryFormat/AMDGPUMetadataVerifier.h"
~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

link to bot here: https://green.lab.llvm.org/green/view/LLDB/job/lldb-cmake/41227/

Please fix or revert your patch as soon as possible!

[rengolin]

In D115859#3311808, @rastogishubham wrote:

Hi it seems like this patch caused an error in the lldb build machines:

/Users/buildslave/jenkins/workspace/lldb-cmake/llvm-project/llvm/include/llvm/BinaryFormat/ELF.h:877:1: error: expected identifier
#include "ELFRelocs/LoongArch.def"
^

I'm not sure how that's possible, given that that the code here isn't doing anything different than any other backend.

The only thing I could think about was the extra newline on LoogArch's enum defs that wasn't present in any other arch.

So I committed 695b629edd03 removing that newline. It's a wild guess, it's not relevant and it shouldn't hurt, but if that's what it was (because macros are stupid), then let me know.

If not, then we need to understand how you're building it because the other bots are fine and that is a build failure.

Ex. https://lab.llvm.org/buildbot/#/builders/188/builds/9576

[rengolin]

In D115859#3311951, @rengolin wrote:

So I committed 695b629edd03 removing that newline. It's a wild guess, it's not relevant and it shouldn't hurt, but if that's what it was (because macros are stupid), then let me know.

It did not work.

Can you explain how you build and why is this only breaking on your bot?

[aprantl]

If I'm making a wild guess, it doesn't look like LoongArch.def is mentioned as a textual header in module.modulemap.

[aprantl]

(The LLDB bot builds with -DLLVM_ENABLE_MODULES=On)

[rengolin]

In D115859#3312023, @aprantl wrote:

(The LLDB bot builds with -DLLVM_ENABLE_MODULES=On)

Ah, I see. I'll try that. Just did a standard LLDB build and it was fine. :)

[rengolin]

In D115859#3312022, @aprantl wrote:

If I'm making a wild guess, it doesn't look like LoongArch.def is mentioned as a textual header in module.modulemap.

So, I can reproduce the error now, but I'm not sure which one of the many modulemap file you're referring to.

I can't find any other ELFRelocs file in any of the many modulemap files in any of the monorepo projects.

[rastogishubham]

Hi I think I know what to do and am trying to fix it myself. Thanks for trying!

[rengolin]

In D115859#3312079, @rastogishubham wrote:

Hi I think I know what to do and am trying to fix it myself. Thanks for trying!

Awesome, thanks!

Please post it here so we can track, too.

[rastogishubham]

Closed with 957b24ca9f1e

[SixWeining]

In D115859#3312474, @rastogishubham wrote:

Closed with 957b24ca9f1e

Thanks for fixing the build error. I just submit a new patch D119519 to sort the textual headers by alphabetical order.

llvm/include/llvm/BinaryFormat/ELF.h

enum {
   EM_NORC = 218,          // Nanoradio Optimized RISC
   EM_CSR_KALIMBA = 219,   // CSR Kalimba architecture family
   EM_AMDGPU = 224,        // AMD GPU architecture
   EM_RISCV = 243,         // RISC-V
   EM_LANAI = 244,         // Lanai 32-bit processor
   EM_BPF = 247,           // Linux kernel bpf virtual machine
   EM_VE = 251,            // NEC SX-Aurora VE
   EM_CSKY = 252,          // C-SKY 32-bit processor
+  EM_LOONGARCH = 258,     // LoongArch
 };
 
 // Object file classes.
 enum {
   ELFCLASSNONE = 0,
   ELFCLASS32 = 1, // 32-bit object file
   ELFCLASS64 = 2  // 64-bit object file
 };

 };
 
 
 // ELF Relocation types for CSKY
 enum {
 #include "ELFRelocs/CSKY.def"
 };
 
+// ELF Relocation types for LoongArch
+enum {
+#include "ELFRelocs/LoongArch.def"
+};
+
 #undef ELF_RELOC
 
 // Section header.
 struct Elf32_Shdr {
   Elf32_Word sh_name;      // Section name (index into string table)
   Elf32_Word sh_type;      // Section type (SHT_*)
   Elf32_Word sh_flags;     // Section flags (SHF_*)
   Elf32_Addr sh_addr;      // Address where section is to be loaded

llvm/include/llvm/BinaryFormat/ELFRelocs/LoongArch.def

+#ifndef ELF_RELOC
+#error "ELF_RELOC must be defined"
+#endif
+
+// These types and values are from the LoongArch ELF psABI which can be found at
+// https://github.com/loongson/LoongArch-Documentation
+// and these definitions has been adopted by binutils (include/elf/loongarch.h).
+// The commit hash (main branch) we reference is:
+// 9b3bd9f4a497115913c22f1a2a47863798fbc02a
+
+ELF_RELOC(R_LARCH_NONE,                        0)
+ELF_RELOC(R_LARCH_32,                          1)
+ELF_RELOC(R_LARCH_64,                          2)
+ELF_RELOC(R_LARCH_RELATIVE,                    3)
+ELF_RELOC(R_LARCH_COPY,                        4)
+ELF_RELOC(R_LARCH_JUMP_SLOT,                   5)
+ELF_RELOC(R_LARCH_TLS_DTPMOD32,                6)
+ELF_RELOC(R_LARCH_TLS_DTPMOD64,                7)
+ELF_RELOC(R_LARCH_TLS_DTPREL32,                8)
+ELF_RELOC(R_LARCH_TLS_DTPREL64,                9)
+ELF_RELOC(R_LARCH_TLS_TPREL32,                10)
+ELF_RELOC(R_LARCH_TLS_TPREL64,                11)
+ELF_RELOC(R_LARCH_IRELATIVE,                  12)
+
+ELF_RELOC(R_LARCH_MARK_LA,                    20)
+ELF_RELOC(R_LARCH_MARK_PCREL,                 21)
+ELF_RELOC(R_LARCH_SOP_PUSH_PCREL,             22)
+ELF_RELOC(R_LARCH_SOP_PUSH_ABSOLUTE,          23)
+ELF_RELOC(R_LARCH_SOP_PUSH_DUP,               24)
+ELF_RELOC(R_LARCH_SOP_PUSH_GPREL,             25)
+ELF_RELOC(R_LARCH_SOP_PUSH_TLS_TPREL,         26)
+ELF_RELOC(R_LARCH_SOP_PUSH_TLS_GOT,           27)
+ELF_RELOC(R_LARCH_SOP_PUSH_TLS_GD,            28)
+ELF_RELOC(R_LARCH_SOP_PUSH_PLT_PCREL,         29)
+ELF_RELOC(R_LARCH_SOP_ASSERT,                 30)
+ELF_RELOC(R_LARCH_SOP_NOT,                    31)
+ELF_RELOC(R_LARCH_SOP_SUB,                    32)
+ELF_RELOC(R_LARCH_SOP_SL,                     33)
+ELF_RELOC(R_LARCH_SOP_SR,                     34)
+ELF_RELOC(R_LARCH_SOP_ADD,                    35)
+ELF_RELOC(R_LARCH_SOP_AND,                    36)
+ELF_RELOC(R_LARCH_SOP_IF_ELSE,                37)
+ELF_RELOC(R_LARCH_SOP_POP_32_S_10_5,          38)
+ELF_RELOC(R_LARCH_SOP_POP_32_U_10_12,         39)
+ELF_RELOC(R_LARCH_SOP_POP_32_S_10_12,         40)
+ELF_RELOC(R_LARCH_SOP_POP_32_S_10_16,         41)
+ELF_RELOC(R_LARCH_SOP_POP_32_S_10_16_S2,      42)
+ELF_RELOC(R_LARCH_SOP_POP_32_S_5_20,          43)
+ELF_RELOC(R_LARCH_SOP_POP_32_S_0_5_10_16_S2,  44)
+ELF_RELOC(R_LARCH_SOP_POP_32_S_0_10_10_16_S2, 45)
+ELF_RELOC(R_LARCH_SOP_POP_32_U,               46)
+ELF_RELOC(R_LARCH_ADD8,                       47)
+ELF_RELOC(R_LARCH_ADD16,                      48)
+ELF_RELOC(R_LARCH_ADD24,                      49)
+ELF_RELOC(R_LARCH_ADD32,                      50)
+ELF_RELOC(R_LARCH_ADD64,                      51)
+ELF_RELOC(R_LARCH_SUB8,                       52)
+ELF_RELOC(R_LARCH_SUB16,                      53)
+ELF_RELOC(R_LARCH_SUB24,                      54)
+ELF_RELOC(R_LARCH_SUB32,                      55)
+ELF_RELOC(R_LARCH_SUB64,                      56)
+ELF_RELOC(R_LARCH_GNU_VTINHERIT,              57)
+ELF_RELOC(R_LARCH_GNU_VTENTRY,                58)

llvm/include/llvm/Object/ELFObjectFile.h

case ELF::EM_RISCV:
       return "elf32-littleriscv";
     case ELF::EM_CSKY:
       return "elf32-csky";
     case ELF::EM_SPARC:
     case ELF::EM_SPARC32PLUS:
       return "elf32-sparc";
     case ELF::EM_AMDGPU:
       return "elf32-amdgpu";
+    case ELF::EM_LOONGARCH:
+      return "elf32-loongarch";
     default:
       return "elf32-unknown";
     }
   case ELF::ELFCLASS64:
     switch (EF.getHeader().e_machine) {
     case ELF::EM_386:
       return "elf64-i386";
     case ELF::EM_X86_64:
case ELF::ELFCLASS64:
     case ELF::EM_MIPS:
       return "elf64-mips";
     case ELF::EM_AMDGPU:
       return "elf64-amdgpu";
     case ELF::EM_BPF:
       return "elf64-bpf";
     case ELF::EM_VE:
       return "elf64-ve";
+    case ELF::EM_LOONGARCH:
+      return "elf64-loongarch";
     default:
       return "elf64-unknown";
     }
   default:
     // FIXME: Proper error handling.
     report_fatal_error("Invalid ELFCLASS!");
   }
 }
template <class ELFT> Triple::ArchType ELFObjectFile<ELFT>::getArch() const {
 
   case ELF::EM_BPF:
     return IsLittleEndian ? Triple::bpfel : Triple::bpfeb;
 
   case ELF::EM_VE:
     return Triple::ve;
   case ELF::EM_CSKY:
     return Triple::csky;
+
+  case ELF::EM_LOONGARCH:
+    switch (EF.getHeader().e_ident[ELF::EI_CLASS]) {
+    case ELF::ELFCLASS32:
+      return Triple::loongarch32;
+    case ELF::ELFCLASS64:
+      return Triple::loongarch64;
+    default:
+      report_fatal_error("Invalid ELFCLASS!");
+    }
+
   default:
     return Triple::UnknownArch;
   }
 }
 
 template <class ELFT>
 Expected<uint64_t> ELFObjectFile<ELFT>::getStartAddress() const {
   return EF.getHeader().e_entry;

llvm/lib/Object/ELF.cpp

#include "llvm/BinaryFormat/ELFRelocs/VE.def"
     break;
   case ELF::EM_CSKY:
     switch (Type) {
 #include "llvm/BinaryFormat/ELFRelocs/CSKY.def"
     default:
       break;
     }
     break;
+  case ELF::EM_LOONGARCH:
+    switch (Type) {
+#include "llvm/BinaryFormat/ELFRelocs/LoongArch.def"
+    default:
+      break;
+    }
+    break;
   default:
     break;
   }
   return "Unknown";
 }
 
 #undef ELF_RELOC
 

llvm/lib/ObjectYAML/ELFYAML.cpp

#define ECase(X) IO.enumCase(Value, #X, ELF::X)
   ECase(EM_78KOR);
   ECase(EM_56800EX);
   ECase(EM_AMDGPU);
   ECase(EM_RISCV);
   ECase(EM_LANAI);
   ECase(EM_BPF);
   ECase(EM_VE);
   ECase(EM_CSKY);
+  ECase(EM_LOONGARCH);
 #undef ECase
   IO.enumFallback<Hex16>(Value);
 }
 
 void ScalarEnumerationTraits<ELFYAML::ELF_ELFCLASS>::enumeration(
     IO &IO, ELFYAML::ELF_ELFCLASS &Value) {
 #define ECase(X) IO.enumCase(Value, #X, ELF::X)
   // Since the semantics of ELFCLASSNONE is "invalid", just don't accept it

 #include "llvm/BinaryFormat/ELFRelocs/PowerPC.def"
     break;
   case ELF::EM_PPC64:
 #include "llvm/BinaryFormat/ELFRelocs/PowerPC64.def"
     break;
   case ELF::EM_68K:
 #include "llvm/BinaryFormat/ELFRelocs/M68k.def"
     break;
+  case ELF::EM_LOONGARCH:
+#include "llvm/BinaryFormat/ELFRelocs/LoongArch.def"
+    break;
   default:
     // Nothing to do.
     break;
   }
 #undef ELF_RELOC
   IO.enumFallback<Hex32>(Value);
 }
 

llvm/test/tools/llvm-readobj/ELF/reloc-types-loongarch64.test

+## Test that llvm-readobj/llvm-readelf shows proper relocation type
+## names and values for loongarch64 target.
+
+# RUN: yaml2obj %s -o %t-loongarch64.o
+# RUN: llvm-readobj -r --expand-relocs %t-loongarch64.o | FileCheck %s
+
+# CHECK: Type: R_LARCH_NONE (0)
+# CHECK: Type: R_LARCH_32 (1)
+# CHECK: Type: R_LARCH_64 (2)
+# CHECK: Type: R_LARCH_RELATIVE (3)
+# CHECK: Type: R_LARCH_COPY (4)
+# CHECK: Type: R_LARCH_JUMP_SLOT (5)
+# CHECK: Type: R_LARCH_TLS_DTPMOD32 (6)
+# CHECK: Type: R_LARCH_TLS_DTPMOD64 (7)
+# CHECK: Type: R_LARCH_TLS_DTPREL32 (8)
+# CHECK: Type: R_LARCH_TLS_DTPREL64 (9)
+# CHECK: Type: R_LARCH_TLS_TPREL32 (10)
+# CHECK: Type: R_LARCH_TLS_TPREL64 (11)
+# CHECK: Type: R_LARCH_IRELATIVE (12)
+# CHECK: Type: R_LARCH_MARK_LA (20)
+# CHECK: Type: R_LARCH_MARK_PCREL (21)
+# CHECK: Type: R_LARCH_SOP_PUSH_PCREL (22)
+# CHECK: Type: R_LARCH_SOP_PUSH_ABSOLUTE (23)
+# CHECK: Type: R_LARCH_SOP_PUSH_DUP (24)
+# CHECK: Type: R_LARCH_SOP_PUSH_GPREL (25)
+# CHECK: Type: R_LARCH_SOP_PUSH_TLS_TPREL (26)
+# CHECK: Type: R_LARCH_SOP_PUSH_TLS_GOT (27)
+# CHECK: Type: R_LARCH_SOP_PUSH_TLS_GD (28)
+# CHECK: Type: R_LARCH_SOP_PUSH_PLT_PCREL (29)
+# CHECK: Type: R_LARCH_SOP_ASSERT (30)
+# CHECK: Type: R_LARCH_SOP_NOT (31)
+# CHECK: Type: R_LARCH_SOP_SUB (32)
+# CHECK: Type: R_LARCH_SOP_SL (33)
+# CHECK: Type: R_LARCH_SOP_SR (34)
+# CHECK: Type: R_LARCH_SOP_ADD (35)
+# CHECK: Type: R_LARCH_SOP_AND (36)
+# CHECK: Type: R_LARCH_SOP_IF_ELSE (37)
+# CHECK: Type: R_LARCH_SOP_POP_32_S_10_5 (38)
+# CHECK: Type: R_LARCH_SOP_POP_32_U_10_12 (39)
+# CHECK: Type: R_LARCH_SOP_POP_32_S_10_12 (40)
+# CHECK: Type: R_LARCH_SOP_POP_32_S_10_16 (41)
+# CHECK: Type: R_LARCH_SOP_POP_32_S_10_16_S2 (42)
+# CHECK: Type: R_LARCH_SOP_POP_32_S_5_20 (43)
+# CHECK: Type: R_LARCH_SOP_POP_32_S_0_5_10_16_S2 (44)
+# CHECK: Type: R_LARCH_SOP_POP_32_S_0_10_10_16_S2 (45)
+# CHECK: Type: R_LARCH_SOP_POP_32_U (46)
+# CHECK: Type: R_LARCH_ADD8 (47)
+# CHECK: Type: R_LARCH_ADD16 (48)
+# CHECK: Type: R_LARCH_ADD24 (49)
+# CHECK: Type: R_LARCH_ADD32 (50)
+# CHECK: Type: R_LARCH_ADD64 (51)
+# CHECK: Type: R_LARCH_SUB8 (52)
+# CHECK: Type: R_LARCH_SUB16 (53)
+# CHECK: Type: R_LARCH_SUB24 (54)
+# CHECK: Type: R_LARCH_SUB32 (55)
+# CHECK: Type: R_LARCH_SUB64 (56)
+# CHECK: Type: R_LARCH_GNU_VTINHERIT (57)
+# CHECK: Type: R_LARCH_GNU_VTENTRY (58)
+
+--- !ELF
+FileHeader:
+  Class:   ELFCLASS64
+  Data:    ELFDATA2LSB
+  Type:    ET_REL
+  Machine: EM_LOONGARCH
+Sections:
+  - Name: .rela.text
+    Type: SHT_RELA
+    Relocations:
+      - Type: R_LARCH_NONE
+      - Type: R_LARCH_32
+      - Type: R_LARCH_64
+      - Type: R_LARCH_RELATIVE
+      - Type: R_LARCH_COPY
+      - Type: R_LARCH_JUMP_SLOT
+      - Type: R_LARCH_TLS_DTPMOD32
+      - Type: R_LARCH_TLS_DTPMOD64
+      - Type: R_LARCH_TLS_DTPREL32
+      - Type: R_LARCH_TLS_DTPREL64
+      - Type: R_LARCH_TLS_TPREL32
+      - Type: R_LARCH_TLS_TPREL64
+      - Type: R_LARCH_IRELATIVE
+      - Type: R_LARCH_MARK_LA
+      - Type: R_LARCH_MARK_PCREL
+      - Type: R_LARCH_SOP_PUSH_PCREL
+      - Type: R_LARCH_SOP_PUSH_ABSOLUTE
+      - Type: R_LARCH_SOP_PUSH_DUP
+      - Type: R_LARCH_SOP_PUSH_GPREL
+      - Type: R_LARCH_SOP_PUSH_TLS_TPREL
+      - Type: R_LARCH_SOP_PUSH_TLS_GOT
+      - Type: R_LARCH_SOP_PUSH_TLS_GD
+      - Type: R_LARCH_SOP_PUSH_PLT_PCREL
+      - Type: R_LARCH_SOP_ASSERT
+      - Type: R_LARCH_SOP_NOT
+      - Type: R_LARCH_SOP_SUB
+      - Type: R_LARCH_SOP_SL
+      - Type: R_LARCH_SOP_SR
+      - Type: R_LARCH_SOP_ADD
+      - Type: R_LARCH_SOP_AND
+      - Type: R_LARCH_SOP_IF_ELSE
+      - Type: R_LARCH_SOP_POP_32_S_10_5
+      - Type: R_LARCH_SOP_POP_32_U_10_12
+      - Type: R_LARCH_SOP_POP_32_S_10_12
+      - Type: R_LARCH_SOP_POP_32_S_10_16
+      - Type: R_LARCH_SOP_POP_32_S_10_16_S2
+      - Type: R_LARCH_SOP_POP_32_S_5_20
+      - Type: R_LARCH_SOP_POP_32_S_0_5_10_16_S2
+      - Type: R_LARCH_SOP_POP_32_S_0_10_10_16_S2
+      - Type: R_LARCH_SOP_POP_32_U
+      - Type: R_LARCH_ADD8
+      - Type: R_LARCH_ADD16
+      - Type: R_LARCH_ADD24
+      - Type: R_LARCH_ADD32
+      - Type: R_LARCH_ADD64
+      - Type: R_LARCH_SUB8
+      - Type: R_LARCH_SUB16
+      - Type: R_LARCH_SUB24
+      - Type: R_LARCH_SUB32
+      - Type: R_LARCH_SUB64
+      - Type: R_LARCH_GNU_VTINHERIT
+      - Type: R_LARCH_GNU_VTENTRY

llvm/tools/llvm-readobj/ELFDumper.cpp

const EnumEntry<unsigned> ElfMachineType[] = {
   ENUM_ENT(EM_VIDEOCORE5,    "Broadcom VideoCore V processor"),
   ENUM_ENT(EM_78KOR,         "EM_78KOR"),
   ENUM_ENT(EM_56800EX,       "EM_56800EX"),
   ENUM_ENT(EM_AMDGPU,        "EM_AMDGPU"),
   ENUM_ENT(EM_RISCV,         "RISC-V"),
   ENUM_ENT(EM_LANAI,         "EM_LANAI"),
   ENUM_ENT(EM_BPF,           "EM_BPF"),
   ENUM_ENT(EM_VE,            "NEC SX-Aurora Vector Engine"),
+  ENUM_ENT(EM_LOONGARCH,     "LoongArch"),
 };
 
 const EnumEntry<unsigned> ElfSymbolBindings[] = {
     {"Local",  "LOCAL",  ELF::STB_LOCAL},
     {"Global", "GLOBAL", ELF::STB_GLOBAL},
     {"Weak",   "WEAK",   ELF::STB_WEAK},
     {"Unique", "UNIQUE", ELF::STB_GNU_UNIQUE}};
 

llvm/unittests/Object/ELFObjectFileTest.cpp

 TEST(ELFObjectFileTest, MachineTestForMSP430) {
   std::array<StringRef, 4> Formats = {"elf32-msp430", "elf32-msp430",
                                       "elf64-unknown", "elf64-unknown"};
   size_t I = 0;
   for (const DataForTest &D : generateData(ELF::EM_MSP430))
     checkFormatAndArch(D, Formats[I++], Triple::msp430);
 }
 
+TEST(ELFObjectFileTest, MachineTestForLoongArch) {
+  std::array<StringRef, 4> Formats = {"elf32-loongarch", "elf32-loongarch",
+                                      "elf64-loongarch", "elf64-loongarch"};
+  std::array<Triple::ArchType, 4> Archs = {
+      Triple::loongarch32, Triple::loongarch32, Triple::loongarch64,
+      Triple::loongarch64};
+  size_t I = 0;
+  for (const DataForTest &D : generateData(ELF::EM_LOONGARCH)) {
+    checkFormatAndArch(D, Formats[I], Archs[I]);
+    ++I;
+  }
+}
+
 TEST(ELFObjectFileTest, MachineTestForCSKY) {
   std::array<StringRef, 4> Formats = {"elf32-csky", "elf32-csky",
                                       "elf64-unknown", "elf64-unknown"};
   size_t I = 0;
   for (const DataForTest &D : generateData(ELF::EM_CSKY))
     checkFormatAndArch(D, Formats[I++], Triple::csky);
 }
 

llvm/unittests/Object/ELFTest.cpp

TEST(ELFTest, getELFRelocationTypeNameForVE) {
   EXPECT_EQ("R_VE_TPOFF_HI32",
             getELFRelocationTypeName(EM_VE, R_VE_TPOFF_HI32));
   EXPECT_EQ("R_VE_TPOFF_LO32",
             getELFRelocationTypeName(EM_VE, R_VE_TPOFF_LO32));
   EXPECT_EQ("R_VE_CALL_HI32", getELFRelocationTypeName(EM_VE, R_VE_CALL_HI32));
   EXPECT_EQ("R_VE_CALL_LO32", getELFRelocationTypeName(EM_VE, R_VE_CALL_LO32));
 }
 
+TEST(ELFTest, getELFRelocationTypeNameForLoongArch) {
+  EXPECT_EQ("R_LARCH_NONE",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_NONE));
+  EXPECT_EQ("R_LARCH_32", getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_32));
+  EXPECT_EQ("R_LARCH_64", getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_64));
+  EXPECT_EQ("R_LARCH_RELATIVE",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_RELATIVE));
+  EXPECT_EQ("R_LARCH_COPY",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_COPY));
+  EXPECT_EQ("R_LARCH_JUMP_SLOT",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_JUMP_SLOT));
+  EXPECT_EQ("R_LARCH_TLS_DTPMOD32",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_TLS_DTPMOD32));
+  EXPECT_EQ("R_LARCH_TLS_DTPMOD64",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_TLS_DTPMOD64));
+  EXPECT_EQ("R_LARCH_TLS_DTPREL32",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_TLS_DTPREL32));
+  EXPECT_EQ("R_LARCH_TLS_DTPREL64",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_TLS_DTPREL64));
+  EXPECT_EQ("R_LARCH_TLS_TPREL32",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_TLS_TPREL32));
+  EXPECT_EQ("R_LARCH_TLS_TPREL64",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_TLS_TPREL64));
+  EXPECT_EQ("R_LARCH_IRELATIVE",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_IRELATIVE));
+
+  EXPECT_EQ("R_LARCH_MARK_LA",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_MARK_LA));
+  EXPECT_EQ("R_LARCH_MARK_PCREL",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_MARK_PCREL));
+  EXPECT_EQ("R_LARCH_SOP_PUSH_PCREL",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_SOP_PUSH_PCREL));
+  EXPECT_EQ("R_LARCH_SOP_PUSH_ABSOLUTE",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_SOP_PUSH_ABSOLUTE));
+  EXPECT_EQ("R_LARCH_SOP_PUSH_DUP",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_SOP_PUSH_DUP));
+  EXPECT_EQ("R_LARCH_SOP_PUSH_GPREL",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_SOP_PUSH_GPREL));
+  EXPECT_EQ("R_LARCH_SOP_PUSH_TLS_TPREL",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_SOP_PUSH_TLS_TPREL));
+  EXPECT_EQ("R_LARCH_SOP_PUSH_TLS_GOT",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_SOP_PUSH_TLS_GOT));
+  EXPECT_EQ("R_LARCH_SOP_PUSH_TLS_GD",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_SOP_PUSH_TLS_GD));
+  EXPECT_EQ("R_LARCH_SOP_PUSH_PLT_PCREL",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_SOP_PUSH_PLT_PCREL));
+  EXPECT_EQ("R_LARCH_SOP_ASSERT",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_SOP_ASSERT));
+  EXPECT_EQ("R_LARCH_SOP_NOT",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_SOP_NOT));
+  EXPECT_EQ("R_LARCH_SOP_SUB",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_SOP_SUB));
+  EXPECT_EQ("R_LARCH_SOP_SL",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_SOP_SL));
+  EXPECT_EQ("R_LARCH_SOP_SR",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_SOP_SR));
+  EXPECT_EQ("R_LARCH_SOP_ADD",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_SOP_ADD));
+  EXPECT_EQ("R_LARCH_SOP_AND",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_SOP_AND));
+  EXPECT_EQ("R_LARCH_SOP_IF_ELSE",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_SOP_IF_ELSE));
+  EXPECT_EQ("R_LARCH_SOP_POP_32_S_10_5",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_SOP_POP_32_S_10_5));
+  EXPECT_EQ("R_LARCH_SOP_POP_32_U_10_12",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_SOP_POP_32_U_10_12));
+  EXPECT_EQ("R_LARCH_SOP_POP_32_S_10_12",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_SOP_POP_32_S_10_12));
+  EXPECT_EQ("R_LARCH_SOP_POP_32_S_10_16",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_SOP_POP_32_S_10_16));
+  EXPECT_EQ(
+      "R_LARCH_SOP_POP_32_S_10_16_S2",
+      getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_SOP_POP_32_S_10_16_S2));
+  EXPECT_EQ("R_LARCH_SOP_POP_32_S_5_20",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_SOP_POP_32_S_5_20));
+  EXPECT_EQ("R_LARCH_SOP_POP_32_S_0_5_10_16_S2",
+            getELFRelocationTypeName(EM_LOONGARCH,
+                                     R_LARCH_SOP_POP_32_S_0_5_10_16_S2));
+  EXPECT_EQ("R_LARCH_SOP_POP_32_S_0_10_10_16_S2",
+            getELFRelocationTypeName(EM_LOONGARCH,
+                                     R_LARCH_SOP_POP_32_S_0_10_10_16_S2));
+  EXPECT_EQ("R_LARCH_SOP_POP_32_U",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_SOP_POP_32_U));
+  EXPECT_EQ("R_LARCH_ADD8",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_ADD8));
+  EXPECT_EQ("R_LARCH_ADD16",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_ADD16));
+  EXPECT_EQ("R_LARCH_ADD24",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_ADD24));
+  EXPECT_EQ("R_LARCH_ADD32",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_ADD32));
+  EXPECT_EQ("R_LARCH_ADD64",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_ADD64));
+  EXPECT_EQ("R_LARCH_SUB8",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_SUB8));
+  EXPECT_EQ("R_LARCH_SUB16",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_SUB16));
+  EXPECT_EQ("R_LARCH_SUB24",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_SUB24));
+  EXPECT_EQ("R_LARCH_SUB32",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_SUB32));
+  EXPECT_EQ("R_LARCH_SUB64",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_SUB64));
+  EXPECT_EQ("R_LARCH_GNU_VTINHERIT",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_GNU_VTINHERIT));
+  EXPECT_EQ("R_LARCH_GNU_VTENTRY",
+            getELFRelocationTypeName(EM_LOONGARCH, R_LARCH_GNU_VTENTRY));
+}
+
 TEST(ELFTest, getELFRelativeRelocationType) {
   EXPECT_EQ(ELF::R_VE_RELATIVE, getELFRelativeRelocationType(EM_VE));
 }
 
 // This is a test for the DataRegion helper struct, defined in ELF.h header.
 TEST(ELFTest, DataRegionTest) {
   std::vector<uint8_t> Data = {0, 1, 2};