Switch over to checking .ll files instead of .s files.

llvm-svn: 90786
This commit is contained in:
Mike Stump 2009-12-07 19:22:29 +00:00
parent 57a67facb8
commit b2a568d9e5
1 changed files with 29 additions and 44 deletions

View File

@ -1,4 +1,4 @@
// RUN: clang-cc -triple x86_64-apple-darwin -S %s -o - | FileCheck %s // RUN: clang-cc -triple x86_64-apple-darwin -emit-llvm %s -o - | FileCheck %s
#define strcpy(dest, src) \ #define strcpy(dest, src) \
((__builtin_object_size(dest, 0) != -1ULL) \ ((__builtin_object_size(dest, 0) != -1ULL) \
@ -14,113 +14,98 @@ char *gp;
int gi, gj; int gi, gj;
void test1() { void test1() {
// CHECK: movabsq $59, %rdx // CHECK: %call = 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)
// CHECK-NEXT: movq
// CHECK-NEXT: movq
// CHECK-NEXT: call ___strcpy_chk
strcpy(&gbuf[4], "Hi there"); strcpy(&gbuf[4], "Hi there");
} }
void test2() { void test2() {
// CHECK: movabsq $63, %rdx // CHECK: %call = 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)
// CHECK-NEXT: movq
// CHECK-NEXT: movq
// CHECK-NEXT: call ___strcpy_chk
strcpy(gbuf, "Hi there"); strcpy(gbuf, "Hi there");
} }
void test3() { void test3() {
// CHECK: movabsq $0, %rdx // CHECK: %call = 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)
// CHECK-NEXT: movq
// CHECK-NEXT: movq
// CHECK-NEXT: call ___strcpy_chk
strcpy(&gbuf[100], "Hi there"); strcpy(&gbuf[100], "Hi there");
} }
void test4() { void test4() {
// CHECK: movabsq $0, %rdx // CHECK: %call = 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)
// CHECK-NEXT: movq
// CHECK-NEXT: movq
// CHECK-NEXT: call ___strcpy_chk
strcpy((char*)(void*)&gbuf[-1], "Hi there"); strcpy((char*)(void*)&gbuf[-1], "Hi there");
} }
void test5() { void test5() {
// CHECK: movq $-1, %rax // CHECK: %tmp = load i8** @gp
// CHECK-NEXT: cmpq $-1, %rax // CHECK-NEXT:%0 = call i64 @llvm.objectsize.i64(i8* %tmp, i32 0)
// CHECK: call ___inline_strcpy_chk // CHECK-NEXT:%cmp = icmp ne i64 %0, -1
strcpy(gp, "Hi there"); strcpy(gp, "Hi there");
} }
void test6() { void test6() {
char buf[57]; char buf[57];
// CHECK: movabsq $53, %rdx // CHECK: %call = call i8* @__strcpy_chk(i8* %arrayidx, i8* getelementptr inbounds ([9 x i8]* @.str, i32 0, i32 0), i64 53)
// CHECK-NEXT: movq
// CHECK-NEXT: movq
// CHECK-NEXT: call ___strcpy_chk
strcpy(&buf[4], "Hi there"); strcpy(&buf[4], "Hi there");
} }
void test7() { void test7() {
int i; int i;
// CHECK-NOT: call ___strcpy_chk // CHECK-NOT: __strcpy_chk
// CHECK: call ___inline_strcpy_chk // CHECK: %call = 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((++i, gbuf), "Hi there"); strcpy((++i, gbuf), "Hi there");
} }
void test8() { void test8() {
char *buf[50]; char *buf[50];
// CHECK-NOT: call ___strcpy_chk // CHECK-NOT: __strcpy_chk
// CHECK: call ___inline_strcpy_chk // CHECK: %call = call i8* @__inline_strcpy_chk(i8* %tmp1, i8* getelementptr inbounds ([9 x i8]* @.str, i32 0, i32 0))
strcpy(buf[++gi], "Hi there"); strcpy(buf[++gi], "Hi there");
} }
void test9() { void test9() {
// CHECK-NOT: call ___strcpy_chk // CHECK-NOT: __strcpy_chk
// CHECK: call ___inline_strcpy_chk // CHECK: %call = call i8* @__inline_strcpy_chk(i8* %0, i8* getelementptr inbounds ([9 x i8]* @.str, i32 0, i32 0))
strcpy((char *)((++gi) + gj), "Hi there"); strcpy((char *)((++gi) + gj), "Hi there");
} }
char **p; char **p;
void test10() { void test10() {
// CHECK-NOT: call ___strcpy_chk // CHECK-NOT: __strcpy_chk
// CHECK: call ___inline_strcpy_chk // CHECK: %call = call i8* @__inline_strcpy_chk(i8* %tmp1, i8* getelementptr inbounds ([9 x i8]* @.str, i32 0, i32 0))
strcpy(*(++p), "Hi there"); strcpy(*(++p), "Hi there");
} }
void test11() { void test11() {
// CHECK-NOT: call ___strcpy_chk // CHECK-NOT: __strcpy_chk
// CHECK: call ___inline_strcpy_chk // CHECK: %call = call i8* @__inline_strcpy_chk(i8* %tmp, i8* getelementptr inbounds ([9 x i8]* @.str, i32 0, i32 0))
strcpy(gp = gbuf, "Hi there"); strcpy(gp = gbuf, "Hi there");
} }
void test12() { void test12() {
// CHECK-NOT: call ___strcpy_chk // CHECK-NOT: __strcpy_chk
// CHECK: call ___inline_strcpy_chk // CHECK: %call = call i8* @__inline_strcpy_chk(i8* %ptrincdec, i8* getelementptr inbounds ([9 x i8]* @.str, i32 0, i32 0))
strcpy(++gp, "Hi there"); strcpy(++gp, "Hi there");
} }
void test13() { void test13() {
// CHECK-NOT: call ___strcpy_chk // CHECK-NOT: __strcpy_chk
// CHECK: call ___inline_strcpy_chk // CHECK: %call = call i8* @__inline_strcpy_chk(i8* %tmp, i8* getelementptr inbounds ([9 x i8]* @.str, i32 0, i32 0))
strcpy(gp++, "Hi there"); strcpy(gp++, "Hi there");
} }
void test14() { void test14() {
// CHECK-NOT: call ___strcpy_chk // CHECK-NOT: __strcpy_chk
// CHECK: call ___inline_strcpy_chk // CHECK: %call = call i8* @__inline_strcpy_chk(i8* %ptrincdec, i8* getelementptr inbounds ([9 x i8]* @.str, i32 0, i32 0))
strcpy(--gp, "Hi there"); strcpy(--gp, "Hi there");
} }
void test15() { void test15() {
// CHECK-NOT: call ___strcpy_chk // CHECK-NOT: __strcpy_chk
// CHECK: call ___inline_strcpy_chk // CHECK: %call = call i8* @__inline_strcpy_chk(i8* %tmp, i8* getelementptr inbounds ([9 x i8]* @.str, i32 0, i32 0))
strcpy(gp--, "Hi there"); strcpy(gp--, "Hi there");
} }
void test16() { void test16() {
// CHECK-NOT: call ___strcpy_chk // CHECK-NOT: __strcpy_chk
// CHECK: call ___inline_strcpy_chk // CHECK: %call = call i8* @__inline_strcpy_chk(i8* %tmp1, i8* getelementptr inbounds ([9 x i8]* @.str, i32 0, i32 0))
strcpy(gp += 1, "Hi there"); strcpy(gp += 1, "Hi there");
} }