| # Check unreachable code elimination |
| |
| RUN: %clangxx %cxxflags %p/Inputs/unreachable.s -o %t.exe |
| RUN: llvm-bolt %t.exe -o %t \ |
| RUN: -reorder-blocks=none -split-functions=1 -eliminate-unreachable \ |
| RUN: -funcs=foo -use-gnu-stack -print-cfg -print-finalized \ |
| RUN: | FileCheck %s --check-prefix=BOLT |
| RUN: llvm-objdump -d %t --print-imm-hex --disassemble-symbols=foo \ |
| RUN: --no-show-raw-insn | FileCheck %s |
| |
| BOLT: BB Layout : .LBB{{.*}}, .LFT{{.*}}, .Ltmp{{.*}}, .LFT{{.*}}, .Ltmp{{.*}}, .Ltmp{{.*}}, .Ltmp{{.*}}, .LLP{{.*}}, .LFT{{.*}}, .Ltmp{{.*}}, .LFT{{.*}}, .Ltmp{{.*}}, .Ltmp{{.*}}, .Ltmp{{.*}} |
| BOLT: BOLT-INFO: UCE removed 4 blocks and 16 bytes of code. |
| BOLT: BB Layout : .LBB{{.*}}, .Ltmp{{.*}}, .Ltmp{{.*}}, .Ltmp{{.*}}, .Ltmp{{.*}}, .LLP{{.*}}, .Ltmp{{.*}}, .Ltmp{{.*}}, .Ltmp{{.*}}, .Ltmp{{.*}} |
| |
| CHECK: <foo>: |
| CHECK-NEXT: pushq %rbp |
| CHECK-NEXT: movq %rsp, %rbp |
| CHECK-NEXT: pushq %rbx |
| CHECK-NEXT: subq $0x18, %rsp |
| CHECK-NEXT: movq %rdi, -0x18(%rbp) |
| CHECK-NEXT: incq -0x18(%rbp) |
| CHECK-NEXT: incq -0x18(%rbp) |
| CHECK-NEXT: cmpq $0x2, -0x18(%rbp) |
| CHECK-NEXT: je 0x[[#%x,JMP1:]] |
| CHECK-NEXT: incq -0x18(%rbp) |
| CHECK-NEXT: [[#JMP1]]: incq -0x18(%rbp) |
| CHECK-NEXT: movq -0x18(%rbp), %rax |
| CHECK-NEXT: movq %rax, %rdi |
| CHECK-NEXT: callq {{.*}} <bar> |
| CHECK-NEXT: movq %rax, %rbx |
| CHECK-NEXT: [[#%x,JMP3:]]: movq %rbx, %rax |
| CHECK-NEXT: jmp {{.*}} |
| CHECK-NEXT: movq %rax, %rdi |
| CHECK-NEXT: callq {{.*}} <__cxa_begin_catch@plt> |
| CHECK-NEXT: incq -0x18(%rbp) |
| CHECK-NEXT: incq -0x18(%rbp) |
| CHECK-NEXT: cmpq $0x2, -0x18(%rbp) |
| CHECK-NEXT: je 0x[[#%x,JMP2:]] |
| CHECK-NEXT: incq -0x18(%rbp) |
| CHECK-NEXT: [[#JMP2]]: incq -0x18(%rbp) |
| CHECK-NEXT: movq -0x18(%rbp), %rbx |
| CHECK-NEXT: callq {{.*}} <__cxa_end_catch@plt> |
| CHECK-NEXT: jmp 0x[[#JMP3]] |
| CHECK-NEXT: movq -0x8(%rbp), %rbx |
| CHECK-NEXT: leave |
| CHECK-NEXT: retq |
