diff options
author | Zancanaro; Carlo <czan8762@plang3.cs.usyd.edu.au> | 2012-09-24 09:58:17 +1000 |
---|---|---|
committer | Zancanaro; Carlo <czan8762@plang3.cs.usyd.edu.au> | 2012-09-24 09:58:17 +1000 |
commit | 222e2a7620e6520ffaf4fc4e69d79c18da31542e (patch) | |
tree | 7bfbc05bfa3b41c8f9d2e56d53a0bc3e310df239 /clang/test/CodeGen/object-size.c | |
parent | 3d206f03985b50beacae843d880bccdc91a9f424 (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.c | 136 |
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); +} |