llvm/lld/test/ELF/basic-block-sections-delete-fallthru.s

# REQUIRES: x86
## basic-block-sections tests.
## This simple test checks if redundant direct jumps are converted to
## implicit fallthrus.  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: ld.lld  --optimize-bb-jumps %t.o -o %t.out
# RUN: llvm-objdump -d %t.out| FileCheck %s

# 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
 jmp	r.BB.foo

# CHECK:      <a.BB.foo>:
# CHECK-NEXT:  nopl (%rax)
# CHECK-NEXT:  je 0x{{[[:xdigit:]]+}} <r.BB.foo>
# CHECK-NOT:   jmp

.section	.text,"ax",@progbits,unique,3
a.BB.foo:
 nopl (%rax)
 jne	aa.BB.foo
 jmp	r.BB.foo

# CHECK:      <aa.BB.foo>:
# CHECK-NEXT:  nopl (%rax)
# CHECK-NEXT:  jle 0x{{[[:xdigit:]]+}} <r.BB.foo>
# CHECK-NOT:   jmp
#
.section	.text,"ax",@progbits,unique,4
aa.BB.foo:
 nopl (%rax)
 jg	aaa.BB.foo
 jmp	r.BB.foo

# CHECK:      <aaa.BB.foo>:
# CHECK-NEXT:  nopl (%rax)
# CHECK-NEXT:  jl 0x{{[[:xdigit:]]+}} <r.BB.foo>
# CHECK-NOT:   jmp
#
.section	.text,"ax",@progbits,unique,5
aaa.BB.foo:
 nopl (%rax)
 jge	aaaa.BB.foo
 jmp	r.BB.foo

# CHECK:      <aaaa.BB.foo>:
# CHECK-NEXT:  nopl (%rax)
# CHECK-NEXT:  jae 0x{{[[:xdigit:]]+}} <r.BB.foo>
# CHECK-NOT:   jmp
#
.section	.text,"ax",@progbits,unique,6
aaaa.BB.foo:
 nopl (%rax)
 jb	aaaaa.BB.foo
 jmp	r.BB.foo

# CHECK:      <aaaaa.BB.foo>:
# CHECK-NEXT:  nopl (%rax)
# CHECK-NEXT:  ja 0x{{[[:xdigit:]]+}} <r.BB.foo>
# CHECK-NOT:   jmp
#
.section	.text,"ax",@progbits,unique,7
aaaaa.BB.foo:
 nopl (%rax)
 jbe	aaaaaa.BB.foo
 jmp	r.BB.foo

# CHECK:      <aaaaaa.BB.foo>:
# CHECK-NEXT:  nopl (%rax)
# CHECK-NEXT:  jge 0x{{[[:xdigit:]]+}} <r.BB.foo>
# CHECK-NOT:   jmp
#
.section	.text,"ax",@progbits,unique,8
aaaaaa.BB.foo:
 nopl (%rax)
 jl	aaaaaaa.BB.foo
 jmp	r.BB.foo

# CHECK:      <aaaaaaa.BB.foo>:
# CHECK-NEXT:  nopl (%rax)
# CHECK-NEXT:  jg 0x{{[[:xdigit:]]+}} <r.BB.foo>
# CHECK-NOT:   jmp
#
.section	.text,"ax",@progbits,unique,9
aaaaaaa.BB.foo:
 nopl (%rax)
 jle	aaaaaaaa.BB.foo
 jmp	r.BB.foo

# CHECK:      <aaaaaaaa.BB.foo>:
# CHECK-NEXT:  nopl (%rax)
# CHECK-NEXT:  jbe 0x{{[[:xdigit:]]+}} <r.BB.foo>
# CHECK-NOT:   jmp
#
.section	.text,"ax",@progbits,unique,10
aaaaaaaa.BB.foo:
 nopl (%rax)
 ja	aaaaaaaaa.BB.foo
 jmp	r.BB.foo

# CHECK:      <aaaaaaaaa.BB.foo>:
# CHECK-NEXT:  nopl (%rax)
# CHECK-NEXT:  jb 0x{{[[:xdigit:]]+}} <r.BB.foo>
# CHECK-NOT:   jmp
#
.section	.text,"ax",@progbits,unique,11
aaaaaaaaa.BB.foo:
 nopl (%rax)
 jae	aaaaaaaaaa.BB.foo
 jmp	r.BB.foo

.section	.text,"ax",@progbits,unique,20
aaaaaaaaaa.BB.foo:
 nopl (%rax)

r.BB.foo:
 ret