| # REQUIRES: x86 | |
| ## basic-block-sections tests. | |
| ## This simple test checks if redundant direct jumps are converted to | |
| ## implicit fallthrus when PC32 reloc is present. The jcc's must be converted | |
| ## to their inverted opcode, for instance jne to je and jmp must be deleted. | |
| # RUN: llvm-mc -filetype=obj -triple=x86_64 %s -o %t.o | |
| # RUN: llvm-objdump -dr %t.o| FileCheck %s --check-prefix=RELOC | |
| # RUN: ld.lld --optimize-bb-jumps %t.o -o %t.out | |
| # RUN: llvm-objdump -d %t.out| FileCheck %s | |
| # RELOC: jmp | |
| # RELOC-NEXT: R_X86_64_PC32 | |
| # CHECK: <foo>: | |
| # CHECK-NEXT: nopl (%rax) | |
| # CHECK-NEXT: jne 0x{{[[:xdigit:]]+}} <r.BB.foo> | |
| # CHECK-NOT: jmp | |
| .section .text,"ax",@progbits | |
| .type foo,@function | |
| foo: | |
| nopl (%rax) | |
| je a.BB.foo | |
| # Encode a jmp r.BB.foo insn using a PC32 reloc | |
| .byte 0xe9 | |
| .long r.BB.foo - . - 4 | |
| # CHECK: <a.BB.foo>: | |
| # CHECK-NEXT: nopl (%rax) | |
| .section .text,"ax",@progbits,unique,3 | |
| a.BB.foo: | |
| nopl (%rax) | |
| r.BB.foo: | |
| ret |