summaryrefslogtreecommitdiff
path: root/bolt/test/runtime/X86/retpoline-synthetic.test
blob: 46daf3fdacde139ed15c89a084e72fc30148c58f (plain)
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
# Check that llvm-bolt retpoline all indirect branches and the resulting binary
# correctly runs.

REQUIRES: x86_64-linux

RUN: %clangxx %S/Inputs/retpoline_synthetic.cpp -fno-jump-tables -Wl,-q,-znow \
RUN:   -O2 -o %t.exe
RUN: llvm-bolt %t.exe -o %t --insert-retpolines --trap-old-code

# Check indirect calls in the original binary
RUN: llvm-objdump -d %t.exe | FileCheck %s -check-prefix=CHECK-CALL-ORIG
CHECK-CALL-ORIG: callq  *
# No indirect jumps
RUN: llvm-objdump -d -j ".text" %t | FileCheck %s -check-prefix=CHECK-JUMP-ORIG
CHECK-JUMP-ORIG-NOT: jmpq   *

# Check that there are no indirect calls or jumps in the resulting binary
RUN: llvm-objdump -d %t | FileCheck %s -check-prefix=CHECK-CALL
CHECK-CALL-NOT: callq  *
RUN: llvm-objdump -d -j ".text" %t | FileCheck %s -check-prefix=CHECK-JUMP
CHECK-JUMP-NOT: jmpq   *

# Check generated retpoline stub names
RUN: llvm-strings %t | FileCheck %s -check-prefix=CHECK-STRINGS
CHECK-STRINGS-DAG: __retpoline_%rax_
CHECK-STRINGS-DAG: __retpoline_mem_%rip+DATAat0x[[#]]
CHECK-STRINGS-DAG: __retpoline_mem_%rax+0
CHECK-STRINGS-DAG: __retpoline_mem_%r[[#]]+0+8*%rbx

RUN: %t 1000 3 | FileCheck %s
CHECK: 30000000