[LLD][ELF][ARM] Add test cases for R_ARM_THM_MOV*-type relocs

[tamas.petz]

Summary

This patch adds missing tests cases for R_ARM_THM_MOVW/MOVT* relocations for the sake of completeness.

[psmith]

Thanks for the patch, and for splitting these out from D74604.

lld/test/ELF/arm-mov-relocs.s

 // REQUIRES: arm
 // RUN: llvm-mc -filetype=obj -triple=armv7a-unknown-linux-gnueabi %s -o %t
 // RUN: ld.lld %t -o %t2
 // RUN: llvm-objdump -d %t2 -triple=armv7a-unknown-linux-gnueabi --no-show-raw-insn | FileCheck %s
 // RUN: llvm-mc -filetype=obj -triple=thumbv7a-unknown-linux-gnueabi %s -o %t3
 // RUN: ld.lld %t3 -o %t4
 // RUN: llvm-objdump -d %t4 -triple=thumbv7a-unknown-linux-gnueabi --no-show-raw-insn | FileCheck %s
 
 /// Test the following relocation pairs:
 ///  * R_ARM_MOVW_ABS_NC and R_ARM_MOVT_ABS
 ///  * R_ARM_MOVW_PREL_NC and R_ARM_MOVT_PREL
 ///  * R_ARM_MOVW_BREL_NC and R_ARM_MOVT_BREL
 ///
+///  * R_ARM_THM_MOVW_ABS_NC and R_ARM_THM_MOVT_ABS
+///  * R_ARM_THM_MOVW_PREL_NC and R_ARM_THM_MOVT_PREL
 ///  * R_ARM_THM_MOVW_BREL_NC and R_ARM_THM_MOVT_BREL
 
  .syntax unified
  .globl _start
  .align 12
 _start:
  .section .R_ARM_MOVW_ABS_NC, "ax",%progbits
  .align 8

 // CHECK:        movt    r1, #0
 /// :upper16:label2 - SB = 0
 // CHECK:        movt    r2, #0
 /// :upper16:label3 - SB = 0
 // CHECK:        movt    r3, #0
 /// :upper16:label3.4 - SB = :upper16:0x10000 = 1
 // CHECK:        movt    r4, #1
 
+.section .R_ARM_THM_MOVW_ABS_NC, "ax",%progbits
+.align 8
+ movw r0, :lower16:label
+ movw r1, :lower16:label1
+ movw r2, :lower16:label2 + 4
+ movw r3, :lower16:label3
+ movw r4, :lower16:label3 + 4
+// CHECK-LABEL: Disassembly of section .R_ARM_THM_MOVW_ABS_NC
+// CHECK-EMPTY:
+// CHECK: 12600: movw    r0, #0
+// CHECK:        movw    r1, #4
+// CHECK:        movw    r2, #12
+// CHECK:        movw    r3, #65532
+// CHECK:        movw    r4, #0
+
+.section .R_ARM_THM_MOVT_ABS, "ax",%progbits
+.align 8
+ movt r0, :upper16:label
+ movt r1, :upper16:label1
+ movt r2, :upper16:label2 + 4
+ movt r3, :upper16:label3
+ movt r4, :upper16:label3 + 4
+// CHECK-LABEL: Disassembly of section .R_ARM_THM_MOVT_ABS
+// CHECK-EMPTY:
+// CHECK: 12700: movt    r0, #2
+// CHECK:        movt    r1, #2
+// CHECK:        movt    r2, #2
+// CHECK:        movt    r3, #2
+// CHECK:        movt    r4, #3
+
+.section .R_ARM_THM_MOVW_PREL_NC, "ax",%progbits
+.align 8
+ movw r0, :lower16:label - .
+ movw r1, :lower16:label1 - .
+ movw r2, :lower16:label2 + 4 - .
+ movw r3, :lower16:label3 - .
+ movw r4, :lower16:label3 + 0x2814 - .
+// CHECK-LABEL: Disassembly of section .R_ARM_THM_MOVW_PREL_NC
+// CHECK-EMPTY:
+/// :lower16:label - . = 55296
+// CHECK: 12800: movw    r0, #55296
+/// :lower16:label1 - . = 55296
+// CHECK:        movw    r1, #55296
+/// :lower16:label2 - . + 4 = 55300
+// CHECK:        movw    r2, #55300
+/// :lower16:label3 - . = 55280
+// CHECK:        movw    r3, #55280
+/// :lower16:label3 - . + 0x2814 = 0x20000
+// CHECK:        movw    r4, #0
+
+.section .R_ARM_THM_MOVT_PREL, "ax",%progbits
+.align 8
+ movt r0, :upper16:label - .
+ movt r1, :upper16:label1 - .
+ movt r2, :upper16:label2 + 0x4 - .
+ movt r3, :upper16:label3 - .
+ movt r4, :upper16:label3 + 0x2914 - .
+// CHECK-LABEL: Disassembly of section .R_ARM_THM_MOVT_PREL
+// CHECK-EMPTY:
+/// :upper16:label - . = :upper16:0xd700  = 0
+// CHECK: 12900: movt    r0, #0
+/// :upper16:label1 - . = :upper16:0xd700 = 0
+// CHECK:        movt    r1, #0
+/// :upper16:label2 - . + 4 = :upper16:0xd704 = 0
+// CHECK:        movt    r2, #0
+/// :upper16:label3 - . = :upper16:0x1d6f0 = 1
+// CHECK:        movt    r3, #1
+/// :upper16:label3 - . + 0x2914 = :upper16:0x20000 = 2
+// CHECK:        movt    r4, #2
+
 .section .R_ARM_THM_MOVW_BREL_NC, "ax",%progbits
 .align 8
  movw r0, :lower16:label(sbrel)
  movw r1, :lower16:label1(sbrel)
  movw r2, :lower16:label2(sbrel)
  movw r3, :lower16:label3(sbrel)
  movw r4, :lower16:label3.4(sbrel)
 // CHECK-LABEL: Disassembly of section .R_ARM_THM_MOVW_BREL_NC
 // CHECK-EMPTY:
 // SB = .destination
 /// :lower16:label - SB = 0
-// CHECK: 12600: movw    r0, #0
+// CHECK: 12a00: movw    r0, #0
 /// :lower16:label1 - SB = 4
 // CHECK:        movw    r1, #4
 /// :lower16:label2 - SB = 8
 // CHECK:        movw    r2, #8
 /// :lower16:label3 - SB = 0xfffc
 // CHECK:        movw    r3, #65532
 /// :lower16:label3.4 - SB = :lower16:0x10000 = 0
 // CHECK:        movw    r4, #0
 
 .section .R_ARM_THM_MOVT_BREL, "ax",%progbits
 .align 8
  movt r0, :upper16:label(sbrel)
  movt r1, :upper16:label1(sbrel)
  movt r2, :upper16:label2(sbrel)
  movt r3, :upper16:label3(sbrel)
  movt r4, :upper16:label3.4(sbrel)
 // CHECK-LABEL: Disassembly of section .R_ARM_THM_MOVT_BREL
 // CHECK-EMPTY:
 /// SB = .destination
 /// :upper16:label - SB = 0
-// CHECK: 12700: movt    r0, #0
+// CHECK: 12b00: movt    r0, #0
 /// :upper16:label1 - SB = 0
 // CHECK:        movt    r1, #0
 /// :upper16:label2 - SB = 0
 // CHECK:        movt    r2, #0
 /// :upper16:label3 - SB = 0
 // CHECK:        movt    r3, #0
 /// :upper16:label3.4 - SB = :upper16:0x10000 = 1
 // CHECK:        movt    r4, #1