Test the handling of constant expressions.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@2889 91177308-0d34-0410-b5e6-96231b3b80d8

test/Feature/constexpr.ll

@@ -0,0 +1,72 @@
+; This testcase is for testing expressions constructed from
+; constant values, including constant pointers to globals.
+;
+
+;;-------------------------------
+;; Test constant cast expressions
+;;-------------------------------
+
+%t2 = global int* %t1                  ;; Forward reference without cast
+%t3 = global uint* cast int* %t1       ;; Forward reference with cast
+%t1 = global int 4                     ;; int* %0
+%t4 = global int** cast uint** %t3     ;; Cast of a previous cast
+%t5 = global uint** %t3                ;; Reference to a previous cast
+%t6 = global int*** %t4                ;; Different ref. to a previous cast
+%t7 = global float* cast int 12345678  ;; Cast ordinary value to ptr
+%t9 = global int cast float cast int 8 ;; Nested cast expression
+
+global int* cast float* %0             ;; Forward numeric reference
+global float* %0                       ;; Duplicate forward numeric reference
+global float 0.0
+
+
+;;---------------------------------------------------
+;; Test constant getelementpr expressions for arrays
+;;---------------------------------------------------
+
+%array  = constant [2 x int] [ int 12, int 52 ]
+%arrayPtr = global int* getelementptr ([2 x int]* %array, uint 0, uint 0)    ;; int* &%array[0][0]
+%arrayPtr5 = global int* getelementptr (int** %arrayPtr, uint 0, uint 5)    ;; int* &%arrayPtr[5]
+
+%somestr = constant [11x sbyte] c"hello world"
+%char5  = global sbyte* getelementptr([11x sbyte]* %somestr, uint 0, uint 5)
+
+%char8a = global int* cast sbyte* getelementptr([11x sbyte]* %somestr, uint 0, uint 8)					;; cast of getelementptr
+
+%char8b = global sbyte* getelementptr([11x sbyte]* %somestr, uint cast ubyte 0, uint cast sbyte 8)			;; getelementptr containing casts
+
+;;-------------------------------------------------------
+;; TODO: Test constant getelementpr expressions for structures
+;;-------------------------------------------------------
+
+%SType  = type { int , {float, {ubyte} }, ulong } ;; struct containing struct
+%SAType = type { int , {[2x float], ulong} } ;; struct containing array
+
+%S1 = global %SType* null			;; Global initialized to NULL
+%S2c = constant %SType { int 1, {float,{ubyte}} {float 2.0, {ubyte} {ubyte 3}}, ulong 4}
+
+%S3c = constant %SAType { int 1, {[2x float], ulong} {[2x float] [float 2.0, float 3.0], ulong 4} }
+
+%S1ptr = global %SType** %S1		    ;; Ref. to global S1
+%S2  = global %SType* %S2c		    ;; Ref. to constant S2
+%S3  = global %SAType* %S3c		    ;; Ref. to constant S3
+
+					    ;; Pointer to float (**%S1).1.0
+%S1fld1a = global float* getelementptr (%SType** %S1, uint 0, uint 0, ubyte 1, ubyte 0)
+					    ;; Another ptr to the same!
+%S1fld1b = global float* getelementptr (%SType*** %S1ptr, uint 0, uint 0, uint 0, ubyte 1, ubyte 0)
+
+%S1fld1bptr = global float** %S1fld1b	    ;; Ref. to previous pointer
+
+					    ;; Pointer to ubyte (**%S2).1.1.0
+%S2fld3 = global ubyte* getelementptr (%SType** %S2, uint 0, uint 0, ubyte 1, ubyte 1, ubyte 0) 
+
+					    ;; Pointer to float (**%S2).1.0[0]
+%S3fld3 = global float* getelementptr (%SAType** %S3, uint 0, uint 0, ubyte 1, ubyte 0, uint 0) 
+
+;;---------------------------------------------------------
+;; TODO: Test constant expressions for unary and binary operators
+;;---------------------------------------------------------
+
+implementation
+

test/Feature/constexprbad.ll

@@ -0,0 +1,41 @@
+; This testcase is for testing illegal constant expressions.
+; Uncomment any code line below to test that the error is caught
+; See constexpr.ll in this directory for legal ones.
+; 
+
+%somestr = constant [11x sbyte] c"hello world"
+
+;;---------------------------------------------------
+;; Illegal cast expressions
+;;---------------------------------------------------
+
+;missing attribute (global/constant) or type before operator
+;%casterr1 =        cast int 0
+;%casterr2 = global cast int 0
+
+;missing or illegal initializer value for constant
+;%casterr3 = constant 
+;%casterr4 = constant int 4.0
+
+;; 
+;;---------------------------------------------------
+;; Illegal getelementptr expressions
+;;---------------------------------------------------
+
+;; return value must be a pointer to the element
+;%geperr1 = global sbyte getelementptr([11x sbyte]* %somestr, uint 0, uint 8)
+
+;; index types must be valid for pointer type
+;%geperr2 = global sbyte* getelementptr([11x sbyte]* %somestr, ubyte 0)
+;%geperr3 = global sbyte* getelementptr([11x sbyte]* %somestr, uint 0, uint 0, uint 3)
+
+;; element accessed by index list must match return type
+;%geperr4 = global sbyte* getelementptr([11x sbyte]* %somestr)
+;%geperr5 = global sbyte* getelementptr([11x sbyte]* %somestr, uint 0)
+;%geperr6 = global int* getelementptr([11x sbyte]* %somestr, uint 0, uint 0)
+
+;; Cannot use cast expression in pointer field of getelementptr
+;; (unlike the index fields, where it is legal)
+;%geperr7 = constant int* getelementptr (int* cast long 0, uint 27)
+
+