[VE] Change to use R_VE_SREL32

[kaz7]

Summary

Change to use R_VE_SREL32 for relative branch instructions instead of
R_VE_PC_LO32 in order to check ranges of relative branch isntructions
at link time correctly.

llvm/lib/Target/VE/MCTargetDesc/VEAsmBackend.cpp

static uint64_t adjustFixupValue(unsigned Kind, uint64_t Value) {
   case VE::fixup_ve_pc_hi32:
   case VE::fixup_ve_got_hi32:
   case VE::fixup_ve_gotoff_hi32:
   case VE::fixup_ve_plt_hi32:
   case VE::fixup_ve_tls_gd_hi32:
   case VE::fixup_ve_tpoff_hi32:
     return (Value >> 32) & 0xffffffff;
   case VE::fixup_ve_reflong:
+  case VE::fixup_ve_srel32:
   case VE::fixup_ve_lo32:
   case VE::fixup_ve_pc_lo32:
   case VE::fixup_ve_got_lo32:
   case VE::fixup_ve_gotoff_lo32:
   case VE::fixup_ve_plt_lo32:
   case VE::fixup_ve_tls_gd_lo32:
   case VE::fixup_ve_tpoff_lo32:
     return Value & 0xffffffff;
case FK_PCRel_1:
     return 1;
   case FK_Data_2:
   case FK_PCRel_2:
     return 2;
     return 4;
   case FK_Data_4:
   case FK_PCRel_4:
   case VE::fixup_ve_reflong:
+  case VE::fixup_ve_srel32:
   case VE::fixup_ve_hi32:
   case VE::fixup_ve_lo32:
   case VE::fixup_ve_pc_hi32:
   case VE::fixup_ve_pc_lo32:
   case VE::fixup_ve_got_hi32:
   case VE::fixup_ve_got_lo32:
   case VE::fixup_ve_gotoff_hi32:
   case VE::fixup_ve_gotoff_lo32:
public:
   VEAsmBackend(const Target &T) : MCAsmBackend(support::little), TheTarget(T) {}
 
   unsigned getNumFixupKinds() const override { return VE::NumTargetFixupKinds; }
 
   const MCFixupKindInfo &getFixupKindInfo(MCFixupKind Kind) const override {
     const static MCFixupKindInfo Infos[VE::NumTargetFixupKinds] = {
         // name, offset, bits, flags
         {"fixup_ve_reflong", 0, 32, 0},
+        {"fixup_ve_srel32", 0, 32, MCFixupKindInfo::FKF_IsPCRel},
         {"fixup_ve_hi32", 0, 32, 0},
         {"fixup_ve_lo32", 0, 32, 0},
         {"fixup_ve_pc_hi32", 0, 32, MCFixupKindInfo::FKF_IsPCRel},
         {"fixup_ve_pc_lo32", 0, 32, MCFixupKindInfo::FKF_IsPCRel},
         {"fixup_ve_got_hi32", 0, 32, 0},
         {"fixup_ve_got_lo32", 0, 32, 0},
         {"fixup_ve_gotoff_hi32", 0, 32, 0},
         {"fixup_ve_gotoff_lo32", 0, 32, 0},

llvm/lib/Target/VE/MCTargetDesc/VEELFObjectWriter.cpp

case FK_PCRel_1:
       llvm_unreachable("Unimplemented fixup fk_data_1 -> relocation");
     case FK_PCRel_2:
       llvm_unreachable("Unimplemented fixup fk_data_2 -> relocation");
     // FIXME: relative kind?
     case FK_PCRel_4:
       return ELF::R_VE_REFLONG;
     case FK_PCRel_8:
       return ELF::R_VE_REFQUAD;
+    case VE::fixup_ve_srel32:
+      return ELF::R_VE_SREL32;
     case VE::fixup_ve_pc_hi32:
       return ELF::R_VE_PC_HI32;
     case VE::fixup_ve_pc_lo32:
       return ELF::R_VE_PC_LO32;
     }
   }
 
   switch (Fixup.getTargetKind()) {
   default:
     llvm_unreachable("Unimplemented fixup -> relocation");
   case FK_Data_1:
     llvm_unreachable("Unimplemented fixup fk_data_1 -> relocation");
   case FK_Data_2:
     llvm_unreachable("Unimplemented fixup fk_data_2 -> relocation");
   case FK_Data_4:
     return ELF::R_VE_REFLONG;
   case FK_Data_8:
     return ELF::R_VE_REFQUAD;
   case VE::fixup_ve_reflong:
     return ELF::R_VE_REFLONG;
+  case VE::fixup_ve_srel32:
+    llvm_unreachable("Unimplemented fixup pc_hi32 -> relocation");
   case VE::fixup_ve_hi32:
     return ELF::R_VE_HI32;
   case VE::fixup_ve_lo32:
     return ELF::R_VE_LO32;
   case VE::fixup_ve_pc_hi32:
     llvm_unreachable("Unimplemented fixup pc_hi32 -> relocation");
   case VE::fixup_ve_pc_lo32:
     llvm_unreachable("Unimplemented fixup pc_lo32 -> relocation");

llvm/lib/Target/VE/MCTargetDesc/VEFixupKinds.h

 #include "llvm/MC/MCFixup.h"
 
 namespace llvm {
 namespace VE {
 enum Fixups {
   /// fixup_ve_reflong - 32-bit fixup corresponding to foo
   fixup_ve_reflong = FirstTargetFixupKind,
 
+  /// fixup_ve_srel32 - 32-bit fixup corresponding to foo for relative branch
+  fixup_ve_srel32,
+
   /// fixup_ve_hi32 - 32-bit fixup corresponding to foo@hi
   fixup_ve_hi32,
 
   /// fixup_ve_lo32 - 32-bit fixup corresponding to foo@lo
   fixup_ve_lo32,
 
   /// fixup_ve_pc_hi32 - 32-bit fixup corresponding to foo@pc_hi
   fixup_ve_pc_hi32,

llvm/lib/Target/VE/MCTargetDesc/VEMCCodeEmitter.cpp

 VEMCCodeEmitter::getBranchTargetOpValue(const MCInst &MI, unsigned OpNo,
                                         SmallVectorImpl<MCFixup> &Fixups,
                                         const MCSubtargetInfo &STI) const {
   const MCOperand &MO = MI.getOperand(OpNo);
   if (MO.isReg() || MO.isImm())
     return getMachineOpValue(MI, MO, Fixups, STI);
 
   Fixups.push_back(
-      MCFixup::create(0, MO.getExpr(), (MCFixupKind)VE::fixup_ve_pc_lo32));
+      MCFixup::create(0, MO.getExpr(), (MCFixupKind)VE::fixup_ve_srel32));
   return 0;
 }
 
 uint64_t VEMCCodeEmitter::getCCOpValue(const MCInst &MI, unsigned OpNo,
                                        SmallVectorImpl<MCFixup> &Fixups,
                                        const MCSubtargetInfo &STI) const {
   const MCOperand &MO = MI.getOperand(OpNo);
   if (MO.isImm())

llvm/test/MC/VE/sym-br.s

 # RUN: llvm-mc -triple=ve %s -o - | FileCheck %s
 # RUN: llvm-mc -triple=ve -filetype=obj %s -o - | llvm-objdump -r - | FileCheck %s --check-prefix=CHECK-OBJ
 
         b.l.t tgt
         br.l.t tgt2
         b.l.t tgt(, %s1)
         b.l.t tgt+24(, %s1)
 # CHECK: b.l.t tgt
 # CHECK-NEXT: br.l.t tgt2
 # CHECK-NEXT: b.l.t tgt(, %s1)
 # CHECK-NEXT: b.l.t tgt+24(, %s1)
 
 # CHECK-OBJ: 0 R_VE_REFLONG tgt
-# CHECK-OBJ: 8 R_VE_PC_LO32 tgt2
+# CHECK-OBJ: 8 R_VE_SREL32 tgt2
 # CHECK-OBJ: 10 R_VE_REFLONG tgt
 # CHECK-OBJ: 18 R_VE_REFLONG tgt+0x18