# REQUIRES: arm
# RUN: ld64.lld -arch armv7 -r -print_atoms %s -o %t  | FileCheck %s
# RUN: ld64.lld -arch armv7 -dylib -print_atoms %t -o %t2 \
# RUN:     %p/Inputs/armv7/libSystem.yaml -sectalign __TEXT __text 0x1000  | FileCheck %s
# RUN: llvm-objdump -d --macho --no-symbolic-operands %t2 | FileCheck --check-prefix=CODE %s
#
# Test thumb and arm branches round trip through -r.
# Test movw/movt pairs have low bit set properly for thumb vs arm.
#
#

--- !mach-o
arch:            armv7
file-type:       MH_OBJECT
flags:           [ MH_SUBSECTIONS_VIA_SYMBOLS ]
sections:
  - segment:         __TEXT
    section:         __text
    type:            S_REGULAR
    attributes:      [ S_ATTR_PURE_INSTRUCTIONS, S_ATTR_SOME_INSTRUCTIONS ]
    alignment:       2
    address:         0x0000000000000000
    content:         [ 0x40, 0xF2, 0x25, 0x00, 0xC0, 0xF2, 0x00, 0x00,
                       0x40, 0xF2, 0x01, 0x01, 0xC0, 0xF2, 0x00, 0x01,
                       0x40, 0xF2, 0x4E, 0x02, 0xC0, 0xF2, 0x00, 0x02,
                       0x40, 0xF2, 0x2A, 0x03, 0xC0, 0xF2, 0x00, 0x03,
                       0x78, 0x44, 0x70, 0x47, 0x70, 0x47, 0x25, 0x00,
                       0x00, 0xE3, 0x00, 0x00, 0x40, 0xE3, 0xD7, 0x1F,
                       0x0F, 0xE3, 0xFF, 0x1F, 0x4F, 0xE3, 0x4E, 0x20,
                       0x00, 0xE3, 0x00, 0x20, 0x40, 0xE3, 0x00, 0x30,
                       0x00, 0xE3, 0x00, 0x30, 0x40, 0xE3, 0x0F, 0x00,
                       0x80, 0xE0, 0x1E, 0xFF, 0x2F, 0xE1, 0x1E, 0xFF,
                       0x2F, 0xE1 ]
    relocations:
      - offset:          0x00000042
        scattered:       true
        type:            ARM_RELOC_HALF_SECTDIFF
        length:          1
        pc-rel:          false
        value:           0x0000004E
      - offset:          0x00000000
        scattered:       true
        type:            ARM_RELOC_PAIR
        length:          1
        pc-rel:          false
        value:           0x00000046
      - offset:          0x0000003E
        scattered:       true
        type:            ARM_RELOC_HALF_SECTDIFF
        length:          0
        pc-rel:          false
        value:           0x0000004E
      - offset:          0x00000000
        scattered:       true
        type:            ARM_RELOC_PAIR
        length:          0
        pc-rel:          false
        value:           0x00000046
      - offset:          0x0000003A
        type:            ARM_RELOC_HALF
        length:          1
        pc-rel:          false
        extern:          false
        symbol:          1
      - offset:          0x0000004E
        type:            ARM_RELOC_PAIR
        length:          1
        pc-rel:          false
        extern:          false
        symbol:          16777215
      - offset:          0x00000036
        type:            ARM_RELOC_HALF
        length:          0
        pc-rel:          false
        extern:          false
        symbol:          1
      - offset:          0x00000000
        type:            ARM_RELOC_PAIR
        length:          0
        pc-rel:          false
        extern:          false
        symbol:          16777215
      - offset:          0x00000032
        scattered:       true
        type:            ARM_RELOC_HALF_SECTDIFF
        length:          1
        pc-rel:          false
        value:           0x00000024
      - offset:          0x0000FFD6
        scattered:       true
        type:            ARM_RELOC_PAIR
        length:          1
        pc-rel:          false
        value:           0x00000046
      - offset:          0x0000002E
        scattered:       true
        type:            ARM_RELOC_HALF_SECTDIFF
        length:          0
        pc-rel:          false
        value:           0x00000024
      - offset:          0x0000FFFF
        scattered:       true
        type:            ARM_RELOC_PAIR
        length:          0
        pc-rel:          false
        value:           0x00000046
      - offset:          0x0000002A
        type:            ARM_RELOC_HALF
        length:          1
        pc-rel:          false
        extern:          false
        symbol:          1
      - offset:          0x00000025
        type:            ARM_RELOC_PAIR
        length:          1
        pc-rel:          false
        extern:          false
        symbol:          16777215
      - offset:          0x00000026
        type:            ARM_RELOC_HALF
        length:          0
        pc-rel:          false
        extern:          false
        symbol:          1
      - offset:          0x00000000
        type:            ARM_RELOC_PAIR
        length:          0
        pc-rel:          false
        extern:          false
        symbol:          16777215
      - offset:          0x0000001C
        scattered:       true
        type:            ARM_RELOC_HALF_SECTDIFF
        length:          3
        pc-rel:          false
        value:           0x0000004E
      - offset:          0x0000002A
        scattered:       true
        type:            ARM_RELOC_PAIR
        length:          3
        pc-rel:          false
        value:           0x00000020
      - offset:          0x00000018
        scattered:       true
        type:            ARM_RELOC_HALF_SECTDIFF
        length:          2
        pc-rel:          false
        value:           0x0000004E
      - offset:          0x00000000
        scattered:       true
        type:            ARM_RELOC_PAIR
        length:          2
        pc-rel:          false
        value:           0x00000020
      - offset:          0x00000014
        type:            ARM_RELOC_HALF
        length:          3
        pc-rel:          false
        extern:          false
        symbol:          1
      - offset:          0x0000004E
        type:            ARM_RELOC_PAIR
        length:          3
        pc-rel:          false
        extern:          false
        symbol:          16777215
      - offset:          0x00000010
        type:            ARM_RELOC_HALF
        length:          2
        pc-rel:          false
        extern:          false
        symbol:          1
      - offset:          0x00000000
        type:            ARM_RELOC_PAIR
        length:          2
        pc-rel:          false
        extern:          false
        symbol:          16777215
      - offset:          0x0000000C
        scattered:       true
        type:            ARM_RELOC_HALF_SECTDIFF
        length:          3
        pc-rel:          false
        value:           0x00000024
      - offset:          0x00000000
        scattered:       true
        type:            ARM_RELOC_PAIR
        length:          3
        pc-rel:          false
        value:           0x00000020
      - offset:          0x00000008
        scattered:       true
        type:            ARM_RELOC_HALF_SECTDIFF
        length:          2
        pc-rel:          false
        value:           0x00000024
      - offset:          0x00000000
        scattered:       true
        type:            ARM_RELOC_PAIR
        length:          2
        pc-rel:          false
        value:           0x00000020
      - offset:          0x00000004
        type:            ARM_RELOC_HALF
        length:          3
        pc-rel:          false
        extern:          false
        symbol:          1
      - offset:          0x00000025
        type:            ARM_RELOC_PAIR
        length:          3
        pc-rel:          false
        extern:          false
        symbol:          16777215
      - offset:          0x00000000
        type:            ARM_RELOC_HALF
        length:          2
        pc-rel:          false
        extern:          false
        symbol:          1
      - offset:          0x00000000
        type:            ARM_RELOC_PAIR
        length:          2
        pc-rel:          false
        extern:          false
        symbol:          16777215
