| 1 | // RUN: %clang_cc1 -triple i386-unknown-unknown -fopenmp -O1 %s -emit-llvm -o - | FileCheck %s --check-prefix=RUN1 |
|---|
| 2 | // RUN: %clang_cc1 -triple i386-unknown-unknown -fopenmp -O1 %s -emit-llvm -o - | FileCheck %s --check-prefix=RUN2 |
|---|
| 3 | // RUN: %clang_cc1 -triple i386-unknown-unknown -fopenmp -O1 %s -emit-llvm -o - | opt -ipconstprop -S | FileCheck --check-prefix=IPCP %s |
|---|
| 4 | |
|---|
| 5 | // RUN1-DAG: @broker0({{[^#]*#[0-9]+}} !callback ![[cid0:[0-9]+]] |
|---|
| 6 | __attribute__((callback(1, 2))) void *broker0(void *(*callee)(void *), void *payload) { |
|---|
| 7 | return callee(payload); |
|---|
| 8 | } |
|---|
| 9 | |
|---|
| 10 | // RUN1-DAG: @broker1({{[^#]*#[0-9]+}} !callback ![[cid1:[0-9]+]] |
|---|
| 11 | __attribute__((callback(callee, payload))) void *broker1(void *payload, void *(*callee)(void *)) { |
|---|
| 12 | return broker0(callee, payload); |
|---|
| 13 | } |
|---|
| 14 | |
|---|
| 15 | void *broker2(void (*callee)(void)); |
|---|
| 16 | |
|---|
| 17 | // RUN1-DAG: declare !callback ![[cid2:[0-9]+]] i8* @broker2 |
|---|
| 18 | __attribute__((callback(callee))) void *broker2(void (*callee)(void)); |
|---|
| 19 | |
|---|
| 20 | void *broker2(void (*callee)(void)); |
|---|
| 21 | |
|---|
| 22 | // RUN1-DAG: declare !callback ![[cid3:[0-9]+]] i8* @broker3 |
|---|
| 23 | __attribute__((callback(4, 1, 2, c))) void *broker3(int, int, int c, int (*callee)(int, int, int), int); |
|---|
| 24 | |
|---|
| 25 | // RUN1-DAG: declare !callback ![[cid4:[0-9]+]] i8* @broker4 |
|---|
| 26 | __attribute__((callback(4, -1, a, __))) void *broker4(int a, int, int, int (*callee)(int, int, int), int); |
|---|
| 27 | |
|---|
| 28 | // RUN1-DAG: declare !callback ![[cid5:[0-9]+]] i8* @broker5 |
|---|
| 29 | __attribute__((callback(4, d, 5, 2))) void *broker5(int, int, int, int (*callee)(int, int, int), int d); |
|---|
| 30 | |
|---|
| 31 | static void *VoidPtr2VoidPtr(void *payload) { |
|---|
| 32 | // RUN2: ret i8* %payload |
|---|
| 33 | // IPCP: ret i8* null |
|---|
| 34 | return payload; |
|---|
| 35 | } |
|---|
| 36 | |
|---|
| 37 | static int ThreeInt2Int(int a, int b, int c) { |
|---|
| 38 | // RUN2: define internal i32 @ThreeInt2Int(i32 %a, i32 %b, i32 %c) |
|---|
| 39 | // RUN2: %mul = mul nsw i32 %b, %a |
|---|
| 40 | // RUN2: %add = add nsw i32 %mul, %c |
|---|
| 41 | // RUN2: ret i32 %add |
|---|
| 42 | |
|---|
| 43 | // IPCP: define internal i32 @ThreeInt2Int(i32 %a, i32 %b, i32 %c) |
|---|
| 44 | // IPCP: %mul = mul nsw i32 4, %a |
|---|
| 45 | // IPCP: %add = add nsw i32 %mul, %c |
|---|
| 46 | // IPCP: ret i32 %add |
|---|
| 47 | |
|---|
| 48 | return a * b + c; |
|---|
| 49 | } |
|---|
| 50 | |
|---|
| 51 | void foo() { |
|---|
| 52 | broker0(VoidPtr2VoidPtr, 0l); |
|---|
| 53 | broker1(0l, VoidPtr2VoidPtr); |
|---|
| 54 | broker2(foo); |
|---|
| 55 | broker3(1, 4, 5, ThreeInt2Int, 1); |
|---|
| 56 | broker4(4, 2, 7, ThreeInt2Int, 0); |
|---|
| 57 | broker5(8, 0, 3, ThreeInt2Int, 4); |
|---|
| 58 | } |
|---|
| 59 | |
|---|
| 60 | // RUN1-DAG: ![[cid0]] = !{![[cid0b:[0-9]+]]} |
|---|
| 61 | // RUN1-DAG: ![[cid0b]] = !{i64 0, i64 1, i1 false} |
|---|
| 62 | // RUN1-DAG: ![[cid1]] = !{![[cid1b:[0-9]+]]} |
|---|
| 63 | // RUN1-DAG: ![[cid1b]] = !{i64 1, i64 0, i1 false} |
|---|
| 64 | // RUN1-DAG: ![[cid2]] = !{![[cid2b:[0-9]+]]} |
|---|
| 65 | // RUN1-DAG: ![[cid2b]] = !{i64 0, i1 false} |
|---|
| 66 | // RUN1-DAG: ![[cid3]] = !{![[cid3b:[0-9]+]]} |
|---|
| 67 | // RUN1-DAG: ![[cid3b]] = !{i64 3, i64 0, i64 1, i64 2, i1 false} |
|---|
| 68 | // RUN1-DAG: ![[cid4]] = !{![[cid4b:[0-9]+]]} |
|---|
| 69 | // RUN1-DAG: ![[cid4b]] = !{i64 3, i64 -1, i64 0, i64 -1, i1 false} |
|---|
| 70 | // RUN1-DAG: ![[cid5]] = !{![[cid5b:[0-9]+]]} |
|---|
| 71 | // RUN1-DAG: ![[cid5b]] = !{i64 3, i64 4, i64 4, i64 1, i1 false} |
|---|
| 72 | |
|---|