Skip to content

Commit 903f5b0

Browse files
jh7370jh7370
committed
[llvm-objdump][test] Improve testing of some switches #3
This is the third commit in a series of patches to improve test coverage of llvm-objdump. In this patch I have added a number of tests testing various aspects of disassembly. Reviewed by: MaskRay, grimar, rupprecht Differential Revision: https://reviews.llvm.org/D62255 llvm-svn: 361489
1 parent fb6ee67 commit 903f5b0

14 files changed

+604
-34
lines changed

‎llvm/test/tools/llvm-objdump/X86/disasm-specific-funcs-mangled-name.test

+27
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,27 @@
1+
## Show that the --disassemble-functions switch takes mangled names, not
2+
## demangled names.
3+
4+
# RUN: yaml2obj %s -o %t.o
5+
# RUN: llvm-objdump -d --disassemble-functions=_Z3foov %t.o | FileCheck %s
6+
# RUN: llvm-objdump -d --disassemble-functions='foo()' %t.o | FileCheck %s --check-prefix=NOFOO
7+
# RUN: llvm-objdump -d -C --disassemble-functions='foo()' %t.o | FileCheck %s --check-prefix=NOFOO
8+
# RUN: llvm-objdump -d --disassemble-functions=foo %t.o | FileCheck %s --check-prefix=NOFOO
9+
10+
# CHECK: _Z3foov:
11+
12+
# NOFOO-NOT: foo
13+
14+
--- !ELF
15+
FileHeader:
16+
Class: ELFCLASS64
17+
Data: ELFDATA2LSB
18+
Type: ET_EXEC
19+
Machine: EM_X86_64
20+
Sections:
21+
- Name: .text
22+
Type: SHT_PROGBITS
23+
Flags: [SHF_ALLOC, SHF_EXECINSTR]
24+
Content: '90'
25+
Symbols:
26+
- Name: _Z3foov
27+
Section: .text

‎llvm/test/tools/llvm-objdump/X86/disasm-specific-funcs.test

+24-20
Original file line numberDiff line numberDiff line change
@@ -1,21 +1,25 @@
1-
// RUN: yaml2obj -o %t.out %p/Inputs/simple-executable-x86_64.yaml
2-
// RUN: llvm-objdump -d %t.out -disassemble-functions=main | FileCheck %s
1+
## Show that the --diassemble-functions switch disassembles only the specified
2+
## functions.
33

4-
// CHECK: Disassembly of section .anothertext:
5-
// CHECK-EMPTY:
6-
// CHECK-NEXT: main:
7-
// CHECK-NEXT: 10: 55 pushq %rbp
8-
// CHECK-NEXT: 11: 48 89 e5 movq %rsp, %rbp
9-
// CHECK-NEXT: 14: 48 83 ec 20 subq $32, %rsp
10-
// CHECK-NEXT: 18: 48 8d 04 25 a8 00 00 00 leaq 168, %rax
11-
// CHECK-NEXT: 20: c7 45 fc 00 00 00 00 movl $0, -4(%rbp)
12-
// CHECK-NEXT: 27: 48 89 45 f0 movq %rax, -16(%rbp)
13-
// CHECK-NEXT: 2b: 48 8b 45 f0 movq -16(%rbp), %rax
14-
// CHECK-NEXT: 2f: 8b 08 movl (%rax), %ecx
15-
// CHECK-NEXT: 31: 89 4d ec movl %ecx, -20(%rbp)
16-
// CHECK-NEXT: 34: e8 c7 ff ff ff callq -57
17-
// CHECK-NEXT: 39: 8b 4d ec movl -20(%rbp), %ecx
18-
// CHECK-NEXT: 3c: 01 c1 addl %eax, %ecx
19-
// CHECK-NEXT: 3e: 89 c8 movl %ecx, %eax
20-
// CHECK-NEXT: 40: 48 83 c4 20 addq $32, %rsp
21-
// CHECK-NEXT: 44: 5d popq %rbp
4+
# RUN: yaml2obj -o %t.out %p/Inputs/simple-executable-x86_64.yaml
5+
# RUN: llvm-objdump -d %t.out --disassemble-functions=main \
6+
# RUN: | FileCheck %s --check-prefix=MAIN --implicit-check-not=foo --implicit-check-not=somedata
7+
# RUN: llvm-objdump -d %t.out --disassemble-functions=main,foo \
8+
# RUN: | FileCheck %s --check-prefixes=MAIN,FOO --implicit-check-not=somedata
9+
10+
# FOO: foo:
11+
# MAIN: main:
12+
13+
## Unknown symbol name.
14+
# RUN: llvm-objdump -d %t.out --disassemble-functions=baz \
15+
# RUN: | FileCheck %s --implicit-check-not=Disassembly
16+
17+
## Data symbol.
18+
# RUN: llvm-objdump -d %t.out --disassemble-functions=a \
19+
# RUN: | FileCheck %s --implicit-check-not=Disassembly
20+
21+
## Data symbol + --disassemble-all.
22+
# RUN: llvm-objdump -D %t.out --disassemble-functions=a \
23+
# RUN: | FileCheck %s --check-prefix=DATA
24+
25+
# DATA: a:

