bolt/test/X86/unreachable.test

   1 # Check unreachable code elimination
   2
   3 RUN: %clang %cflags %p/../Inputs/stub.c -fPIC -pie -shared -o %t.so
   4 RUN: llvm-mc -filetype=obj -triple x86_64-unknown-unknown \
   5 RUN:   %p/Inputs/unreachable.s -o %t.o
   6 RUN: %clangxx %cxxflags -no-pie %t.o -o %t.exe %t.so
   7 RUN: llvm-bolt %t.exe -o %t \
   8 RUN:   -reorder-blocks=none -split-functions -eliminate-unreachable \
   9 RUN:   -funcs=foo -use-gnu-stack -print-cfg -print-finalized \
  10 RUN:   | FileCheck %s --check-prefix=BOLT
  11 RUN: llvm-objdump -d %t --print-imm-hex --disassemble-symbols=foo \
  12 RUN:   --no-show-raw-insn | FileCheck %s
  13
  14 BOLT: BB Layout   : .LBB{{.*}}, .LFT{{.*}}, .Ltmp{{.*}}, .LFT{{.*}}, .Ltmp{{.*}}, .Ltmp{{.*}}, .Ltmp{{.*}}, .LLP{{.*}}, .LFT{{.*}}, .Ltmp{{.*}}, .LFT{{.*}}, .Ltmp{{.*}}, .Ltmp{{.*}}, .Ltmp{{.*}}
  15 BOLT: BOLT-INFO: UCE removed 4 blocks and 16 bytes of code
  16 BOLT: BB Layout   : .LBB{{.*}}, .Ltmp{{.*}}, .Ltmp{{.*}}, .Ltmp{{.*}}, .Ltmp{{.*}}, .LLP{{.*}}, .Ltmp{{.*}}, .Ltmp{{.*}}, .Ltmp{{.*}}, .Ltmp{{.*}}
  17
  18 CHECK: <foo>:
  19 CHECK-NEXT: pushq   %rbp
  20 CHECK-NEXT: movq    %rsp, %rbp
  21 CHECK-NEXT: pushq   %rbx
  22 CHECK-NEXT: subq    $0x18, %rsp
  23 CHECK-NEXT: movq    %rdi, -0x18(%rbp)
  24 CHECK-NEXT: incq   -0x18(%rbp)
  25 CHECK-NEXT: incq   -0x18(%rbp)
  26 CHECK-NEXT: cmpq   $0x2, -0x18(%rbp)
  27 CHECK-NEXT: je    0x[[#%x,JMP1:]]
  28 CHECK-NEXT: incq   -0x18(%rbp)
  29 CHECK-NEXT: [[#JMP1]]: incq   -0x18(%rbp)
  30 CHECK-NEXT: movq    -0x18(%rbp), %rax
  31 CHECK-NEXT: movq    %rax, %rdi
  32 CHECK-NEXT: callq {{.*}} <bar>
  33 CHECK-NEXT: movq    %rax, %rbx
  34 CHECK-NEXT: [[#%x,JMP3:]]: movq    %rbx, %rax
  35 CHECK-NEXT: jmp   {{.*}}
  36 CHECK-NEXT: movq    %rax, %rdi
  37 CHECK-NEXT: callq {{.*}} <__cxa_begin_catch@plt>
  38 CHECK-NEXT: incq   -0x18(%rbp)
  39 CHECK-NEXT: incq   -0x18(%rbp)
  40 CHECK-NEXT: cmpq   $0x2, -0x18(%rbp)
  41 CHECK-NEXT: je    0x[[#%x,JMP2:]]
  42 CHECK-NEXT: incq   -0x18(%rbp)
  43 CHECK-NEXT: [[#JMP2]]: incq   -0x18(%rbp)
  44 CHECK-NEXT: movq    -0x18(%rbp), %rbx
  45 CHECK-NEXT: callq {{.*}} <__cxa_end_catch@plt>
  46 CHECK-NEXT: jmp   0x[[#JMP3]]
  47 CHECK-NEXT: movq        -0x8(%rbp), %rbx
  48 CHECK-NEXT: leave
  49 CHECK-NEXT: retq