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 | |
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 | |