Skip to content
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Commit 830b7eb

Browse files
Patryk27tru
Patryk27
authored and
tru
committedSep 3, 2024·
[AVR] Fix parsing & emitting relative jumps (#106722)
Ever since 6859685 (or, precisely, 84428da) relative jumps emitted by the AVR codegen are off by two bytes - this pull request fixes it. ## Abstract As compared to absolute jumps, relative jumps - such as rjmp, rcall or brsh - have an implied `pc+2` behavior; that is, `jmp 100` is `pc = 100`, but `rjmp 100` gets understood as `pc = pc + 100 + 2`. This is not reflected in the AVR codegen: https://github.com/llvm/llvm-project/blob/f95026dbf66e353128a3a3d7b55f3e52d5985535/llvm/lib/Target/AVR/MCTargetDesc/AVRAsmBackend.cpp#L89 ... which always emits relative jumps that are two bytes too far - or rather it _would_ emit such jumps if not for this check: https://github.com/llvm/llvm-project/blob/f95026dbf66e353128a3a3d7b55f3e52d5985535/llvm/lib/Target/AVR/MCTargetDesc/AVRAsmBackend.cpp#L517 ... which causes most of the relative jumps to be actually resolved late, by the linker, which applies the offsetting logic on its own, hiding the issue within LLVM. [Some time ago](697a162) we've had a similar "jumps are off" problem that got solved by touching `shouldForceRelocation()`, but I think that has worked only by accident. It's exploited the fact that absolute vs relative jumps in the parsed assembly can be distinguished through a "side channel" check relying on the existence of labels (i.e. absolute jumps happen to named labels, but relative jumps are anonymous, so to say). This was an alright idea back then, but it got broken by 6859685. I propose a different approach: - when emitting relative jumps, offset them by `-2` (well, `-1`, strictly speaking, because those instructions rely on right-shifted offset), - when parsing relative jumps, treat `.` as `+2` and read `rjmp .+1234` as `rjmp (1234 + 2)`. This approach seems to be sound and now we generate the same assembly as avr-gcc, which can be confirmed with: ```cpp // avr-gcc test.c -O3 && avr-objdump -d a.out int main() { asm( " foo:\n\t" " rjmp .+2\n\t" " rjmp .-2\n\t" " rjmp foo\n\t" " rjmp .+8\n\t" " rjmp end\n\t" " rjmp .+0\n\t" " end:\n\t" " rjmp .-4\n\t" " rjmp .-6\n\t" " x:\n\t" " rjmp x\n\t" " .short 0xc00f\n\t" ); } ``` avr-gcc is also how I got the opcodes for all new tests like `inst-brbc.s`, so we should be good. (cherry picked from commit 86a60e7)
1 parent f3da9af commit 830b7eb

26 files changed

+567
-401
lines changed
 

‎llvm/lib/Target/AVR/AsmParser/AVRAsmParser.cpp

Lines changed: 11 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -72,7 +72,7 @@ class AVRAsmParser : public MCTargetAsmParser {
7272
int parseRegisterName();
7373
int parseRegister(bool RestoreOnFailure = false);
7474
bool tryParseRegisterOperand(OperandVector &Operands);
75-
bool tryParseExpression(OperandVector &Operands);
75+
bool tryParseExpression(OperandVector &Operands, int64_t offset);
7676
bool tryParseRelocExpression(OperandVector &Operands);
7777
void eatComma();
7878

@@ -418,7 +418,7 @@ bool AVRAsmParser::tryParseRegisterOperand(OperandVector &Operands) {
418418
return false;
419419
}
420420

421-
bool AVRAsmParser::tryParseExpression(OperandVector &Operands) {
421+
bool AVRAsmParser::tryParseExpression(OperandVector &Operands, int64_t offset) {
422422
SMLoc S = Parser.getTok().getLoc();
423423

424424
if (!tryParseRelocExpression(Operands))
@@ -437,6 +437,11 @@ bool AVRAsmParser::tryParseExpression(OperandVector &Operands) {
437437
if (getParser().parseExpression(Expression))
438438
return true;
439439

440+
if (offset) {
441+
Expression = MCBinaryExpr::createAdd(
442+
Expression, MCConstantExpr::create(offset, getContext()), getContext());
443+
}
444+
440445
SMLoc E = SMLoc::getFromPointer(Parser.getTok().getLoc().getPointer() - 1);
441446
Operands.push_back(AVROperand::CreateImm(Expression, S, E));
442447
return false;
@@ -529,8 +534,9 @@ bool AVRAsmParser::parseOperand(OperandVector &Operands, bool maybeReg) {
529534
[[fallthrough]];
530535
case AsmToken::LParen:
531536
case AsmToken::Integer:
537+
return tryParseExpression(Operands, 0);
532538
case AsmToken::Dot:
533-
return tryParseExpression(Operands);
539+
return tryParseExpression(Operands, 2);
534540
case AsmToken::Plus:
535541
case AsmToken::Minus: {
536542
// If the sign preceeds a number, parse the number,
@@ -540,7 +546,7 @@ bool AVRAsmParser::parseOperand(OperandVector &Operands, bool maybeReg) {
540546
case AsmToken::BigNum:
541547
case AsmToken::Identifier:
542548
case AsmToken::Real:
543-
if (!tryParseExpression(Operands))
549+
if (!tryParseExpression(Operands, 0))
544550
return false;
545551
break;
546552
default:
@@ -643,6 +649,7 @@ bool AVRAsmParser::ParseInstruction(ParseInstructionInfo &Info,
643649
// These specific operands should be treated as addresses/symbols/labels,
644650
// other than registers.
645651
bool maybeReg = true;
652+
646653
if (OperandNum == 1) {
647654
std::array<StringRef, 8> Insts = {"lds", "adiw", "sbiw", "ldi"};
648655
for (auto Inst : Insts) {

‎llvm/lib/Target/AVR/MCTargetDesc/AVRAsmBackend.cpp

Lines changed: 5 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -94,6 +94,9 @@ static void adjustRelativeBranch(unsigned Size, const MCFixup &Fixup,
9494

9595
// Rightshifts the value by one.
9696
AVR::fixups::adjustBranchTarget(Value);
97+
98+
// Jumps are relative to the current instruction.
99+
Value -= 1;
97100
}
98101

99102
/// 22-bit absolute fixup.
@@ -513,15 +516,10 @@ bool AVRAsmBackend::shouldForceRelocation(const MCAssembler &Asm,
513516
switch ((unsigned)Fixup.getKind()) {
514517
default:
515518
return Fixup.getKind() >= FirstLiteralRelocationKind;
516-
// Fixups which should always be recorded as relocations.
517519
case AVR::fixup_7_pcrel:
518520
case AVR::fixup_13_pcrel:
519-
// Do not force relocation for PC relative branch like 'rjmp .',
520-
// 'rcall . - off' and 'breq . + off'.
521-
if (const auto *SymA = Target.getSymA())
522-
if (SymA->getSymbol().getName().size() == 0)
523-
return false;
524-
[[fallthrough]];
521+
// Always resolve relocations for PC-relative branches
522+
return false;
525523
case AVR::fixup_call:
526524
return true;
527525
}

‎llvm/test/CodeGen/AVR/jmp.ll

Lines changed: 25 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,25 @@
1+
; RUN: llc -filetype=obj -mtriple=avr < %s | llvm-objdump -dr --no-show-raw-insn - | FileCheck %s
2+
3+
define i8 @foo(i8 %a) {
4+
bb0:
5+
%0 = tail call i8 @bar(i8 %a)
6+
%1 = icmp eq i8 %0, 123
7+
br i1 %1, label %bb1, label %bb2
8+
9+
bb1:
10+
ret i8 100
11+
12+
bb2:
13+
ret i8 200
14+
}
15+
16+
declare i8 @bar(i8);
17+
18+
; CHECK: rcall .-2
19+
; CHECK-NEXT: 00000000: R_AVR_13_PCREL bar
20+
; CHECK-NEXT: cpi r24, 0x7b
21+
; CHECK-NEXT: brne .+4
22+
; CHECK-NEXT: ldi r24, 0x64
23+
; CHECK-NEXT: ret
24+
; CHECK-NEXT: ldi r24, 0xc8
25+
; CHECK-NEXT: ret

‎llvm/test/MC/AVR/inst-brbc.s

Lines changed: 12 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -3,22 +3,23 @@
33
; RUN: | llvm-objdump -d - | FileCheck --check-prefix=INST %s
44

55
foo:
6-
76
brbc 3, .+8
87
brbc 0, .-16
98
.short 0xf759
109
.short 0xf752
1110
.short 0xf74c
1211
.short 0xf4c7
1312

14-
; CHECK: brvc .Ltmp0+8 ; encoding: [0bAAAAA011,0b111101AA]
15-
; CHECK: ; fixup A - offset: 0, value: .Ltmp0+8, kind: fixup_7_pcrel
16-
; CHECK: brcc .Ltmp1-16 ; encoding: [0bAAAAA000,0b111101AA]
17-
; CHECK: ; fixup A - offset: 0, value: .Ltmp1-16, kind: fixup_7_pcrel
13+
; CHECK: brvc (.Ltmp0+8)+2 ; encoding: [0bAAAAA011,0b111101AA]
14+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp0+8)+2, kind: fixup_7_pcrel
15+
;
16+
; CHECK: brcc (.Ltmp1-16)+2 ; encoding: [0bAAAAA000,0b111101AA]
17+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp1-16)+2, kind: fixup_7_pcrel
1818

19-
; INST: 23 f4 brvc .+8
20-
; INST: c0 f7 brsh .-16
21-
; INST: 59 f7 brne .-42
22-
; INST: 52 f7 brpl .-44
23-
; INST: 4c f7 brge .-46
24-
; INST: c7 f4 brid .+48
19+
; INST-LABEL: <foo>:
20+
; INST-NEXT: 23 f4 brvc .+8
21+
; INST-NEXT: c0 f7 brsh .-16
22+
; INST-NEXT: 59 f7 brne .-42
23+
; INST-NEXT: 52 f7 brpl .-44
24+
; INST-NEXT: 4c f7 brge .-46
25+
; INST-NEXT: c7 f4 brid .+48

‎llvm/test/MC/AVR/inst-brbs.s

Lines changed: 11 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -3,22 +3,22 @@
33
; RUN: | llvm-objdump -d - | FileCheck --check-prefix=INST %s
44

55
foo:
6-
76
brbs 3, .+8
87
brbs 0, .-12
98
.short 0xf359
109
.short 0xf352
1110
.short 0xf34c
1211
.short 0xf077
1312

14-
; CHECK: brvs .Ltmp0+8 ; encoding: [0bAAAAA011,0b111100AA]
15-
; CHECK: ; fixup A - offset: 0, value: .Ltmp0+8, kind: fixup_7_pcrel
16-
; CHECK: brcs .Ltmp1-12 ; encoding: [0bAAAAA000,0b111100AA]
17-
; CHECK: ; fixup A - offset: 0, value: .Ltmp1-12, kind: fixup_7_pcrel
13+
; CHECK: brvs (.Ltmp0+8)+2 ; encoding: [0bAAAAA011,0b111100AA]
14+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp0+8)+2, kind: fixup_7_pcrel
15+
; CHECK: brcs (.Ltmp1-12)+2 ; encoding: [0bAAAAA000,0b111100AA]
16+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp1-12)+2, kind: fixup_7_pcrel
1817

19-
; INST: 23 f0 brvs .+8
20-
; INST: d0 f3 brlo .-12
21-
; INST: 59 f3 breq .-42
22-
; INST: 52 f3 brmi .-44
23-
; INST: 4c f3 brlt .-46
24-
; INST: 77 f0 brie .+28
18+
; INST-LABEL: <foo>:
19+
; INST-NEXT: 23 f0 brvs .+8
20+
; INST-NEXT: d0 f3 brlo .-12
21+
; INST-NEXT: 59 f3 breq .-42
22+
; INST-NEXT: 52 f3 brmi .-44
23+
; INST-NEXT: 4c f3 brlt .-46
24+
; INST-NEXT: 77 f0 brie .+28

‎llvm/test/MC/AVR/inst-brcc.s

Lines changed: 28 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,28 @@
1+
; RUN: llvm-mc -triple avr -show-encoding < %s | FileCheck %s
2+
;
3+
; RUN: llvm-mc -filetype=obj -triple avr < %s \
4+
; RUN: | llvm-objdump -d - \
5+
; RUN: | FileCheck --check-prefix=INST %s
6+
7+
foo:
8+
brcc .+66
9+
brcc .-22
10+
brbc 0, .+66
11+
brbc 0, bar
12+
13+
bar:
14+
15+
; CHECK: brcc (.Ltmp0+66)+2 ; encoding: [0bAAAAA000,0b111101AA]
16+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp0+66)+2, kind: fixup_7_pcrel
17+
; CHECK: brcc (.Ltmp1-22)+2 ; encoding: [0bAAAAA000,0b111101AA]
18+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp1-22)+2, kind: fixup_7_pcrel
19+
; CHECK: brcc (.Ltmp2+66)+2 ; encoding: [0bAAAAA000,0b111101AA]
20+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp2+66)+2, kind: fixup_7_pcrel
21+
; CHECK: brcc bar ; encoding: [0bAAAAA000,0b111101AA]
22+
; CHECK-NEXT: ; fixup A - offset: 0, value: bar, kind: fixup_7_pcrel
23+
24+
; INST-LABEL: <foo>:
25+
; INST-NEXT: 08 f5 brsh .+66
26+
; INST-NEXT: a8 f7 brsh .-22
27+
; INST-NEXT: 08 f5 brsh .+66
28+
; INST-NEXT: 00 f4 brsh .+0

‎llvm/test/MC/AVR/inst-brcs.s

Lines changed: 28 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,28 @@
1+
; RUN: llvm-mc -triple avr -show-encoding < %s | FileCheck %s
2+
;
3+
; RUN: llvm-mc -filetype=obj -triple avr < %s \
4+
; RUN: | llvm-objdump -d - \
5+
; RUN: | FileCheck --check-prefix=INST %s
6+
7+
foo:
8+
brcs .+8
9+
brcs .+4
10+
brbs 0, .+8
11+
brbs 0, bar
12+
13+
bar:
14+
15+
; CHECK: brcs (.Ltmp0+8)+2 ; encoding: [0bAAAAA000,0b111100AA]
16+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp0+8)+2, kind: fixup_7_pcrel
17+
; CHECK: brcs (.Ltmp1+4)+2 ; encoding: [0bAAAAA000,0b111100AA]
18+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp1+4)+2, kind: fixup_7_pcrel
19+
; CHECK: brcs (.Ltmp2+8)+2 ; encoding: [0bAAAAA000,0b111100AA]
20+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp2+8)+2, kind: fixup_7_pcrel
21+
; CHECK: brcs bar ; encoding: [0bAAAAA000,0b111100AA]
22+
; CHECK-NEXT: ; fixup A - offset: 0, value: bar, kind: fixup_7_pcrel
23+
24+
; INST-LABEL: <foo>:
25+
; INST-NEXT: 20 f0 brlo .+8
26+
; INST-NEXT: 10 f0 brlo .+4
27+
; INST-NEXT: 20 f0 brlo .+8
28+
; INST-NEXT: 00 f0 brlo .+0

‎llvm/test/MC/AVR/inst-breq.s

Lines changed: 28 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,28 @@
1+
; RUN: llvm-mc -triple avr -show-encoding < %s | FileCheck %s
2+
;
3+
; RUN: llvm-mc -filetype=obj -triple avr < %s \
4+
; RUN: | llvm-objdump -d - \
5+
; RUN: | FileCheck --check-prefix=INST %s
6+
7+
foo:
8+
breq .-18
9+
breq .-12
10+
brbs 1, .-18
11+
brbs 1, bar
12+
13+
bar:
14+
15+
; CHECK: breq (.Ltmp0-18)+2 ; encoding: [0bAAAAA001,0b111100AA]
16+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp0-18)+2, kind: fixup_7_pcrel
17+
; CHECK: breq (.Ltmp1-12)+2 ; encoding: [0bAAAAA001,0b111100AA]
18+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp1-12)+2, kind: fixup_7_pcrel
19+
; CHECK: brbs 1, (.Ltmp2-18)+2 ; encoding: [0bAAAAA001,0b111100AA]
20+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp2-18)+2, kind: fixup_7_pcrel
21+
; CHECK: brbs 1, bar ; encoding: [0bAAAAA001,0b111100AA]
22+
; CHECK-NEXT: ; fixup A - offset: 0, value: bar, kind: fixup_7_pcrel
23+
24+
; INST-LABEL: <foo>:
25+
; INST-NEXT: b9 f3 breq .-18
26+
; INST-NEXT: d1 f3 breq .-12
27+
; INST-NEXT: b9 f3 breq .-18
28+
; INST-NEXT: 01 f0 breq .+0

