142 lines · yaml
1## Here we document how yaml2obj handles relocation addend descriptions.2 3## Case 1: Check a 64-bit object.4 5## Case 1.1: Document we accept any hex/decimal addends in [INT64_MIN, UINT64_MAX].6 7## INT64_MIN == -92233720368547758088## UINT64_MAX == 0xffffffffffffffff9 10## Addend == UINT64_MAX.11# RUN: yaml2obj %s -o %t64.decimal.max -DADDEND=1844674407370955161512# RUN: llvm-readobj -r %t64.decimal.max | FileCheck %s --check-prefix=TEST -DADDEND=0xFFFFFFFFFFFFFFFF13# RUN: yaml2obj %s -o %t64.hex.max -DADDEND=0xFFFFFFFFFFFFFFFF14# RUN: llvm-readobj -r %t64.hex.max | FileCheck %s --check-prefix=TEST -DADDEND=0xFFFFFFFFFFFFFFFF15 16## Addend == first positive integer.17# RUN: yaml2obj %s -o %t64.decimal.first.pos -DADDEND=118# RUN: llvm-readobj -r %t64.decimal.first.pos | FileCheck %s --check-prefix=TEST -DADDEND=0x119# RUN: yaml2obj %s -o %t64.hex.first.pos -DADDEND=0x120# RUN: llvm-readobj -r %t64.hex.first.pos | FileCheck %s --check-prefix=TEST -DADDEND=0x121 22## Addend == 0.23# RUN: yaml2obj %s -o %t64.decimal.null -DADDEND=024# RUN: llvm-readobj -r %t64.decimal.null | FileCheck %s --check-prefix=TEST -DADDEND=0x025# RUN: yaml2obj %s -o %t64.hex.null -DADDEND=0x026# RUN: llvm-readobj -r %t64.hex.null | FileCheck %s --check-prefix=TEST -DADDEND=0x027 28## Addend == first negative integer.29# RUN: yaml2obj %s -o %t64.decimal.first.neg -DADDEND=-130# RUN: llvm-readobj -r %t64.decimal.first.neg | FileCheck %s --check-prefix=TEST -DADDEND=0xFFFFFFFFFFFFFFFF31## We do not accept negative hex addends.32# RUN: not yaml2obj %s -o /dev/null -DADDEND=-0x1 2>&1 | FileCheck %s --check-prefix=ERR33 34## Addend == INT64_MIN.35# RUN: yaml2obj %s -o %t64.decimal.min -DADDEND=-922337203685477580836# RUN: llvm-readobj -r %t64.decimal.min | FileCheck %s --check-prefix=TEST -DADDEND=0x800000000000000037# TEST: 0x0 R_{{.*}}_PC32 foo [[ADDEND]]38 39# Case 1.2: Document we do not accept any hex/decimal addends outside of the range specified.40 41## Addend == 2^64.42# RUN: not yaml2obj %s -o /dev/null -DADDEND=18446744073709551616 2>&1 | FileCheck %s --check-prefix=ERR43# RUN: not yaml2obj %s -o /dev/null -DADDEND=0x10000000000000000 2>&1 | FileCheck %s --check-prefix=ERR44 45## Addend == INT64_MIN - 1.46# RUN: not yaml2obj %s -o /dev/null -DADDEND=-9223372036854775809 2>&1 | FileCheck %s --check-prefix=ERR47 48# ERR: invalid number49 50--- !ELF51FileHeader:52 Class: ELFCLASS6453 Data: ELFDATA2LSB54 Type: ET_REL55 Machine: EM_X86_6456Sections:57 - Name: .text58 Type: SHT_PROGBITS59 - Name: .rela.text60 Type: SHT_RELA61 Info: .text62 Link: .symtab63 Relocations:64 - Type: R_X86_64_PC3265 Symbol: foo66 Addend: [[ADDEND]]67Symbols:68 - Name: foo69 70## Case 2: Check a 32-bit object.71 72## INT32_MIN == -214748364873## UINT32_MAX == 0xffffffff74 75## Case 2.1: Document we accept any hex/decimal addends in [INT32_MIN, UINT32_MAX].76 77## Addend == UINT32_MAX.78# RUN: yaml2obj --docnum=2 %s -o %t32.decimal.max -DADDEND=429496729579# RUN: llvm-readobj -r %t32.decimal.max | FileCheck %s --check-prefix=TEST -DADDEND=0xFFFFFFFF80# RUN: yaml2obj --docnum=2 %s -o %t32.hex.max -DADDEND=0xFFFFFFFF81# RUN: llvm-readobj -r %t32.hex.max | FileCheck %s --check-prefix=TEST -DADDEND=0xFFFFFFFF82 83## Addend == first positive integer.84# RUN: yaml2obj --docnum=2 %s -o %t32.decimal.first.pos -DADDEND=185# RUN: llvm-readobj -r %t32.decimal.first.pos | FileCheck %s --check-prefix=TEST -DADDEND=0x186# RUN: yaml2obj --docnum=2 %s -o %t32.hex.first.pos -DADDEND=0x187# RUN: llvm-readobj -r %t32.hex.first.pos | FileCheck %s --check-prefix=TEST -DADDEND=0x188 89## Addend == 0.90# RUN: yaml2obj --docnum=2 %s -o %t32.decimal.null -DADDEND=091# RUN: llvm-readobj -r %t32.decimal.null | FileCheck %s --check-prefix=TEST -DADDEND=0x092# RUN: yaml2obj --docnum=2 %s -o %t32.hex.null -DADDEND=0x093# RUN: llvm-readobj -r %t32.hex.null | FileCheck %s --check-prefix=TEST -DADDEND=0x094 95## Addend == first negative integer.96# RUN: yaml2obj --docnum=2 %s -o %t32.decimal.first.neg -DADDEND=-197# RUN: llvm-readobj -r %t32.decimal.first.neg | FileCheck %s --check-prefix=TEST -DADDEND=0xFFFFFFFF98## We do not accept negative hex addends.99# RUN: not yaml2obj --docnum=2 %s -o /dev/null -DADDEND=-0x1 2>&1 | FileCheck %s --check-prefix=ERR100 101## Addend == INT32_MIN102# RUN: yaml2obj --docnum=2 %s -o %t32.decimal.min -DADDEND=-2147483648103# RUN: llvm-readobj -r %t32.decimal.min | FileCheck %s --check-prefix=TEST -DADDEND=0x80000000104 105# Case 2.2: Document we do not accept any hex/decimal addends outside of the range specified.106 107## Addend == 2^32.108# RUN: not yaml2obj --docnum=2 %s -o /dev/null -DADDEND=4294967296 2>&1 | FileCheck %s --check-prefix=ERR109# RUN: not yaml2obj --docnum=2 %s -o /dev/null -DADDEND=0x100000000 2>&1 | FileCheck %s --check-prefix=ERR110 111## Addend == INT32_MIN - 1.112# RUN: not yaml2obj --docnum=2 %s -o /dev/null -DADDEND=-2147483649 2>&1 | FileCheck %s --check-prefix=ERR113 114--- !ELF115FileHeader:116 Class: ELFCLASS32117 Data: ELFDATA2LSB118 Type: ET_REL119 Machine: EM_386120Sections:121 - Name: .text122 Type: SHT_PROGBITS123 - Name: .rela.text124 Type: SHT_RELA125 Info: .text126 Link: .symtab127 Relocations:128 - Type: R_386_PC32129 Symbol: foo130 Addend: [[ADDEND]]131Symbols:132 - Name: foo133 134## Case 3: Check we do not allow invalid values.135# RUN: not yaml2obj %s -D ADDEND=0x1122GGEE 2>&1 | FileCheck %s --check-prefix=ERR136# RUN: not yaml2obj %s -D ADDEND=-0x1122GGEE 2>&1 | FileCheck %s --check-prefix=ERR137# RUN: not yaml2obj %s -D ADDEND=1234G5 2>&1 | FileCheck %s --check-prefix=ERR138# RUN: not yaml2obj %s -D ADDEND=-1234G5 2>&1 | FileCheck %s --check-prefix=ERR139# RUN: not yaml2obj %s -D ADDEND=foo 2>&1 | FileCheck %s --check-prefix=ERR140# RUN: not yaml2obj %s -D ADDEND=- 2>&1 | FileCheck %s --check-prefix=ERR141# RUN: not yaml2obj %s -D ADDEND=--1234 2>&1 | FileCheck %s --check-prefix=ERR142