summaryrefslogtreecommitdiff
path: root/clang/test/CodeGen/object-size.c
diff options
context:
space:
mode:
authorZancanaro; Carlo <czan8762@plang3.cs.usyd.edu.au>2012-09-24 09:58:17 +1000
committerZancanaro; Carlo <czan8762@plang3.cs.usyd.edu.au>2012-09-24 09:58:17 +1000
commit222e2a7620e6520ffaf4fc4e69d79c18da31542e (patch)
tree7bfbc05bfa3b41c8f9d2e56d53a0bc3e310df239 /clang/test/CodeGen/object-size.c
parent3d206f03985b50beacae843d880bccdc91a9f424 (diff)
Add the clang library to the repo (with some of my changes, too).
Diffstat (limited to 'clang/test/CodeGen/object-size.c')
-rw-r--r--clang/test/CodeGen/object-size.c136
1 files changed, 136 insertions, 0 deletions
diff --git a/clang/test/CodeGen/object-size.c b/clang/test/CodeGen/object-size.c
new file mode 100644
index 0000000..1f16d02
--- /dev/null
+++ b/clang/test/CodeGen/object-size.c
@@ -0,0 +1,136 @@
+// RUN: %clang_cc1 -triple x86_64-apple-darwin -emit-llvm %s -o - | FileCheck %s
+
+#define strcpy(dest, src) \
+ ((__builtin_object_size(dest, 0) != -1ULL) \
+ ? __builtin___strcpy_chk (dest, src, __builtin_object_size(dest, 1)) \
+ : __inline_strcpy_chk(dest, src))
+
+static char *__inline_strcpy_chk (char *dest, const char *src) {
+ return __builtin___strcpy_chk(dest, src, __builtin_object_size(dest, 1));
+}
+
+char gbuf[63];
+char *gp;
+int gi, gj;
+
+// CHECK: define void @test1
+void test1() {
+ // CHECK: = call i8* @__strcpy_chk(i8* getelementptr inbounds ([63 x i8]* @gbuf, i32 0, i64 4), i8* getelementptr inbounds ([9 x i8]* @.str, i32 0, i32 0), i64 59)
+ strcpy(&gbuf[4], "Hi there");
+}
+
+// CHECK: define void @test2
+void test2() {
+ // CHECK: = call i8* @__strcpy_chk(i8* getelementptr inbounds ([63 x i8]* @gbuf, i32 0, i32 0), i8* getelementptr inbounds ([9 x i8]* @.str, i32 0, i32 0), i64 63)
+ strcpy(gbuf, "Hi there");
+}
+
+// CHECK: define void @test3
+void test3() {
+ // CHECK: = call i8* @__strcpy_chk(i8* getelementptr inbounds ([63 x i8]* @gbuf, i64 1, i64 37), i8* getelementptr inbounds ([9 x i8]* @.str, i32 0, i32 0), i64 0)
+ strcpy(&gbuf[100], "Hi there");
+}
+
+// CHECK: define void @test4
+void test4() {
+ // CHECK: = call i8* @__strcpy_chk(i8* getelementptr inbounds ([63 x i8]* @gbuf, i32 0, i64 -1), i8* getelementptr inbounds ([9 x i8]* @.str, i32 0, i32 0), i64 0)
+ strcpy((char*)(void*)&gbuf[-1], "Hi there");
+}
+
+// CHECK: define void @test5
+void test5() {
+ // CHECK: = load i8** @gp
+ // CHECK-NEXT:= call i64 @llvm.objectsize.i64(i8* %{{.*}}, i1 false)
+ strcpy(gp, "Hi there");
+}
+
+// CHECK: define void @test6
+void test6() {
+ char buf[57];
+
+ // CHECK: = call i8* @__strcpy_chk(i8* %{{.*}}, i8* getelementptr inbounds ([9 x i8]* @.str, i32 0, i32 0), i64 53)
+ strcpy(&buf[4], "Hi there");
+}
+
+// CHECK: define void @test7
+void test7() {
+ int i;
+ // CHECK: = call i64 @llvm.objectsize.i64(i8* {{.*}}@gbuf{{.*}}, i1 false)
+ strcpy((++i, gbuf), "Hi there");
+}
+
+// CHECK: define void @test8
+void test8() {
+ char *buf[50];
+ // CHECK-NOT: __strcpy_chk
+ // CHECK: = call i8* @__inline_strcpy_chk(i8* %{{.*}}, i8* getelementptr inbounds ([9 x i8]* @.str, i32 0, i32 0))
+ strcpy(buf[++gi], "Hi there");
+}
+
+// CHECK: define void @test9
+void test9() {
+ // CHECK-NOT: __strcpy_chk
+ // CHECK: = call i8* @__inline_strcpy_chk(i8* %{{.*}}, i8* getelementptr inbounds ([9 x i8]* @.str, i32 0, i32 0))
+ strcpy((char *)((++gi) + gj), "Hi there");
+}
+
+// CHECK: define void @test10
+char **p;
+void test10() {
+ // CHECK-NOT: __strcpy_chk
+ // CHECK: = call i8* @__inline_strcpy_chk(i8* %{{.*}}, i8* getelementptr inbounds ([9 x i8]* @.str, i32 0, i32 0))
+ strcpy(*(++p), "Hi there");
+}
+
+// CHECK: define void @test11
+void test11() {
+ // CHECK-NOT: __strcpy_chk
+ // CHECK: = call i8* @__inline_strcpy_chk(i8* getelementptr inbounds ([63 x i8]* @gbuf, i32 0, i32 0), i8* getelementptr inbounds ([9 x i8]* @.str, i32 0, i32 0))
+ strcpy(gp = gbuf, "Hi there");
+}
+
+// CHECK: define void @test12
+void test12() {
+ // CHECK-NOT: __strcpy_chk
+ // CHECK: = call i8* @__inline_strcpy_chk(i8* %{{.*}}, i8* getelementptr inbounds ([9 x i8]* @.str, i32 0, i32 0))
+ strcpy(++gp, "Hi there");
+}
+
+// CHECK: define void @test13
+void test13() {
+ // CHECK-NOT: __strcpy_chk
+ // CHECK: = call i8* @__inline_strcpy_chk(i8* %{{.*}}, i8* getelementptr inbounds ([9 x i8]* @.str, i32 0, i32 0))
+ strcpy(gp++, "Hi there");
+}
+
+// CHECK: define void @test14
+void test14() {
+ // CHECK-NOT: __strcpy_chk
+ // CHECK: = call i8* @__inline_strcpy_chk(i8* %{{.*}}, i8* getelementptr inbounds ([9 x i8]* @.str, i32 0, i32 0))
+ strcpy(--gp, "Hi there");
+}
+
+// CHECK: define void @test15
+void test15() {
+ // CHECK-NOT: __strcpy_chk
+ // CHECK: = call i8* @__inline_strcpy_chk(i8* %{{..*}}, i8* getelementptr inbounds ([9 x i8]* @.str, i32 0, i32 0))
+ strcpy(gp--, "Hi there");
+}
+
+// CHECK: define void @test16
+void test16() {
+ // CHECK-NOT: __strcpy_chk
+ // CHECK: = call i8* @__inline_strcpy_chk(i8* %{{.*}}, i8* getelementptr inbounds ([9 x i8]* @.str, i32 0, i32 0))
+ strcpy(gp += 1, "Hi there");
+}
+
+void test17() {
+ // CHECK: store i32 -1
+ gi = __builtin_object_size(gp++, 0);
+ // CHECK: store i32 -1
+ gi = __builtin_object_size(gp++, 1);
+ // CHECK: store i32 0
+ gi = __builtin_object_size(gp++, 2);
+ // CHECK: store i32 0
+ gi = __builtin_object_size(gp++, 3);
+}