‎llvm/test/tools/llvm-objdump/X86/disassemble-invalid-byte-sequences.test

+20
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
## Show that llvm-objdump handles invalid byte sequences, and continues.
2+
3+
# RUN: yaml2obj %s -o %t.o
4+
# RUN: llvm-objdump %t.o -d | FileCheck %s
5+
6+
# CHECK: 0000000000000000 .text:
7+
# CHECK: 0: d9 e2 <unknown>
8+
# CHECK-NEXT: 2: 90 nop
9+
10+
--- !ELF
11+
FileHeader:
12+
Class: ELFCLASS64
13+
Data: ELFDATA2LSB
14+
Type: ET_EXEC
15+
Machine: EM_X86_64
16+
Sections:
17+
- Name: .text
18+
Type: SHT_PROGBITS
19+
Flags: [SHF_ALLOC, SHF_EXECINSTR]
20+
Content: 'd9e290'

‎llvm/test/tools/llvm-objdump/X86/disassemble-long-instructions.test

+17
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,17 @@
1+
## This test shows that llvm-objdump can disassemble a long instruction.
2+
# RUN: yaml2obj %s -o %t.o
3+
# RUN: llvm-objdump -d %t.o | FileCheck %s --strict-whitespace
4+
5+
# CHECK: 0: 66 66 66 66 66 66 2e 0f 1f 84 00 00 00 00 00 nopw %cs:(%rax,%rax)
6+
7+
--- !ELF
8+
FileHeader:
9+
Class: ELFCLASS64
10+
Data: ELFDATA2LSB
11+
Type: ET_EXEC
12+
Machine: EM_X86_64
13+
Sections:
14+
- Name: .text
15+
Type: SHT_PROGBITS
16+
Flags: [SHF_ALLOC, SHF_EXECINSTR]
17+
Content: '6666666666662E0F1F840000000000' # 15-byte nop

‎llvm/test/tools/llvm-objdump/X86/elf-disassemble-dynamic-symbols.test

+99
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,99 @@
1+
## Show the disassembly behaviour when dynamic symbols are present.
2+
# RUN: yaml2obj %s -o %t
3+
4+
## Case 1: Both static and dynamic symbols are present. Only static
5+
## symbols are displayed.
6+
# RUN: llvm-objdump -d %t | FileCheck %s --check-prefixes=CHECK,STATIC
7+
8+
## Case 2: Only the dynamic symbols are present. These should be displayed, if
9+
## they meet the necessary criteria.
10+
# RUN: llvm-objcopy --strip-all %t %t2
11+
# RUN: llvm-objdump -d %t2 | FileCheck %s --check-prefixes=CHECK,DYN
12+
13+
# CHECK: Disassembly of section .text:
14+
# CHECK-EMPTY:
15+
# STATIC-NEXT: 0000000000001000 .text:
16+
# DYN-NEXT: 0000000000001000 only_dyn:
17+
# CHECK-NEXT: 1000:
18+
# CHECK-EMPTY:
19+
# STATIC-NEXT: 0000000000001001 both_static:
20+
# DYN-NEXT: 0000000000001001 both_dyn:
21+
# CHECK-NEXT: 1001:
22+
# STATIC-EMPTY:
23+
# STATIC-NEXT: 0000000000001002 only_static:
24+
# CHECK-NEXT: 1002:
25+
# CHECK-NEXT: 1003:
26+
# CHECK-NEXT: 1004:
27+
# CHECK-NEXT: 1005:{{.*}}
28+
# CHECK-NOT: {{.}}
29+
30+
--- !ELF
31+
FileHeader:
32+
Class: ELFCLASS64
33+
Data: ELFDATA2LSB
34+
Type: ET_DYN
35+
Machine: EM_X86_64
36+
Sections:
37+
- Name: .text
38+
Type: SHT_PROGBITS
39+
Flags: [SHF_ALLOC, SHF_EXECINSTR]
40+
Address: 0x1000
41+
Content: 909090909090
42+
ProgramHeaders:
43+
- Type: PT_LOAD
44+
VAddr: 0x1000
45+
Sections:
46+
- Section: .text
47+
Symbols:
48+
- Name: both_static
49+
Value: 0x1001
50+
Section: .text
51+
Binding: STB_GLOBAL
52+
- Name: only_static
53+
Value: 0x1002
54+
Section: .text
55+
Binding: STB_GLOBAL
56+
DynamicSymbols:
57+
- Name: only_dyn
58+
Value: 0x1000
59+
Section: .text
60+
Size: 1
61+
Type: STT_FUNC
62+
Binding: STB_GLOBAL
63+
- Name: both_dyn
64+
Value: 0x1001
65+
Section: .text
66+
Size: 1
67+
Type: STT_FUNC
68+
Binding: STB_GLOBAL
69+
## The rest of the dynamic symbols won't be used for various reasons.
70+
## FIXME: the first two symbols here should be dumped.
71+
## See https://bugs.llvm.org/show_bug.cgi?id=41947
72+
- Name: not_func
73+
Value: 0x1003
74+
Section: .text
75+
Type: STT_OBJECT
76+
Binding: STB_GLOBAL
77+
- Name: zero_sized
78+
Value: 0x1004
79+
Section: .text
80+
Type: STT_FUNC
81+
Binding: STB_GLOBAL
82+
- Name: '' # No name
83+
Value: 0x1005
84+
Section: .text
85+
Size: 1
86+
Type: STT_FUNC
87+
Binding: STB_GLOBAL
88+
- Name: absolute
89+
Value: 0x1005
90+
Index: SHN_ABS
91+
Size: 1
92+
Type: STT_FUNC
93+
Binding: STB_GLOBAL
94+
- Name: undefined
95+
Value: 0x1005
96+
Index: SHN_UNDEF
97+
Size: 1
98+
Type: STT_FUNC
99+
Binding: STB_GLOBAL