local-symbols:
  - name:            _t1
    type:            N_SECT
    sect:            1
    desc:            [ N_ARM_THUMB_DEF ]
    value:           0x0000000000000000
  - name:            _t2
    type:            N_SECT
    sect:            1
    desc:            [ N_ARM_THUMB_DEF ]
    value:           0x0000000000000024
  - name:            _a2
    type:            N_SECT
    sect:            1
    value:           0x000000000000004E
  - name:            _a1
    type:            N_SECT
    sect:            1
    value:           0x0000000000000026
...

# CHECK: defined-atoms:
# CHECK:   - name:            _t1
# CHECK:     references:
# CHECK:       - kind:            modeThumbCode
# CHECK:         offset:          0
# CHECK:         target:          _t1
# CHECK:       - kind:            thumb_movw
# CHECK:         offset:          0
# CHECK:         target:          _t2
# CHECK-NOT:     addend:
# CHECK:       - kind:            thumb_movt
# CHECK:         offset:          4
# CHECK:         target:          _t2
# CHECK-NOT:     addend:
# CHECK:       - kind:            thumb_movw_funcRel
# CHECK:         offset:          8
# CHECK:         target:          _t2
# CHECK:         addend:          -36
# CHECK:       - kind:            thumb_movt_funcRel
# CHECK:         offset:          12
# CHECK:         target:          _t2
# CHECK:         addend:          -36
# CHECK:       - kind:            thumb_movw
# CHECK:         offset:          16
# CHECK:         target:          _a2
# CHECK-NOT:     addend:
# CHECK:       - kind:            thumb_movt
# CHECK:         offset:          20
# CHECK:         target:          _a2
# CHECK-NOT:     addend:
# CHECK:       - kind:            thumb_movw_funcRel
# CHECK:         offset:          24
# CHECK:         target:          _a2
# CHECK:         addend:          -36
# CHECK:       - kind:            thumb_movt_funcRel
# CHECK:         offset:          28
# CHECK:         target:          _a2
# CHECK:         addend:          -36
# CHECK:   - name:            _t2
# CHECK:     references:
# CHECK:       - kind:            modeThumbCode
# CHECK:         offset:          0
# CHECK:         target:          _t2
# CHECK:   - name:            _a1
# CHECK:     references:
# CHECK:       - kind:            arm_movw
# CHECK:         offset:          0
# CHECK:         target:          _t2
# CHECK-NOT:     addend:
# CHECK:       - kind:            arm_movt
# CHECK:         offset:          4
# CHECK:         target:          _t2
# CHECK-NOT:     addend:
# CHECK:       - kind:            arm_movw_funcRel
# CHECK:         offset:          8
# CHECK:         target:          _t2
# CHECK:         addend:          -40
# CHECK:       - kind:            arm_movt_funcRel
# CHECK:         offset:          12
# CHECK:         target:          _t2
# CHECK:         addend:          -40
# CHECK:       - kind:            arm_movw
# CHECK:         offset:          16
# CHECK:         target:          _a2
# CHECK-NOT:     addend:
# CHECK:       - kind:            arm_movt
# CHECK:         offset:          20
# CHECK:         target:          _a2
# CHECK-NOT:     addend:
# CHECK:       - kind:            arm_movw_funcRel
# CHECK:         offset:          24
# CHECK:         target:          _a2
# CHECK:         addend:          -40
# CHECK:       - kind:            arm_movt_funcRel
# CHECK:         offset:          28
# CHECK:         target:          _a2
# CHECK:         addend:          -40
# CHECK:   - name:            _a2


