Nuno Lopes | f195f2c | 2012-07-13 20:48:52 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -triple x86_64-apple-darwin -emit-llvm %s -o - 2>&1 | FileCheck %s |
Benjamin Kramer | cc179cb | 2009-10-27 12:19:13 +0000 | [diff] [blame] | 2 | |
| 3 | #define strcpy(dest, src) \ |
| 4 | ((__builtin_object_size(dest, 0) != -1ULL) \ |
| 5 | ? __builtin___strcpy_chk (dest, src, __builtin_object_size(dest, 1)) \ |
| 6 | : __inline_strcpy_chk(dest, src)) |
| 7 | |
| 8 | static char *__inline_strcpy_chk (char *dest, const char *src) { |
| 9 | return __builtin___strcpy_chk(dest, src, __builtin_object_size(dest, 1)); |
| 10 | } |
Mike Stump | 64eda9e | 2009-10-26 18:35:08 +0000 | [diff] [blame] | 11 | |
| 12 | char gbuf[63]; |
| 13 | char *gp; |
Mike Stump | 48c2af8 | 2009-10-29 23:22:14 +0000 | [diff] [blame] | 14 | int gi, gj; |
Mike Stump | 64eda9e | 2009-10-26 18:35:08 +0000 | [diff] [blame] | 15 | |
Daniel Dunbar | d7f7d08 | 2010-06-29 22:00:45 +0000 | [diff] [blame] | 16 | // CHECK: define void @test1 |
Mike Stump | 64eda9e | 2009-10-26 18:35:08 +0000 | [diff] [blame] | 17 | void test1() { |
Mike Stump | d2635a4 | 2010-01-13 19:40:37 +0000 | [diff] [blame] | 18 | // 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) |
Mike Stump | 64eda9e | 2009-10-26 18:35:08 +0000 | [diff] [blame] | 19 | strcpy(&gbuf[4], "Hi there"); |
| 20 | } |
| 21 | |
Daniel Dunbar | d7f7d08 | 2010-06-29 22:00:45 +0000 | [diff] [blame] | 22 | // CHECK: define void @test2 |
Mike Stump | 64eda9e | 2009-10-26 18:35:08 +0000 | [diff] [blame] | 23 | void test2() { |
Mike Stump | d2635a4 | 2010-01-13 19:40:37 +0000 | [diff] [blame] | 24 | // 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) |
Mike Stump | 64eda9e | 2009-10-26 18:35:08 +0000 | [diff] [blame] | 25 | strcpy(gbuf, "Hi there"); |
| 26 | } |
| 27 | |
Daniel Dunbar | d7f7d08 | 2010-06-29 22:00:45 +0000 | [diff] [blame] | 28 | // CHECK: define void @test3 |
Mike Stump | 06bc9bc | 2009-10-26 21:38:39 +0000 | [diff] [blame] | 29 | void test3() { |
Mike Stump | d2635a4 | 2010-01-13 19:40:37 +0000 | [diff] [blame] | 30 | // 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) |
Mike Stump | 06bc9bc | 2009-10-26 21:38:39 +0000 | [diff] [blame] | 31 | strcpy(&gbuf[100], "Hi there"); |
Mike Stump | 64eda9e | 2009-10-26 18:35:08 +0000 | [diff] [blame] | 32 | } |
| 33 | |
Daniel Dunbar | d7f7d08 | 2010-06-29 22:00:45 +0000 | [diff] [blame] | 34 | // CHECK: define void @test4 |
Mike Stump | 06bc9bc | 2009-10-26 21:38:39 +0000 | [diff] [blame] | 35 | void test4() { |
Mike Stump | d2635a4 | 2010-01-13 19:40:37 +0000 | [diff] [blame] | 36 | // 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) |
Mike Stump | 06bc9bc | 2009-10-26 21:38:39 +0000 | [diff] [blame] | 37 | strcpy((char*)(void*)&gbuf[-1], "Hi there"); |
| 38 | } |
| 39 | |
Daniel Dunbar | d7f7d08 | 2010-06-29 22:00:45 +0000 | [diff] [blame] | 40 | // CHECK: define void @test5 |
Mike Stump | 06bc9bc | 2009-10-26 21:38:39 +0000 | [diff] [blame] | 41 | void test5() { |
Mike Stump | d2635a4 | 2010-01-13 19:40:37 +0000 | [diff] [blame] | 42 | // CHECK: = load i8** @gp |
Nuno Lopes | 3e86a04 | 2012-05-22 15:26:48 +0000 | [diff] [blame] | 43 | // CHECK-NEXT:= call i64 @llvm.objectsize.i64(i8* %{{.*}}, i1 false) |
Mike Stump | 06bc9bc | 2009-10-26 21:38:39 +0000 | [diff] [blame] | 44 | strcpy(gp, "Hi there"); |
| 45 | } |
| 46 | |
Daniel Dunbar | d7f7d08 | 2010-06-29 22:00:45 +0000 | [diff] [blame] | 47 | // CHECK: define void @test6 |
Mike Stump | 06bc9bc | 2009-10-26 21:38:39 +0000 | [diff] [blame] | 48 | void test6() { |
Mike Stump | 660e6f7 | 2009-10-26 23:05:19 +0000 | [diff] [blame] | 49 | char buf[57]; |
| 50 | |
Mike Stump | d2635a4 | 2010-01-13 19:40:37 +0000 | [diff] [blame] | 51 | // CHECK: = call i8* @__strcpy_chk(i8* %{{.*}}, i8* getelementptr inbounds ([9 x i8]* @.str, i32 0, i32 0), i64 53) |
Mike Stump | 660e6f7 | 2009-10-26 23:05:19 +0000 | [diff] [blame] | 52 | strcpy(&buf[4], "Hi there"); |
| 53 | } |
Mike Stump | 48c2af8 | 2009-10-29 23:22:14 +0000 | [diff] [blame] | 54 | |
Daniel Dunbar | d7f7d08 | 2010-06-29 22:00:45 +0000 | [diff] [blame] | 55 | // CHECK: define void @test7 |
Mike Stump | 48c2af8 | 2009-10-29 23:22:14 +0000 | [diff] [blame] | 56 | void test7() { |
| 57 | int i; |
Richard Smith | c679485 | 2012-05-23 04:13:20 +0000 | [diff] [blame] | 58 | // Ensure we only evaluate the side-effect once. |
| 59 | // CHECK: = add |
| 60 | // CHECK-NOT: = add |
| 61 | // 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) |
Mike Stump | 48c2af8 | 2009-10-29 23:22:14 +0000 | [diff] [blame] | 62 | strcpy((++i, gbuf), "Hi there"); |
| 63 | } |
| 64 | |
Daniel Dunbar | d7f7d08 | 2010-06-29 22:00:45 +0000 | [diff] [blame] | 65 | // CHECK: define void @test8 |
Mike Stump | 48c2af8 | 2009-10-29 23:22:14 +0000 | [diff] [blame] | 66 | void test8() { |
| 67 | char *buf[50]; |
Mike Stump | bc773a0 | 2009-12-07 19:22:29 +0000 | [diff] [blame] | 68 | // CHECK-NOT: __strcpy_chk |
Mike Stump | d2635a4 | 2010-01-13 19:40:37 +0000 | [diff] [blame] | 69 | // CHECK: = call i8* @__inline_strcpy_chk(i8* %{{.*}}, i8* getelementptr inbounds ([9 x i8]* @.str, i32 0, i32 0)) |
Mike Stump | 48c2af8 | 2009-10-29 23:22:14 +0000 | [diff] [blame] | 70 | strcpy(buf[++gi], "Hi there"); |
| 71 | } |
| 72 | |
Daniel Dunbar | d7f7d08 | 2010-06-29 22:00:45 +0000 | [diff] [blame] | 73 | // CHECK: define void @test9 |
Mike Stump | 48c2af8 | 2009-10-29 23:22:14 +0000 | [diff] [blame] | 74 | void test9() { |
Mike Stump | bc773a0 | 2009-12-07 19:22:29 +0000 | [diff] [blame] | 75 | // CHECK-NOT: __strcpy_chk |
Mike Stump | d2635a4 | 2010-01-13 19:40:37 +0000 | [diff] [blame] | 76 | // CHECK: = call i8* @__inline_strcpy_chk(i8* %{{.*}}, i8* getelementptr inbounds ([9 x i8]* @.str, i32 0, i32 0)) |
Mike Stump | 48c2af8 | 2009-10-29 23:22:14 +0000 | [diff] [blame] | 77 | strcpy((char *)((++gi) + gj), "Hi there"); |
| 78 | } |
| 79 | |
Daniel Dunbar | d7f7d08 | 2010-06-29 22:00:45 +0000 | [diff] [blame] | 80 | // CHECK: define void @test10 |
Mike Stump | 48c2af8 | 2009-10-29 23:22:14 +0000 | [diff] [blame] | 81 | char **p; |
| 82 | void test10() { |
Mike Stump | bc773a0 | 2009-12-07 19:22:29 +0000 | [diff] [blame] | 83 | // CHECK-NOT: __strcpy_chk |
Mike Stump | d2635a4 | 2010-01-13 19:40:37 +0000 | [diff] [blame] | 84 | // CHECK: = call i8* @__inline_strcpy_chk(i8* %{{.*}}, i8* getelementptr inbounds ([9 x i8]* @.str, i32 0, i32 0)) |
Mike Stump | 48c2af8 | 2009-10-29 23:22:14 +0000 | [diff] [blame] | 85 | strcpy(*(++p), "Hi there"); |
| 86 | } |
Mike Stump | 2623aa2 | 2009-10-29 23:29:54 +0000 | [diff] [blame] | 87 | |
Daniel Dunbar | d7f7d08 | 2010-06-29 22:00:45 +0000 | [diff] [blame] | 88 | // CHECK: define void @test11 |
Mike Stump | 2623aa2 | 2009-10-29 23:29:54 +0000 | [diff] [blame] | 89 | void test11() { |
Mike Stump | bc773a0 | 2009-12-07 19:22:29 +0000 | [diff] [blame] | 90 | // CHECK-NOT: __strcpy_chk |
Daniel Dunbar | d7f7d08 | 2010-06-29 22:00:45 +0000 | [diff] [blame] | 91 | // 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)) |
Mike Stump | 2623aa2 | 2009-10-29 23:29:54 +0000 | [diff] [blame] | 92 | strcpy(gp = gbuf, "Hi there"); |
| 93 | } |
| 94 | |
Daniel Dunbar | d7f7d08 | 2010-06-29 22:00:45 +0000 | [diff] [blame] | 95 | // CHECK: define void @test12 |
Mike Stump | 2623aa2 | 2009-10-29 23:29:54 +0000 | [diff] [blame] | 96 | void test12() { |
Mike Stump | bc773a0 | 2009-12-07 19:22:29 +0000 | [diff] [blame] | 97 | // CHECK-NOT: __strcpy_chk |
Mike Stump | d2635a4 | 2010-01-13 19:40:37 +0000 | [diff] [blame] | 98 | // CHECK: = call i8* @__inline_strcpy_chk(i8* %{{.*}}, i8* getelementptr inbounds ([9 x i8]* @.str, i32 0, i32 0)) |
Mike Stump | 2623aa2 | 2009-10-29 23:29:54 +0000 | [diff] [blame] | 99 | strcpy(++gp, "Hi there"); |
| 100 | } |
| 101 | |
Daniel Dunbar | d7f7d08 | 2010-06-29 22:00:45 +0000 | [diff] [blame] | 102 | // CHECK: define void @test13 |
Mike Stump | 2623aa2 | 2009-10-29 23:29:54 +0000 | [diff] [blame] | 103 | void test13() { |
Mike Stump | bc773a0 | 2009-12-07 19:22:29 +0000 | [diff] [blame] | 104 | // CHECK-NOT: __strcpy_chk |
Mike Stump | d2635a4 | 2010-01-13 19:40:37 +0000 | [diff] [blame] | 105 | // CHECK: = call i8* @__inline_strcpy_chk(i8* %{{.*}}, i8* getelementptr inbounds ([9 x i8]* @.str, i32 0, i32 0)) |
Mike Stump | 2623aa2 | 2009-10-29 23:29:54 +0000 | [diff] [blame] | 106 | strcpy(gp++, "Hi there"); |
| 107 | } |
| 108 | |
Daniel Dunbar | d7f7d08 | 2010-06-29 22:00:45 +0000 | [diff] [blame] | 109 | // CHECK: define void @test14 |
Mike Stump | 2623aa2 | 2009-10-29 23:29:54 +0000 | [diff] [blame] | 110 | void test14() { |
Mike Stump | bc773a0 | 2009-12-07 19:22:29 +0000 | [diff] [blame] | 111 | // CHECK-NOT: __strcpy_chk |
Mike Stump | d2635a4 | 2010-01-13 19:40:37 +0000 | [diff] [blame] | 112 | // CHECK: = call i8* @__inline_strcpy_chk(i8* %{{.*}}, i8* getelementptr inbounds ([9 x i8]* @.str, i32 0, i32 0)) |
Mike Stump | 2623aa2 | 2009-10-29 23:29:54 +0000 | [diff] [blame] | 113 | strcpy(--gp, "Hi there"); |
| 114 | } |
| 115 | |
Daniel Dunbar | d7f7d08 | 2010-06-29 22:00:45 +0000 | [diff] [blame] | 116 | // CHECK: define void @test15 |
Mike Stump | 2623aa2 | 2009-10-29 23:29:54 +0000 | [diff] [blame] | 117 | void test15() { |
Mike Stump | bc773a0 | 2009-12-07 19:22:29 +0000 | [diff] [blame] | 118 | // CHECK-NOT: __strcpy_chk |
Mike Stump | d2635a4 | 2010-01-13 19:40:37 +0000 | [diff] [blame] | 119 | // CHECK: = call i8* @__inline_strcpy_chk(i8* %{{..*}}, i8* getelementptr inbounds ([9 x i8]* @.str, i32 0, i32 0)) |
Mike Stump | 2623aa2 | 2009-10-29 23:29:54 +0000 | [diff] [blame] | 120 | strcpy(gp--, "Hi there"); |
| 121 | } |
Mike Stump | 3f0147e | 2009-10-29 23:34:20 +0000 | [diff] [blame] | 122 | |
Daniel Dunbar | d7f7d08 | 2010-06-29 22:00:45 +0000 | [diff] [blame] | 123 | // CHECK: define void @test16 |
Mike Stump | 3f0147e | 2009-10-29 23:34:20 +0000 | [diff] [blame] | 124 | void test16() { |
Mike Stump | bc773a0 | 2009-12-07 19:22:29 +0000 | [diff] [blame] | 125 | // CHECK-NOT: __strcpy_chk |
Mike Stump | d2635a4 | 2010-01-13 19:40:37 +0000 | [diff] [blame] | 126 | // CHECK: = call i8* @__inline_strcpy_chk(i8* %{{.*}}, i8* getelementptr inbounds ([9 x i8]* @.str, i32 0, i32 0)) |
Mike Stump | 3f0147e | 2009-10-29 23:34:20 +0000 | [diff] [blame] | 127 | strcpy(gp += 1, "Hi there"); |
| 128 | } |
Benjamin Kramer | 3f27b38 | 2010-01-03 18:18:37 +0000 | [diff] [blame] | 129 | |
Nuno Lopes | f195f2c | 2012-07-13 20:48:52 +0000 | [diff] [blame] | 130 | // CHECK: @test17 |
Benjamin Kramer | 3f27b38 | 2010-01-03 18:18:37 +0000 | [diff] [blame] | 131 | void test17() { |
| 132 | // CHECK: store i32 -1 |
| 133 | gi = __builtin_object_size(gp++, 0); |
| 134 | // CHECK: store i32 -1 |
| 135 | gi = __builtin_object_size(gp++, 1); |
| 136 | // CHECK: store i32 0 |
| 137 | gi = __builtin_object_size(gp++, 2); |
| 138 | // CHECK: store i32 0 |
| 139 | gi = __builtin_object_size(gp++, 3); |
| 140 | } |
Nuno Lopes | f195f2c | 2012-07-13 20:48:52 +0000 | [diff] [blame] | 141 | |
| 142 | // CHECK: @test18 |
| 143 | unsigned test18(int cond) { |
| 144 | int a[4], b[4]; |
| 145 | // CHECK: phi i32* |
| 146 | // CHECK: call i64 @llvm.objectsize.i64 |
| 147 | return __builtin_object_size(cond ? a : b, 0); |
| 148 | } |