align-branch-64-1a.s
3.13 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
# Check only fused conditional jumps, conditional jumps and unconditional jumps are aligned with option --x86-align-branch-boundary=32 --x86-align-branch=fused+jcc+jmp
# RUN: llvm-mc -filetype=obj -triple x86_64-unknown-unknown --x86-align-branch-boundary=32 --x86-align-branch=fused+jcc+jmp %p/Inputs/align-branch-64-1.s -o %t1 && llvm-objdump -d %t1 | FileCheck %s
# Check that -x86-branches-within-32B-boundaries matches the above command line
# RUN: llvm-mc -filetype=obj -triple x86_64-unknown-unknown --x86-branches-within-32B-boundaries %p/Inputs/align-branch-64-1.s -o %t2
# RUN: cmp %t1 %t2
# Check no branches is aligned with option --x86-align-branch-boundary=0
# RUN: llvm-mc -filetype=obj -triple x86_64-unknown-unknown --x86-align-branch-boundary=0 --x86-align-branch=fused+jcc+jmp %p/Inputs/align-branch-64-1.s | llvm-objdump -d - > %t3
# RUN: llvm-mc -filetype=obj -triple x86_64-unknown-unknown %p/Inputs/align-branch-64-1.s | llvm-objdump -d - > %t4
# RUN: cmp %t3 %t4
# CHECK: 0000000000000000 foo:
# CHECK-COUNT-3: : 64 89 04 25 01 00 00 00 movl %eax, %fs:1
# CHECK: 18: 48 39 c5 cmpq %rax, %rbp
# CHECK-NEXT: 1b: 31 c0 xorl %eax, %eax
# CHECK-COUNT-3: : 90 nop
# CHECK: 20: 48 39 c5 cmpq %rax, %rbp
# CHECK-NEXT: 23: 74 5d je {{.*}}
# CHECK-COUNT-3: : 64 89 04 25 01 00 00 00 movl %eax, %fs:1
# CHECK: 3d: 31 c0 xorl %eax, %eax
# CHECK-NEXT: 3f: 90 nop
# CHECK-NEXT: 40: 74 40 je {{.*}}
# CHECK-NEXT: 42: 5d popq %rbp
# CHECK-NEXT: 43: 74 3d je {{.*}}
# CHECK-COUNT-3: : 64 89 04 25 01 00 00 00 movl %eax, %fs:1
# CHECK: 5d: 31 c0 xorl %eax, %eax
# CHECK-NEXT: 5f: 90 nop
# CHECK-NEXT: 60: eb 26 jmp {{.*}}
# CHECK-NEXT: 62: eb 24 jmp {{.*}}
# CHECK-NEXT: 64: eb 22 jmp {{.*}}
# CHECK-COUNT-2: : 64 89 04 25 01 00 00 00 movl %eax, %fs:1
# CHECK: 76: 89 45 fc movl %eax, -4(%rbp)
# CHECK-NEXT: 79: 5d popq %rbp
# CHECK-NEXT: 7a: 48 39 c5 cmpq %rax, %rbp
# CHECK-NEXT: 7d: 74 03 je {{.*}}
# CHECK-NEXT: 7f: 90 nop
# CHECK-NEXT: 80: eb 06 jmp {{.*}}
# CHECK-NEXT: 82: 8b 45 f4 movl -12(%rbp), %eax
# CHECK-NEXT: 85: 89 45 fc movl %eax, -4(%rbp)
# CHECK-COUNT-10: : 89 b5 50 fb ff ff movl %esi, -1200(%rbp)
# CHECK: c4: eb c2 jmp {{.*}}
# CHECK-NEXT: c6: c3 retq