‎llvm/test/MC/AVR/inst-brge.s

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
; RUN: llvm-mc -triple avr -show-encoding < %s | FileCheck %s
2+
;
3+
; RUN: llvm-mc -filetype=obj -triple avr < %s \
4+
; RUN: | llvm-objdump -d - \
5+
; RUN: | FileCheck --check-prefix=INST %s
6+
7+
foo:
8+
brge .+50
9+
brge .+42
10+
brge bar
11+
12+
bar:
13+
14+
; CHECK: brge (.Ltmp0+50)+2 ; encoding: [0bAAAAA100,0b111101AA]
15+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp0+50)+2, kind: fixup_7_pcrel
16+
; CHECK: brge (.Ltmp1+42)+2 ; encoding: [0bAAAAA100,0b111101AA]
17+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp1+42)+2, kind: fixup_7_pcrel
18+
; CHECK: brge bar ; encoding: [0bAAAAA100,0b111101AA]
19+
; CHECK-NEXT: ; fixup A - offset: 0, value: bar, kind: fixup_7_pcrel
20+
21+
; INST-LABEL: <foo>:
22+
; INST-NEXT: cc f4 brge .+50
23+
; INST-NEXT: ac f4 brge .+42
24+
; INST-NEXT: 04 f4 brge .+0