‎llvm/test/tools/llvm-objdump/X86/elf-disassemble-no-symtab.test

+24
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
## Show that llvm-objdump can handle a missing symbol table when printing
2+
## references and labels.
3+
4+
# RUN: yaml2obj %s -o %t
5+
# RUN: llvm-objcopy -R .symtab %t
6+
# RUN: llvm-objdump %t -d | FileCheck %s
7+
8+
# CHECK: Disassembly of section .text:
9+
# CHECK-EMPTY:
10+
# CHECK-NEXT: 0000000000004000 .text:
11+
# CHECK-NEXT: 4000: e8 42 00 00 00 callq 66 <.text+0x47>
12+
13+
--- !ELF
14+
FileHeader:
15+
Class: ELFCLASS64
16+
Data: ELFDATA2LSB
17+
Type: ET_EXEC
18+
Machine: EM_X86_64
19+
Sections:
20+
- Name: .text
21+
Type: SHT_PROGBITS
22+
Address: 0x4000
23+
Flags: [SHF_ALLOC, SHF_EXECINSTR]
24+
Content: 'e842000000'

‎llvm/test/tools/llvm-objdump/X86/elf-disassemble-relocs.test

+42
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,42 @@
1+
## Show that --disassemble + --reloc prints relocations inline and does not dump
2+
## the relocation sections.
3+
4+
# RUN: yaml2obj %s -o %t.o
5+
# RUN: llvm-objdump %t.o -d -r | FileCheck %s --implicit-check-not="RELOCATION RECORDS"
6+
7+
# CHECK: 0: e8 00 00 00 00 callq 0 <.text+0x5>
8+
# CHECK-NEXT: 0000000000000001: R_X86_64_PC32 foo-4
9+
# CHECK-NEXT: 0000000000000002: R_X86_64_NONE bar+8
10+
# CHECK-NEXT: 5: e8 00 00 00 00 callq 0 <.text+0xa>
11+
# CHECK-NEXT: 0000000000000006: R_X86_64_PLT32 foo+1
12+
13+
--- !ELF
14+
FileHeader:
15+
Class: ELFCLASS64
16+
Data: ELFDATA2LSB
17+
Type: ET_REL
18+
Machine: EM_X86_64
19+
Sections:
20+
- Name: .text
21+
Type: SHT_PROGBITS
22+
Flags: [SHF_ALLOC, SHF_EXECINSTR]
23+
Content: 'e800000000e800000000'
24+
- Name: .rela.text
25+
Type: SHT_RELA
26+
Info: .text
27+
Relocations:
28+
- Offset: 1
29+
Symbol: foo
30+
Type: R_X86_64_PC32
31+
Addend: -4
32+
- Offset: 2
33+
Symbol: bar
34+
Type: R_X86_64_NONE
35+
Addend: 8
36+
- Offset: 6
37+
Symbol: foo
38+
Type: R_X86_64_PLT32
39+
Addend: 1
40+
Symbols:
41+
- Name: foo
42+
- Name: bar

