bolt/test/runtime/X86/retpoline-synthetic.test

   1 # Check that llvm-bolt retpoline all indirect branches and the resulting binary
   2 # correctly runs.
   3
   4 REQUIRES: x86_64-linux
   5
   6 RUN: %clangxx %S/Inputs/retpoline_synthetic.cpp -fno-jump-tables -Wl,-q,-znow \
   7 RUN:   -O2 -o %t.exe
   8 RUN: llvm-bolt %t.exe -o %t --insert-retpolines --trap-old-code
   9
  10 # Check indirect calls in the original binary
  11 RUN: llvm-objdump -d %t.exe | FileCheck %s -check-prefix=CHECK-CALL-ORIG
  12 CHECK-CALL-ORIG: callq  *
  13 # No indirect jumps
  14 RUN: llvm-objdump -d -j ".text" %t | FileCheck %s -check-prefix=CHECK-JUMP-ORIG
  15 CHECK-JUMP-ORIG-NOT: jmpq   *
  16
  17 # Check that there are no indirect calls or jumps in the resulting binary
  18 RUN: llvm-objdump -d %t | FileCheck %s -check-prefix=CHECK-CALL
  19 CHECK-CALL-NOT: callq  *
  20 RUN: llvm-objdump -d -j ".text" %t | FileCheck %s -check-prefix=CHECK-JUMP
  21 CHECK-JUMP-NOT: jmpq   *
  22
  23 # Check generated retpoline stub names
  24 RUN: llvm-strings %t | FileCheck %s -check-prefix=CHECK-STRINGS
  25 CHECK-STRINGS-DAG: __retpoline_%rax_
  26 CHECK-STRINGS-DAG: __retpoline_mem_%rip+DATAat0x[[#]]
  27 CHECK-STRINGS-DAG: __retpoline_mem_%rax+0
  28
  29 RUN: %t 1000 3 | FileCheck %s
  30 CHECK: 30000000