‎llvm/test/MC/AVR/inst-brhc.s

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
; RUN: llvm-mc -triple avr -show-encoding < %s | FileCheck %s
2+
;
3+
; RUN: llvm-mc -filetype=obj -triple avr < %s \
4+
; RUN: | llvm-objdump -d - \
5+
; RUN: | FileCheck --check-prefix=INST %s
6+
7+
foo:
8+
brhc .+12
9+
brhc .+14
10+
brhc bar
11+
12+
bar:
13+
14+
; CHECK: brhc (.Ltmp0+12)+2 ; encoding: [0bAAAAA101,0b111101AA]
15+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp0+12)+2, kind: fixup_7_pcrel
16+
; CHECK: brhc (.Ltmp1+14)+2 ; encoding: [0bAAAAA101,0b111101AA]
17+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp1+14)+2, kind: fixup_7_pcrel
18+
; CHECK: brhc bar ; encoding: [0bAAAAA101,0b111101AA]
19+
; CHECK-NEXT: ; fixup A - offset: 0, value: bar, kind: fixup_7_pcrel
20+
21+
; INST-LABEL: <foo>:
22+
; INST-NEXT: 35 f4 brhc .+12
23+
; INST-NEXT: 3d f4 brhc .+14
24+
; INST-NEXT: 05 f4 brhc .+0

