1849f1dd1SFangrui Song // REQUIRES: x86-registered-target
263bd6d9eSFangrui Song // RUN: %clang_cc1 -S -triple x86_64 -fxray-instrument -fxray-instruction-threshold=1 %s -o - | FileCheck %s
363bd6d9eSFangrui Song // RUN: %clang_cc1 -S -triple x86_64 -fxray-instrument -fxray-instruction-threshold=1 -fno-xray-function-index %s -o - | FileCheck %s --check-prefix=NO
4849f1dd1SFangrui Song
5*e0a6561eSFangrui Song // CHECK: .section xray_fn_idx,"ao",@progbits,foo
6849f1dd1SFangrui Song // NO-NOT: .section xray_fn_idx
7849f1dd1SFangrui Song
foo(void)8849f1dd1SFangrui Song void foo(void) {}
9