1 // Check the value profiling instrinsics emitted by instrumentation.
2
3 // RUN: %clang_cc1 -triple x86_64-apple-macosx10.9 -main-file-name c-indirect-call.c %s -o - -emit-llvm -fprofile-instrument=clang -mllvm -enable-value-profiling | FileCheck --check-prefix=NOEXT %s
4 // RUN: %clang_cc1 -triple s390x-ibm-linux -main-file-name c-indirect-call.c %s -o - -emit-llvm -fprofile-instrument=clang -mllvm -enable-value-profiling | FileCheck --check-prefix=EXT %s
5
6 void (*foo)(void);
7
main(void)8 int main(void) {
9 // NOEXT: [[REG1:%[0-9]+]] = load void ()*, void ()** @foo, align 8
10 // NOEXT-NEXT: [[REG2:%[0-9]+]] = ptrtoint void ()* [[REG1]] to i64
11 // NOEXT-NEXT: call void @__llvm_profile_instrument_target(i64 [[REG2]], i8* bitcast ({{.*}}* @__profd_main to i8*), i32 0)
12 // NOEXT-NEXT: call void [[REG1]]()
13 // EXT: [[REG1:%[0-9]+]] = load void ()*, void ()** @foo, align 8
14 // EXT-NEXT: [[REG2:%[0-9]+]] = ptrtoint void ()* [[REG1]] to i64
15 // EXT-NEXT: call void @__llvm_profile_instrument_target(i64 [[REG2]], i8* bitcast ({{.*}}* @__profd_main to i8*), i32 zeroext 0)
16 // EXT-NEXT: call void [[REG1]]()
17 foo();
18 return 0;
19 }
20
21 // NOEXT: declare void @__llvm_profile_instrument_target(i64, i8*, i32)
22 // EXT: declare void @__llvm_profile_instrument_target(i64, i8*, i32 zeroext)
23