‎llvm/test/MC/AVR/inst-brhs.s

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
; RUN: llvm-mc -triple avr -show-encoding < %s | FileCheck %s
2+
;
3+
; RUN: llvm-mc -filetype=obj -triple avr < %s \
4+
; RUN: | llvm-objdump -d - \
5+
; RUN: | FileCheck --check-prefix=INST %s
6+
7+
foo:
8+
brhs .-66
9+
brhs .+14
10+
brhs bar
11+
12+
bar:
13+
14+
; CHECK: brhs (.Ltmp0-66)+2 ; encoding: [0bAAAAA101,0b111100AA]
15+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp0-66)+2, kind: fixup_7_pcrel
16+
; CHECK: brhs (.Ltmp1+14)+2 ; encoding: [0bAAAAA101,0b111100AA]
17+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp1+14)+2, kind: fixup_7_pcrel
18+
; CHECK: brhs bar ; encoding: [0bAAAAA101,0b111100AA]
19+
; CHECK-NEXT: ; fixup A - offset: 0, value: bar, kind: fixup_7_pcrel
20+
21+
; INST-LABEL: <foo>:
22+
; INST-NEXT: fd f2 brhs .-66
23+
; INST-NEXT: 3d f0 brhs .+14
24+
; INST-NEXT: 05 f0 brhs .+0

‎llvm/test/MC/AVR/inst-brid.s

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
; RUN: llvm-mc -triple avr -show-encoding < %s | FileCheck %s
2+
;
3+
; RUN: llvm-mc -filetype=obj -triple avr < %s \
4+
; RUN: | llvm-objdump -d - \
5+
; RUN: | FileCheck --check-prefix=INST %s
6+
7+
foo:
8+
brid .+42
9+
brid .+62
10+
brid bar
11+
12+
bar:
13+
14+
; CHECK: brid (.Ltmp0+42)+2 ; encoding: [0bAAAAA111,0b111101AA]
15+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp0+42)+2, kind: fixup_7_pcrel
16+
; CHECK: brid (.Ltmp1+62)+2 ; encoding: [0bAAAAA111,0b111101AA]
17+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp1+62)+2, kind: fixup_7_pcrel
18+
; CHECK: brid bar ; encoding: [0bAAAAA111,0b111101AA]
19+
; CHECK-NEXT: ; fixup A - offset: 0, value: bar, kind: fixup_7_pcrel
20+
21+
; INST-LABEL: <foo>:
22+
; INST-NEXT: af f4 brid .+42
23+
; INST-NEXT: ff f4 brid .+62
24+
; INST-NEXT: 07 f4 brid .+0

