1 ; This bytecode test pounds on constant expressions
3 ; RUN: llvm-as < %s | llvm-dis > %t1
4 ; RUN: llvm-dis < %s.bc-13 > %t2
7 ; This testcase is for testing expressions constructed from
8 ; constant values, including constant pointers to globals.
11 ;;-------------------------------
12 ;; Test constant cast expressions
13 ;;-------------------------------
15 global ulong u0x00001 ; hexadecimal unsigned integer constants
16 global long s0x0012312 ; hexadecimal signed integer constants
18 %t2 = global int* %t1 ;; Forward reference without cast
19 %t3 = global uint* cast (int* %t1 to uint*) ;; Forward reference with cast
20 %t1 = global int 4 ;; int* %0
21 %t4 = global int** cast (uint** %t3 to int**) ;; Cast of a previous cast
22 %t5 = global uint** %t3 ;; Reference to a previous cast
23 %t6 = global int*** %t4 ;; Different ref. to a previous cast
24 %t7 = global float* cast (int 12345678 to float*) ;; Cast ordinary value to ptr
25 %t9 = global int cast (float cast (int 8 to float) to int) ;; Nested cast expression
27 global int* cast (float* %0 to int*) ;; Forward numeric reference
28 global float* %0 ;; Duplicate forward numeric reference
32 ;;---------------------------------------------------
33 ;; Test constant getelementpr expressions for arrays
34 ;;---------------------------------------------------
36 %array = constant [2 x int] [ int 12, int 52 ]
37 %arrayPtr = global int* getelementptr ([2 x int]* %array, long 0, long 0) ;; int* &%array[0][0]
38 %arrayPtr5 = global int** getelementptr (int** %arrayPtr, long 5) ;; int* &%arrayPtr[5]
40 %somestr = constant [11x sbyte] c"hello world"
41 %char5 = global sbyte* getelementptr([11x sbyte]* %somestr, long 0, long 5)
43 ;; cast of getelementptr
44 %char8a = global int* cast (sbyte* getelementptr([11x sbyte]* %somestr, long 0, long 8) to int*)
46 ;; getelementptr containing casts
47 %char8b = global sbyte* getelementptr([11x sbyte]* %somestr, long cast (ubyte 0 to long), long cast (sbyte 8 to long))
49 ;;-------------------------------------------------------
50 ;; TODO: Test constant getelementpr expressions for structures
51 ;;-------------------------------------------------------
53 %SType = type { int , {float, {ubyte} }, ulong } ;; struct containing struct
54 %SAType = type { int , {[2x float], ulong} } ;; struct containing array
56 %S1 = global %SType* null ;; Global initialized to NULL
57 %S2c = constant %SType { int 1, {float,{ubyte}} {float 2.0, {ubyte} {ubyte 3}}, ulong 4}
59 %S3c = constant %SAType { int 1, {[2x float], ulong} {[2x float] [float 2.0, float 3.0], ulong 4} }
61 %S1ptr = global %SType** %S1 ;; Ref. to global S1
62 %S2 = global %SType* %S2c ;; Ref. to constant S2
63 %S3 = global %SAType* %S3c ;; Ref. to constant S3
65 ;; Pointer to float (**%S1).1.0
66 %S1fld1a = global float* getelementptr (%SType* %S2c, long 0, ubyte 1, ubyte 0)
67 ;; Another ptr to the same!
68 %S1fld1b = global float* getelementptr (%SType* %S2c, long 0, ubyte 1, ubyte 0)
70 %S1fld1bptr = global float** %S1fld1b ;; Ref. to previous pointer
72 ;; Pointer to ubyte (**%S2).1.1.0
73 %S2fld3 = global ubyte* getelementptr (%SType* %S2c, long 0, ubyte 1, ubyte 1, ubyte 0)
75 ;; Pointer to float (**%S2).1.0[0]
76 ;%S3fld3 = global float* getelementptr (%SAType** %S3, long 0, long 0, ubyte 1, ubyte 0, long 0)
78 ;;---------------------------------------------------------
79 ;; TODO: Test constant expressions for unary and binary operators
80 ;;---------------------------------------------------------
83 ;;---------------------------------------------------
84 ;; Test duplicate constant expressions
85 ;;---------------------------------------------------
87 %t4 = global int** cast (uint** %t3 to int**)
89 %char8a = global int* cast (sbyte* getelementptr([11x sbyte]* %somestr, long 0, long 8) to int*)
91 ;%S3fld3 = global float* getelementptr (%SAType** %S3, long 0, long 0, ubyte 1, ubyte 0, long 0)
94 ;;---------------------------------------------------