| John McCall | bf379a6 | 2011-09-10 01:37:23 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -emit-llvm -o %t1 %s |
| Julien Lerouge | 77f68bb | 2011-09-09 22:41:49 +0000 | [diff] [blame] | 2 | // RUN: FileCheck --check-prefix=LOCAL %s < %t1 |
| 3 | // RUN: FileCheck --check-prefix=UNDEF %s < %t1 |
| 4 | // RUN: FileCheck --check-prefix=PARAM %s < %t1 |
| 5 | // END. |
| 6 | |
| 7 | // LOCAL: private unnamed_addr constant [15 x i8] c"localvar_ann_{{.}}\00", section "llvm.metadata" |
| 8 | // LOCAL: private unnamed_addr constant [15 x i8] c"localvar_ann_{{.}}\00", section "llvm.metadata" |
| 9 | |
| 10 | // UNDEF: private unnamed_addr constant [15 x i8] c"undefvar_ann_0\00", section "llvm.metadata" |
| 11 | |
| 12 | // PARAM: private unnamed_addr constant [12 x i8] c"param_ann_{{.}}\00", section "llvm.metadata" |
| 13 | // PARAM: private unnamed_addr constant [12 x i8] c"param_ann_{{.}}\00", section "llvm.metadata" |
| 14 | // PARAM: private unnamed_addr constant [12 x i8] c"param_ann_{{.}}\00", section "llvm.metadata" |
| 15 | // PARAM: private unnamed_addr constant [12 x i8] c"param_ann_{{.}}\00", section "llvm.metadata" |
| 16 | |
| 17 | int foo(int v __attribute__((annotate("param_ann_2"))) __attribute__((annotate("param_ann_3")))); |
| 18 | int foo(int v __attribute__((annotate("param_ann_0"))) __attribute__((annotate("param_ann_1")))) { |
| 19 | return v + 1; |
| 20 | // PARAM: define {{.*}}@foo |
| 21 | // PARAM: bitcast i32* %v.addr to i8* |
| 22 | // PARAM-NEXT: call void @llvm.var.annotation( |
| 23 | // PARAM-NEXT: bitcast i32* %v.addr to i8* |
| 24 | // PARAM-NEXT: call void @llvm.var.annotation( |
| 25 | // PARAM-NEXT: bitcast i32* %v.addr to i8* |
| 26 | // PARAM-NEXT: call void @llvm.var.annotation( |
| 27 | // PARAM-NEXT: bitcast i32* %v.addr to i8* |
| 28 | // PARAM-NEXT: call void @llvm.var.annotation( |
| 29 | } |
| 30 | |
| John McCall | bf379a6 | 2011-09-10 01:37:23 +0000 | [diff] [blame] | 31 | void local(void) { |
| Julien Lerouge | 77f68bb | 2011-09-09 22:41:49 +0000 | [diff] [blame] | 32 | int localvar __attribute__((annotate("localvar_ann_0"))) __attribute__((annotate("localvar_ann_1"))) = 3; |
| John McCall | bf379a6 | 2011-09-10 01:37:23 +0000 | [diff] [blame] | 33 | // LOCAL: define void @local() |
| 34 | // LOCAL: [[LOCALVAR:%.*]] = alloca i32, |
| 35 | // LOCAL-NEXT: [[T0:%.*]] = bitcast i32* [[LOCALVAR]] to i8* |
| 36 | // LOCAL-NEXT: call void @llvm.var.annotation(i8* [[T0]], i8* getelementptr inbounds ([15 x i8]* @{{.*}}), i8* getelementptr inbounds ({{.*}}), i32 32) |
| 37 | // LOCAL-NEXT: [[T0:%.*]] = bitcast i32* [[LOCALVAR]] to i8* |
| 38 | // LOCAL-NEXT: call void @llvm.var.annotation(i8* [[T0]], i8* getelementptr inbounds ([15 x i8]* @{{.*}}), i8* getelementptr inbounds ({{.*}}), i32 32) |
| 39 | } |
| 40 | |
| 41 | void undef(void) { |
| Julien Lerouge | 77f68bb | 2011-09-09 22:41:49 +0000 | [diff] [blame] | 42 | int undefvar __attribute__((annotate("undefvar_ann_0"))); |
| John McCall | bf379a6 | 2011-09-10 01:37:23 +0000 | [diff] [blame] | 43 | // UNDEF: define void @undef() |
| 44 | // UNDEF: [[UNDEFVAR:%.*]] = alloca i32, |
| 45 | // UNDEF-NEXT: [[T0:%.*]] = bitcast i32* [[UNDEFVAR]] to i8* |
| 46 | // UNDEF-NEXT: call void @llvm.var.annotation(i8* [[T0]], i8* getelementptr inbounds ([15 x i8]* @{{.*}}), i8* getelementptr inbounds ({{.*}}), i32 42) |
| Julien Lerouge | 77f68bb | 2011-09-09 22:41:49 +0000 | [diff] [blame] | 47 | } |