‎llvm/test/MC/AVR/inst-brie.s

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
; RUN: llvm-mc -triple avr -show-encoding < %s | FileCheck %s
2+
;
3+
; RUN: llvm-mc -filetype=obj -triple avr < %s \
4+
; RUN: | llvm-objdump -d - \
5+
; RUN: | FileCheck --check-prefix=INST %s
6+
7+
foo:
8+
brie .+20
9+
brie .+40
10+
brie bar
11+
12+
bar:
13+
14+
; CHECK: brie (.Ltmp0+20)+2 ; encoding: [0bAAAAA111,0b111100AA]
15+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp0+20)+2, kind: fixup_7_pcrel
16+
; CHECK: brie (.Ltmp1+40)+2 ; encoding: [0bAAAAA111,0b111100AA]
17+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp1+40)+2, kind: fixup_7_pcrel
18+
; CHECK: brie bar ; encoding: [0bAAAAA111,0b111100AA]
19+
; CHECK-NEXT: ; fixup A - offset: 0, value: bar, kind: fixup_7_pcrel
20+
21+
; INST-LABEL: <foo>:
22+
; INST-NEXT: 57 f0 brie .+20
23+
; INST-NEXT: a7 f0 brie .+40
24+
; INST-NEXT: 07 f0 brie .+0

‎llvm/test/MC/AVR/inst-brlo.s

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
; RUN: llvm-mc -triple avr -show-encoding < %s | FileCheck %s
2+
;
3+
; RUN: llvm-mc -filetype=obj -triple avr < %s \
4+
; RUN: | llvm-objdump -d - \
5+
; RUN: | FileCheck --check-prefix=INST %s
6+
7+
foo:
8+
brlo .+12
9+
brlo .+28
10+
brlo bar
11+
12+
bar:
13+
14+
; CHECK: brlo (.Ltmp0+12)+2 ; encoding: [0bAAAAA000,0b111100AA]
15+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp0+12)+2, kind: fixup_7_pcrel
16+
; CHECK: brlo (.Ltmp1+28)+2 ; encoding: [0bAAAAA000,0b111100AA]
17+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp1+28)+2, kind: fixup_7_pcrel
18+
; CHECK: brlo bar ; encoding: [0bAAAAA000,0b111100AA]
19+
; CHECK-NEXT: ; fixup A - offset: 0, value: bar, kind: fixup_7_pcrel
20+
21+
; INST-LABEL: <foo>:
22+
; INST-NEXT: 30 f0 brlo .+12
23+
; INST-NEXT: 70 f0 brlo .+28
24+
; INST-NEXT: 00 f0 brlo .+0

‎llvm/test/MC/AVR/inst-brlt.s

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
; RUN: llvm-mc -triple avr -show-encoding < %s | FileCheck %s
2+
;
3+
; RUN: llvm-mc -filetype=obj -triple avr < %s \
4+
; RUN: | llvm-objdump -d - \
5+
; RUN: | FileCheck --check-prefix=INST %s
6+
7+
foo:
8+
brlt .+16
9+
brlt .+2
10+
brlt bar
11+
12+
bar:
13+
14+
; CHECK: brlt (.Ltmp0+16)+2 ; encoding: [0bAAAAA100,0b111100AA]
15+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp0+16)+2, kind: fixup_7_pcrel
16+
; CHECK: brlt (.Ltmp1+2)+2 ; encoding: [0bAAAAA100,0b111100AA]
17+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp1+2)+2, kind: fixup_7_pcrel
18+
; CHECK: brlt bar ; encoding: [0bAAAAA100,0b111100AA]
19+
; CHECK-NEXT: ; fixup A - offset: 0, value: bar, kind: fixup_7_pcrel
20+
21+
; INST-LABEL: <foo>:
22+
; INST-NEXT: 44 f0 brlt .+16
23+
; INST-NEXT: 0c f0 brlt .+2
24+
; INST-NEXT: 04 f0 brlt .+0

‎llvm/test/MC/AVR/inst-brmi.s

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
; RUN: llvm-mc -triple avr -show-encoding < %s | FileCheck %s
2+
;
3+
; RUN: llvm-mc -filetype=obj -triple avr < %s \
4+
; RUN: | llvm-objdump -d - \
5+
; RUN: | FileCheck --check-prefix=INST %s
6+
7+
foo:
8+
brmi .+66
9+
brmi .+58
10+
brmi bar
11+
12+
bar:
13+
14+
; CHECK: brmi (.Ltmp0+66)+2 ; encoding: [0bAAAAA010,0b111100AA]
15+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp0+66)+2, kind: fixup_7_pcrel
16+
; CHECK: brmi (.Ltmp1+58)+2 ; encoding: [0bAAAAA010,0b111100AA]
17+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp1+58)+2, kind: fixup_7_pcrel
18+
; CHECK: brmi bar ; encoding: [0bAAAAA010,0b111100AA]
19+
; CHECK-NEXT: ; fixup A - offset: 0, value: bar, kind: fixup_7_pcrel
20+
21+
; INST-LABEL: <foo>:
22+
; INST-NEXT: 0a f1 brmi .+66
23+
; INST-NEXT: ea f0 brmi .+58
24+
; INST-NEXT: 02 f0 brmi .+0

‎llvm/test/MC/AVR/inst-brne.s

Lines changed: 28 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,28 @@
1+
; RUN: llvm-mc -triple avr -show-encoding < %s | FileCheck %s
2+
;
3+
; RUN: llvm-mc -filetype=obj -triple avr < %s \
4+
; RUN: | llvm-objdump -d - \
5+
; RUN: | FileCheck --check-prefix=INST %s
6+
7+
foo:
8+
brne .+10
9+
brne .+2
10+
brbc 1, .+10
11+
brbc 1, bar
12+
13+
bar:
14+
15+
; CHECK: brne (.Ltmp0+10)+2 ; encoding: [0bAAAAA001,0b111101AA]
16+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp0+10)+2, kind: fixup_7_pcrel
17+
; CHECK: brne (.Ltmp1+2)+2 ; encoding: [0bAAAAA001,0b111101AA]
18+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp1+2)+2, kind: fixup_7_pcrel
19+
; CHECK: brbc 1, (.Ltmp2+10)+2 ; encoding: [0bAAAAA001,0b111101AA]
20+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp2+10)+2, kind: fixup_7_pcrel
21+
; CHECK: brbc 1, bar ; encoding: [0bAAAAA001,0b111101AA]
22+
; CHECK-NEXT: ; fixup A - offset: 0, value: bar, kind: fixup_7_pcrel
23+
24+
; INST-LABEL: <foo>:
25+
; INST-NEXT: 29 f4 brne .+10
26+
; INST-NEXT: 09 f4 brne .+2
27+
; INST-NEXT: 29 f4 brne .+10
28+
; INST-NEXT: 01 f4 brne .+0

