27 lines · c
1#include <stdio.h>2 3void foo(float a) {4 printf("a = %f\n", a);5}6 7typedef void (*fptr_t)(float);8fptr_t func = foo;9 10int main() {11 func(42);12 return 0;13}14 15/*16## Check that BOLT instrumentation runtime preserves xmm registers.17 18REQUIRES: system-linux,bolt-runtime19 20RUN: %clang %cflags %s -o %t.exe -fno-inline -Wl,-q21RUN: llvm-bolt %t.exe --instrument -o %t.instrumented \22RUN: --instrumentation-file=%t.fdata23RUN: %t.instrumented | FileCheck %s24 25CHECK: a = 42.00000026*/27