# CODE: _t1:
# CODE-NEXT:                 	 movw	r0, #4133
# CODE-NEXT:                   movt	r0, #0
# CODE-NEXT:                   movw	r1, #1
# CODE-NEXT:                   movt	r1, #0
# CODE-NEXT:                   movw	r2, #4174
# CODE-NEXT:                   movt	r2, #0
# CODE-NEXT:                   movw	r3, #42
# CODE-NEXT:                   movt	r3, #0


# CODE: _a1:
# CODE-NEXT:                 	 movw	r0, #4133
# CODE-NEXT:                   movt	r0, #0
# CODE-NEXT:                   movw	r1, #65495
# CODE-NEXT:                   movt	r1, #65535
# CODE-NEXT:                   movw	r2, #4174
# CODE-NEXT:                   movt	r2, #0
# CODE-NEXT:                   movw	r3, #0
# CODE-NEXT:                   movt	r3, #0


#	.syntax unified
#	.align	2
#
#	.code	16
#  .thumb_func	_t1
#_t1:
#	movw	r0, :lower16:(_t2)
#	movt	r0, :upper16:(_t2)
#	movw	r1, :lower16:(_t2-(L0+4))
#	movt	r1, :upper16:(_t2-(L0+4))
#	movw	r2, :lower16:(_a2)
#	movt	r2, :upper16:(_a2)
#	movw	r3, :lower16:(_a2-(L0+4))
#	movt	r3, :upper16:(_a2-(L0+4))
#L0:
#	add	r0, pc
#	bx	lr
#
#
#	.code	16
#	.thumb_func	_t2
#_t2:
#	bx	lr
#
#
#
# 	.code	32
#_a1:
#	movw	r0, :lower16:(_t2)
#	movt	r0, :upper16:(_t2)
#	movw	r1, :lower16:(_t2-(L1+8))
#	movt	r1, :upper16:(_t2-(L1+8))
#	movw	r2, :lower16:(_a2)
#	movt	r2, :upper16:(_a2)
#	movw	r3, :lower16:(_a2-(L1+8))
#	movt	r3, :upper16:(_a2-(L1+8))
#L1:
#	add	r0, pc
#	bx	lr
#
#_a2:
#	bx	lr