‎llvm/test/MC/AVR/inst-brpl.s

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
; RUN: llvm-mc -triple avr -show-encoding < %s | FileCheck %s
2+
;
3+
; RUN: llvm-mc -filetype=obj -triple avr < %s \
4+
; RUN: | llvm-objdump -d - \
5+
; RUN: | FileCheck --check-prefix=INST %s
6+
7+
foo:
8+
brpl .-12
9+
brpl .+18
10+
brpl bar
11+
12+
bar:
13+
14+
; CHECK: brpl (.Ltmp0-12)+2 ; encoding: [0bAAAAA010,0b111101AA]
15+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp0-12)+2, kind: fixup_7_pcrel
16+
; CHECK: brpl (.Ltmp1+18)+2 ; encoding: [0bAAAAA010,0b111101AA]
17+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp1+18)+2, kind: fixup_7_pcrel
18+
; CHECK: brpl bar ; encoding: [0bAAAAA010,0b111101AA]
19+
; CHECK-NEXT: ; fixup A - offset: 0, value: bar, kind: fixup_7_pcrel
20+
21+
; INST-LABEL: <foo>:
22+
; INST-NEXT: d2 f7 brpl .-12
23+
; INST-NEXT: 4a f4 brpl .+18
24+
; INST-NEXT: 02 f4 brpl .+0

‎llvm/test/MC/AVR/inst-brsh.s

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
; RUN: llvm-mc -triple avr -show-encoding < %s | FileCheck %s
2+
;
3+
; RUN: llvm-mc -filetype=obj -triple avr < %s \
4+
; RUN: | llvm-objdump -d - \
5+
; RUN: | FileCheck --check-prefix=INST %s
6+
7+
foo:
8+
brsh .+32
9+
brsh .+70
10+
brsh bar
11+
12+
bar:
13+
14+
; CHECK: brsh (.Ltmp0+32)+2 ; encoding: [0bAAAAA000,0b111101AA]
15+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp0+32)+2, kind: fixup_7_pcrel
16+
; CHECK: brsh (.Ltmp1+70)+2 ; encoding: [0bAAAAA000,0b111101AA]
17+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp1+70)+2, kind: fixup_7_pcrel
18+
; CHECK: brsh bar ; encoding: [0bAAAAA000,0b111101AA]
19+
; CHECK-NEXT: ; fixup A - offset: 0, value: bar, kind: fixup_7_pcrel
20+
21+
; INST-LABEL: <foo>:
22+
; INST-NEXT: 80 f4 brsh .+32
23+
; INST-NEXT: 18 f5 brsh .+70
24+
; INST-NEXT: 00 f4 brsh .+0

‎llvm/test/MC/AVR/inst-brtc.s

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
; RUN: llvm-mc -triple avr -show-encoding < %s | FileCheck %s
2+
;
3+
; RUN: llvm-mc -filetype=obj -triple avr < %s \
4+
; RUN: | llvm-objdump -d - \
5+
; RUN: | FileCheck --check-prefix=INST %s
6+
7+
foo:
8+
brtc .+52
9+
brtc .+50
10+
brtc bar
11+
12+
bar:
13+
14+
; CHECK: brtc (.Ltmp0+52)+2 ; encoding: [0bAAAAA110,0b111101AA]
15+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp0+52)+2, kind: fixup_7_pcrel
16+
; CHECK: brtc (.Ltmp1+50)+2 ; encoding: [0bAAAAA110,0b111101AA]
17+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp1+50)+2, kind: fixup_7_pcrel
18+
; CHECK: brtc bar ; encoding: [0bAAAAA110,0b111101AA]
19+
; CHECK-NEXT: ; fixup A - offset: 0, value: bar, kind: fixup_7_pcrel
20+
21+
; INST-LABEL: <foo>:
22+
; INST-NEXT: d6 f4 brtc .+52
23+
; INST-NEXT: ce f4 brtc .+50
24+
; INST-NEXT: 06 f4 brtc .+0

‎llvm/test/MC/AVR/inst-brts.s

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
; RUN: llvm-mc -triple avr -show-encoding < %s | FileCheck %s
2+
;
3+
; RUN: llvm-mc -filetype=obj -triple avr < %s \
4+
; RUN: | llvm-objdump -d - \
5+
; RUN: | FileCheck --check-prefix=INST %s
6+
7+
foo:
8+
brts .+18
9+
brts .+22
10+
brts bar
11+
12+
bar:
13+
14+
; CHECK: brts (.Ltmp0+18)+2 ; encoding: [0bAAAAA110,0b111100AA]
15+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp0+18)+2, kind: fixup_7_pcrel
16+
; CHECK: brts (.Ltmp1+22)+2 ; encoding: [0bAAAAA110,0b111100AA]
17+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp1+22)+2, kind: fixup_7_pcrel
18+
; CHECK: brts bar ; encoding: [0bAAAAA110,0b111100AA]
19+
; CHECK-NEXT: ; fixup A - offset: 0, value: bar, kind: fixup_7_pcrel
20+
21+
; INST-LABEL: <foo>:
22+
; INST-NEXT: 4e f0 brts .+18
23+
; INST-NEXT: 5e f0 brts .+22
24+
; INST-NEXT: 06 f0 brts .+0

