diff options
Diffstat (limited to 'test/FrontendC')
267 files changed, 3713 insertions, 0 deletions
diff --git a/test/FrontendC/2002-01-23-LoadQISIReloadFailure.c b/test/FrontendC/2002-01-23-LoadQISIReloadFailure.c new file mode 100644 index 0000000..258d3cc --- /dev/null +++ b/test/FrontendC/2002-01-23-LoadQISIReloadFailure.c @@ -0,0 +1,11 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +/* Regression test. Just compile .c -> .ll to test */ +int foo(void) { + unsigned char *pp; + unsigned w_cnt; + + w_cnt += *pp; + + return w_cnt; +} diff --git a/test/FrontendC/2002-01-24-ComplexSpaceInType.c b/test/FrontendC/2002-01-24-ComplexSpaceInType.c new file mode 100644 index 0000000..9559d5b --- /dev/null +++ b/test/FrontendC/2002-01-24-ComplexSpaceInType.c @@ -0,0 +1,11 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +// This caused generation of the following type name: +// %Array = uninitialized global [10 x %complex int] +// +// which caused problems because of the space int the complex int type +// + +struct { int X, Y; } Array[10]; + +void foo() {} diff --git a/test/FrontendC/2002-01-24-HandleCallInsnSEGV.c b/test/FrontendC/2002-01-24-HandleCallInsnSEGV.c new file mode 100644 index 0000000..09029fb --- /dev/null +++ b/test/FrontendC/2002-01-24-HandleCallInsnSEGV.c @@ -0,0 +1,9 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +void *dlclose(void*); + +void ap_os_dso_unload(void *handle) +{ + dlclose(handle); + return; /* This return triggers the bug: Weird */ +} diff --git a/test/FrontendC/2002-02-13-ConditionalInCall.c b/test/FrontendC/2002-02-13-ConditionalInCall.c new file mode 100644 index 0000000..0dad6ff --- /dev/null +++ b/test/FrontendC/2002-02-13-ConditionalInCall.c @@ -0,0 +1,11 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +/* Test problem where bad code was generated with a ?: statement was + in a function call argument */ + +void foo(int, double, float); + +void bar(int x) { + foo(x, x ? 1.0 : 12.5, 1.0f); +} + diff --git a/test/FrontendC/2002-02-13-ReloadProblem.c b/test/FrontendC/2002-02-13-ReloadProblem.c new file mode 100644 index 0000000..ab9b56d --- /dev/null +++ b/test/FrontendC/2002-02-13-ReloadProblem.c @@ -0,0 +1,18 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +/* This triggered a problem in reload, fixed by disabling most of the + * steps of compilation in GCC. Before this change, the code went through + * the entire backend of GCC, even though it was unnecessary for LLVM output + * now it is skipped entirely, and since reload doesn't run, it can't cause + * a problem. + */ + +extern int tolower(int); + +const char *rangematch(const char *pattern, int test, int c) { + + if ((c <= test) | (tolower(c) <= tolower((unsigned char)test))) + return 0; + + return pattern; +} diff --git a/test/FrontendC/2002-02-13-TypeVarNameCollision.c b/test/FrontendC/2002-02-13-TypeVarNameCollision.c new file mode 100644 index 0000000..ec33401 --- /dev/null +++ b/test/FrontendC/2002-02-13-TypeVarNameCollision.c @@ -0,0 +1,16 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +/* This testcase causes a symbol table collision. Type names and variable + * names should be in distinct namespaces + */ + +typedef struct foo { + int X, Y; +} FOO; + +static FOO foo[100]; + +int test() { + return foo[4].Y; +} + diff --git a/test/FrontendC/2002-02-13-UnnamedLocal.c b/test/FrontendC/2002-02-13-UnnamedLocal.c new file mode 100644 index 0000000..6fdc7ef --- /dev/null +++ b/test/FrontendC/2002-02-13-UnnamedLocal.c @@ -0,0 +1,21 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +/* Testcase for a problem where GCC allocated xqic to a register, + * and did not have a VAR_DECL that explained the stack slot to LLVM. + * Now the LLVM code synthesizes a stack slot if one is presented that + * has not been previously recognized. This is where alloca's named + * 'local' come from now. + */ + +typedef struct { + short x; +} foostruct; + +int foo(foostruct ic); + +void test() { + foostruct xqic; + foo(xqic); +} + + diff --git a/test/FrontendC/2002-02-14-EntryNodePreds.c b/test/FrontendC/2002-02-14-EntryNodePreds.c new file mode 100644 index 0000000..f1e0151 --- /dev/null +++ b/test/FrontendC/2002-02-14-EntryNodePreds.c @@ -0,0 +1,37 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +/* GCC Used to generate code that contained a branch to the entry node of + * the do_merge function. This is illegal LLVM code. To fix this, GCC now + * inserts an entry node regardless of whether or not it has to insert allocas. + */ + +struct edge_rec +{ + struct VERTEX *v; + struct edge_rec *next; + int wasseen; + int more_data; +}; + +typedef struct edge_rec *QUAD_EDGE; + +typedef struct { + QUAD_EDGE left, right; +} EDGE_PAIR; + +struct EDGE_STACK { + int ptr; + QUAD_EDGE *elts; + int stack_size; +}; + +int do_merge(QUAD_EDGE ldo, QUAD_EDGE rdo) { + int lvalid; + QUAD_EDGE basel,rcand; + while (1) { + if (!lvalid) { + return (int)basel->next; + } + } +} + diff --git a/test/FrontendC/2002-02-16-RenamingTest.c b/test/FrontendC/2002-02-16-RenamingTest.c new file mode 100644 index 0000000..952af90 --- /dev/null +++ b/test/FrontendC/2002-02-16-RenamingTest.c @@ -0,0 +1,18 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +/* test that locals are renamed with . notation */ + +void abc(void *); + +void Test5(double X) { + abc(&X); + { + int X; + abc(&X); + { + float X; + abc(&X); + } + } +} + diff --git a/test/FrontendC/2002-02-17-ArgumentAddress.c b/test/FrontendC/2002-02-17-ArgumentAddress.c new file mode 100644 index 0000000..9379295 --- /dev/null +++ b/test/FrontendC/2002-02-17-ArgumentAddress.c @@ -0,0 +1,39 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +int test(int X) { + return X; +} + +void abc(int *X); +int def(int Y, int Z) { + abc(&Z); + return Y; +} + +struct Test { short X, x; int Y, Z; }; + +int Testing(struct Test *A) { + return A->X+A->Y; +} + +int Test2(int X, struct Test A, int Y) { + return X+Y+A.X+A.Y; +} +int Test3(struct Test A, struct Test B) { + return A.X+A.Y+B.Y+B.Z; +} + +struct Test Test4(struct Test A) { + return A; +} + +int Test6() { + int B[200]; + return B[4]; +} + +struct STest2 { int X; short Y[4]; double Z; }; + +struct STest2 Test7(struct STest2 X) { + return X; +} diff --git a/test/FrontendC/2002-02-18-64bitConstant.c b/test/FrontendC/2002-02-18-64bitConstant.c new file mode 100644 index 0000000..6fd3e29 --- /dev/null +++ b/test/FrontendC/2002-02-18-64bitConstant.c @@ -0,0 +1,8 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +/* GCC wasn't handling 64 bit constants right fixed */ + +void main() { + long long Var = 123455678902ll; + printf("%lld\n", Var); +} diff --git a/test/FrontendC/2002-02-18-StaticData.c b/test/FrontendC/2002-02-18-StaticData.c new file mode 100644 index 0000000..10439c3 --- /dev/null +++ b/test/FrontendC/2002-02-18-StaticData.c @@ -0,0 +1,13 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + + +double FOO = 17; +double BAR = 12.0; +float XX = 12.0f; + +static char *procnames[] = { + "EXIT" +}; + +void *Data[] = { &FOO, &BAR, &XX }; + diff --git a/test/FrontendC/2002-03-11-LargeCharInString.c b/test/FrontendC/2002-03-11-LargeCharInString.c new file mode 100644 index 0000000..d8a1671 --- /dev/null +++ b/test/FrontendC/2002-03-11-LargeCharInString.c @@ -0,0 +1,10 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +#include <string.h> + +int test(char *X) { + /* LLVM-GCC used to emit: + %.LC0 = internal global [3 x sbyte] c"\1F\FFFFFF8B\00" + */ + return strcmp(X, "\037\213"); +} diff --git a/test/FrontendC/2002-03-12-ArrayInitialization.c b/test/FrontendC/2002-03-12-ArrayInitialization.c new file mode 100644 index 0000000..d6cf446 --- /dev/null +++ b/test/FrontendC/2002-03-12-ArrayInitialization.c @@ -0,0 +1,19 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +/* GCC would generate bad code if not enough initializers are + specified for an array. + */ + +int a[10] = { 0, 2}; + +char str[10] = "x"; + +void *Arr[5] = { 0, 0 }; + +float F[12] = { 1.23f, 34.7f }; + +struct Test { int X; double Y; }; + +struct Test Array[10] = { { 2, 12.0 }, { 3, 24.0 } }; + +int B[4][4] = { { 1, 2, 3, 4}, { 5, 6, 7 }, { 8, 9 } }; diff --git a/test/FrontendC/2002-03-12-StructInitialize.c b/test/FrontendC/2002-03-12-StructInitialize.c new file mode 100644 index 0000000..5174ad4 --- /dev/null +++ b/test/FrontendC/2002-03-12-StructInitialize.c @@ -0,0 +1,14 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + + +typedef struct Connection_Type { + long to; + char type[10]; + long length; +} Connection; + +Connection link[3] += { {1, "link1", 10}, + {2, "link2", 20}, + {3, "link3", 30} }; + diff --git a/test/FrontendC/2002-03-12-StructInitializer.c b/test/FrontendC/2002-03-12-StructInitializer.c new file mode 100644 index 0000000..cf2ba4e --- /dev/null +++ b/test/FrontendC/2002-03-12-StructInitializer.c @@ -0,0 +1,18 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +/* GCC was not emitting string constants of the correct length when + * embedded into a structure field like this. It thought the strlength + * was -1. + */ + +typedef struct Connection_Type { + long to; + char type[10]; + long length; +} Connection; + +Connection link[3] += { {1, "link1", 10}, + {2, "link2", 20}, + {3, "link3", 30} }; + diff --git a/test/FrontendC/2002-03-14-BrokenPHINode.c b/test/FrontendC/2002-03-14-BrokenPHINode.c new file mode 100644 index 0000000..16d9bc7 --- /dev/null +++ b/test/FrontendC/2002-03-14-BrokenPHINode.c @@ -0,0 +1,19 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +/* GCC was generating PHI nodes with an arity < #pred of the basic block the + * PHI node lived in. This was breaking LLVM because the number of entries + * in a PHI node must equal the number of predecessors for a basic block. + */ + +int trys(char *s, int x) +{ + int asa; + double Val; + int LLS; + if (x) { + asa = LLS + asa; + } else { + } + return asa+(int)Val; +} + diff --git a/test/FrontendC/2002-03-14-BrokenSSA.c b/test/FrontendC/2002-03-14-BrokenSSA.c new file mode 100644 index 0000000..01f2597 --- /dev/null +++ b/test/FrontendC/2002-03-14-BrokenSSA.c @@ -0,0 +1,17 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +/* This code used to break GCC's SSA computation code. It would create + uses of B & C that are not dominated by their definitions. See: + http://gcc.gnu.org/ml/gcc/2002-03/msg00697.html + */ +int bar(); +int foo() +{ + int a,b,c; + + a = b + c; + b = bar(); + c = bar(); + return a + b + c; +} + diff --git a/test/FrontendC/2002-03-14-QuotesInStrConst.c b/test/FrontendC/2002-03-14-QuotesInStrConst.c new file mode 100644 index 0000000..42f82bf --- /dev/null +++ b/test/FrontendC/2002-03-14-QuotesInStrConst.c @@ -0,0 +1,10 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +/* GCC was not escaping quotes in string constants correctly, so this would + * get emitted: + * %.LC1 = internal global [32 x sbyte] c"*** Word "%s" on line %d is not\00" + */ + +const char *Foo() { + return "*** Word \"%s\" on line %d is not"; +} diff --git a/test/FrontendC/2002-04-07-SwitchStmt.c b/test/FrontendC/2002-04-07-SwitchStmt.c new file mode 100644 index 0000000..79632c9 --- /dev/null +++ b/test/FrontendC/2002-04-07-SwitchStmt.c @@ -0,0 +1,22 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +int printf(const char *, ...); +int foo(); + +int main() { + while (foo()) { + switch (foo()) { + case 0: + case 1: + case 2: + case 3: + printf("3"); + case 4: printf("4"); + case 5: + case 6: + default: + break; + } + } + return 0; +} diff --git a/test/FrontendC/2002-04-08-LocalArray.c b/test/FrontendC/2002-04-08-LocalArray.c new file mode 100644 index 0000000..af6ebd6 --- /dev/null +++ b/test/FrontendC/2002-04-08-LocalArray.c @@ -0,0 +1,14 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +/* GCC is not outputting the static array to the LLVM backend, so bad things + * happen. Note that if this is defined static, everything seems fine. + */ +void test(unsigned X) { + double student_t[30]={0.0 , 12.706 , 4.303 , 3.182 , 2.776 , 2.571 , + 2.447 , 2.365 , 2.306 , 2.262 , 2.228 , + 2.201 , 2.179 , 2.160 , 2.145 , 2.131 , + 2.120 , 2.110 , 2.101 , 2.093 , 2.086 , + 2.080 , 2.074 , 2.069 , 2.064 , 2.060 , + 2.056 , 2.052 , 2.048 , 2.045 }; + return student_t[X]; +} diff --git a/test/FrontendC/2002-04-09-StructRetVal.c b/test/FrontendC/2002-04-09-StructRetVal.c new file mode 100644 index 0000000..c655e4a --- /dev/null +++ b/test/FrontendC/2002-04-09-StructRetVal.c @@ -0,0 +1,12 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +struct S { + int i; + short s1, s2; +}; + +struct S func_returning_struct(void); + +void loop(void) { + func_returning_struct(); +} diff --git a/test/FrontendC/2002-04-10-StructParameters.c b/test/FrontendC/2002-04-10-StructParameters.c new file mode 100644 index 0000000..9db6a13 --- /dev/null +++ b/test/FrontendC/2002-04-10-StructParameters.c @@ -0,0 +1,25 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + + +typedef struct { + char p; + short q; + char r; + int X; + short Y, Z; + int Q; +} foo; + +int test(foo X, float); +int testE(char,short,char,int,int,float); +void test3(foo *X) { + X->q = 1; +} + +void test2(foo Y) { + testE(Y.p, Y.q, Y.r, Y.X, Y.Y, 0.1f); + test(Y, 0.1f); + test2(Y); + test3(&Y); +} + diff --git a/test/FrontendC/2002-05-23-StaticValues.c b/test/FrontendC/2002-05-23-StaticValues.c new file mode 100644 index 0000000..bf583e2 --- /dev/null +++ b/test/FrontendC/2002-05-23-StaticValues.c @@ -0,0 +1,15 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +/* Make sure the frontend is correctly marking static stuff as internal! */ + +int X; +static int Y = 12; + +static void foo(int Z) { + Y = Z; +} + +void *test() { + foo(12); + return &Y; +} diff --git a/test/FrontendC/2002-05-23-TypeNameCollision.c b/test/FrontendC/2002-05-23-TypeNameCollision.c new file mode 100644 index 0000000..43faf97 --- /dev/null +++ b/test/FrontendC/2002-05-23-TypeNameCollision.c @@ -0,0 +1,19 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +/* Testcase for when struct tag conflicts with typedef name... grr */ + +typedef struct foo { + struct foo *X; + int Y; +} * foo; + +foo F1; +struct foo *F2; + +enum bar { test1, test2 }; + +typedef float bar; + +enum bar B1; +bar B2; + diff --git a/test/FrontendC/2002-05-24-Alloca.c b/test/FrontendC/2002-05-24-Alloca.c new file mode 100644 index 0000000..ac5b78d --- /dev/null +++ b/test/FrontendC/2002-05-24-Alloca.c @@ -0,0 +1,11 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +#include <string.h> +#include <stdio.h> +#include <stdlib.h> + +int main(int argc, char **argv) { + char *C = (char*)alloca(argc); + strcpy(C, argv[0]); + puts(C); +} diff --git a/test/FrontendC/2002-06-25-FWriteInterfaceFailure.c b/test/FrontendC/2002-06-25-FWriteInterfaceFailure.c new file mode 100644 index 0000000..fb1b54b --- /dev/null +++ b/test/FrontendC/2002-06-25-FWriteInterfaceFailure.c @@ -0,0 +1,7 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +#include <stdio.h> + +void test() { + fprintf(stderr, "testing\n"); +} diff --git a/test/FrontendC/2002-07-14-MiscListTests.c b/test/FrontendC/2002-07-14-MiscListTests.c new file mode 100644 index 0000000..baae585 --- /dev/null +++ b/test/FrontendC/2002-07-14-MiscListTests.c @@ -0,0 +1,71 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +// Test list stuff + +void *malloc(unsigned); + +// Test opaque structure support. the list type is defined later +struct list; + +struct list *PassThroughList(struct list *L) { + return L; +} + + +// Recursive data structure tests... + +typedef struct list { + int Data; + struct list *Next; +} list; + +list *Data; + +void foo() { + static int Foo = 0; // Test static local variable + Foo += 1; // Increment static variable + + Data = (list*)malloc(12); // This is not a proper list allocation +} + +extern list ListNode1; +list ListNode3 = { 4, 0 }; +list ListNode2 = { 3, &ListNode3 }; +list ListNode0 = { 1, &ListNode1 }; +list ListNode1 = { 2, &ListNode2 }; + + +list ListArray[10]; + +// Iterative insert fn +void InsertIntoListTail(list **L, int Data) { + while (*L) + L = &(*L)->Next; + *L = (list*)malloc(sizeof(list)); + (*L)->Data = Data; + (*L)->Next = 0; +} + +// Recursive list search fn +list *FindData(list *L, int Data) { + if (L == 0) return 0; + if (L->Data == Data) return L; + return FindData(L->Next, Data); +} + +void foundIt(void); + +// Driver fn... +void DoListStuff() { + list *MyList = 0; + InsertIntoListTail(&MyList, 100); + InsertIntoListTail(&MyList, 12); + InsertIntoListTail(&MyList, 42); + InsertIntoListTail(&MyList, 1123); + InsertIntoListTail(&MyList, 1213); + + if (FindData(MyList, 75)) foundIt(); + if (FindData(MyList, 42)) foundIt(); + if (FindData(MyList, 700)) foundIt(); +} + diff --git a/test/FrontendC/2002-07-14-MiscTests.c b/test/FrontendC/2002-07-14-MiscTests.c new file mode 100644 index 0000000..e78dbd7 --- /dev/null +++ b/test/FrontendC/2002-07-14-MiscTests.c @@ -0,0 +1,57 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +/* These are random tests that I used when working on the GCC frontend + originally. */ + +// test floating point comparison! +int floatcomptest(double *X, double *Y, float *x, float *y) { + return *X < *Y || *x < *y; +} + +extern void *malloc(unsigned); + +// Exposed a bug +void *memset_impl(void *dstpp, int c, unsigned len) { + long long int dstp = (long long int) dstpp; + + while (dstp % 4 != 0) + { + ((unsigned char *) dstp)[0] = c; + dstp += 1; + len -= 1; + } + return dstpp; +} + +// TEST problem with signed/unsigned versions of the same constants being shared +// incorrectly! +// +static char *temp; +static int remaining; +static char *localmalloc(int size) { + char *blah; + + if (size>remaining) + { + temp = (char *) malloc(32768); + remaining = 32768; + return temp; + } + return 0; +} + +typedef struct { double X; double Y; int Z; } PBVTest; + +PBVTest testRetStruct(float X, double Y, int Z) { + PBVTest T = { X, Y, Z }; + return T; +} +PBVTest testRetStruct2(void); // external func no inlining + + +double CallRetStruct(float X, double Y, int Z) { + PBVTest T = testRetStruct2(); + return T.X+X+Y+Z; +} + + diff --git a/test/FrontendC/2002-07-14-MiscTests2.c b/test/FrontendC/2002-07-14-MiscTests2.c new file mode 100644 index 0000000..ac58926 --- /dev/null +++ b/test/FrontendC/2002-07-14-MiscTests2.c @@ -0,0 +1,13 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + + +// Test ?: in function calls +extern fp(int, char*); +char *Ext; +void +__bb_exit_func (void) +{ + fp (12, Ext ? Ext : "<none>"); +} + + diff --git a/test/FrontendC/2002-07-14-MiscTests3.c b/test/FrontendC/2002-07-14-MiscTests3.c new file mode 100644 index 0000000..9a262d5 --- /dev/null +++ b/test/FrontendC/2002-07-14-MiscTests3.c @@ -0,0 +1,187 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + + + +void *malloc(unsigned); + +//#include <stdio.h> +int puts(const char *s); + +struct FunStructTest { + int Test1; + char *Pointer; + int Array[12]; +}; + +struct SubStruct { + short X, Y; +}; + +struct Quad { + int w; + struct SubStruct SS; + struct SubStruct *SSP; + char c; + int y; +}; + +struct Quad GlobalQuad = { 4, {1, 2}, 0, 3, 156 }; + +typedef int (*FuncPtr)(int); + +unsigned PtrFunc(int (*Func)(int), int X) { + return Func(X); +} + +char PtrFunc2(FuncPtr FuncTab[30], int Num) { + return FuncTab[Num]('b'); +} + +extern char SmallArgs2(char w, char x, long long Zrrk, char y, char z); +extern int SomeFunc(void); +char SmallArgs(char w, char x, char y, char z) { + SomeFunc(); + return SmallArgs2(w-1, x+1, y, z, w); +} + +static int F0(struct Quad Q, int i) { /* Pass Q by value */ + struct Quad R; + if (i) R.SS = Q.SS; + Q.SSP = &R.SS; + Q.w = Q.y = Q.c = 1; + return Q.SS.Y + i + R.y - Q.c; +} + +int F1(struct Quad *Q, int i) { /* Pass Q by address */ + struct Quad R; +#if 0 + if (i) R.SS = Q->SS; +#else + if (i) R = *Q; +#endif + Q->w = Q->y = Q->c = 1; + return Q->SS.Y+i+R.y-Q->c; +} + + +int BadFunc(float Val) { + int Result; + if (Val > 12.345) Result = 4; + return Result; /* Test use of undefined value */ +} + +int RealFunc(void) { + return SomeUndefinedFunction(1, 4, 5); +} + +extern int EF1(int *, char *, int *); + +int Func(int Param, long long Param2) { + int Result = Param; + + {{{{ + char c; int X; + EF1(&Result, &c, &X); + }}} + + { // c & X are duplicate names! + char c; int X; + EF1(&Result, &c, &X); + } + + } + return Result; +} + + +short FunFunc(long long x, char z) { + return x+z; +} + +unsigned castTest(int X) { return X; } + +double TestAdd(double X, float Y) { + return X+Y+.5; +} + +int func(int i, int j) { + while (i != 20) + i += 2; + + j += func(2, i); + return (i * 3 + j*2)*j; +} + +int SumArray(int Array[], int Num) { + int i, Result = 0; + for (i = 0; i < Num; ++i) + Result += Array[i]; + + return Result; +} + +int ArrayParam(int Values[100]) { + return EF1((int*)Values[50], (char*)1, &Values[50]); +} + +int ArrayToSum(void) { + int A[100], i; + for (i = 0; i < 100; ++i) + A[i] = i*4; + + return A[A[0]]; //SumArray(A, 100); +} + + +int ExternFunc(long long, unsigned*, short, unsigned char); + +int main(int argc, char *argv[]) { + unsigned i; + puts("Hello world!\n"); + + ExternFunc(-1, 0, (short)argc, 2); + //func(argc, argc); + + for (i = 0; i < 10; i++) + puts(argv[3]); + return 0; +} + +double MathFunc(double X, double Y, double Z, + double AA, double BB, double CC, double DD, + double EE, double FF, double GG, double HH, + double aAA, double aBB, double aCC, double aDD, + double aEE, double aFF) { + return X + Y + Z + AA + BB + CC + DD + EE + FF + GG + HH + + aAA + aBB + aCC + aDD + aEE + aFF; +} + + + +void strcpy(char *s1, char *s2) { + while (*s1++ = *s2++); +} + +void strcat(char *s1, char *s2) { + while (*s1++); + s1--; + while (*s1++ = *s2++); +} + +int strcmp(char *s1, char *s2) { + while (*s1++ == *s2++); + if (*s1 == 0) { + if (*s2 == 0) { + return 0; + } else { + return -1; + } + } else { + if (*s2 == 0) { + return 1; + } else { + return (*(--s1) - *(--s2)); + } + } +} + diff --git a/test/FrontendC/2002-07-16-HardStringInit.c b/test/FrontendC/2002-07-16-HardStringInit.c new file mode 100644 index 0000000..d1d0321 --- /dev/null +++ b/test/FrontendC/2002-07-16-HardStringInit.c @@ -0,0 +1,8 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + + char auto_kibitz_list[100][20] = { + {"diepx"}, + {"ferret"}, + {"knightc"}, + {"knightcap"}}; + diff --git a/test/FrontendC/2002-07-17-StringConstant.c b/test/FrontendC/2002-07-17-StringConstant.c new file mode 100644 index 0000000..8a39203 --- /dev/null +++ b/test/FrontendC/2002-07-17-StringConstant.c @@ -0,0 +1,4 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + + +char * foo() { return "\\begin{"; } diff --git a/test/FrontendC/2002-07-29-Casts.c b/test/FrontendC/2002-07-29-Casts.c new file mode 100644 index 0000000..6794e80 --- /dev/null +++ b/test/FrontendC/2002-07-29-Casts.c @@ -0,0 +1,86 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +#include <stdlib.h> +#include <stdio.h> +#include <sys/types.h> + +int +main(int argc, char** argv) +{ + char c1; + short s1, ssf1, ssd1; + unsigned char ubs0; + signed char bs0; + unsigned char ubc0, uc2; + unsigned short us2, usf1, usd1; + int ic3, is3, sif1, sid1; + unsigned int uic4, uis4, uif1, uid1; + long slf1, sld1; + unsigned long ulf1, uld1; + float f1; + double d1; + + /* Test integer to integer conversions */ + + c1 = (char) (argc >= 2)? atoi(argv[1]) : 0xff64; /* 100 = 'd' */ + s1 = (short) (argc >= 3)? atoi(argv[2]) : -769; /* 0xf7ff = -769 */ + + ubc0 = (unsigned char) c1; /* 100 = 'd' */ + ubs0 = (unsigned char) s1; /* 0xff = 255 */ + bs0 = (signed char) s1; /* 0xff = -1 */ + + uc2 = (unsigned char) c1; /* 100 = 'd' */ + us2 = (unsigned short) s1; /* 0xf7ff = 64767 */ + + ic3 = (int) c1; /* 100 = 'd' */ + is3 = (int) s1; /* 0xfffff7ff = -769 */ + + uic4 = (unsigned int) c1; /* 100 = 'd' */ + uis4 = (unsigned int) s1; /* 0xfffff7ff = 4294966527 */ + + printf("ubc0 = '%c'\n", ubc0); + printf("ubs0 = %u\n", ubs0); + printf("bs0 = %d\n", bs0); + printf("c1 = '%c'\n", c1); + printf("s1 = %d\n", s1); + printf("uc2 = '%c'\n", uc2); + printf("us2 = %u\n", us2); + printf("ic3 = '%c'\n", ic3); + printf("is3 = %d\n", is3); + printf("uic4 = '%c'\n", uic4); + printf("uis4 = %u\n", uis4); + + /* Test floating-point to integer conversions */ + f1 = (float) (argc >= 4)? atof(argv[3]) : 1.0; + d1 = (argc >= 5)? atof(argv[4]) : 2.0; + + usf1 = (unsigned short) f1; + usd1 = (unsigned short) d1; + uif1 = (unsigned int) f1; + uid1 = (unsigned int) d1; + ulf1 = (unsigned long) f1; + uld1 = (unsigned long) d1; + + ssf1 = (short) f1; + ssd1 = (short) d1; + sif1 = (int) f1; + sid1 = (int) d1; + slf1 = (long) f1; + sld1 = (long) d1; + + printf("usf1 = %u\n", usf1); + printf("usd1 = %u\n", usd1); + printf("uif1 = %u\n", uif1); + printf("uid1 = %u\n", uid1); + printf("ulf1 = %u\n", ulf1); + printf("uld1 = %u\n", uld1); + + printf("ssf1 = %d\n", ssf1); + printf("ssd1 = %d\n", ssd1); + printf("sif1 = %d\n", sif1); + printf("sid1 = %d\n", sid1); + printf("slf1 = %d\n", slf1); + printf("sld1 = %d\n", sld1); + + return 0; +} diff --git a/test/FrontendC/2002-07-30-SubregSetAssertion.c b/test/FrontendC/2002-07-30-SubregSetAssertion.c new file mode 100644 index 0000000..6d4f9f6 --- /dev/null +++ b/test/FrontendC/2002-07-30-SubregSetAssertion.c @@ -0,0 +1,12 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + + +union X { + void *B; +}; + +union X foo() { + union X A; + A.B = (void*)123; + return A; +} diff --git a/test/FrontendC/2002-07-30-UnionTest.c b/test/FrontendC/2002-07-30-UnionTest.c new file mode 100644 index 0000000..b2c481e --- /dev/null +++ b/test/FrontendC/2002-07-30-UnionTest.c @@ -0,0 +1,22 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +union X; +struct Empty {}; +union F {}; +union Q { union Q *X; }; +union X { + char C; + int A, Z; + long long B; + void *b1; + struct { int A; long long Z; } Q; +}; + +union X foo(union X A) { + A.C = 123; + A.A = 39249; + //A.B = (void*)123040123321; + A.B = 12301230123123LL; + A.Z = 1; + return A; +} diff --git a/test/FrontendC/2002-07-30-VarArgsCallFailure.c b/test/FrontendC/2002-07-30-VarArgsCallFailure.c new file mode 100644 index 0000000..b37a462 --- /dev/null +++ b/test/FrontendC/2002-07-30-VarArgsCallFailure.c @@ -0,0 +1,8 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +int tcount; +void test(char *, const char*, int); +void foo() { + char Buf[10]; + test(Buf, "n%%%d", tcount++); +} diff --git a/test/FrontendC/2002-07-31-BadAssert.c b/test/FrontendC/2002-07-31-BadAssert.c new file mode 100644 index 0000000..5801d03 --- /dev/null +++ b/test/FrontendC/2002-07-31-BadAssert.c @@ -0,0 +1,16 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +typedef struct +{ + unsigned char type; /* Indicates, NORMAL, SUBNORMAL, etc. */ +} InternalFPF; + + +static void SetInternalFPFZero(InternalFPF *dest) { + dest->type=0; +} + +void denormalize(InternalFPF *ptr) { + SetInternalFPFZero(ptr); +} + diff --git a/test/FrontendC/2002-07-31-SubregFailure.c b/test/FrontendC/2002-07-31-SubregFailure.c new file mode 100644 index 0000000..15573f9 --- /dev/null +++ b/test/FrontendC/2002-07-31-SubregFailure.c @@ -0,0 +1,14 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + + +typedef union { + long (*ap)[4]; +} ptrs; + +void DoAssignIteration() { + ptrs abase; + abase.ap+=27; + Assignment(*abase.ap); +} + + diff --git a/test/FrontendC/2002-08-02-UnionTest.c b/test/FrontendC/2002-08-02-UnionTest.c new file mode 100644 index 0000000..bc44e46 --- /dev/null +++ b/test/FrontendC/2002-08-02-UnionTest.c @@ -0,0 +1,19 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +/* In this testcase, the return value of foo() is being promotedto a register + * which breaks stuff + */ +#include <stdio.h> + +union X { char X; void *B; int a, b, c, d;}; + +union X foo() { + union X Global; + Global.B = (void*)123; /* Interesting part */ + return Global; +} + +void main() { + union X test = foo(); + printf("0x%p", test.B); +} diff --git a/test/FrontendC/2002-08-19-RecursiveLocals.c b/test/FrontendC/2002-08-19-RecursiveLocals.c new file mode 100644 index 0000000..e5007af --- /dev/null +++ b/test/FrontendC/2002-08-19-RecursiveLocals.c @@ -0,0 +1,18 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +/* This testcase doesn't actually test a bug, it's just the result of me + * figuring out the syntax for forward declaring a static variable. */ +struct list { + int x; + struct list *Next; +}; + +static struct list B; /* Forward declare static */ +static struct list A = { 7, &B }; +static struct list B = { 8, &A }; + +extern struct list D; /* forward declare normal var */ + +struct list C = { 7, &D }; +struct list D = { 8, &C }; + diff --git a/test/FrontendC/2002-09-08-PointerShifts.c b/test/FrontendC/2002-09-08-PointerShifts.c new file mode 100644 index 0000000..cc7e91a --- /dev/null +++ b/test/FrontendC/2002-09-08-PointerShifts.c @@ -0,0 +1,6 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + + +int foo(int *A, unsigned X) { + return A[X]; +} diff --git a/test/FrontendC/2002-09-18-UnionProblem.c b/test/FrontendC/2002-09-18-UnionProblem.c new file mode 100644 index 0000000..56ec6ce --- /dev/null +++ b/test/FrontendC/2002-09-18-UnionProblem.c @@ -0,0 +1,26 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + + +struct DWstruct { + char high, low; +}; + +typedef union { + struct DWstruct s; + short ll; +} DWunion; + +short __udivmodhi4 (char n1, char bm) { + DWunion rr; + + if (bm == 0) + { + rr.s.high = n1; + } + else + { + rr.s.high = bm; + } + + return rr.ll; +} diff --git a/test/FrontendC/2002-09-19-StarInLabel.c b/test/FrontendC/2002-09-19-StarInLabel.c new file mode 100644 index 0000000..86a2571 --- /dev/null +++ b/test/FrontendC/2002-09-19-StarInLabel.c @@ -0,0 +1,9 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +extern void start() __asm__("start"); +extern void _start() __asm__("_start"); +extern void __start() __asm__("__start"); +void start() {} +void _start() {} +void __start() {} + diff --git a/test/FrontendC/2002-10-12-TooManyArguments.c b/test/FrontendC/2002-10-12-TooManyArguments.c new file mode 100644 index 0000000..206cdd9 --- /dev/null +++ b/test/FrontendC/2002-10-12-TooManyArguments.c @@ -0,0 +1,8 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + + +void foo() {} + +void bar() { + foo(1, 2, 3); /* Too many arguments passed */ +} diff --git a/test/FrontendC/2002-12-15-GlobalBoolTest.c b/test/FrontendC/2002-12-15-GlobalBoolTest.c new file mode 100644 index 0000000..6b27391 --- /dev/null +++ b/test/FrontendC/2002-12-15-GlobalBoolTest.c @@ -0,0 +1,5 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + + +_Bool X = 0; + diff --git a/test/FrontendC/2002-12-15-GlobalConstantTest.c b/test/FrontendC/2002-12-15-GlobalConstantTest.c new file mode 100644 index 0000000..a5a679d --- /dev/null +++ b/test/FrontendC/2002-12-15-GlobalConstantTest.c @@ -0,0 +1,8 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + + +const char *W = "foo"; +const int X = 7; +int Y = 8; +const char * const Z = "bar"; + diff --git a/test/FrontendC/2002-12-15-GlobalRedefinition.c b/test/FrontendC/2002-12-15-GlobalRedefinition.c new file mode 100644 index 0000000..39632a1 --- /dev/null +++ b/test/FrontendC/2002-12-15-GlobalRedefinition.c @@ -0,0 +1,5 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +extern char algbrfile[9]; +char algbrfile[9] = "abcdefgh"; + diff --git a/test/FrontendC/2002-12-15-StructParameters.c b/test/FrontendC/2002-12-15-StructParameters.c new file mode 100644 index 0000000..c85dab1 --- /dev/null +++ b/test/FrontendC/2002-12-15-StructParameters.c @@ -0,0 +1,18 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +typedef struct +{ + void *stack; + unsigned size; + unsigned avail; +} compile_stack_type; + +void foo(void*); +void bar(compile_stack_type T, unsigned); + +void test() { + compile_stack_type CST; + foo(&CST); + + bar(CST, 12); +} diff --git a/test/FrontendC/2003-01-30-UnionInit.c b/test/FrontendC/2003-01-30-UnionInit.c new file mode 100644 index 0000000..5769584 --- /dev/null +++ b/test/FrontendC/2003-01-30-UnionInit.c @@ -0,0 +1,8 @@ +// RUN: %llvmgcc -S %s -o /dev/null + +union foo { + struct { char A, B; } X; + int C; +}; + +union foo V = { {1, 2} }; diff --git a/test/FrontendC/2003-03-03-DeferredType.c b/test/FrontendC/2003-03-03-DeferredType.c new file mode 100644 index 0000000..fa51991 --- /dev/null +++ b/test/FrontendC/2003-03-03-DeferredType.c @@ -0,0 +1,12 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + + + + +struct foo A; + +struct foo { + int x; +double D; +}; + diff --git a/test/FrontendC/2003-06-22-UnionCrash.c b/test/FrontendC/2003-06-22-UnionCrash.c new file mode 100644 index 0000000..dab0716 --- /dev/null +++ b/test/FrontendC/2003-06-22-UnionCrash.c @@ -0,0 +1,13 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +struct Blend_Map_Entry { + union { + float Colour[5]; + double Point_Slope[2]; + } Vals; +}; + +void test(struct Blend_Map_Entry* Foo) +{ +} + diff --git a/test/FrontendC/2003-06-23-GCC-fold-infinite-recursion.c b/test/FrontendC/2003-06-23-GCC-fold-infinite-recursion.c new file mode 100644 index 0000000..ba66276 --- /dev/null +++ b/test/FrontendC/2003-06-23-GCC-fold-infinite-recursion.c @@ -0,0 +1,6 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +double Test(double A, double B, double C, double D) { + return -(A-B) - (C-D); +} + diff --git a/test/FrontendC/2003-06-26-CFECrash.c b/test/FrontendC/2003-06-26-CFECrash.c new file mode 100644 index 0000000..bb6977f --- /dev/null +++ b/test/FrontendC/2003-06-26-CFECrash.c @@ -0,0 +1,19 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +typedef struct min_info { + long offset; + unsigned file_attr; +} min_info; + +typedef struct Globals { + char answerbuf; + min_info info[1]; + min_info *pInfo; +} Uz_Globs; + +extern Uz_Globs G; + +int extract_or_test_files() { + G.pInfo = G.info; +} + diff --git a/test/FrontendC/2003-06-29-MultipleFunctionDefinition.c b/test/FrontendC/2003-06-29-MultipleFunctionDefinition.c new file mode 100644 index 0000000..b7bc803 --- /dev/null +++ b/test/FrontendC/2003-06-29-MultipleFunctionDefinition.c @@ -0,0 +1,8 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +/* This is apparently legal C. + */ +extern __inline__ void test() { } + +void test() { +} diff --git a/test/FrontendC/2003-07-22-ArrayAccessTypeSafety.c b/test/FrontendC/2003-07-22-ArrayAccessTypeSafety.c new file mode 100644 index 0000000..51e66c9 --- /dev/null +++ b/test/FrontendC/2003-07-22-ArrayAccessTypeSafety.c @@ -0,0 +1,7 @@ +/* RUN: %llvmgcc -xc %s -S -o - | grep -v alloca | not grep bitcast + */ + +void test(int* array, long long N) { + array[N] = N[array] = 33; +} + diff --git a/test/FrontendC/2003-08-06-BuiltinSetjmpLongjmp.c b/test/FrontendC/2003-08-06-BuiltinSetjmpLongjmp.c new file mode 100644 index 0000000..39412e5 --- /dev/null +++ b/test/FrontendC/2003-08-06-BuiltinSetjmpLongjmp.c @@ -0,0 +1,14 @@ +/* RUN: %llvmgcc -xc %s -c -o - | llvm-dis | not grep __builtin_ + * + * __builtin_longjmp/setjmp should get transformed into llvm.setjmp/longjmp + * just like explicit setjmp/longjmp calls are. + */ + +void jumpaway(int *ptr) { + __builtin_longjmp(ptr,1); +} + +int main(void) { + __builtin_setjmp(0); + jumpaway(0); +} diff --git a/test/FrontendC/2003-08-17-DeadCodeShortCircuit.c b/test/FrontendC/2003-08-17-DeadCodeShortCircuit.c new file mode 100644 index 0000000..c275fee --- /dev/null +++ b/test/FrontendC/2003-08-17-DeadCodeShortCircuit.c @@ -0,0 +1,7 @@ +// RUN: %llvmgcc -xc %s -c -o %t.o + +int test(_Bool pos, _Bool color) { + return 0; + return (pos && color); +} + diff --git a/test/FrontendC/2003-08-18-SigSetJmp.c b/test/FrontendC/2003-08-18-SigSetJmp.c new file mode 100644 index 0000000..b7f4553 --- /dev/null +++ b/test/FrontendC/2003-08-18-SigSetJmp.c @@ -0,0 +1,10 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + + +#include <setjmp.h> + +sigjmp_buf B; +int foo() { + sigsetjmp(B, 1); + bar(); +} diff --git a/test/FrontendC/2003-08-18-StructAsValue.c b/test/FrontendC/2003-08-18-StructAsValue.c new file mode 100644 index 0000000..649eadc --- /dev/null +++ b/test/FrontendC/2003-08-18-StructAsValue.c @@ -0,0 +1,11 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + + +typedef struct { + int op; +} event_t; + +event_t test(int X) { + event_t foo = { 1 }, bar = { 2 }; + return X ? foo : bar; +} diff --git a/test/FrontendC/2003-08-20-BadBitfieldRef.c b/test/FrontendC/2003-08-20-BadBitfieldRef.c new file mode 100644 index 0000000..58cf1bc --- /dev/null +++ b/test/FrontendC/2003-08-20-BadBitfieldRef.c @@ -0,0 +1,8 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +void foo() +{ + char *ap; + ap[1] == '-' && ap[2] == 0; +} + diff --git a/test/FrontendC/2003-08-20-PrototypeMismatch.c b/test/FrontendC/2003-08-20-PrototypeMismatch.c new file mode 100644 index 0000000..8358a2f --- /dev/null +++ b/test/FrontendC/2003-08-20-PrototypeMismatch.c @@ -0,0 +1,15 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + + + +static int foo(int); + +static int foo(C) +char C; +{ + return C; +} + +void test() { + foo(7); +} diff --git a/test/FrontendC/2003-08-20-vfork-bug.c b/test/FrontendC/2003-08-20-vfork-bug.c new file mode 100644 index 0000000..575bfd6 --- /dev/null +++ b/test/FrontendC/2003-08-20-vfork-bug.c @@ -0,0 +1,6 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +extern int vfork(void); +test() { + vfork(); +} diff --git a/test/FrontendC/2003-08-21-BinOp-Type-Mismatch.c b/test/FrontendC/2003-08-21-BinOp-Type-Mismatch.c new file mode 100644 index 0000000..8829652 --- /dev/null +++ b/test/FrontendC/2003-08-21-BinOp-Type-Mismatch.c @@ -0,0 +1,10 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +struct bar; + +void foo() +{ + unsigned int frame, focus; + (struct bar *) focus == (focus ? ((struct bar *) frame) : 0); +} + diff --git a/test/FrontendC/2003-08-21-StmtExpr.c b/test/FrontendC/2003-08-21-StmtExpr.c new file mode 100644 index 0000000..878ed47 --- /dev/null +++ b/test/FrontendC/2003-08-21-StmtExpr.c @@ -0,0 +1,12 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + + +typedef struct { + unsigned long val; +} structty; + +void bar(structty new_mask); +static void foo() { + bar(({ structty mask; mask; })); +} + diff --git a/test/FrontendC/2003-08-21-WideString.c b/test/FrontendC/2003-08-21-WideString.c new file mode 100644 index 0000000..0a833dc --- /dev/null +++ b/test/FrontendC/2003-08-21-WideString.c @@ -0,0 +1,5 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +struct { + int *name; +} syms = { L"NUL" }; diff --git a/test/FrontendC/2003-08-23-LocalUnionTest.c b/test/FrontendC/2003-08-23-LocalUnionTest.c new file mode 100644 index 0000000..dc27802 --- /dev/null +++ b/test/FrontendC/2003-08-23-LocalUnionTest.c @@ -0,0 +1,11 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + + + +union foo { int X; }; + +int test(union foo* F) { + { + union foo { float X; } A; + } +} diff --git a/test/FrontendC/2003-08-29-BitFieldStruct.c b/test/FrontendC/2003-08-29-BitFieldStruct.c new file mode 100644 index 0000000..8c303e8 --- /dev/null +++ b/test/FrontendC/2003-08-29-BitFieldStruct.c @@ -0,0 +1,13 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +struct Word { + short bar; + short baz; + int final:1; + short quux; +} *word_limit; + +void foo () +{ + word_limit->final = (word_limit->final && word_limit->final); +} diff --git a/test/FrontendC/2003-08-29-HugeCharConst.c b/test/FrontendC/2003-08-29-HugeCharConst.c new file mode 100644 index 0000000..a997994 --- /dev/null +++ b/test/FrontendC/2003-08-29-HugeCharConst.c @@ -0,0 +1,5 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +void foo() { + unsigned char int_latin1[] = "f\200\372b\200\343\200\340"; +} diff --git a/test/FrontendC/2003-08-29-StructLayoutBug.c b/test/FrontendC/2003-08-29-StructLayoutBug.c new file mode 100644 index 0000000..a5f6fb1 --- /dev/null +++ b/test/FrontendC/2003-08-29-StructLayoutBug.c @@ -0,0 +1,10 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +struct foo { + unsigned int I:1; + unsigned char J[1]; + unsigned int K:1; + }; + +void test(struct foo *X) {} + diff --git a/test/FrontendC/2003-08-30-AggregateInitializer.c b/test/FrontendC/2003-08-30-AggregateInitializer.c new file mode 100644 index 0000000..58c77b6 --- /dev/null +++ b/test/FrontendC/2003-08-30-AggregateInitializer.c @@ -0,0 +1,16 @@ +// RUN: %llvmgcc -S %s -o /dev/null + +struct istruct { + unsigned char C; +}; + +struct foo { + unsigned int I:1; + struct istruct J; + unsigned char L[1]; + unsigned int K:1; +}; + +struct foo F = { 1, { 7 }, { 123 } , 1 }; + + diff --git a/test/FrontendC/2003-08-30-LargeIntegerBitfieldMember.c b/test/FrontendC/2003-08-30-LargeIntegerBitfieldMember.c new file mode 100644 index 0000000..f67aee4 --- /dev/null +++ b/test/FrontendC/2003-08-30-LargeIntegerBitfieldMember.c @@ -0,0 +1,9 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +struct foo { + unsigned int I:1; + unsigned char J[1][123]; + unsigned int K:1; + }; + +struct foo F; diff --git a/test/FrontendC/2003-09-18-BitfieldTests.c b/test/FrontendC/2003-09-18-BitfieldTests.c new file mode 100644 index 0000000..3a7879b --- /dev/null +++ b/test/FrontendC/2003-09-18-BitfieldTests.c @@ -0,0 +1,30 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + + +typedef struct BF { + int A : 1; + char B; + int C : 13; +} BF; + +char *test1(BF *b) { + return &b->B; // Must be able to address non-bitfield +} + +void test2(BF *b) { // Increment and decrement operators + b->A++; + --b->C; +} + +void test3(BF *b) { + b->C = 12345; // Store +} + +int test4(BF *b) { + return b->C; // Load +} + +void test5(BF *b, int i) { // array ref + b[i].C = 12345; +} + diff --git a/test/FrontendC/2003-09-30-StructLayout.c b/test/FrontendC/2003-09-30-StructLayout.c new file mode 100644 index 0000000..3a40166 --- /dev/null +++ b/test/FrontendC/2003-09-30-StructLayout.c @@ -0,0 +1,18 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +enum En { + ENUM_VAL +}; + +struct St { + unsigned char A; + enum En B; + unsigned char C; + enum En D; + float E; +}; + + +void func(struct St* A) { + A->D = ENUM_VAL; +} diff --git a/test/FrontendC/2003-10-02-UnionLValueError.c b/test/FrontendC/2003-10-02-UnionLValueError.c new file mode 100644 index 0000000..732f93a --- /dev/null +++ b/test/FrontendC/2003-10-02-UnionLValueError.c @@ -0,0 +1,11 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +union U{ + int i[8]; + char s[80]; +}; + +void format_message(char *buffer, union U *u) { + sprintf(buffer, u->s); +} + diff --git a/test/FrontendC/2003-10-06-NegateExprType.c b/test/FrontendC/2003-10-06-NegateExprType.c new file mode 100644 index 0000000..0238603 --- /dev/null +++ b/test/FrontendC/2003-10-06-NegateExprType.c @@ -0,0 +1,8 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + + +extern int A[10]; +void Func(int *B) { + B - &A[5]; +} + diff --git a/test/FrontendC/2003-10-09-UnionInitializerBug.c b/test/FrontendC/2003-10-09-UnionInitializerBug.c new file mode 100644 index 0000000..90dbd37 --- /dev/null +++ b/test/FrontendC/2003-10-09-UnionInitializerBug.c @@ -0,0 +1,17 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +struct Foo { + unsigned a; + unsigned b; + unsigned c; +}; + +struct Bar { + union { + void **a; + struct Foo b; + }u; +}; + +struct Bar test = {0}; + diff --git a/test/FrontendC/2003-10-28-ident.c b/test/FrontendC/2003-10-28-ident.c new file mode 100644 index 0000000..9911dfd --- /dev/null +++ b/test/FrontendC/2003-10-28-ident.c @@ -0,0 +1,4 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + + +#ident "foo" diff --git a/test/FrontendC/2003-10-29-AsmRename.c b/test/FrontendC/2003-10-29-AsmRename.c new file mode 100644 index 0000000..5750ced --- /dev/null +++ b/test/FrontendC/2003-10-29-AsmRename.c @@ -0,0 +1,22 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + + +struct foo { int X; }; +struct bar { int Y; }; + +extern int Func(struct foo*) __asm__("Func64"); +extern int Func64(struct bar*); + +int Func(struct foo *F) { + return 1; +} + +int Func64(struct bar* B) { + return 0; +} + + +int test() { + Func(0); /* should be renamed to call Func64 */ + Func64(0); +} diff --git a/test/FrontendC/2003-11-01-C99-CompoundLiteral.c b/test/FrontendC/2003-11-01-C99-CompoundLiteral.c new file mode 100644 index 0000000..a0aa698 --- /dev/null +++ b/test/FrontendC/2003-11-01-C99-CompoundLiteral.c @@ -0,0 +1,8 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +typedef struct { int foo; } spinlock_t; +typedef struct wait_queue_head_t { spinlock_t lock; } wait_queue_head_t; +void call_usermodehelper(void) { + struct wait_queue_head_t work = { lock: (spinlock_t) { 0 }, }; +} + diff --git a/test/FrontendC/2003-11-01-EmptyStructCrash.c b/test/FrontendC/2003-11-01-EmptyStructCrash.c new file mode 100644 index 0000000..fb6993b --- /dev/null +++ b/test/FrontendC/2003-11-01-EmptyStructCrash.c @@ -0,0 +1,6 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +typedef struct { } the_coolest_struct_in_the_world; +extern the_coolest_struct_in_the_world xyzzy; +void *foo() { return &xyzzy; } + diff --git a/test/FrontendC/2003-11-01-GlobalUnionInit.c b/test/FrontendC/2003-11-01-GlobalUnionInit.c new file mode 100644 index 0000000..be7788d --- /dev/null +++ b/test/FrontendC/2003-11-01-GlobalUnionInit.c @@ -0,0 +1,7 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +union bdflush_param { + struct { int x; } b_un; + int y[1]; +} bdf_prm = {{30}}; + diff --git a/test/FrontendC/2003-11-03-AddrArrayElement.c b/test/FrontendC/2003-11-03-AddrArrayElement.c new file mode 100644 index 0000000..ed3fc1a --- /dev/null +++ b/test/FrontendC/2003-11-03-AddrArrayElement.c @@ -0,0 +1,11 @@ +// RUN: %llvmgcc -xc %s -c -o - | llvm-dis | grep getelementptr + +// This should be turned into a tasty getelementptr instruction, not a nasty +// series of casts and address arithmetic. + +char Global[100]; + +char *test1(unsigned i) { + return &Global[i]; +} + diff --git a/test/FrontendC/2003-11-04-EmptyStruct.c b/test/FrontendC/2003-11-04-EmptyStruct.c new file mode 100644 index 0000000..c7a0164 --- /dev/null +++ b/test/FrontendC/2003-11-04-EmptyStruct.c @@ -0,0 +1,6 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +typedef struct { } rwlock_t; +struct fs_struct { rwlock_t lock; int umask; }; +void __copy_fs_struct(struct fs_struct *fs) { fs->lock = (rwlock_t) { }; } + diff --git a/test/FrontendC/2003-11-04-OutOfMemory.c b/test/FrontendC/2003-11-04-OutOfMemory.c new file mode 100644 index 0000000..6a42e16 --- /dev/null +++ b/test/FrontendC/2003-11-04-OutOfMemory.c @@ -0,0 +1,9 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +void schedule_timeout(signed long timeout) +{ + switch (timeout) + { + case ((long)(~0UL>>1)): break; + } +} diff --git a/test/FrontendC/2003-11-08-PointerSubNotGetelementptr.c b/test/FrontendC/2003-11-08-PointerSubNotGetelementptr.c new file mode 100644 index 0000000..443dfbd --- /dev/null +++ b/test/FrontendC/2003-11-08-PointerSubNotGetelementptr.c @@ -0,0 +1,9 @@ +// RUN: %llvmgcc -xc %s -c -o - | llvm-dis | grep getelementptr + +char *test(char* C) { + return C-1; // Should turn into a GEP +} + +int *test2(int* I) { + return I-1; +} diff --git a/test/FrontendC/2003-11-12-VoidString.c b/test/FrontendC/2003-11-12-VoidString.c new file mode 100644 index 0000000..db2e84b --- /dev/null +++ b/test/FrontendC/2003-11-12-VoidString.c @@ -0,0 +1,4 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +void query_newnamebuf(void) { ((void)"query_newnamebuf"); } + diff --git a/test/FrontendC/2003-11-13-TypeSafety.c b/test/FrontendC/2003-11-13-TypeSafety.c new file mode 100644 index 0000000..128b767 --- /dev/null +++ b/test/FrontendC/2003-11-13-TypeSafety.c @@ -0,0 +1,5 @@ +// RUN: %llvmgcc -xc %s -c -o - | llvm-dis | grep getelementptr + +int *test(int *X, int Y) { + return X + Y; +} diff --git a/test/FrontendC/2003-11-16-StaticArrayInit.c b/test/FrontendC/2003-11-16-StaticArrayInit.c new file mode 100644 index 0000000..2b42e38 --- /dev/null +++ b/test/FrontendC/2003-11-16-StaticArrayInit.c @@ -0,0 +1,8 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +void bar () { + static char x[10]; + static char *xend = x + 10; +} + + diff --git a/test/FrontendC/2003-11-18-CondExprLValue.c b/test/FrontendC/2003-11-18-CondExprLValue.c new file mode 100644 index 0000000..ec000a4 --- /dev/null +++ b/test/FrontendC/2003-11-18-CondExprLValue.c @@ -0,0 +1,9 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +typedef struct { unsigned long pgprot; } pgprot_t; + +void split_large_page(unsigned long addr, pgprot_t prot) +{ + (addr ? prot : ((pgprot_t) { 0x001 } )).pgprot; +} + diff --git a/test/FrontendC/2003-11-19-AddressOfRegister.c b/test/FrontendC/2003-11-19-AddressOfRegister.c new file mode 100644 index 0000000..69dc54d --- /dev/null +++ b/test/FrontendC/2003-11-19-AddressOfRegister.c @@ -0,0 +1,12 @@ +// RUN: %llvmgcc -xc %s -S -o /dev/null |& not grep warning + +struct item { + short delta[4]; +}; + +int TEST(int nt) { + register struct item *aa; + aa[nt].delta; + return 1; +} + diff --git a/test/FrontendC/2003-11-19-BitFieldArray.c b/test/FrontendC/2003-11-19-BitFieldArray.c new file mode 100644 index 0000000..9d54112 --- /dev/null +++ b/test/FrontendC/2003-11-19-BitFieldArray.c @@ -0,0 +1,12 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +struct _GIOChannel { + int write_buf; + char partial_write_buf[6]; + int d :1; +}; + +void g_io_channel_init (struct _GIOChannel *channel) { + channel->partial_write_buf[0]; +} + diff --git a/test/FrontendC/2003-11-20-Bitfields.c b/test/FrontendC/2003-11-20-Bitfields.c new file mode 100644 index 0000000..c9ea0dc --- /dev/null +++ b/test/FrontendC/2003-11-20-Bitfields.c @@ -0,0 +1,12 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +struct face_cachel { + unsigned int reverse :1; + unsigned char font_specified[1]; +}; + +void +ensure_face_cachel_contains_charset (struct face_cachel *cachel) { + cachel->font_specified[0] = 0; +} + diff --git a/test/FrontendC/2003-11-20-ComplexDivision.c b/test/FrontendC/2003-11-20-ComplexDivision.c new file mode 100644 index 0000000..cd548c0 --- /dev/null +++ b/test/FrontendC/2003-11-20-ComplexDivision.c @@ -0,0 +1,7 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +int test() { + __complex__ double C; + double D; + C / D; +} diff --git a/test/FrontendC/2003-11-20-UnionBitfield.c b/test/FrontendC/2003-11-20-UnionBitfield.c new file mode 100644 index 0000000..12e7df5 --- /dev/null +++ b/test/FrontendC/2003-11-20-UnionBitfield.c @@ -0,0 +1,12 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +struct printf_spec { + unsigned int minus_flag:1; + char converter; +}; + +void parse_doprnt_spec () { + struct printf_spec spec; + spec.minus_flag = 1; +} + diff --git a/test/FrontendC/2003-11-26-PointerShift.c b/test/FrontendC/2003-11-26-PointerShift.c new file mode 100644 index 0000000..079f690 --- /dev/null +++ b/test/FrontendC/2003-11-26-PointerShift.c @@ -0,0 +1,6 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +unsigned long do_csum(const unsigned char *buff, int len, unsigned long result) { + if (2 & (unsigned long) buff) result += 1; + return result; +} diff --git a/test/FrontendC/2003-11-27-ConstructorCast.c b/test/FrontendC/2003-11-27-ConstructorCast.c new file mode 100644 index 0000000..3780e7a --- /dev/null +++ b/test/FrontendC/2003-11-27-ConstructorCast.c @@ -0,0 +1,14 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +struct i387_soft_struct { + long cwd; +}; +union i387_union { + struct i387_soft_struct soft; +}; +struct thread_struct { + union i387_union i387; +}; +void _init_task_union(void) { + struct thread_struct thread = (struct thread_struct) { {{0}} }; +} diff --git a/test/FrontendC/2003-11-27-UnionCtorInitialization.c b/test/FrontendC/2003-11-27-UnionCtorInitialization.c new file mode 100644 index 0000000..472b591 --- /dev/null +++ b/test/FrontendC/2003-11-27-UnionCtorInitialization.c @@ -0,0 +1,16 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +struct i387_soft_struct { + long cwd; + long twd; + long fip; +}; +union i387_union { + struct i387_soft_struct soft; +}; +struct thread_struct { + union i387_union i387; +}; +void _init_task_union(void) { + struct thread_struct thread = (struct thread_struct) { {{0}} }; +} diff --git a/test/FrontendC/2003-12-14-ExternInlineSupport.c b/test/FrontendC/2003-12-14-ExternInlineSupport.c new file mode 100644 index 0000000..fb92ec7 --- /dev/null +++ b/test/FrontendC/2003-12-14-ExternInlineSupport.c @@ -0,0 +1,3 @@ +// RUN: %llvmgcc -xc %s -c -o - | llvm-dis | not grep dead_function + +extern __inline__ void dead_function() {} diff --git a/test/FrontendC/2004-01-01-UnknownInitSize.c b/test/FrontendC/2004-01-01-UnknownInitSize.c new file mode 100644 index 0000000..b26b6cd --- /dev/null +++ b/test/FrontendC/2004-01-01-UnknownInitSize.c @@ -0,0 +1,14 @@ +// RUN: %llvmgcc -S %s -o /dev/null + +/* + * This regression test ensures that the C front end can compile initializers + * even when it cannot determine the size (as below). +*/ +struct one +{ + int a; + int values []; +}; + +struct one hobbit = {5, {1, 2, 3}}; + diff --git a/test/FrontendC/2004-01-08-ExternInlineRedefine.c b/test/FrontendC/2004-01-08-ExternInlineRedefine.c new file mode 100644 index 0000000..b3907ee --- /dev/null +++ b/test/FrontendC/2004-01-08-ExternInlineRedefine.c @@ -0,0 +1,14 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + + +extern __inline long int +__strtol_l (int a) +{ + return 0; +} + +long int +__strtol_l (int a) +{ + return 0; +} diff --git a/test/FrontendC/2004-02-12-LargeAggregateCopy.c b/test/FrontendC/2004-02-12-LargeAggregateCopy.c new file mode 100644 index 0000000..b3c9bcf --- /dev/null +++ b/test/FrontendC/2004-02-12-LargeAggregateCopy.c @@ -0,0 +1,8 @@ +// RUN: %llvmgcc -xc %s -c -o - | llvm-dis | grep llvm.memcpy + +struct X { int V[10000]; }; +struct X Global1, Global2; +void test() { + Global2 = Global1; +} + diff --git a/test/FrontendC/2004-02-13-BuiltinFrameReturnAddress.c b/test/FrontendC/2004-02-13-BuiltinFrameReturnAddress.c new file mode 100644 index 0000000..162d32a --- /dev/null +++ b/test/FrontendC/2004-02-13-BuiltinFrameReturnAddress.c @@ -0,0 +1,8 @@ +// RUN: %llvmgcc -xc %s -c -o - | llvm-dis | grep llvm.*address | count 4 + +void *test1() { + return __builtin_return_address(1); +} +void *test2() { + return __builtin_frame_address(0); +} diff --git a/test/FrontendC/2004-02-13-IllegalVararg.c b/test/FrontendC/2004-02-13-IllegalVararg.c new file mode 100644 index 0000000..1f3eded --- /dev/null +++ b/test/FrontendC/2004-02-13-IllegalVararg.c @@ -0,0 +1,11 @@ +// RUN: %llvmgcc -xc %s -c -o - | llc + +#include <stdarg.h> + +float test(int X, ...) { + va_list ap; + float F; + va_start(ap, X); + F = va_arg(ap, float); + return F; +} diff --git a/test/FrontendC/2004-02-13-Memset.c b/test/FrontendC/2004-02-13-Memset.c new file mode 100644 index 0000000..89ab9b9 --- /dev/null +++ b/test/FrontendC/2004-02-13-Memset.c @@ -0,0 +1,6 @@ +// RUN: %llvmgcc -xc %s -c -o - | llvm-dis | grep llvm.memset | count 3 + +void test(int* X, char *Y) { + memset(X, 4, 1000); + bzero(Y, 100); +} diff --git a/test/FrontendC/2004-02-14-ZeroInitializer.c b/test/FrontendC/2004-02-14-ZeroInitializer.c new file mode 100644 index 0000000..bede907 --- /dev/null +++ b/test/FrontendC/2004-02-14-ZeroInitializer.c @@ -0,0 +1,4 @@ +// RUN: %llvmgcc -xc %s -S -o - | grep zeroinitializer + +int X[1000]; + diff --git a/test/FrontendC/2004-02-20-Builtins.c b/test/FrontendC/2004-02-20-Builtins.c new file mode 100644 index 0000000..82b7dc1 --- /dev/null +++ b/test/FrontendC/2004-02-20-Builtins.c @@ -0,0 +1,6 @@ +// RUN: %llvmgcc -O3 -xc %s -c -o - | llvm-dis | not grep builtin + +void zsqrtxxx(float num) { + num = sqrt(num); +} + diff --git a/test/FrontendC/2004-03-07-ComplexDivEquals.c b/test/FrontendC/2004-03-07-ComplexDivEquals.c new file mode 100644 index 0000000..b1da580 --- /dev/null +++ b/test/FrontendC/2004-03-07-ComplexDivEquals.c @@ -0,0 +1,6 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + + +void test(__complex__ double D, double X) { + D /= X; +} diff --git a/test/FrontendC/2004-03-07-ExternalConstant.c b/test/FrontendC/2004-03-07-ExternalConstant.c new file mode 100644 index 0000000..b8e13a3 --- /dev/null +++ b/test/FrontendC/2004-03-07-ExternalConstant.c @@ -0,0 +1,7 @@ +// RUN: %llvmgcc -xc %s -c -o - | llvm-dis | grep constant + +extern const int a[]; // 'a' should be marked constant even though it's external! +int foo () { + return a[0]; +} + diff --git a/test/FrontendC/2004-03-09-LargeArrayInitializers.c b/test/FrontendC/2004-03-09-LargeArrayInitializers.c new file mode 100644 index 0000000..335c568 --- /dev/null +++ b/test/FrontendC/2004-03-09-LargeArrayInitializers.c @@ -0,0 +1,32 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +// Test that these initializers are handled efficiently + +int test(int x) { + const int XX[1000] = { 0, 0 }; + const char S [1000] = "foo"; + + const int array[] = { + 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, + 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, + 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, + 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, + 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, + 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, + 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, + 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, + 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, + 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, + 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, + 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, + 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, + 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, + 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, + 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, + 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, + 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, + 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, + 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, 17, 23, 123, 123, 49, + }; + return array[x]; +} diff --git a/test/FrontendC/2004-03-15-SimpleIndirectGoto.c b/test/FrontendC/2004-03-15-SimpleIndirectGoto.c new file mode 100644 index 0000000..ad7221e --- /dev/null +++ b/test/FrontendC/2004-03-15-SimpleIndirectGoto.c @@ -0,0 +1,23 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +int code[]={0,0,0,0,1}; +void foo(int x) { + volatile int b; + b = 0xffffffff; +} +void bar(int *pc) { + static const void *l[] = {&&lab0, &&end}; + + foo(0); + goto *l[*pc]; + lab0: + foo(0); + pc++; + goto *l[*pc]; + end: + return; +} +int main() { + bar(code); + return 0; +} diff --git a/test/FrontendC/2004-03-16-AsmRegisterCrash.c b/test/FrontendC/2004-03-16-AsmRegisterCrash.c new file mode 100644 index 0000000..6ad1cd4 --- /dev/null +++ b/test/FrontendC/2004-03-16-AsmRegisterCrash.c @@ -0,0 +1,6 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +int foo() { + register int X __asm__("ebx"); + return X; +} diff --git a/test/FrontendC/2004-05-07-VarArrays.c b/test/FrontendC/2004-05-07-VarArrays.c new file mode 100644 index 0000000..2041298 --- /dev/null +++ b/test/FrontendC/2004-05-07-VarArrays.c @@ -0,0 +1,5 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +int foo(int len, char arr[][len], int X) { + return arr[X][0]; +} diff --git a/test/FrontendC/2004-05-21-IncompleteEnum.c b/test/FrontendC/2004-05-21-IncompleteEnum.c new file mode 100644 index 0000000..3636ca7 --- /dev/null +++ b/test/FrontendC/2004-05-21-IncompleteEnum.c @@ -0,0 +1,5 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +void test(enum foo *X) { +} + diff --git a/test/FrontendC/2004-06-08-OpaqueStructArg.c b/test/FrontendC/2004-06-08-OpaqueStructArg.c new file mode 100644 index 0000000..ede811c --- /dev/null +++ b/test/FrontendC/2004-06-08-OpaqueStructArg.c @@ -0,0 +1,7 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + + struct fu; + void foo(struct fu); + void bar() { + foo; + } diff --git a/test/FrontendC/2004-06-17-UnorderedBuiltins.c b/test/FrontendC/2004-06-17-UnorderedBuiltins.c new file mode 100644 index 0000000..5e02e7f --- /dev/null +++ b/test/FrontendC/2004-06-17-UnorderedBuiltins.c @@ -0,0 +1,24 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + + +_Bool A, B, C, D, E, F, G, H; +void TestF(float X, float Y) { + A = __builtin_isgreater(X, Y); + B = __builtin_isgreaterequal(X, Y); + C = __builtin_isless(X, Y); + D = __builtin_islessequal(X, Y); + E = __builtin_islessgreater(X, Y); + F = __builtin_isunordered(X, Y); + //G = __builtin_isordered(X, Y); // Our current snapshot of GCC doesn't include this builtin + H = __builtin_isunordered(X, Y); +} +void TestD(double X, double Y) { + A = __builtin_isgreater(X, Y); + B = __builtin_isgreaterequal(X, Y); + C = __builtin_isless(X, Y); + D = __builtin_islessequal(X, Y); + E = __builtin_islessgreater(X, Y); + F = __builtin_isunordered(X, Y); + //G = __builtin_isordered(X, Y); // Our current snapshot doesn't include this builtin. FIXME + H = __builtin_isunordered(X, Y); +} diff --git a/test/FrontendC/2004-06-17-UnorderedCompares.c b/test/FrontendC/2004-06-17-UnorderedCompares.c new file mode 100644 index 0000000..f91ed66 --- /dev/null +++ b/test/FrontendC/2004-06-17-UnorderedCompares.c @@ -0,0 +1,21 @@ +// RUN: %llvmgcc -xc -std=c99 %s -c -o - | llvm-dis | grep -v llvm.isunordered | not grep call + +#include <math.h> + +_Bool A, B, C, D, E, F; +void TestF(float X, float Y) { + A = __builtin_isgreater(X, Y); + B = __builtin_isgreaterequal(X, Y); + C = __builtin_isless(X, Y); + D = __builtin_islessequal(X, Y); + E = __builtin_islessgreater(X, Y); + F = __builtin_isunordered(X, Y); +} +void TestD(double X, double Y) { + A = __builtin_isgreater(X, Y); + B = __builtin_isgreaterequal(X, Y); + C = __builtin_isless(X, Y); + D = __builtin_islessequal(X, Y); + E = __builtin_islessgreater(X, Y); + F = __builtin_isunordered(X, Y); +} diff --git a/test/FrontendC/2004-06-18-VariableLengthArrayOfStructures.c b/test/FrontendC/2004-06-18-VariableLengthArrayOfStructures.c new file mode 100644 index 0000000..e474a13 --- /dev/null +++ b/test/FrontendC/2004-06-18-VariableLengthArrayOfStructures.c @@ -0,0 +1,10 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + + +struct S { }; + +int xxxx(int a) { + struct S comps[a]; + comps[0]; +} + diff --git a/test/FrontendC/2004-07-06-FunctionCast.c b/test/FrontendC/2004-07-06-FunctionCast.c new file mode 100644 index 0000000..169f740 --- /dev/null +++ b/test/FrontendC/2004-07-06-FunctionCast.c @@ -0,0 +1,10 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + +static int unused_func(void) { + return 1; +} + +int foo(void) { + (void)unused_func; /* avoid compiler warning */ + return 2; +} diff --git a/test/FrontendC/2004-08-06-LargeStructTest.c b/test/FrontendC/2004-08-06-LargeStructTest.c new file mode 100644 index 0000000..b0413b4 --- /dev/null +++ b/test/FrontendC/2004-08-06-LargeStructTest.c @@ -0,0 +1,19 @@ +// RUN: %llvmgcc -S %s -o - | llvm-as -f -o /dev/null + + +#define A(X) int X; +#define B(X) A(X##0) A(X##1) A(X##2) A(X##3) A(X##4) A(X##5) A(X##6) A(X##7) \ + A(X##8) A(X##9) A(X##A) A(X##B) A(X##C) A(X##D) A(X##E) A(X##F) +#define C(X) B(X##0) B(X##1) B(X##2) B(X##3) B(X##4) B(X##5) B(X##6) B(X##7) \ + B(X##8) B(X##9) B(X##A) B(X##B) B(X##C) B(X##D) B(X##E) B(X##F) + +struct foo { + C(x); // 256 + C(y); // 256 + C(z); +}; + + +int test(struct foo *F) { + return F->xA1 + F->yFF + F->zC4; +} diff --git a/test/FrontendC/2004-11-25-UnnamedBitfieldPadding.c b/test/FrontendC/2004-11-25-UnnamedBitfieldPadding.c new file mode 100644 index 0000000..b3f4a82 --- /dev/null +++ b/test/FrontendC/2004-11-25-UnnamedBitfieldPadding.c @@ -0,0 +1,8 @@ +// RUN: %llvmgcc -S %s -o /dev/null +// This is a testcase for PR461 +typedef struct { + unsigned min_align: 1; + unsigned : 1; +} addr_diff_vec_flags; + +addr_diff_vec_flags X; diff --git a/test/FrontendC/2004-11-27-InvalidConstantExpr.c b/test/FrontendC/2004-11-27-InvalidConstantExpr.c new file mode 100644 index 0000000..ee8642f --- /dev/null +++ b/test/FrontendC/2004-11-27-InvalidConstantExpr.c @@ -0,0 +1,10 @@ +// RUN: %llvmgcc %s -S -o - | not grep {foo\\* sub} +// This should not produce a subtrace constantexpr of a pointer +struct foo { + int Y; + char X[100]; +} F; + +int test(char *Y) { + return Y - F.X; +} diff --git a/test/FrontendC/2004-11-27-StaticFunctionRedeclare.c b/test/FrontendC/2004-11-27-StaticFunctionRedeclare.c new file mode 100644 index 0000000..b1e1421 --- /dev/null +++ b/test/FrontendC/2004-11-27-StaticFunctionRedeclare.c @@ -0,0 +1,15 @@ +// RUN: %llvmgcc -c -emit-llvm %s -o - | \ +// RUN: opt -std-compile-opts | llvm-dis | not grep {declare i32.*func} + +// There should not be an unresolved reference to func here. Believe it or not, +// the "expected result" is a function named 'func' which is internal and +// referenced by bar(). + +// This is PR244 + +static int func(); +void bar() { + int func(); + foo(func); +} +static int func(char** A, char ** B) {} diff --git a/test/FrontendC/2004-11-27-VariableSizeInStructure.c b/test/FrontendC/2004-11-27-VariableSizeInStructure.c new file mode 100644 index 0000000..bd63ae3 --- /dev/null +++ b/test/FrontendC/2004-11-27-VariableSizeInStructure.c @@ -0,0 +1,11 @@ +// RUN: %llvmgcc %s -S -o /dev/null + +// GCC allows variable sized arrays in structures, crazy! + +// This is PR360. + +int sub1(int i, char *pi) { + typedef int foo[i]; + struct bar {foo f1; int f2;} *p = (struct bar *) pi; + return p->f2; +} diff --git a/test/FrontendC/2005-01-02-ConstantInits.c b/test/FrontendC/2005-01-02-ConstantInits.c new file mode 100644 index 0000000..735278e --- /dev/null +++ b/test/FrontendC/2005-01-02-ConstantInits.c @@ -0,0 +1,24 @@ +// RUN: %llvmgcc %s -S -o - + +// This tests all kinds of hard cases with initializers and +// array subscripts. This corresponds to PR487. + +struct X { int a[2]; }; + +int test() { + static int i23 = (int) &(((struct X *)0)->a[1]); + return i23; +} + +int i = (int) &( ((struct X *)0) -> a[1]); + +int Arr[100]; + +int foo(int i) { return bar(&Arr[49])+bar(&Arr[i]); } +int foo2(int i) { + static const int *X = &Arr[49]; + static int i23 = (int) &( ((struct X *)0) -> a[0]); + int *P = Arr; + ++P; + return bar(Arr+i); +} diff --git a/test/FrontendC/2005-01-02-PointerDifference.c b/test/FrontendC/2005-01-02-PointerDifference.c new file mode 100644 index 0000000..a351da2 --- /dev/null +++ b/test/FrontendC/2005-01-02-PointerDifference.c @@ -0,0 +1,3 @@ +// RUN: %llvmgcc -xc %s -c -o - | llvm-dis | grep -v div + +int Diff(int *P, int *Q) { return P-Q; } diff --git a/test/FrontendC/2005-01-02-VAArgError-ICE.c b/test/FrontendC/2005-01-02-VAArgError-ICE.c new file mode 100644 index 0000000..db82558 --- /dev/null +++ b/test/FrontendC/2005-01-02-VAArgError-ICE.c @@ -0,0 +1,10 @@ +// This file is erroneous, but should not cause the compiler to ICE. +// PR481 +// RUN: %llvmgcc %s -S -o /dev/null |& not grep {internal compiler error} + +#include <stdarg.h> +int flags(int a, int b, ...) { + va_list args; + va_start(args,a); // not the last named arg + foo(args); +} diff --git a/test/FrontendC/2005-02-20-AggregateSAVEEXPR.c b/test/FrontendC/2005-02-20-AggregateSAVEEXPR.c new file mode 100644 index 0000000..7a95533 --- /dev/null +++ b/test/FrontendC/2005-02-20-AggregateSAVEEXPR.c @@ -0,0 +1,19 @@ +// RUN: %llvmgcc %s -o /dev/null -S +// Note: +// We fail this on Sparc because the C library seems to be missing complex.h +// and the corresponding C99 complex support. +// +// We could modify the test to use only GCC extensions, but I don't know if +// that would change the nature of the test. +// +// XFAIL: sparc + +#ifdef __CYGWIN__ + #include <mingw/complex.h> +#else + #include <complex.h> +#endif + +int foo(complex float c) { + return creal(c); +} diff --git a/test/FrontendC/2005-02-27-MarkGlobalConstant.c b/test/FrontendC/2005-02-27-MarkGlobalConstant.c new file mode 100644 index 0000000..4d24d0c --- /dev/null +++ b/test/FrontendC/2005-02-27-MarkGlobalConstant.c @@ -0,0 +1,10 @@ +// RUN: %llvmgcc -xc %s -S -o - | grep {internal constant } + +// The synthetic global made by the CFE for big initializer should be marked +// constant. + +void bar(); +void foo() { + char Blah[] = "asdlfkajsdlfkajsd;lfkajds;lfkjasd;flkajsd;lkfja;sdlkfjasd"; + bar(Blah); +} diff --git a/test/FrontendC/2005-03-05-OffsetOfHack.c b/test/FrontendC/2005-03-05-OffsetOfHack.c new file mode 100644 index 0000000..8df7231 --- /dev/null +++ b/test/FrontendC/2005-03-05-OffsetOfHack.c @@ -0,0 +1,12 @@ +// RUN: %llvmgcc %s -S -o - + +struct s { + unsigned long int field[0]; +}; + +#define OFFS \ + (((char *) &((struct s *) 0)->field[0]) - (char *) 0) + +int foo[OFFS]; + + diff --git a/test/FrontendC/2005-03-06-OffsetOfStructCrash.c b/test/FrontendC/2005-03-06-OffsetOfStructCrash.c new file mode 100644 index 0000000..91e6862 --- /dev/null +++ b/test/FrontendC/2005-03-06-OffsetOfStructCrash.c @@ -0,0 +1,14 @@ +// RUN: %llvmgcc %s -S -o - + +struct Y {}; +struct XXX { + struct Y F; +}; + +void test1() { + (int)&((struct XXX*)(((void *)0)))->F; +} + +void test2() { + &((struct XXX*)(((void *)0)))->F; +} diff --git a/test/FrontendC/2005-03-11-Prefetch.c b/test/FrontendC/2005-03-11-Prefetch.c new file mode 100644 index 0000000..bf79653 --- /dev/null +++ b/test/FrontendC/2005-03-11-Prefetch.c @@ -0,0 +1,6 @@ +// RUN: %llvmgcc %s -S -o - | llvm-as | llvm-dis | grep llvm.prefetch + +void foo(int *P) { + __builtin_prefetch(P); + __builtin_prefetch(P, 1); +} diff --git a/test/FrontendC/2005-04-09-ComplexOps.c b/test/FrontendC/2005-04-09-ComplexOps.c new file mode 100644 index 0000000..2962b74 --- /dev/null +++ b/test/FrontendC/2005-04-09-ComplexOps.c @@ -0,0 +1,9 @@ +// RUN: %llvmgcc %s -S -o - + +#include <math.h> +#define I 1.0iF + +double __complex test(double X) { return ~-(X*I); } + +_Bool EQ(double __complex A, double __complex B) { return A == B; } +_Bool NE(double __complex A, double __complex B) { return A != B; } diff --git a/test/FrontendC/2005-05-06-CountBuiltins.c b/test/FrontendC/2005-05-06-CountBuiltins.c new file mode 100644 index 0000000..da40a14 --- /dev/null +++ b/test/FrontendC/2005-05-06-CountBuiltins.c @@ -0,0 +1,17 @@ +// RUN: %llvmgcc %s -S -o - | llvm-as | llvm-dis | not grep call.*__builtin + +int G, H, I; +void foo(int P) { + G = __builtin_clz(P); + H = __builtin_ctz(P); + I = __builtin_popcount(P); +} + +long long g, h, i; +void fooll(float P) { + g = __builtin_clzll(P); + g = __builtin_clzll(P); + h = __builtin_ctzll(P); + i = __builtin_popcountll(P); +} + diff --git a/test/FrontendC/2005-05-10-GlobalUnionInit.c b/test/FrontendC/2005-05-10-GlobalUnionInit.c new file mode 100644 index 0000000..443064c --- /dev/null +++ b/test/FrontendC/2005-05-10-GlobalUnionInit.c @@ -0,0 +1,6 @@ +// RUN: %llvmgcc %s -S -o - + +union A { // { uint } + union B { double *C; } D; +} E = { { (double*)12312 } }; + diff --git a/test/FrontendC/2005-06-15-ExpandGotoInternalProblem.c b/test/FrontendC/2005-06-15-ExpandGotoInternalProblem.c new file mode 100644 index 0000000..d7d03ba --- /dev/null +++ b/test/FrontendC/2005-06-15-ExpandGotoInternalProblem.c @@ -0,0 +1,14 @@ +// RUN: %llvmgcc -std=c99 %s -S -o - | llvm-as | \ +// RUN: opt -std-compile-opts -disable-output +// PR580 + +int X, Y; +int foo() { + int i; + for (i=0; i<100; i++ ) + { + break; + i = ( X || Y ) ; + } +} + diff --git a/test/FrontendC/2005-07-20-SqrtNoErrno.c b/test/FrontendC/2005-07-20-SqrtNoErrno.c new file mode 100644 index 0000000..fd976a6 --- /dev/null +++ b/test/FrontendC/2005-07-20-SqrtNoErrno.c @@ -0,0 +1,7 @@ +// RUN: %llvmgcc %s -S -o - -fno-math-errno | gccas | llvm-dis | grep llvm.sqrt +#include <math.h> + +float foo(float X) { + // Check that this compiles to llvm.sqrt when errno is ignored. + return sqrtf(X); +} diff --git a/test/FrontendC/2005-07-26-UnionInitCrash.c b/test/FrontendC/2005-07-26-UnionInitCrash.c new file mode 100644 index 0000000..563278a --- /dev/null +++ b/test/FrontendC/2005-07-26-UnionInitCrash.c @@ -0,0 +1,3 @@ +// PR607 +// RUN: %llvmgcc %s -S -o - +union { char bytes[8]; double alignment; }EQ1 = {0,0,0,0,0,0,0,0}; diff --git a/test/FrontendC/2005-07-28-IncorrectWeakGlobal.c b/test/FrontendC/2005-07-28-IncorrectWeakGlobal.c new file mode 100644 index 0000000..1a8c409 --- /dev/null +++ b/test/FrontendC/2005-07-28-IncorrectWeakGlobal.c @@ -0,0 +1,5 @@ +// RUN: %llvmgcc %s -S -o - | grep TheGlobal | not grep weak + +extern int TheGlobal; +int foo() { return TheGlobal; } +int TheGlobal = 1; diff --git a/test/FrontendC/2005-09-20-ComplexConstants.c b/test/FrontendC/2005-09-20-ComplexConstants.c new file mode 100644 index 0000000..db98fc2 --- /dev/null +++ b/test/FrontendC/2005-09-20-ComplexConstants.c @@ -0,0 +1,4 @@ +// RUN: %llvmgcc %s -S -o - | llvm-as -o /dev/null -f + +const double _Complex x[] = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}; + diff --git a/test/FrontendC/2005-09-24-AsmUserPrefix.c b/test/FrontendC/2005-09-24-AsmUserPrefix.c new file mode 100644 index 0000000..9b9b153 --- /dev/null +++ b/test/FrontendC/2005-09-24-AsmUserPrefix.c @@ -0,0 +1,8 @@ +// RUN: %llvmgcc %s -S -o - | llvm-as | opt -std-compile-opts | llc | \ +// RUN: not grep _foo2 + +void foo() __asm__("foo2"); + +void bar() { + foo(); +} diff --git a/test/FrontendC/2005-09-24-BitFieldCrash.c b/test/FrontendC/2005-09-24-BitFieldCrash.c new file mode 100644 index 0000000..b4c85ff --- /dev/null +++ b/test/FrontendC/2005-09-24-BitFieldCrash.c @@ -0,0 +1,33 @@ +// RUN: %llvmgcc %s -S -o - + +struct tree_common {}; + +struct tree_int_cst { + struct tree_common common; + struct tree_int_cst_lowhi { + unsigned long long low; + long long high; + } int_cst; +}; + +enum XXX { yyy }; + +struct tree_function_decl { + struct tree_common common; + long long locus, y; + __extension__ enum XXX built_in_class : 2; + +}; + + +union tree_node { + struct tree_int_cst int_cst; + struct tree_function_decl function_decl; +}; + + +void foo (union tree_node * decl) { + decl->function_decl.built_in_class != 0; +} + + diff --git a/test/FrontendC/2005-10-18-VariableSizedElementCrash.c b/test/FrontendC/2005-10-18-VariableSizedElementCrash.c new file mode 100644 index 0000000..867e4d2 --- /dev/null +++ b/test/FrontendC/2005-10-18-VariableSizedElementCrash.c @@ -0,0 +1,9 @@ +// RUN: %llvmgcc %s -S -o - + +int sub1(int i, char *pi) { + typedef int foo[i]; + struct bar {foo f1; int f2:3; int f3:4} *p = (struct bar *) pi; + xxx(p->f1); + return p->f3; +} + diff --git a/test/FrontendC/2005-12-04-AttributeUsed.c b/test/FrontendC/2005-12-04-AttributeUsed.c new file mode 100644 index 0000000..33e27e8 --- /dev/null +++ b/test/FrontendC/2005-12-04-AttributeUsed.c @@ -0,0 +1,8 @@ +// RUN: %llvmgcc %s -S -emit-llvm -o - | llvm-as | llvm-dis | \ +// RUN: grep llvm.used | grep foo | grep X + +int X __attribute__((used)); +int Y; + +__attribute__((used)) void foo() {} + diff --git a/test/FrontendC/2005-12-04-DeclarationLineNumbers.c b/test/FrontendC/2005-12-04-DeclarationLineNumbers.c new file mode 100644 index 0000000..0ced92e --- /dev/null +++ b/test/FrontendC/2005-12-04-DeclarationLineNumbers.c @@ -0,0 +1,23 @@ +// RUN: %llvmgcc %s -S -g -o - | grep {llvm.dbg.stoppoint.*i32 14} +// PR664: ensure that line #'s are emitted for declarations + + +short test(short br_data_0, +short br_data_1, +short br_data_2, +short br_data_3, +short br_data_4, +short br_data_5, +short br_data_6, +short br_data_7) { + +short sm07 = br_data_0 + br_data_7; +short sm16 = br_data_1 + br_data_6; +short sm25 = br_data_2 + br_data_5; +short sm34 = br_data_3 + br_data_4; +short s0734 = sm07 + sm34; +short s1625 = sm16 + sm25; + +return s0734 + s1625; +} + diff --git a/test/FrontendC/2006-01-13-Includes.c b/test/FrontendC/2006-01-13-Includes.c new file mode 100644 index 0000000..46e7867 --- /dev/null +++ b/test/FrontendC/2006-01-13-Includes.c @@ -0,0 +1,9 @@ +// RUN: %llvmgcc %s -g -S -o - | llvm-as | opt -std-compile-opts | \ +// RUN: llvm-dis | grep {test/CFrontend} +// PR676 + +#include <stdio.h> + +void test() { + printf("Hello World\n"); +} diff --git a/test/FrontendC/2006-01-13-StackSave.c b/test/FrontendC/2006-01-13-StackSave.c new file mode 100644 index 0000000..dfe00fb --- /dev/null +++ b/test/FrontendC/2006-01-13-StackSave.c @@ -0,0 +1,11 @@ +// PR691 +// RUN: %llvmgcc %s -S -o - | llvm-as | opt -std-compile-opts | \ +// RUN: llvm-dis | grep llvm.stacksave + +void test(int N) { + int i; + for (i = 0; i < N; ++i) { + int VLA[i]; + external(VLA); + } +} diff --git a/test/FrontendC/2006-01-16-BitCountIntrinsicsUnsigned.c b/test/FrontendC/2006-01-16-BitCountIntrinsicsUnsigned.c new file mode 100644 index 0000000..598ffb5 --- /dev/null +++ b/test/FrontendC/2006-01-16-BitCountIntrinsicsUnsigned.c @@ -0,0 +1,9 @@ +// RUN: %llvmgcc -S %s -o - | grep {llvm.ctlz.i32( i32} | count 2 +// RUN: %llvmgcc -S %s -o - | grep {llvm.ctlz.i32(i32} | count 1 + +unsigned t2(unsigned X) { + return __builtin_clz(X); +} +int t1(int X) { + return __builtin_clz(X); +} diff --git a/test/FrontendC/2006-01-23-FileScopeAsm.c b/test/FrontendC/2006-01-23-FileScopeAsm.c new file mode 100644 index 0000000..fb55a41 --- /dev/null +++ b/test/FrontendC/2006-01-23-FileScopeAsm.c @@ -0,0 +1,8 @@ +// RUN: %llvmgcc %s -S -o - | llvm-as | opt -std-compile-opts | \ +// RUN: llvm-dis | grep {foo\[12345\]} | count 5 + +__asm__ ("foo1"); +__asm__ ("foo2"); +__asm__ ("foo3"); +__asm__ ("foo4"); +__asm__ ("foo5"); diff --git a/test/FrontendC/2006-03-03-MissingInitializer.c b/test/FrontendC/2006-03-03-MissingInitializer.c new file mode 100644 index 0000000..0d09d29 --- /dev/null +++ b/test/FrontendC/2006-03-03-MissingInitializer.c @@ -0,0 +1,11 @@ +// RUN: %llvmgcc %s -S -o - | llvm-as | opt -std-compile-opts | \ +// RUN: llvm-dis | grep {@nate.*internal global i32 0} + +struct X { int *XX; int Y;}; + +void foo() { + static int nate = 0; + struct X bob = { &nate, 14 }; + bar(&bob); +} + diff --git a/test/FrontendC/2006-03-16-VectorCtor.c b/test/FrontendC/2006-03-16-VectorCtor.c new file mode 100644 index 0000000..b95593b --- /dev/null +++ b/test/FrontendC/2006-03-16-VectorCtor.c @@ -0,0 +1,10 @@ +// Test that basic generic vector support works +// RUN: %llvmgcc %s -S -o - + +typedef int v4si __attribute__ ((__vector_size__ (16))); +void test(v4si *P, v4si *Q, float X) { + *P = (v4si){ X, X, X, X } * *Q; +} + +v4si G = (v4si){ 0.1, 1.2, 4.2, 17.2 }; + diff --git a/test/FrontendC/2006-03-17-KnRMismatch.c b/test/FrontendC/2006-03-17-KnRMismatch.c new file mode 100644 index 0000000..1939112 --- /dev/null +++ b/test/FrontendC/2006-03-17-KnRMismatch.c @@ -0,0 +1,8 @@ +// RUN: %llvmgcc %s -S -o - + +void regnode(int op); + +void regnode(op) +char op; +{ +} diff --git a/test/FrontendC/2006-05-01-AppleAlignmentPragma.c b/test/FrontendC/2006-05-01-AppleAlignmentPragma.c new file mode 100644 index 0000000..c9050aa --- /dev/null +++ b/test/FrontendC/2006-05-01-AppleAlignmentPragma.c @@ -0,0 +1,12 @@ +// RUN: %llvmgcc %s -S -o - + +#ifdef __APPLE__ +/* test that X is layed out correctly when this pragma is used. */ +#pragma options align=mac68k +#endif + +struct S { + unsigned A; + unsigned short B; +} X; + diff --git a/test/FrontendC/2006-05-19-SingleEltReturn.c b/test/FrontendC/2006-05-19-SingleEltReturn.c new file mode 100644 index 0000000..70c94c6 --- /dev/null +++ b/test/FrontendC/2006-05-19-SingleEltReturn.c @@ -0,0 +1,23 @@ +// Test returning a single element aggregate value containing a double. +// RUN: %llvmgcc %s -S -o - + +struct X { + double D; +}; + +struct Y { + struct X x; +}; + +struct Y bar(); + +void foo(struct Y *P) { + *P = bar(); +} + +struct Y bar() { + struct Y a; + a.x.D = 0; + return a; +} + diff --git a/test/FrontendC/2006-07-31-PR854.c b/test/FrontendC/2006-07-31-PR854.c new file mode 100644 index 0000000..516085a --- /dev/null +++ b/test/FrontendC/2006-07-31-PR854.c @@ -0,0 +1,11 @@ +// RUN: %llvmgcc %s -S -o - +// PR854 + struct kernel_symbol { + unsigned long value; + }; + unsigned long loops_per_jiffy = (1<<12); + static const char __kstrtab_loops_per_jiffy[] +__attribute__((section("__ksymtab_strings"))) = "loops_per_jiffy"; + static const struct kernel_symbol __ksymtab_loops_per_jiffy +__attribute__((__used__)) __attribute__((section("__ksymtab"))) = { (unsigned +long)&loops_per_jiffy, __kstrtab_loops_per_jiffy }; diff --git a/test/FrontendC/2006-09-11-BitfieldRefCrash.c b/test/FrontendC/2006-09-11-BitfieldRefCrash.c new file mode 100644 index 0000000..d06cc3a --- /dev/null +++ b/test/FrontendC/2006-09-11-BitfieldRefCrash.c @@ -0,0 +1,12 @@ +// RUN: %llvmgcc %s -S -o - +// PR906 + +struct state_struct { + unsigned long long phys_frame: 50; + unsigned valid : 2; +} s; + +int mem_access(struct state_struct *p) { + return p->valid; +} + diff --git a/test/FrontendC/2006-09-18-fwrite-cast-crash.c b/test/FrontendC/2006-09-18-fwrite-cast-crash.c new file mode 100644 index 0000000..8ba2052 --- /dev/null +++ b/test/FrontendC/2006-09-18-fwrite-cast-crash.c @@ -0,0 +1,13 @@ +// RUN: %llvmgcc %s -S -o - +// PR910 + +struct l_struct_2E_FILE { char x; }; +unsigned fwrite(signed char *, unsigned , unsigned , signed char *); +static signed char str301[39]; +static void Usage(signed char *ltmp_611_6) { + struct l_struct_2E_FILE *ltmp_6202_16; + unsigned ltmp_6203_92; + ltmp_6203_92 = /*tail*/ ((unsigned (*) (signed char *, unsigned , unsigned , +struct l_struct_2E_FILE *))(void*)fwrite)((&(str301[0u])), 38u, 1u, ltmp_6202_16); +} + diff --git a/test/FrontendC/2006-09-21-IncompleteElementType.c b/test/FrontendC/2006-09-21-IncompleteElementType.c new file mode 100644 index 0000000..a509182 --- /dev/null +++ b/test/FrontendC/2006-09-21-IncompleteElementType.c @@ -0,0 +1,3 @@ +// RUN: not %llvmgcc %s -S -o /dev/null |& not grep {internal compiler error} + +struct A X[(927 - 37) / sizeof(struct A)]; diff --git a/test/FrontendC/2006-09-25-DebugFilename.c b/test/FrontendC/2006-09-25-DebugFilename.c new file mode 100644 index 0000000..eea52ba --- /dev/null +++ b/test/FrontendC/2006-09-25-DebugFilename.c @@ -0,0 +1,6 @@ +// RUN: not %llvmgcc -xc %s -S -o /dev/null |& \ +// RUN: grep fluffy | grep 2006-09-25-DebugFilename.c +#include "2006-09-25-DebugFilename.h" +int func1() { return hfunc1(); } +int func2() { fluffy; return hfunc1(); } + diff --git a/test/FrontendC/2006-09-25-DebugFilename.h b/test/FrontendC/2006-09-25-DebugFilename.h new file mode 100644 index 0000000..9b03666 --- /dev/null +++ b/test/FrontendC/2006-09-25-DebugFilename.h @@ -0,0 +1,6 @@ +extern int exfunc(int a); + +static inline int hfunc1() +{ + return exfunc(1); +} diff --git a/test/FrontendC/2006-09-28-SimpleAsm.c b/test/FrontendC/2006-09-28-SimpleAsm.c new file mode 100644 index 0000000..e304020 --- /dev/null +++ b/test/FrontendC/2006-09-28-SimpleAsm.c @@ -0,0 +1,10 @@ +// RUN: %llvmgcc %s -S -o - | grep {ext: xorl %eax, eax; movl} +// RUN: %llvmgcc %s -S -o - | grep {nonext: xorl %eax, %eax; mov} +// PR924 + +void bar() { + // Extended asm + asm volatile ("ext: xorl %%eax, eax; movl eax, fs; movl eax, gs %%blah %= %% " : : "r"(1)); + // Non-extended asm. + asm volatile ("nonext: xorl %eax, %eax; movl %eax, %fs; movl %eax, %gs %%blah %= %% "); +} diff --git a/test/FrontendC/2006-10-30-ArrayCrash.c b/test/FrontendC/2006-10-30-ArrayCrash.c new file mode 100644 index 0000000..09464dd --- /dev/null +++ b/test/FrontendC/2006-10-30-ArrayCrash.c @@ -0,0 +1,17 @@ +// RUN: %llvmgcc -O3 -S -o - %s +// PR954, PR911 + +extern void foo(); + +struct S { + short f1[3]; + unsigned int f2 : 1; +}; + +void bar() +{ + struct S *A; + + if (A->f2) + foo(); +} diff --git a/test/FrontendC/2006-12-14-ordered_expr.c b/test/FrontendC/2006-12-14-ordered_expr.c new file mode 100644 index 0000000..8ff2eb6 --- /dev/null +++ b/test/FrontendC/2006-12-14-ordered_expr.c @@ -0,0 +1,6 @@ +// RUN: %llvmgcc -O3 -S %s -o - | grep {fcmp ord float %X, %Y} + +int test2(float X, float Y) { + return !__builtin_isunordered(X, Y); +} + diff --git a/test/FrontendC/2007-01-06-KNR-Proto.c b/test/FrontendC/2007-01-06-KNR-Proto.c new file mode 100644 index 0000000..eb2f254 --- /dev/null +++ b/test/FrontendC/2007-01-06-KNR-Proto.c @@ -0,0 +1,10 @@ +// RUN: %llvmgcc -S -o - -emit-llvm %s +// PR1083 + +int svc_register (void (*dispatch) (int)); + +int svc_register (dispatch) + void (*dispatch) (); +{ +} + diff --git a/test/FrontendC/2007-01-20-VectorICE.c b/test/FrontendC/2007-01-20-VectorICE.c new file mode 100644 index 0000000..c2dcdef --- /dev/null +++ b/test/FrontendC/2007-01-20-VectorICE.c @@ -0,0 +1,11 @@ +// RUN: %llvmgcc %s -S -o - + +typedef float __m128 __attribute__((__vector_size__(16))); +typedef long long __v2di __attribute__((__vector_size__(16))); +typedef int __v4si __attribute__((__vector_size__(16))); + +__v2di bar(void); +void foo(int X, __v4si *P) { + *P = X == 2 ? bar() : bar(); +} + diff --git a/test/FrontendC/2007-01-24-InlineAsmCModifier.c b/test/FrontendC/2007-01-24-InlineAsmCModifier.c new file mode 100644 index 0000000..5735cce --- /dev/null +++ b/test/FrontendC/2007-01-24-InlineAsmCModifier.c @@ -0,0 +1,10 @@ +// Verify that the %c modifier works and strips off any prefixes from +// immediates. +// RUN: %llvmgcc -S %s -o - | llvm-as | llc | grep {pickANumber: 789514} + +void foo() { + __asm__ volatile("/* " "pickANumber" ": %c0 */"::"i"(0xC0C0A)); + + // Check that non-c modifiers work also (not greped for above). + __asm__ volatile("/* " "pickANumber2 " ": %0 */"::"i"(123)); +} diff --git a/test/FrontendC/2007-02-04-AddrLValue-2.c b/test/FrontendC/2007-02-04-AddrLValue-2.c new file mode 100644 index 0000000..90251e6 --- /dev/null +++ b/test/FrontendC/2007-02-04-AddrLValue-2.c @@ -0,0 +1,13 @@ +// RUN: %llvmgcc %s -O3 -S -o - -emit-llvm +// PR1173 + +struct S { char s; }; +struct T { struct S t; }; + +struct S *const p = &((struct T * const) (0x4000))->t; + +void +foo (void) +{ + p->s = 0; +} diff --git a/test/FrontendC/2007-02-04-AddrLValue.c b/test/FrontendC/2007-02-04-AddrLValue.c new file mode 100644 index 0000000..c8b65a9 --- /dev/null +++ b/test/FrontendC/2007-02-04-AddrLValue.c @@ -0,0 +1,23 @@ +// RUN: %llvmgcc %s -O3 -S -o - -emit-llvm +// PR1176 + +typedef struct +{ + char *key; + char *value; +} T1; + +typedef struct +{ + long type; + char *value; +} T3; + +T1 a[] = +{ + { + "", + ((char *)&((T3) {1, (char *) 1})) + } +}; + diff --git a/test/FrontendC/2007-02-04-EmptyStruct.c b/test/FrontendC/2007-02-04-EmptyStruct.c new file mode 100644 index 0000000..48ad31f --- /dev/null +++ b/test/FrontendC/2007-02-04-EmptyStruct.c @@ -0,0 +1,9 @@ +// RUN: %llvmgcc %s -O3 -S -o - -emit-llvm +// PR1175 + +struct empty { }; + +void foo(struct empty *p) { + p++; +} + diff --git a/test/FrontendC/2007-02-04-WITH_SIZE_EXPR.c b/test/FrontendC/2007-02-04-WITH_SIZE_EXPR.c new file mode 100644 index 0000000..f02a44b --- /dev/null +++ b/test/FrontendC/2007-02-04-WITH_SIZE_EXPR.c @@ -0,0 +1,21 @@ +// RUN: %llvmgcc %s -O3 -S -o - -emit-llvm +// PR1174 + +void zzz (char *s1, char *s2, int len, int *q) +{ + int z = 5; + unsigned int i, b; + struct { char a[z]; } x; + + for (i = 0; i < len; i++) + s1[i] = s2[i]; + + b = z & 0x3; + + len += (b == 0 ? 0 : 1) + z; + + *q = len; + + foo (x, x); +} + diff --git a/test/FrontendC/2007-02-05-nested.c b/test/FrontendC/2007-02-05-nested.c new file mode 100644 index 0000000..be23f17 --- /dev/null +++ b/test/FrontendC/2007-02-05-nested.c @@ -0,0 +1,54 @@ +// RUN: %llvmgcc -S -fnested-functions -O0 -o - -emit-llvm %s +// PR915 + +extern void abort(void); + +void nest(int n) +{ + int a = 0; + int b = 5; + int c = 0; + int d = 7; + + void o(int i, int j) + { + if (i!=j) + abort(); + } + + void f(x) + int x; /* K&R style */ + { + int e = 0; + int f = 2; + int g = 0; + + void y(void) + { + c = n; + e = 1; + g = x; + } + + void z(void) + { + a = 4; + g = 3; + } + + a = 5; + y(); + c = x; + z(); + o(1,e); + o(2,f); + o(3,g); + } + + c = 2; + f(6); + o(4,a); + o(5,b); + o(6,c); + o(7,d); +} diff --git a/test/FrontendC/2007-02-07-AddrLabel.c b/test/FrontendC/2007-02-07-AddrLabel.c new file mode 100644 index 0000000..144f62d --- /dev/null +++ b/test/FrontendC/2007-02-07-AddrLabel.c @@ -0,0 +1,10 @@ +// PR947 +// RUN: %llvmgcc %s -c -o - + +void foo() { + void *ptr; + label: + ptr = &&label; + + goto *ptr; + } diff --git a/test/FrontendC/2007-02-16-VariableSizeStructArg.c b/test/FrontendC/2007-02-16-VariableSizeStructArg.c new file mode 100644 index 0000000..fd07cd8 --- /dev/null +++ b/test/FrontendC/2007-02-16-VariableSizeStructArg.c @@ -0,0 +1,7 @@ +// RUN: %llvmgcc -S %s -o - +// PR1170 +int f(int a, struct {int b[a];} c) { return c.b[0]; } + +int g(struct {int b[1];} c) { + return c.b[0]; +} diff --git a/test/FrontendC/2007-02-16-VoidPtrDiff.c b/test/FrontendC/2007-02-16-VoidPtrDiff.c new file mode 100644 index 0000000..713b9b2 --- /dev/null +++ b/test/FrontendC/2007-02-16-VoidPtrDiff.c @@ -0,0 +1,5 @@ +// RUN: %llvmgcc %s -S -o - -emit-llvm + +void foo(void *ptr, int test) { + (ptr - ((void *) test + 0x2000)); +} diff --git a/test/FrontendC/2007-02-16-WritableStrings.c b/test/FrontendC/2007-02-16-WritableStrings.c new file mode 100644 index 0000000..d11fa08 --- /dev/null +++ b/test/FrontendC/2007-02-16-WritableStrings.c @@ -0,0 +1,8 @@ +// Test the -fwritable-strings option. + +// RUN: %llvmgcc -O3 -S -o - -emit-llvm -fwritable-strings %s | \ +// RUN: grep {internal global} +// RUN: %llvmgcc -O3 -S -o - -emit-llvm %s | grep {internal constant} + +char *X = "foo"; + diff --git a/test/FrontendC/2007-02-25-C-DotDotDot.c b/test/FrontendC/2007-02-25-C-DotDotDot.c new file mode 100644 index 0000000..9696022 --- /dev/null +++ b/test/FrontendC/2007-02-25-C-DotDotDot.c @@ -0,0 +1,12 @@ +// RUN: %llvmgcc -O0 -S -o - -emit-llvm -fno-inline -fno-unit-at-a-time %s | \ +// RUN: grep {call float @foo} + +// Make sure the call to foo is compiled as: +// call float @foo() +// not +// call float (...)* bitcast (float ()* @foo to float (...)*)( ) + +static float foo() { return 0.0; } +float bar() { return foo()*10.0;} + + diff --git a/test/FrontendC/2007-03-01-VarSizeArrayIdx.c b/test/FrontendC/2007-03-01-VarSizeArrayIdx.c new file mode 100644 index 0000000..a3d480c --- /dev/null +++ b/test/FrontendC/2007-03-01-VarSizeArrayIdx.c @@ -0,0 +1,7 @@ +// RUN: %llvmgcc %s -O3 -S -o - -emit-llvm | grep mul +// PR1233 + +float foo(int w, float A[][w], int g, int h) { + return A[g][0]; +} + diff --git a/test/FrontendC/2007-03-05-DataLayout.c b/test/FrontendC/2007-03-05-DataLayout.c new file mode 100644 index 0000000..18819f1 --- /dev/null +++ b/test/FrontendC/2007-03-05-DataLayout.c @@ -0,0 +1,53 @@ +// Testcase for PR1242 +// RUN: %llvmgcc -S %s -o - | grep datalayout | \ +// RUN: not grep {"\[Ee\]-p:\[36\]\[24\]:\[36\]\[24\]"} +// END. +#include <stdlib.h> +#define NDIM 3 +#define BODY 01 +typedef double vector[NDIM]; +typedef struct bnode* bodyptr; +// { i16, double, [3 x double], i32, i32, [3 x double], [3 x double], [3 x +// double], double, \2 *, \2 * } +struct bnode { + short int type; + double mass; + vector pos; + int proc; + int new_proc; + vector vel; + vector acc; + vector new_acc; + double phi; + bodyptr next; + bodyptr proc_next; +} body; + +#define Type(x) ((x)->type) +#define Mass(x) ((x)->mass) +#define Pos(x) ((x)->pos) +#define Proc(x) ((x)->proc) +#define New_Proc(x) ((x)->new_proc) +#define Vel(x) ((x)->vel) +#define Acc(x) ((x)->acc) +#define New_Acc(x) ((x)->new_acc) +#define Phi(x) ((x)->phi) +#define Next(x) ((x)->next) +#define Proc_Next(x) ((x)->proc_next) + +bodyptr ubody_alloc(int p) +{ + register bodyptr tmp; + tmp = (bodyptr)malloc(sizeof(body)); + + Type(tmp) = BODY; + Proc(tmp) = p; + Proc_Next(tmp) = NULL; + New_Proc(tmp) = p; + return tmp; +} + +int main(int argc, char** argv) { + bodyptr b = ubody_alloc(17); + return 0; +} diff --git a/test/FrontendC/2007-03-06-VarSizeInStruct1.c b/test/FrontendC/2007-03-06-VarSizeInStruct1.c new file mode 100644 index 0000000..8d28a1d --- /dev/null +++ b/test/FrontendC/2007-03-06-VarSizeInStruct1.c @@ -0,0 +1,8 @@ +// RUN: %llvmgcc %s -S -o - +void* p (int n) { + struct f { + char w; char x[n]; char z[]; + } F; + F.x[0]='x'; + return &F; +} diff --git a/test/FrontendC/2007-03-06-VarSizeInStruct2.c b/test/FrontendC/2007-03-06-VarSizeInStruct2.c new file mode 100644 index 0000000..13bc3aa --- /dev/null +++ b/test/FrontendC/2007-03-06-VarSizeInStruct2.c @@ -0,0 +1,8 @@ +// RUN: %llvmgcc %s -S -o - +char p (int n) { + struct f { + char w; char x[n]; char y[n]; + } F; + + return F.x[0]; +} diff --git a/test/FrontendC/2007-03-26-BitfieldAfterZeroWidth.c b/test/FrontendC/2007-03-26-BitfieldAfterZeroWidth.c new file mode 100644 index 0000000..9b6a869 --- /dev/null +++ b/test/FrontendC/2007-03-26-BitfieldAfterZeroWidth.c @@ -0,0 +1,6 @@ +// RUN: %llvmgcc %s -S -o - +struct W {}; +struct Y { + struct W w; + int i:1; +} __attribute__ ((packed)) y; diff --git a/test/FrontendC/2007-03-26-ZeroWidthBitfield.c b/test/FrontendC/2007-03-26-ZeroWidthBitfield.c new file mode 100644 index 0000000..89bfb8e --- /dev/null +++ b/test/FrontendC/2007-03-26-ZeroWidthBitfield.c @@ -0,0 +1,2 @@ +// RUN: %llvmgcc %s -S -o - +struct Z { int :0; } z; diff --git a/test/FrontendC/2007-03-27-ArrayCompatible.c b/test/FrontendC/2007-03-27-ArrayCompatible.c new file mode 100644 index 0000000..fa3d2db --- /dev/null +++ b/test/FrontendC/2007-03-27-ArrayCompatible.c @@ -0,0 +1,10 @@ +// RUN: %llvmgcc -S %s -O2 -o - | grep {ret i8 0} +static char c(int n) { + char x[2][n]; + x[1][0]=0; + return *(n+(char *)x); +} + +char d(void) { + return c(2); +} diff --git a/test/FrontendC/2007-03-27-VarLengthArray.c b/test/FrontendC/2007-03-27-VarLengthArray.c new file mode 100644 index 0000000..5bebe9b --- /dev/null +++ b/test/FrontendC/2007-03-27-VarLengthArray.c @@ -0,0 +1,7 @@ +// RUN: %llvmgcc -S %s -o - | grep {getelementptr i32} +extern void f(int *); +int e(int m, int n) { + int x[n]; + f(x); + return x[m]; +} diff --git a/test/FrontendC/2007-04-05-PackedBitFields-2.c b/test/FrontendC/2007-04-05-PackedBitFields-2.c new file mode 100644 index 0000000..d9db420 --- /dev/null +++ b/test/FrontendC/2007-04-05-PackedBitFields-2.c @@ -0,0 +1,16 @@ +// RUN: %llvmgcc %s -S -o - + +# define pck __attribute__((packed)) + + +struct pck F { + unsigned long long i : 12, + j : 23, + k : 27, + l; +}; +struct F f1; + +void foo() { + f1.l = 5; +} diff --git a/test/FrontendC/2007-04-05-PackedBitFields.c b/test/FrontendC/2007-04-05-PackedBitFields.c new file mode 100644 index 0000000..f9de356 --- /dev/null +++ b/test/FrontendC/2007-04-05-PackedBitFields.c @@ -0,0 +1,16 @@ +// RUN: %llvmgcc %s -S -o - + +# define pck __attribute__((packed)) + + +struct pck E { + unsigned long long l, + i : 12, + j : 23, + k : 29; }; + +struct E e1; + +void foo() { + e1.k = 5; +} diff --git a/test/FrontendC/2007-04-05-PackedStruct.c b/test/FrontendC/2007-04-05-PackedStruct.c new file mode 100644 index 0000000..0d524c4 --- /dev/null +++ b/test/FrontendC/2007-04-05-PackedStruct.c @@ -0,0 +1,18 @@ +// RUN: %llvmgcc %s -S -o - + +#pragma pack(push, 2) + +enum { + tA = 0, + tB = 1 +}; + +struct MyStruct { + unsigned long A; + char C; + void * B; +}; + +void bar(){ +struct MyStruct MS = { tB, 0 }; +} diff --git a/test/FrontendC/2007-04-05-PadBeforeZeroLengthField.c b/test/FrontendC/2007-04-05-PadBeforeZeroLengthField.c new file mode 100644 index 0000000..acc3821 --- /dev/null +++ b/test/FrontendC/2007-04-05-PadBeforeZeroLengthField.c @@ -0,0 +1,9 @@ +// RUN: %llvmgcc %s -S -o - +struct c__ { unsigned int type:4; }; +union A { struct c__ c; } __attribute__((aligned(8))); +struct B { + unsigned int retainCount; + union A objects[]; +}; +void foo(union A * objects, struct B *array, unsigned long k) +{ array->objects[k] = objects[k]; } diff --git a/test/FrontendC/2007-04-05-UnPackedStruct.c b/test/FrontendC/2007-04-05-UnPackedStruct.c new file mode 100644 index 0000000..9e168ed --- /dev/null +++ b/test/FrontendC/2007-04-05-UnPackedStruct.c @@ -0,0 +1,16 @@ +// RUN: %llvmgcc %s -S -o - + + +enum { + tA = 0, + tB = 1 +}; + +struct MyStruct { + unsigned long A; + void * B; +}; + +void bar(){ +struct MyStruct MS = { tB, 0 }; +} diff --git a/test/FrontendC/2007-04-11-InlineAsmStruct.c b/test/FrontendC/2007-04-11-InlineAsmStruct.c new file mode 100644 index 0000000..158a16e --- /dev/null +++ b/test/FrontendC/2007-04-11-InlineAsmStruct.c @@ -0,0 +1,9 @@ +// RUN: %llvmgcc %s -S -emit-llvm -o - | llvm-as | llc + +struct V { short X, Y; }; +int bar() { + struct V bar; + __asm__ volatile("foo %0\n" : "=r"(bar)); + return bar.X; +} + diff --git a/test/FrontendC/2007-04-11-InlineAsmUnion.c b/test/FrontendC/2007-04-11-InlineAsmUnion.c new file mode 100644 index 0000000..0435d64 --- /dev/null +++ b/test/FrontendC/2007-04-11-InlineAsmUnion.c @@ -0,0 +1,7 @@ +// RUN: %llvmgcc %s -S -emit-llvm -o - | llvm-as | llc + +union U { int x; float p; }; +void foo() { + union U bar; + __asm__ volatile("foo %0\n" : "=r"(bar)); +} diff --git a/test/FrontendC/2007-04-11-InlineStorageClassC89.c b/test/FrontendC/2007-04-11-InlineStorageClassC89.c new file mode 100644 index 0000000..ab1f556 --- /dev/null +++ b/test/FrontendC/2007-04-11-InlineStorageClassC89.c @@ -0,0 +1,46 @@ +// RUN: %llvmgcc %s -S -emit-llvm -O0 -o - | grep define | grep xglobWeak | \ +// RUN: grep weak | count 1 +// RUN: %llvmgcc %s -S -emit-llvm -O0 -o - | grep define | grep xextWeak | \ +// RUN: grep weak | count 1 +// RUN: %llvmgcc %s -S -emit-llvm -O0 -o - | grep define | \ +// RUN: grep xWeaknoinline | grep weak | count 1 +// RUN: %llvmgcc %s -S -emit-llvm -O0 -o - | grep define | \ +// RUN: grep xWeakextnoinline | grep weak | count 1 +// RUN: %llvmgcc %s -S -emit-llvm -O0 -o - | grep define | \ +// RUN: grep xglobnoWeak | grep -v internal | grep -v weak | \ +// RUN: grep -v linkonce | count 1 +// RUN: %llvmgcc %s -S -emit-llvm -O0 -o - | grep define | \ +// RUN: grep xstatnoWeak | grep internal | count 1 +// RUN: %llvmgcc %s -S -emit-llvm -O0 -o - | grep declare | \ +// RUN: grep xextnoWeak | grep -v internal | grep -v weak | \ +// RUN: grep -v linkonce | count 1 +inline int xglobWeak(int) __attribute__((weak)); +inline int xglobWeak (int i) { + return i*2; +} +inline int xextWeak(int) __attribute__((weak)); +extern inline int xextWeak (int i) { + return i*4; +} +int xWeaknoinline(int) __attribute__((weak)); +int xWeaknoinline(int i) { + return i*8; +} +int xWeakextnoinline(int) __attribute__((weak)); +extern int xWeakextnoinline(int i) { + return i*16; +} +inline int xglobnoWeak (int i) { + return i*32; +} +static inline int xstatnoWeak (int i) { + return i*64; +} +extern inline int xextnoWeak (int i) { + return i*128; +} +int j(int y) { + return xglobnoWeak(y)+xstatnoWeak(y)+xextnoWeak(y)+ + xglobWeak(y)+xextWeak(y)+ + xWeakextnoinline(y)+xWeaknoinline(y); +} diff --git a/test/FrontendC/2007-04-11-InlineStorageClassC99.c b/test/FrontendC/2007-04-11-InlineStorageClassC99.c new file mode 100644 index 0000000..f6193aa --- /dev/null +++ b/test/FrontendC/2007-04-11-InlineStorageClassC99.c @@ -0,0 +1,46 @@ +// RUN: %llvmgcc -std=c99 %s -S -emit-llvm -O0 -o - | grep declare | \ +// RUN: grep xglobWeak | grep extern_weak | count 1 +// RUN: %llvmgcc -std=c99 %s -S -emit-llvm -O0 -o - | grep define | \ +// RUN: grep xextWeak | grep weak | count 1 +// RUN: %llvmgcc -std=c99 %s -S -emit-llvm -O0 -o - | grep define | \ +// RUN: grep xWeaknoinline | grep weak | count 1 +// RUN: %llvmgcc -std=c99 %s -S -emit-llvm -O0 -o - | grep define | \ +// RUN: grep xWeakextnoinline | grep weak | count 1 +// RUN: %llvmgcc -std=c99 %s -S -emit-llvm -O0 -o - | grep declare | \ +// RUN: grep xglobnoWeak | grep -v internal | grep -v weak | \ +// RUN: grep -v linkonce | count 1 +// RUN: %llvmgcc -std=c99 %s -S -emit-llvm -O0 -o - | grep define | \ +// RUN: grep xstatnoWeak | grep internal | count 1 +// RUN: %llvmgcc -std=c99 %s -S -emit-llvm -O0 -o - | grep define | \ +// RUN: grep xextnoWeak | grep -v internal | grep -v weak | \ +// RUN: grep -v linkonce | count 1 +inline int xglobWeak(int) __attribute__((weak)); +inline int xglobWeak (int i) { + return i*2; +} +inline int xextWeak(int) __attribute__((weak)); +extern inline int xextWeak (int i) { + return i*4; +} +int xWeaknoinline(int) __attribute__((weak)); +int xWeaknoinline(int i) { + return i*8; +} +int xWeakextnoinline(int) __attribute__((weak)); +extern int xWeakextnoinline(int i) { + return i*16; +} +inline int xglobnoWeak (int i) { + return i*32; +} +static inline int xstatnoWeak (int i) { + return i*64; +} +extern inline int xextnoWeak (int i) { + return i*128; +} +int j(int y) { + return xglobnoWeak(y)+xstatnoWeak(y)+xextnoWeak(y)+ + xglobWeak(y)+xextWeak(y)+ + xWeakextnoinline(y)+xWeaknoinline(y); +} diff --git a/test/FrontendC/2007-04-11-PR1321.c b/test/FrontendC/2007-04-11-PR1321.c new file mode 100644 index 0000000..f391329 --- /dev/null +++ b/test/FrontendC/2007-04-11-PR1321.c @@ -0,0 +1,12 @@ +// RUN: %llvmgcc %s -S -o /dev/null + +struct X { + unsigned int e0 : 17; + unsigned int e1 : 17; + unsigned int e2 : 17; + unsigned int e3 : 17; + unsigned int e4 : 17; + unsigned int e5 : 17; + unsigned int e6 : 17; + unsigned int e7 : 17; +} __attribute__((packed)) x; diff --git a/test/FrontendC/2007-04-13-InlineAsmStruct2.c b/test/FrontendC/2007-04-13-InlineAsmStruct2.c new file mode 100644 index 0000000..e4870e7 --- /dev/null +++ b/test/FrontendC/2007-04-13-InlineAsmStruct2.c @@ -0,0 +1,9 @@ +// RUN: %llvmgcc %s -S -emit-llvm -o - | grep {call void asm} + +struct V { short X, Y; }; +int bar() { + struct V bar; + __asm__ volatile("foo %0\n" :: "r"(bar)); + return bar.X; +} + diff --git a/test/FrontendC/2007-04-13-InlineAsmUnion2.c b/test/FrontendC/2007-04-13-InlineAsmUnion2.c new file mode 100644 index 0000000..284654d --- /dev/null +++ b/test/FrontendC/2007-04-13-InlineAsmUnion2.c @@ -0,0 +1,7 @@ +// RUN: %llvmgcc %s -S -emit-llvm -o - | grep {call void asm} + +union U { int x; char* p; }; +void foo() { + union U bar; + __asm__ volatile("foo %0\n" :: "r"(bar)); +} diff --git a/test/FrontendC/2007-04-14-FNoBuiltin.c b/test/FrontendC/2007-04-14-FNoBuiltin.c new file mode 100644 index 0000000..88bf0e0 --- /dev/null +++ b/test/FrontendC/2007-04-14-FNoBuiltin.c @@ -0,0 +1,7 @@ +// RUN: %llvmgcc -S %s -O2 -fno-builtin -o - | grep call.*printf +// Check that -fno-builtin is honored. + +extern int printf(const char*, ...); +void foo(const char *msg) { + printf("%s\n",msg); +} diff --git a/test/FrontendC/2007-04-17-ZeroSizeBitFields.c b/test/FrontendC/2007-04-17-ZeroSizeBitFields.c new file mode 100644 index 0000000..ec7b7ea --- /dev/null +++ b/test/FrontendC/2007-04-17-ZeroSizeBitFields.c @@ -0,0 +1,4 @@ +// PR 1332 +// RUN: %llvmgcc %s -S -o /dev/null + +struct Z { int a:1; int :0; int c:1; } z; diff --git a/test/FrontendC/2007-04-24-VolatileStructCopy.c b/test/FrontendC/2007-04-24-VolatileStructCopy.c new file mode 100644 index 0000000..4765921 --- /dev/null +++ b/test/FrontendC/2007-04-24-VolatileStructCopy.c @@ -0,0 +1,10 @@ +// RUN: %llvmgcc -O3 -S -o - -emit-llvm %s | grep {volatile store} +// PR1352 + +struct foo { + int x; +}; + +void copy(volatile struct foo *p, struct foo *q) { + *p = *q; +} diff --git a/test/FrontendC/2007-04-24-bit-not-expr.c b/test/FrontendC/2007-04-24-bit-not-expr.c new file mode 100644 index 0000000..1c27f181 --- /dev/null +++ b/test/FrontendC/2007-04-24-bit-not-expr.c @@ -0,0 +1,7 @@ +// PR 1346 +// RUN: %llvmgcc -c %s -o /dev/null +extern bar(void *); + +void f(void *cd) { + bar(((void *)((unsigned long)(cd) ^ -1))); +} diff --git a/test/FrontendC/2007-04-24-str-const.c b/test/FrontendC/2007-04-24-str-const.c new file mode 100644 index 0000000..4c109c4 --- /dev/null +++ b/test/FrontendC/2007-04-24-str-const.c @@ -0,0 +1,17 @@ +// RUN: %llvmgcc -c %s -o /dev/null +static char *str; + +static const struct { + const char *name; + unsigned type; +} scan_special[] = { + {"shift", 1}, + {0, 0} +}; + +static void +sb(void) +{ + while (*str == ' ' || *str == '\t') + str++; +} diff --git a/test/FrontendC/2007-05-07-NestedStructReturn.c b/test/FrontendC/2007-05-07-NestedStructReturn.c new file mode 100644 index 0000000..aea58e3 --- /dev/null +++ b/test/FrontendC/2007-05-07-NestedStructReturn.c @@ -0,0 +1,13 @@ +// RUN: %llvmgcc %s -S -fnested-functions -o - | grep {sret *%agg.result} + +struct X { long m, n, o, p; }; + +struct X p(int n) { + struct X c(int m) { + struct X x; + x.m = m; + x.n = n; + return x; + } + return c(n); +} diff --git a/test/FrontendC/2007-05-07-PaddingElements.c b/test/FrontendC/2007-05-07-PaddingElements.c new file mode 100644 index 0000000..c0a65f0 --- /dev/null +++ b/test/FrontendC/2007-05-07-PaddingElements.c @@ -0,0 +1,12 @@ +// PR 1278 +// RUN: %llvmgcc %s -S -emit-llvm -O0 -o - | not grep "4 x i8] zeroinitializer" +// RUN: %llvmgcc %s -S -emit-llvm -O0 -o - | not grep "i32 0, i32 2" +struct s { + double d1; + int s1; +}; + +struct s foo(void) { + struct s S = {1.1, 2}; + return S; +} diff --git a/test/FrontendC/2007-05-08-PCH.c b/test/FrontendC/2007-05-08-PCH.c new file mode 100644 index 0000000..aa277ec --- /dev/null +++ b/test/FrontendC/2007-05-08-PCH.c @@ -0,0 +1,7 @@ +// PR 1400 +// RUN: %llvmgcc -x c-header %s -o /dev/null + +int main() { + return 0; +} + diff --git a/test/FrontendC/2007-05-11-str-const.c b/test/FrontendC/2007-05-11-str-const.c new file mode 100644 index 0000000..48deddb --- /dev/null +++ b/test/FrontendC/2007-05-11-str-const.c @@ -0,0 +1,5 @@ +// RUN: %llvmgcc -c -g %s -o /dev/null + +static unsigned char out[]={0,1}; +static const unsigned char str1[]="1"; + diff --git a/test/FrontendC/2007-05-15-PaddingElement.c b/test/FrontendC/2007-05-15-PaddingElement.c new file mode 100644 index 0000000..a218b35 --- /dev/null +++ b/test/FrontendC/2007-05-15-PaddingElement.c @@ -0,0 +1,23 @@ +// PR 1419 + +// RUN: %llvmgcc -xc -O2 %s -c -o - | llvm-dis | grep "ret i32 1" +struct A { + short x; + long long :0; +}; + +struct B { + char a; + char b; + unsigned char i; +}; + +union X { struct A a; struct B b; }; + +int check(void) { + union X x, y; + + y.b.i = 0xff; + x = y; + return (x.b.i == 0xff); +} diff --git a/test/FrontendC/2007-05-16-EmptyStruct.c b/test/FrontendC/2007-05-16-EmptyStruct.c new file mode 100644 index 0000000..64652be --- /dev/null +++ b/test/FrontendC/2007-05-16-EmptyStruct.c @@ -0,0 +1,5 @@ +// PR 1417 + +// RUN: %llvmgcc -xc %s -c -o - | llvm-dis | grep "struct.anon = type \{ \}" + +struct { } *X; diff --git a/test/FrontendC/2007-05-29-UnionCopy.c b/test/FrontendC/2007-05-29-UnionCopy.c new file mode 100644 index 0000000..ded67d4 --- /dev/null +++ b/test/FrontendC/2007-05-29-UnionCopy.c @@ -0,0 +1,18 @@ +// RUN: %llvmgcc -S -o - -emit-llvm %s | grep memcpy +// PR1421 + +struct A { + char c; + int i; +}; + +struct B { + int c; + unsigned char x; +}; + +union U { struct A a; struct B b; }; + +void check(union U *u, union U *v) { + *u = *v; +} diff --git a/test/FrontendC/2007-06-05-NoInlineAttribute.c b/test/FrontendC/2007-06-05-NoInlineAttribute.c new file mode 100644 index 0000000..cb1920a --- /dev/null +++ b/test/FrontendC/2007-06-05-NoInlineAttribute.c @@ -0,0 +1,13 @@ +// RUN: %llvmgcc -c -emit-llvm %s -o - | llvm-dis | grep llvm.noinline + +static int bar(int x, int y) __attribute__((noinline)); + +static int bar(int x, int y) +{ + return x + y; +} + +int foo(int a, int b) { + return bar(b, a); +} + diff --git a/test/FrontendC/2007-06-15-AnnotateAttribute.c b/test/FrontendC/2007-06-15-AnnotateAttribute.c new file mode 100644 index 0000000..0099117 --- /dev/null +++ b/test/FrontendC/2007-06-15-AnnotateAttribute.c @@ -0,0 +1,24 @@ +// RUN: %llvmgcc -c -emit-llvm %s -o - | llvm-dis | grep llvm.global.annotations +// RUN: %llvmgcc -c -emit-llvm %s -o - | llvm-dis | grep llvm.var.annotation | count 3 + +#include <stdio.h> + +/* Global variable with attribute */ +int X __attribute__((annotate("GlobalValAnnotation"))); + +/* Function with attribute */ +int foo(int y) __attribute__((annotate("GlobalValAnnotation"))) + __attribute__((noinline)); + +int foo(int y __attribute__((annotate("LocalValAnnotation")))) { + int x __attribute__((annotate("LocalValAnnotation"))); + x = 34; + return y + x; +} + +int main() { + static int a __attribute__((annotate("GlobalValAnnotation"))); + a = foo(2); + printf("hello world%d\n", a); + return 0; +} diff --git a/test/FrontendC/2007-06-18-SextAttrAggregate.c b/test/FrontendC/2007-06-18-SextAttrAggregate.c new file mode 100644 index 0000000..2fcd726 --- /dev/null +++ b/test/FrontendC/2007-06-18-SextAttrAggregate.c @@ -0,0 +1,11 @@ +// RUN: %llvmgcc %s -o - -S -emit-llvm -O3 | grep {i8 signext} +// PR1513 + +struct s{ +long a; +long b; +}; + +void f(struct s a, char *b, signed char C) { + +} diff --git a/test/FrontendC/2007-07-29-RestrictPtrArg.c b/test/FrontendC/2007-07-29-RestrictPtrArg.c new file mode 100644 index 0000000..99eae39 --- /dev/null +++ b/test/FrontendC/2007-07-29-RestrictPtrArg.c @@ -0,0 +1,6 @@ +// RUN: %llvmgcc -c -emit-llvm %s -o - | llvm-dis | grep noalias + +void foo(int * __restrict myptr1, int * myptr2) { + myptr1[0] = 0; + myptr2[0] = 0; +} diff --git a/test/FrontendC/2007-08-01-LoadStoreAlign.c b/test/FrontendC/2007-08-01-LoadStoreAlign.c new file mode 100644 index 0000000..ef890bf --- /dev/null +++ b/test/FrontendC/2007-08-01-LoadStoreAlign.c @@ -0,0 +1,17 @@ +// RUN: %llvmgcc -O3 -S -o - -emit-llvm %s | grep {align 1} | count 2 +// RUN: %llvmgcc -O3 -S -o - -emit-llvm %s | llvm-as | llc + +struct p { + char a; + int b; +} __attribute__ ((packed)); + +struct p t = { 1, 10 }; +struct p u; + +int main () { + int tmp = t.b; + u.b = tmp; + return tmp; + +} diff --git a/test/FrontendC/2007-08-21-ComplexCst.c b/test/FrontendC/2007-08-21-ComplexCst.c new file mode 100644 index 0000000..7ddd87c --- /dev/null +++ b/test/FrontendC/2007-08-21-ComplexCst.c @@ -0,0 +1,3 @@ +// RUN: %llvmgcc -O2 -c %s -o /dev/null +void f(_Complex float z); +void g() { f(1.0i); } diff --git a/test/FrontendC/2007-08-22-CTTZ.c b/test/FrontendC/2007-08-22-CTTZ.c new file mode 100644 index 0000000..9e74f24 --- /dev/null +++ b/test/FrontendC/2007-08-22-CTTZ.c @@ -0,0 +1,6 @@ +// RUN: %llvmgcc -O2 -S -o - %s | grep {llvm.cttz.i64} | count 2 +// RUN: %llvmgcc -O2 -S -o - %s | not grep {lshr} + +int bork(unsigned long long x) { + return __builtin_ctzll(x); +} diff --git a/test/FrontendC/2007-09-05-ConstCtor.c b/test/FrontendC/2007-09-05-ConstCtor.c new file mode 100644 index 0000000..c267a59 --- /dev/null +++ b/test/FrontendC/2007-09-05-ConstCtor.c @@ -0,0 +1,14 @@ +// RUN: %llvmgcc -xc -Os -c %s -o /dev/null +// PR1641 + +struct A { + unsigned long l; +}; + +void bar(struct A *a); + +void bork() { + const unsigned long vcgt = 'vcgt'; + struct A a = { vcgt }; + bar(&a); +} diff --git a/test/FrontendC/2007-09-12-PragmaPack.c b/test/FrontendC/2007-09-12-PragmaPack.c new file mode 100644 index 0000000..4fc7f48 --- /dev/null +++ b/test/FrontendC/2007-09-12-PragmaPack.c @@ -0,0 +1,30 @@ +// RUN: %llvmgcc -O3 -S -o - %s | grep {18} + +#include <stdint.h> + +#pragma pack(push, 1) +typedef struct +{ + uint32_t a; +} foo; + +typedef struct { + uint8_t major; + uint8_t minor; + uint16_t build; +} VERSION; + +typedef struct { + uint8_t a[5]; + VERSION version; + uint8_t b; + foo d; + uint32_t guard; +} bar; +#pragma pack(pop) + + +unsigned barsize(void) { + return sizeof(bar); +} + diff --git a/test/FrontendC/2007-09-14-NegatePointer.c b/test/FrontendC/2007-09-14-NegatePointer.c new file mode 100644 index 0000000..cb49e46 --- /dev/null +++ b/test/FrontendC/2007-09-14-NegatePointer.c @@ -0,0 +1,7 @@ +// RUN: %llvmgcc -S %s -o - +// PR1662 + +int foo(unsigned char *test) { + return 0U - (unsigned int )test; +} + diff --git a/test/FrontendC/2007-09-17-WeakRef.c b/test/FrontendC/2007-09-17-WeakRef.c new file mode 100644 index 0000000..3cdd47e --- /dev/null +++ b/test/FrontendC/2007-09-17-WeakRef.c @@ -0,0 +1,10 @@ +// RUN: %llvmgcc -O1 -S %s -o - | grep icmp +// PR1678 +// XFAIL: llvmgcc4.0.1 +extern void B (void); +static __typeof(B) A __attribute__ ((__weakref__("B"))); +int active (void) +{ + static void *const p = __extension__ (void *) &A; + return p != 0; +} diff --git a/test/FrontendC/2007-09-20-GcrootAttribute.c b/test/FrontendC/2007-09-20-GcrootAttribute.c new file mode 100644 index 0000000..23cd37f --- /dev/null +++ b/test/FrontendC/2007-09-20-GcrootAttribute.c @@ -0,0 +1,29 @@ +// RUN: %llvmgcc -S -emit-llvm %s -o - | grep llvm.gcroot +// RUN: %llvmgcc -S -emit-llvm %s -o - | grep llvm.gcroot | count 6 +// RUN: %llvmgcc -S -emit-llvm %s -o - | llvm-as + +typedef struct foo_s +{ + int a; +} foo, __attribute__ ((gcroot)) *foo_p; + +foo my_foo; + +int alpha () +{ + foo my_foo2 = my_foo; + + return my_foo2.a; +} + +int bar (foo a) +{ + foo_p b; + return b->a; +} + +foo_p baz (foo_p a, foo_p b, foo_p *c) +{ + a = b = *c; + return a; +} diff --git a/test/FrontendC/2007-09-26-Alignment.c b/test/FrontendC/2007-09-26-Alignment.c new file mode 100644 index 0000000..1638fed --- /dev/null +++ b/test/FrontendC/2007-09-26-Alignment.c @@ -0,0 +1,7 @@ +// RUN: %llvmgcc -S %s -o - | grep {align 16} +extern p(int *); +int q(void) { + int x __attribute__ ((aligned (16))); + p(&x); + return x; +} diff --git a/test/FrontendC/2007-09-27-ComplexIntCompare.c b/test/FrontendC/2007-09-27-ComplexIntCompare.c new file mode 100644 index 0000000..ee9a85c --- /dev/null +++ b/test/FrontendC/2007-09-27-ComplexIntCompare.c @@ -0,0 +1,14 @@ +// RUN: %llvmgcc -S %s -o - +// PR1708 +struct s { _Complex unsigned short x; }; +struct s gs = { 100 + 200i }; +struct s __attribute__((noinline)) foo (void) { return gs; } + +int main () +{ + if (foo ().x != gs.x) + abort (); + exit (0); +} + + diff --git a/test/FrontendC/2007-09-28-PackedUnionMember.c b/test/FrontendC/2007-09-28-PackedUnionMember.c new file mode 100644 index 0000000..1e64657 --- /dev/null +++ b/test/FrontendC/2007-09-28-PackedUnionMember.c @@ -0,0 +1,37 @@ +// RUN: %llvmgcc %s -S -o - +#pragma pack(push, 2) +struct H { + unsigned long f1; + unsigned long f2; + union { + struct opaque1 *f3; + struct opaque2 *f4; + struct { + struct opaque3 *f5; + unsigned short f6; + } f7; + } f8; +}; +#pragma pack(pop) + +struct E { + unsigned long f1; + unsigned long f2; +}; + +typedef long (*FuncPtr) (); + +extern long bork(FuncPtr handler, const struct E *list); + +static long hndlr() +{ + struct H cmd = { 4, 'fart' }; + return 0; +} +void foo(void *inWindow) { + static const struct E events[] = { + { 'cmds', 1 } + }; + bork(hndlr, events); +} + diff --git a/test/FrontendC/2007-10-01-BuildArrayRef.c b/test/FrontendC/2007-10-01-BuildArrayRef.c new file mode 100644 index 0000000..e903755 --- /dev/null +++ b/test/FrontendC/2007-10-01-BuildArrayRef.c @@ -0,0 +1,8 @@ +// RUN: not %llvmgcc -S %s -o /dev/null |& grep "error: assignment of read-only location" +// PR 1603 +int func() +{ + const int *arr; + arr[0] = 1; +} + diff --git a/test/FrontendC/2007-10-02-VolatileArray.c b/test/FrontendC/2007-10-02-VolatileArray.c new file mode 100644 index 0000000..7e8bf24 --- /dev/null +++ b/test/FrontendC/2007-10-02-VolatileArray.c @@ -0,0 +1,7 @@ +// RUN: %llvmgcc -S %s -o - | grep volatile +// PR1647 + +void foo(volatile int *p) +{ +p[0] = 0; +} diff --git a/test/FrontendC/2007-10-15-VoidPtr.c b/test/FrontendC/2007-10-15-VoidPtr.c new file mode 100644 index 0000000..c5948b9 --- /dev/null +++ b/test/FrontendC/2007-10-15-VoidPtr.c @@ -0,0 +1,4 @@ +// RUN: %llvmgcc -S %s -o /dev/null +void bork(void **data) { + (*(unsigned short *) (&(data[37])[927]) = 0); +} diff --git a/test/FrontendC/2007-10-30-Volatile.c b/test/FrontendC/2007-10-30-Volatile.c new file mode 100644 index 0000000..7a75b05 --- /dev/null +++ b/test/FrontendC/2007-10-30-Volatile.c @@ -0,0 +1,6 @@ +// RUN: %llvmgcc -S %s -o /dev/null -Wall -Werror +void bork() { + char * volatile p; + volatile int cc; + p += cc; +} diff --git a/test/FrontendC/2007-11-07-AlignedMemcpy.c b/test/FrontendC/2007-11-07-AlignedMemcpy.c new file mode 100644 index 0000000..f1900bb --- /dev/null +++ b/test/FrontendC/2007-11-07-AlignedMemcpy.c @@ -0,0 +1,4 @@ +// RUN: %llvmgcc -c %s -o /dev/null +void bork() { + int Qux[33] = {0}; +} diff --git a/test/FrontendC/2007-11-07-CopyAggregateAlign.c b/test/FrontendC/2007-11-07-CopyAggregateAlign.c new file mode 100644 index 0000000..8bd94b0 --- /dev/null +++ b/test/FrontendC/2007-11-07-CopyAggregateAlign.c @@ -0,0 +1,3 @@ +// RUN: %llvmgcc -S %s -o - | grep "align 2" | count 6 +struct A { char s, t, u, v; short a; }; +void q() { struct A a, b; a = b; } diff --git a/test/FrontendC/2007-11-07-ZeroAggregateAlign.c b/test/FrontendC/2007-11-07-ZeroAggregateAlign.c new file mode 100644 index 0000000..424120d --- /dev/null +++ b/test/FrontendC/2007-11-07-ZeroAggregateAlign.c @@ -0,0 +1,3 @@ +// RUN: %llvmgcc -S %s -o - | grep "align 2" +struct A { short s; short t; int i; }; +void q() { struct A a = {0}; } diff --git a/test/FrontendC/2007-11-27-SExtZExt.c b/test/FrontendC/2007-11-27-SExtZExt.c new file mode 100644 index 0000000..2b6cd62 --- /dev/null +++ b/test/FrontendC/2007-11-27-SExtZExt.c @@ -0,0 +1,12 @@ +// RUN: %llvmgcc -S %s -emit-llvm -o - | grep "signext" | count 4 + +signed char foo1() { return 1; } + +void foo2(signed short a) { } + +signed char foo3(void) { return 1; } + +void foo4(a) signed short a; { } + + + diff --git a/test/FrontendC/2007-11-28-GlobalInitializer.c b/test/FrontendC/2007-11-28-GlobalInitializer.c new file mode 100644 index 0000000..c8c7a59 --- /dev/null +++ b/test/FrontendC/2007-11-28-GlobalInitializer.c @@ -0,0 +1,8 @@ +// RUN: %llvmgcc -S %s -o - +// PR1744 +typedef struct foo { int x; char *p; } FOO; +extern FOO yy[]; + +int *y = &((yy + 1)->x); +void *z = &((yy + 1)->x); + diff --git a/test/FrontendC/2007-12-16-AsmNoUnwind.c b/test/FrontendC/2007-12-16-AsmNoUnwind.c new file mode 100644 index 0000000..b080e6a --- /dev/null +++ b/test/FrontendC/2007-12-16-AsmNoUnwind.c @@ -0,0 +1,3 @@ +// RUN: %llvmgcc %s -S -o - | grep nounwind + +void bar() { asm (""); } diff --git a/test/FrontendC/2007-12-VarArrayDebug.c b/test/FrontendC/2007-12-VarArrayDebug.c new file mode 100644 index 0000000..cd6cfdf --- /dev/null +++ b/test/FrontendC/2007-12-VarArrayDebug.c @@ -0,0 +1,18 @@ +// RUN: %llvmgcc -S -g -O %s -o - | llvm-as | llc +// RUN: %llvmgcc -S -g %s -o - | llvm-as | llc + +extern void foo (void); + +static +void baz (int i) +{ + foo (); + typedef char A[i]; + struct { A b; } *x = 0; +} + +void +bar (i) +{ + baz (i); +} diff --git a/test/FrontendC/2008-01-04-WideBitfield.c b/test/FrontendC/2008-01-04-WideBitfield.c new file mode 100644 index 0000000..a0045a4 --- /dev/null +++ b/test/FrontendC/2008-01-04-WideBitfield.c @@ -0,0 +1,13 @@ +// RUN: %llvmgcc -S -o - %s +// PR1386 +#include <stdint.h> + +struct X { + unsigned char pad : 4; + uint64_t a : 64; +} __attribute__((packed)) x; + +uint64_t f(void) +{ + return x.a; +} diff --git a/test/FrontendC/2008-01-07-UnusualIntSize.c b/test/FrontendC/2008-01-07-UnusualIntSize.c new file mode 100644 index 0000000..924ae2b --- /dev/null +++ b/test/FrontendC/2008-01-07-UnusualIntSize.c @@ -0,0 +1,11 @@ +// RUN: %llvmgcc %s -S -o - -O | grep {and.*8589934591} +// PR1721 + +struct s { + unsigned long long u33: 33; +} a, b; + +// This should turn into a real 33-bit add, not a 64-bit add. +_Bool test(void) { + return a.u33 + b.u33 != 0; +} diff --git a/test/FrontendC/2008-01-11-ChainConsistency.c b/test/FrontendC/2008-01-11-ChainConsistency.c new file mode 100644 index 0000000..13e48a3 --- /dev/null +++ b/test/FrontendC/2008-01-11-ChainConsistency.c @@ -0,0 +1,3 @@ +// RUN: %llvmgcc -S %s -o - -fnested-functions | not grep nest + +void n1(void) { void a(void) { a(); } a(); } diff --git a/test/FrontendC/2008-01-21-PackedBitFields.c b/test/FrontendC/2008-01-21-PackedBitFields.c new file mode 100644 index 0000000..4c38dee --- /dev/null +++ b/test/FrontendC/2008-01-21-PackedBitFields.c @@ -0,0 +1,7 @@ +// RUN: %llvmgcc %s -S -o - + +typedef double Al1Double __attribute__((aligned(1))); +struct x { int a:23; Al1Double v; }; +struct x X = { 5, 3.0 }; +double foo() { return X.v; } + diff --git a/test/FrontendC/2008-01-21-PackedStructField.c b/test/FrontendC/2008-01-21-PackedStructField.c new file mode 100644 index 0000000..9cc1731 --- /dev/null +++ b/test/FrontendC/2008-01-21-PackedStructField.c @@ -0,0 +1,18 @@ +// RUN: %llvmgcc %s -S -o - + +struct X { long double b; unsigned char c; double __attribute__((packed)) d; }; +struct X x = { 3.0L, 5, 3.0 }; + + +struct S2504 { + int e:17; + __attribute__((packed)) unsigned long long int f; +} ; +int fails; + extern struct S2504 s2504; +void check2504va (int z) { + struct S2504 arg, *p; + long long int i = 0; + arg.f = i; +} + diff --git a/test/FrontendC/2008-01-24-StructAlignAndBitFields.c b/test/FrontendC/2008-01-24-StructAlignAndBitFields.c new file mode 100644 index 0000000..380a7ef --- /dev/null +++ b/test/FrontendC/2008-01-24-StructAlignAndBitFields.c @@ -0,0 +1,4 @@ +// RUN: %llvmgcc %s -S -o - + +struct U { char a; short b; int c:25; char d; } u; + diff --git a/test/FrontendC/2008-01-25-ByValReadNone.c b/test/FrontendC/2008-01-25-ByValReadNone.c new file mode 100644 index 0000000..8ec6052 --- /dev/null +++ b/test/FrontendC/2008-01-25-ByValReadNone.c @@ -0,0 +1,15 @@ +// RUN: %llvmgcc -O3 -S -o - -emit-llvm %s | not grep readonly +// RUN: %llvmgcc -O3 -S -o - -emit-llvm %s | not grep readnone + + +// The struct being passed byval means that we cannot mark the +// function readnone. Readnone would allow stores to the arg to +// be deleted in the caller. We also don't allow readonly since +// the callee might write to the byval parameter. The inliner +// would have to assume the worse and introduce an explicit +// temporary when inlining such a function, which is costly for +// the common case in which the byval argument is not written. +struct S { int A[1000]; }; +int __attribute__ ((const)) f(struct S x) { return x.A[0]; } +int g(struct S x) __attribute__ ((pure)); +int h(struct S x) { return g(x); } diff --git a/test/FrontendC/2008-01-25-ZeroSizedAggregate.c b/test/FrontendC/2008-01-25-ZeroSizedAggregate.c new file mode 100644 index 0000000..643caff --- /dev/null +++ b/test/FrontendC/2008-01-25-ZeroSizedAggregate.c @@ -0,0 +1,39 @@ +// RUN: %llvmgcc %s -S -o - + +// Aggregates of size zero should be dropped from argument list. +typedef long int Tlong; +struct S2411 { + __attribute__((aligned)) Tlong:0; +}; + +extern struct S2411 a2411[5]; +extern void checkx2411(struct S2411); +void test2411(void) { + checkx2411(a2411[0]); +} + +// Proper handling of zero sized fields during type conversion. +typedef unsigned long long int Tal2ullong __attribute__((aligned(2))); +struct S2525 { + Tal2ullong: 0; + struct { + } e; +}; +struct S2525 s2525; + +struct { + signed char f; + char :0; + struct{}h; + char * i[5]; +} data; + +// Taking address of a zero sized field. +struct Z {}; +struct Y { + int i; + struct Z z; +}; +void *f(struct Y *y) { + return &y->z; +} diff --git a/test/FrontendC/2008-01-28-PragmaMark.c b/test/FrontendC/2008-01-28-PragmaMark.c new file mode 100644 index 0000000..0b3ac17 --- /dev/null +++ b/test/FrontendC/2008-01-28-PragmaMark.c @@ -0,0 +1,6 @@ +// RUN: %llvmgcc -Werror -c %s -o /dev/null +#pragma mark LLVM's world +#ifdef DO_ERROR +#error LLVM's world +#endif +int i; diff --git a/test/FrontendC/2008-01-28-UnionSize.c b/test/FrontendC/2008-01-28-UnionSize.c new file mode 100644 index 0000000..ea2c863 --- /dev/null +++ b/test/FrontendC/2008-01-28-UnionSize.c @@ -0,0 +1,24 @@ +// RUN: %llvmgcc %s -S -o - +// PR 1861 + +typedef unsigned char __u8; +typedef unsigned int __u32; +typedef unsigned short u16; +typedef __u32 __le32; +struct bcm43xx_plcp_hdr6 { + union { + __le32 data; + __u8 raw[6]; + } + __attribute__((__packed__)); +} + __attribute__((__packed__)); +struct bcm43xx_txhdr { + union { + struct { + struct bcm43xx_plcp_hdr6 plcp; + }; + }; +} + __attribute__((__packed__)); +static void bcm43xx_generate_rts(struct bcm43xx_txhdr *txhdr ) { } diff --git a/test/FrontendC/2008-02-11-AnnotateBuiltin.c b/test/FrontendC/2008-02-11-AnnotateBuiltin.c new file mode 100644 index 0000000..32bc7a8 --- /dev/null +++ b/test/FrontendC/2008-02-11-AnnotateBuiltin.c @@ -0,0 +1,7 @@ +// RUN: %llvmgcc %s -S -o - | llvm-as | llvm-dis | grep llvm.annotation + +int main() { + int x = 0; + return __builtin_annotation(x, "annotate"); +} + diff --git a/test/FrontendC/2008-03-03-CtorAttrType.c b/test/FrontendC/2008-03-03-CtorAttrType.c new file mode 100644 index 0000000..dc0e47d --- /dev/null +++ b/test/FrontendC/2008-03-03-CtorAttrType.c @@ -0,0 +1,6 @@ +// RUN: %llvmgcc %s -S -emit-llvm -o - | grep llvm.global_ctors +int __attribute__((constructor)) foo(void) { + return 0; +} +void __attribute__((constructor)) bar(void) {} + diff --git a/test/FrontendC/2008-03-05-syncPtr.c b/test/FrontendC/2008-03-05-syncPtr.c new file mode 100644 index 0000000..03aedab --- /dev/null +++ b/test/FrontendC/2008-03-05-syncPtr.c @@ -0,0 +1,27 @@ +// RUN: %llvmgcc %s -S -emit-llvm -o - | grep llvm.atomic +// XFAIL: sparc-sun-solaris2|arm|ia64 +// Feature currently implemented only for x86, alpha, powerpc. + +int* foo(int** a, int* b, int* c) { +return __sync_val_compare_and_swap (a, b, c); +} + +int foo2(int** a, int* b, int* c) { +return __sync_bool_compare_and_swap (a, b, c); +} + +int* foo3(int** a, int b) { + return __sync_fetch_and_add (a, b); +} + +int* foo4(int** a, int b) { + return __sync_fetch_and_sub (a, b); +} + +int* foo5(int** a, int* b) { + return __sync_lock_test_and_set (a, b); +} + +int* foo6(int** a, int*** b) { + return __sync_lock_test_and_set (a, b); +} diff --git a/test/FrontendC/2008-03-24-BitField-And-Alloca.c b/test/FrontendC/2008-03-24-BitField-And-Alloca.c new file mode 100644 index 0000000..e8112bb --- /dev/null +++ b/test/FrontendC/2008-03-24-BitField-And-Alloca.c @@ -0,0 +1,88 @@ +// RUN: %llvmgcc -S --emit-llvm %s -o - | not grep "\{ i8, .7 x i8. \}" +// RUN: %llvmgcc -O2 -S %s -o - | not grep alloca +enum { + PP_C, + PP_D, + PP_R, + PP_2D, + PP_1D, + PP_SR, + PP_S2D, + PP_S1D, + PP_SC +}; + +enum { + G_VP, + G_FP, + G_VS, + G_GS, + G_FS +}; + +enum { + G_NONE, + G_B, + G_R +}; + +typedef union _Key { + struct { + unsigned int count : 2; + unsigned int Aconst : 1; + unsigned int Bconst : 1; + unsigned int Cconst : 1; + unsigned int Xused : 1; + unsigned int Yused : 1; + unsigned int Zused : 1; + unsigned int Wused : 1; + unsigned int ttype : 3; + unsigned int scalar : 1; + unsigned int AType : 4; + unsigned int BType : 4; + unsigned int CType : 4; + unsigned int RType : 4; + unsigned int Size : 2; + unsigned int prec : 1; + + unsigned int ASize : 2; + unsigned int BSize : 2; + unsigned int CSize : 2; + unsigned int tTex : 4; + unsigned int proj : 1; + unsigned int lod : 2; + unsigned int dvts : 1; + unsigned int uipad : 18; + } key_io; + struct { + unsigned int key0; + unsigned int key1; + } key; + unsigned long long lkey; +} Key; + +static inline __attribute__ ((always_inline)) void foo(const Key iospec, int* ret) +{ + *ret=0; + if(((iospec.key_io.lod == G_B) && + (iospec.key_io.ttype != G_VS) && + (iospec.key_io.ttype != G_GS) && + (iospec.key_io.ttype != G_FS)) || + + (((iospec.key_io.tTex == PP_C) || + (iospec.key_io.tTex == PP_SC)) && + ((iospec.key_io.tTex == PP_SR) || + (iospec.key_io.tTex == PP_S2D) || + (iospec.key_io.tTex == PP_S1D) || + (iospec.key_io.tTex == PP_SC)))) + *ret=1; +} + + +extern int bar(unsigned long long key_token2) +{ + int ret; + __attribute__ ((unused)) Key iospec = (Key) key_token2; + foo(iospec, &ret); + return ret; +} diff --git a/test/FrontendC/2008-03-26-PackedBitFields.c b/test/FrontendC/2008-03-26-PackedBitFields.c new file mode 100644 index 0000000..7214281 --- /dev/null +++ b/test/FrontendC/2008-03-26-PackedBitFields.c @@ -0,0 +1,7 @@ +// RUN: %llvmgcc %s -S -o - + + +struct S1757 { + long double c; + long int __attribute__((packed)) e:28; +} x; diff --git a/test/FrontendC/2008-04-08-NoExceptions.c b/test/FrontendC/2008-04-08-NoExceptions.c new file mode 100644 index 0000000..257fee2 --- /dev/null +++ b/test/FrontendC/2008-04-08-NoExceptions.c @@ -0,0 +1,7 @@ +// RUN: %llvmgcc -S -o - %s | grep nounwind | count 2 +// RUN: %llvmgcc -S -o - %s | not grep {declare.*nounwind} + +void f(void); +void g(void) { + f(); +} diff --git a/test/FrontendC/2008-05-06-CFECrash.c b/test/FrontendC/2008-05-06-CFECrash.c new file mode 100644 index 0000000..94d556c --- /dev/null +++ b/test/FrontendC/2008-05-06-CFECrash.c @@ -0,0 +1,4 @@ +// RUN: %llvmgcc -S -O2 %s -o /dev/null +// PR2292. +__inline__ __attribute__ ((__pure__)) int g (void) {} +void f (int k) { k = g (); } diff --git a/test/FrontendC/2008-05-12-TempUsedBeforeDef.c b/test/FrontendC/2008-05-12-TempUsedBeforeDef.c new file mode 100644 index 0000000..5c3bfda --- /dev/null +++ b/test/FrontendC/2008-05-12-TempUsedBeforeDef.c @@ -0,0 +1,10 @@ +// RUN: %llvmgcc -S -o /dev/null %s +// PR2264. +unsigned foo = 8L; +unsigned bar = 0L; +volatile unsigned char baz = 6L; +int test() { + char qux = 1L; + for (; baz >= -29; baz--) + bork(bar && foo, qux); +} diff --git a/test/FrontendC/2008-05-19-AlwaysInline.c b/test/FrontendC/2008-05-19-AlwaysInline.c new file mode 100644 index 0000000..506f6cf --- /dev/null +++ b/test/FrontendC/2008-05-19-AlwaysInline.c @@ -0,0 +1,12 @@ +// RUN: %llvmgcc %s -S -fno-unit-at-a-time -emit-llvm -O0 -o - | not grep sabrina +// RUN: %llvmgcc %s -S -funit-at-a-time -emit-llvm -O0 -o - | not grep sabrina + +static inline int sabrina (void) __attribute__((always_inline)); +static inline int sabrina (void) +{ + return 13; +} +int bar (void) +{ + return sabrina () + 68; +} diff --git a/test/FrontendC/BasicInstrs.c b/test/FrontendC/BasicInstrs.c new file mode 100644 index 0000000..812b49d --- /dev/null +++ b/test/FrontendC/BasicInstrs.c @@ -0,0 +1,26 @@ +// This file can be used to see what a native C compiler is generating for a +// variety of interesting operations. +// +// RUN: %llvmgcc -S %s -o - | llvm-as | llc + +unsigned int udiv(unsigned int X, unsigned int Y) { + return X/Y; +} +int sdiv(int X, int Y) { + return X/Y; +} +unsigned int urem(unsigned int X, unsigned int Y) { + return X%Y; +} +int srem(int X, int Y) { + return X%Y; +} + +_Bool setlt(int X, int Y) { + return X < Y; +} + +_Bool setgt(int X, int Y) { + return X > Y; +} + diff --git a/test/FrontendC/attribute_constructor.c b/test/FrontendC/attribute_constructor.c new file mode 100644 index 0000000..b2f7c9b --- /dev/null +++ b/test/FrontendC/attribute_constructor.c @@ -0,0 +1,6 @@ +// RUN: %llvmgcc %s -c -o - | llvm-dis | grep llvm.global_ctors + +void foo() __attribute__((constructor)); +void foo() { + bar(); +} diff --git a/test/FrontendC/block-copy.c b/test/FrontendC/block-copy.c new file mode 100644 index 0000000..a53732e --- /dev/null +++ b/test/FrontendC/block-copy.c @@ -0,0 +1,20 @@ +/* RUN: %llvmgcc %s -S -o - -emit-llvm -O3 | grep {call.*memcpy} + + This should compile into a memcpy from a global, not 128 stores. */ + + + +void foo(); + +float bar() { + float lookupTable[] = {-1,-1,-1,0, -1,-1,0,-1, -1,-1,0,1, -1,-1,1,0, + -1,0,-1,-1, -1,0,-1,1, -1,0,1,-1, -1,0,1,1, + -1,1,-1,0, -1,1,0,-1, -1,1,0,1, -1,1,1,0, + 0,-1,-1,-1, 0,-1,-1,1, 0,-1,1,-1, 0,-1,1,1, + 1,-1,-1,0, 1,-1,0,-1, 1,-1,0,1, 1,-1,1,0, + 1,0,-1,-1, 1,0,-1,1, 1,0,1,-1, 1,0,1,1, + 1,1,-1,0, 1,1,0,-1, 1,1,0,1, 1,1,1,0, + 0,1,-1,-1, 0,1,-1,1, 0,1,1,-1, 0,1,1,1}; + foo(lookupTable); +} + diff --git a/test/FrontendC/dg.exp b/test/FrontendC/dg.exp new file mode 100644 index 0000000..a9be28a --- /dev/null +++ b/test/FrontendC/dg.exp @@ -0,0 +1,5 @@ +load_lib llvm.exp + +if [ llvm_gcc_supports c ] then { + RunLLVMTests [lsort [glob -nocomplain $srcdir/$subdir/*.{ll,c,cpp}]] +} diff --git a/test/FrontendC/exact-div-expr.c b/test/FrontendC/exact-div-expr.c new file mode 100644 index 0000000..9dce922 --- /dev/null +++ b/test/FrontendC/exact-div-expr.c @@ -0,0 +1,6 @@ +// RUN: %llvmgcc -S %s -o - -O1 | grep ashr +// RUN: %llvmgcc -S %s -o - -O1 | not grep sdiv + +long long test(int *A, int *B) { + return A-B; +} diff --git a/test/FrontendC/extern-weak.c b/test/FrontendC/extern-weak.c new file mode 100644 index 0000000..2a8569c --- /dev/null +++ b/test/FrontendC/extern-weak.c @@ -0,0 +1,12 @@ +// RUN: %llvmgcc -O3 -S -o - -emit-llvm %s | grep extern_weak +// RUN: %llvmgcc -O3 -S -o - -emit-llvm %s | llvm-as | llc + +#if !defined(__linux__) && !defined(__FreeBSD__) && \ + !defined(__OpenBSD__) && !defined(__CYGWIN__) +void foo() __attribute__((weak_import)); +#else +void foo() __attribute__((weak)); +#endif + +void bar() { foo(); } + diff --git a/test/FrontendC/funccall.c b/test/FrontendC/funccall.c new file mode 100644 index 0000000..9735e34 --- /dev/null +++ b/test/FrontendC/funccall.c @@ -0,0 +1,17 @@ + +static int q; + +void foo() { + int t = q; + q = t + 1; +} +int main() { + q = 0; + foo(); + q = q - 1; + + return q; +} + +// This is the source that corresponds to funccall.ll +// RUN: echo foo diff --git a/test/FrontendC/hidden-visibility.c b/test/FrontendC/hidden-visibility.c new file mode 100644 index 0000000..fc2ae44 --- /dev/null +++ b/test/FrontendC/hidden-visibility.c @@ -0,0 +1,3 @@ +// RUN: %llvmgcc %s -emit-llvm -S -o - | grep {hidden global} + +int X __attribute__ ((__visibility__ ("hidden"))) = 123; diff --git a/test/FrontendC/inline-asm-mrv.c b/test/FrontendC/inline-asm-mrv.c new file mode 100644 index 0000000..6d1df67 --- /dev/null +++ b/test/FrontendC/inline-asm-mrv.c @@ -0,0 +1,12 @@ +// RUN: %llvmgcc -S %s -o - -O | not grep alloca +// PR2094 + +int sad16_sse2(void *v, unsigned char *blk2, unsigned char *blk1, + int stride, int h) { + int ret; + asm volatile( "%0 %1 %2 %3" + : "+r" (h), "+r" (blk1), "+r" (blk2) + : "r" ((long)stride)); + asm volatile("set %0 %1" : "=r"(ret) : "r"(blk1)); + return ret; +} diff --git a/test/FrontendC/libcalls.c b/test/FrontendC/libcalls.c new file mode 100644 index 0000000..c027ea4 --- /dev/null +++ b/test/FrontendC/libcalls.c @@ -0,0 +1,10 @@ +// llvm-gcc -O1+ should run simplify libcalls, O0 shouldn't +// and -fno-builtins shouldn't. +// RUN: %llvmgcc %s -S -emit-llvm -O0 -o - | grep {call.*exp2f} +// RUN: %llvmgcc %s -S -emit-llvm -O1 -o - | grep {call.*ldexp} +// RUN: %llvmgcc %s -S -emit-llvm -O3 -fno-builtin -o - | grep {call.*exp2f} + +float t4(unsigned char x) { + return exp2f(x); +} + diff --git a/test/FrontendC/nested-functions.c b/test/FrontendC/nested-functions.c new file mode 100644 index 0000000..bccbef3 --- /dev/null +++ b/test/FrontendC/nested-functions.c @@ -0,0 +1,18 @@ +// RUN: %llvmgcc -S %s -o - -fnested-functions +// PR1274 + +void Bork() { + void Fork(const int *src, int size) { + int i = 1; + int x; + + while (i < size) + x = src[i]; + } +} + +void foo(void *a){ + inline void foo_bar() { + a += 1; + } +} diff --git a/test/FrontendC/sret.c b/test/FrontendC/sret.c new file mode 100644 index 0000000..11ac5d6 --- /dev/null +++ b/test/FrontendC/sret.c @@ -0,0 +1,15 @@ +// RUN: %llvmgcc %s -S -emit-llvm -O0 -o - | grep sret | count 5 + +struct abc { + long a; + long b; + long c; +}; + +struct abc foo1(void); +struct abc foo2(); + +void bar() { + struct abc dummy1 = foo1(); + struct abc dummy2 = foo2(); +} diff --git a/test/FrontendC/sret2.c b/test/FrontendC/sret2.c new file mode 100644 index 0000000..7b621f9 --- /dev/null +++ b/test/FrontendC/sret2.c @@ -0,0 +1,9 @@ +// RUN: %llvmgcc %s -S -emit-llvm -O0 -o - | grep sret | count 2 + +struct abc { + long a; + long b; + long c; +}; + +struct abc foo2(){} diff --git a/test/FrontendC/unaligned-memcpy.c b/test/FrontendC/unaligned-memcpy.c new file mode 100644 index 0000000..e5d810f --- /dev/null +++ b/test/FrontendC/unaligned-memcpy.c @@ -0,0 +1,5 @@ +// RUN: %llvmgcc %s -S -emit-llvm -o - | llvm-as | llc + +void bork() { + char Qux[33] = {0}; +} |