‎llvm/test/tools/llvm-objdump/X86/elf-disassemble-symbol-labels-exec.test

+54
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,54 @@
1+
## Show which labels are printed in disassembly of an executable.
2+
3+
# RUN: yaml2obj %s -o %t
4+
# RUN: llvm-objdump %t -d | FileCheck %s --implicit-check-not=stt_section \
5+
# RUN: --implicit-check-not=fourth \
6+
# RUN: --implicit-check-not=absolute \
7+
# RUN: --implicit-check-not=other
8+
9+
# CHECK: 0000000000004000 first:
10+
# CHECK: 0000000000004001 second:
11+
# CHECK: 0000000000004002 third:
12+
13+
--- !ELF
14+
FileHeader:
15+
Class: ELFCLASS64
16+
Data: ELFDATA2LSB
17+
Type: ET_EXEC
18+
Machine: EM_X86_64
19+
Sections:
20+
- Name: .text
21+
Type: SHT_PROGBITS
22+
Address: 0x4000
23+
Flags: [SHF_ALLOC, SHF_EXECINSTR]
24+
Content: '9090909090'
25+
- Name: .text2
26+
Type: SHT_PROGBITS
27+
Address: 0x4004
28+
Flags: [SHF_ALLOC, SHF_EXECINSTR]
29+
Size: 0
30+
Symbols:
31+
- Name: first # Shows, with second, that symbol sizes are not used to delineate functions.
32+
Value: 0x4000
33+
Section: .text
34+
Size: 0x2
35+
- Name: second
36+
Value: 0x4001
37+
Size: 0x1
38+
Section: .text
39+
- Name: third # Shows, with fourth, that first symbol is picked.
40+
Value: 0x4002
41+
Section: .text
42+
- Name: fourth
43+
Value: 0x4002
44+
Section: .text
45+
- Name: stt_section # Shows that STT_SECTION symbols are ignored even if no other symbol present.
46+
Value: 0x4003
47+
Type: STT_SECTION
48+
Section: .text
49+
- Name: absolute # Show that absolute symbols are ignored.
50+
Value: 0x4004
51+
Index: SHN_ABS
52+
- Name: other # Show that symbols from other sections are ignored.
53+
Value: 0x4004
54+
Section: .text2

‎llvm/test/tools/llvm-objdump/X86/elf-disassemble-symbol-labels-rel.test

+58
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,58 @@
1+
## Show which labels are printed in disassembly of a relocatable object.
2+
3+
# RUN: yaml2obj %s -o %t
4+
# RUN: llvm-objdump %t -d | FileCheck %s --implicit-check-not=stt_section \
5+
# RUN: --implicit-check-not=first \
6+
# RUN: --implicit-check-not=second \
7+
# RUN: --implicit-check-not=third \
8+
# RUN: --implicit-check-not=fourth \
9+
# RUN: --implicit-check-not=absolute \
10+
# RUN: --implicit-check-not=other
11+
12+
# CHECK: Disassembly of section .text:
13+
# CHECK: 0000000000000000 first:
14+
# CHECK: 0000000000000001 second:
15+
# CHECK: 0000000000000002 third:
16+
# CHECK: Disassembly of section .text2:
17+
# CHECK: 0000000000000004 other:
18+
19+
--- !ELF
20+
FileHeader:
21+
Class: ELFCLASS64
22+
Data: ELFDATA2LSB
23+
Type: ET_REL
24+
Machine: EM_X86_64
25+
Sections:
26+
- Name: .text
27+
Type: SHT_PROGBITS
28+
Flags: [SHF_ALLOC, SHF_EXECINSTR]
29+
Content: '909090909090'
30+
- Name: .text2
31+
Type: SHT_PROGBITS
32+
Flags: [SHF_ALLOC, SHF_EXECINSTR]
33+
Content: '9090909090'
34+
Symbols:
35+
- Name: first
36+
Value: 0
37+
Section: .text
38+
Size: 2
39+
- Name: second # Shows, with first, that symbol sizes are not used to delineate functions.
40+
Value: 1
41+
Size: 1
42+
Section: .text
43+
- Name: third # Shows, with fourth, that first symbol is picked.
44+
Value: 2
45+
Section: .text
46+
- Name: fourth
47+
Value: 2
48+
Section: .text
49+
- Name: stt_section # Shows that STT_SECTION symbols are ignored even if no other symbol present.
50+
Value: 3
51+
Type: STT_SECTION
52+
Section: .text
53+
- Name: absolute # Show that absolute symbols are ignored.
54+
Value: 4
55+
Index: SHN_ABS
56+
- Name: other # Show that symbols in other sections are ignored.
57+
Value: 4
58+
Section: .text2

0 commit comments

Comments
 (0)