‎llvm/test/MC/AVR/inst-brvc.s

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
; RUN: llvm-mc -triple avr -show-encoding < %s | FileCheck %s
2+
;
3+
; RUN: llvm-mc -filetype=obj -triple avr < %s \
4+
; RUN: | llvm-objdump -d - \
5+
; RUN: | FileCheck --check-prefix=INST %s
6+
7+
foo:
8+
brvc .-28
9+
brvc .-62
10+
brvc bar
11+
12+
bar:
13+
14+
; CHECK: brvc (.Ltmp0-28)+2 ; encoding: [0bAAAAA011,0b111101AA]
15+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp0-28)+2, kind: fixup_7_pcrel
16+
; CHECK: brvc (.Ltmp1-62)+2 ; encoding: [0bAAAAA011,0b111101AA]
17+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp1-62)+2, kind: fixup_7_pcrel
18+
; CHECK: brvc bar ; encoding: [0bAAAAA011,0b111101AA]
19+
; CHECK-NEXT: ; fixup A - offset: 0, value: bar, kind: fixup_7_pcrel
20+
21+
; INST-LABEL: <foo>:
22+
; INST-NEXT: 93 f7 brvc .-28
23+
; INST-NEXT: 0b f7 brvc .-62
24+
; INST-NEXT: 03 f4 brvc .+0

‎llvm/test/MC/AVR/inst-brvs.s

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
; RUN: llvm-mc -triple avr -show-encoding < %s | FileCheck %s
2+
;
3+
; RUN: llvm-mc -filetype=obj -triple avr < %s \
4+
; RUN: | llvm-objdump -d - \
5+
; RUN: | FileCheck --check-prefix=INST %s
6+
7+
foo:
8+
brvs .+18
9+
brvs .+32
10+
brvs bar
11+
12+
bar:
13+
14+
; CHECK: brvs (.Ltmp0+18)+2 ; encoding: [0bAAAAA011,0b111100AA]
15+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp0+18)+2, kind: fixup_7_pcrel
16+
; CHECK: brvs (.Ltmp1+32)+2 ; encoding: [0bAAAAA011,0b111100AA]
17+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp1+32)+2, kind: fixup_7_pcrel
18+
; CHECK: brvs bar ; encoding: [0bAAAAA011,0b111100AA]
19+
; CHECK-NEXT: ; fixup A - offset: 0, value: bar, kind: fixup_7_pcrel
20+
21+
; INST-LABEL: <foo>:
22+
; INST-NEXT: 4b f0 brvs .+18
23+
; INST-NEXT: 83 f0 brvs .+32
24+
; INST-NEXT: 03 f0 brvs .+0

‎llvm/test/MC/AVR/inst-family-cond-branch.s

Lines changed: 0 additions & 321 deletions
This file was deleted.

‎llvm/test/MC/AVR/inst-rcall.s

Lines changed: 17 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -1,27 +1,28 @@
11
; RUN: llvm-mc -triple avr -show-encoding < %s | FileCheck %s
2+
;
23
; RUN: llvm-mc -filetype=obj -triple avr < %s \
3-
; RUN: | llvm-objdump -d - | FileCheck --check-prefix=INST %s
4-
4+
; RUN: | llvm-objdump -d - \
5+
; RUN: | FileCheck --check-prefix=INST %s
56

67
foo:
7-
88
rcall .+0
99
rcall .-8
1010
rcall .+12
1111
rcall .+46
1212
.short 0xdfea
1313

14-
; CHECK: rcall .Ltmp0+0 ; encoding: [A,0b1101AAAA]
15-
; CHECK: ; fixup A - offset: 0, value: .Ltmp0+0, kind: fixup_13_pcrel
16-
; CHECK: rcall .Ltmp1-8 ; encoding: [A,0b1101AAAA]
17-
; CHECK: ; fixup A - offset: 0, value: .Ltmp1-8, kind: fixup_13_pcrel
18-
; CHECK: rcall .Ltmp2+12 ; encoding: [A,0b1101AAAA]
19-
; CHECK: ; fixup A - offset: 0, value: .Ltmp2+12, kind: fixup_13_pcrel
20-
; CHECK: rcall .Ltmp3+46 ; encoding: [A,0b1101AAAA]
21-
; CHECK: ; fixup A - offset: 0, value: .Ltmp3+46, kind: fixup_13_pcrel
14+
; CHECK: rcall (.Ltmp0+0)+2 ; encoding: [A,0b1101AAAA]
15+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp0+0)+2, kind: fixup_13_pcrel
16+
; CHECK: rcall (.Ltmp1-8)+2 ; encoding: [A,0b1101AAAA]
17+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp1-8)+2, kind: fixup_13_pcrel
18+
; CHECK: rcall (.Ltmp2+12)+2 ; encoding: [A,0b1101AAAA]
19+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp2+12)+2, kind: fixup_13_pcrel
20+
; CHECK: rcall (.Ltmp3+46)+2 ; encoding: [A,0b1101AAAA]
21+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp3+46)+2, kind: fixup_13_pcrel
2222

23-
; INST: 00 d0 rcall .+0
24-
; INST: fc df rcall .-8
25-
; INST: 06 d0 rcall .+12
26-
; INST: 17 d0 rcall .+46
27-
; INST: ea df rcall .-44
23+
; INST-LABEL: <foo>:
24+
; INST-NEXT: 00 d0 rcall .+0
25+
; INST-NEXT: fc df rcall .-8
26+
; INST-NEXT: 06 d0 rcall .+12
27+
; INST-NEXT: 17 d0 rcall .+46
28+
; INST-NEXT: ea df rcall .-44

‎llvm/test/MC/AVR/inst-rjmp.s

Lines changed: 38 additions & 31 deletions
Original file line numberDiff line numberDiff line change
@@ -1,49 +1,56 @@
11
; RUN: llvm-mc -triple avr -show-encoding < %s | FileCheck %s
2+
;
23
; RUN: llvm-mc -filetype=obj -triple avr < %s \
3-
; RUN: | llvm-objdump -d - | FileCheck --check-prefix=INST %s
4-
4+
; RUN: | llvm-objdump -d - \
5+
; RUN: | FileCheck --check-prefix=INST %s
56

67
foo:
7-
88
rjmp .+2
99
rjmp .-2
1010
rjmp foo
1111
rjmp .+8
1212
rjmp end
1313
rjmp .+0
14+
1415
end:
1516
rjmp .-4
1617
rjmp .-6
18+
1719
x:
1820
rjmp x
1921
.short 0xc00f
2022

21-
; CHECK: rjmp .Ltmp0+2 ; encoding: [A,0b1100AAAA]
22-
; CHECK: ; fixup A - offset: 0, value: .Ltmp0+2, kind: fixup_13_pcrel
23-
; CHECK: rjmp .Ltmp1-2 ; encoding: [A,0b1100AAAA]
24-
; CHECK: ; fixup A - offset: 0, value: .Ltmp1-2, kind: fixup_13_pcrel
25-
; CHECK: rjmp foo ; encoding: [A,0b1100AAAA]
26-
; CHECK: ; fixup A - offset: 0, value: foo, kind: fixup_13_pcrel
27-
; CHECK: rjmp .Ltmp2+8 ; encoding: [A,0b1100AAAA]
28-
; CHECK: ; fixup A - offset: 0, value: .Ltmp2+8, kind: fixup_13_pcrel
29-
; CHECK: rjmp end ; encoding: [A,0b1100AAAA]
30-
; CHECK: ; fixup A - offset: 0, value: end, kind: fixup_13_pcrel
31-
; CHECK: rjmp .Ltmp3+0 ; encoding: [A,0b1100AAAA]
32-
; CHECK: ; fixup A - offset: 0, value: .Ltmp3+0, kind: fixup_13_pcrel
33-
; CHECK: rjmp .Ltmp4-4 ; encoding: [A,0b1100AAAA]
34-
; CHECK: ; fixup A - offset: 0, value: .Ltmp4-4, kind: fixup_13_pcrel
35-
; CHECK: rjmp .Ltmp5-6 ; encoding: [A,0b1100AAAA]
36-
; CHECK: ; fixup A - offset: 0, value: .Ltmp5-6, kind: fixup_13_pcrel
37-
; CHECK: rjmp x ; encoding: [A,0b1100AAAA]
38-
; CHECK: ; fixup A - offset: 0, value: x, kind: fixup_13_pcrel
23+
; CHECK: rjmp (.Ltmp0+2)+2 ; encoding: [A,0b1100AAAA]
24+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp0+2)+2, kind: fixup_13_pcrel
25+
; CHECK: rjmp (.Ltmp1-2)+2 ; encoding: [A,0b1100AAAA]
26+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp1-2)+2, kind: fixup_13_pcrel
27+
; CHECK: rjmp foo ; encoding: [A,0b1100AAAA]
28+
; CHECK-NEXT: ; fixup A - offset: 0, value: foo, kind: fixup_13_pcrel
29+
; CHECK: rjmp (.Ltmp2+8)+2 ; encoding: [A,0b1100AAAA]
30+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp2+8)+2, kind: fixup_13_pcrel
31+
; CHECK: rjmp end ; encoding: [A,0b1100AAAA]
32+
; CHECK-NEXT: ; fixup A - offset: 0, value: end, kind: fixup_13_pcrel
33+
; CHECK: rjmp (.Ltmp3+0)+2 ; encoding: [A,0b1100AAAA]
34+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp3+0)+2, kind: fixup_13_pcrel
35+
; CHECK: rjmp (.Ltmp4-4)+2 ; encoding: [A,0b1100AAAA]
36+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp4-4)+2, kind: fixup_13_pcrel
37+
; CHECK: rjmp (.Ltmp5-6)+2 ; encoding: [A,0b1100AAAA]
38+
; CHECK-NEXT: ; fixup A - offset: 0, value: (.Ltmp5-6)+2, kind: fixup_13_pcrel
39+
; CHECK: rjmp x ; encoding: [A,0b1100AAAA]
40+
; CHECK-NEXT: ; fixup A - offset: 0, value: x, kind: fixup_13_pcrel
3941

40-
; INST: 01 c0 rjmp .+2
41-
; INST: ff cf rjmp .-2
42-
; INST: 00 c0 rjmp .+0
43-
; INST: 04 c0 rjmp .+8
44-
; INST: 00 c0 rjmp .+0
45-
; INST: 00 c0 rjmp .+0
46-
; INST: fe cf rjmp .-4
47-
; INST: fd cf rjmp .-6
48-
; INST: 00 c0 rjmp .+0
49-
; INST: 0f c0 rjmp .+30
42+
; INST-LABEL: <foo>:
43+
; INST-NEXT: 01 c0 rjmp .+2
44+
; INST-NEXT: ff cf rjmp .-2
45+
; INST-NEXT: fd cf rjmp .-6
46+
; INST-NEXT: 04 c0 rjmp .+8
47+
; INST-NEXT: 01 c0 rjmp .+2
48+
; INST-NEXT: 00 c0 rjmp .+0
49+
; INST-EMPTY:
50+
; INST-LABEL: <end>:
51+
; INST-NEXT: fe cf rjmp .-4
52+
; INST-NEXT: fd cf rjmp .-6
53+
; INST-EMPTY:
54+
; INST-LABEL: <x>:
55+
; INST-NEXT: ff cf rjmp .-2
56+
; INST-NEXT: 0f c0 rjmp .+30

0 commit comments

Comments
 (0)
Please sign in to comment.