1; RUN: llvm-as < %s | llvm-dis > %t1.ll 2; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll 3; RUN: diff %t1.ll %t2.ll 4 5; This testcase is for testing expressions constructed from 6; constant values, including constant pointers to globals. 7; 8 9;;------------------------------- 10;; Test constant cast expressions 11;;------------------------------- 12 13@0 = global i64 u0x00001 ; hexadecimal unsigned integer constants 14@1 = global i64 s0x0012312 ; hexadecimal signed integer constants 15 16@t2 = global i32* @t1 ;; Forward reference without cast 17@t3 = global i32* bitcast (i32* @t1 to i32*) ;; Forward reference with cast 18@t1 = global i32 4 ;; i32* @0 19@t4 = global i32** bitcast (i32** @t3 to i32**) ;; Cast of a previous cast 20@t5 = global i32** @t3 ;; Reference to a previous cast 21@t6 = global i32*** @t4 ;; Different ref. to a previous cast 22@t7 = global float* inttoptr (i32 12345678 to float*) ;; Cast ordinary value to ptr 23@t9 = global i32 bitcast (float bitcast (i32 8 to float) to i32) ;; Nested cast expression 24 25@2 = global i32* bitcast (float* @4 to i32*) ;; Forward numeric reference 26@3 = global float* @4 ;; Duplicate forward numeric reference 27@4 = global float 0.0 28 29 30;;--------------------------------------------------- 31;; Test constant getelementpr expressions for arrays 32;;--------------------------------------------------- 33 34@array = constant [2 x i32] [ i32 12, i32 52 ] 35@arrayPtr = global i32* getelementptr ([2 x i32], [2 x i32]* @array, i64 0, i64 0) ;; i32* &@array[0][0] 36@arrayPtr5 = global i32** getelementptr (i32*, i32** @arrayPtr, i64 5) ;; i32* &@arrayPtr[5] 37 38@somestr = constant [11x i8] c"hello world" 39@char5 = global i8* getelementptr([11x i8], [11x i8]* @somestr, i64 0, i64 5) 40 41;; cast of getelementptr 42@char8a = global i32* bitcast (i8* getelementptr([11x i8], [11x i8]* @somestr, i64 0, i64 8) to i32*) 43 44;; getelementptr containing casts 45@char8b = global i8* getelementptr([11x i8], [11x i8]* @somestr, i64 sext (i8 0 to i64), i64 sext (i8 8 to i64)) 46 47;;------------------------------------------------------- 48;; TODO: Test constant getelementpr expressions for structures 49;;------------------------------------------------------- 50 51%SType = type { i32 , {float, {i8} }, i64 } ;; struct containing struct 52%SAType = type { i32 , {[2x float], i64} } ;; struct containing array 53 54@S1 = global %SType* null ;; Global initialized to NULL 55@S2c = constant %SType { i32 1, {float,{i8}} {float 2.0, {i8} {i8 3}}, i64 4} 56 57@S3c = constant %SAType { i32 1, {[2x float], i64} {[2x float] [float 2.0, float 3.0], i64 4} } 58 59@S1ptr = global %SType** @S1 ;; Ref. to global S1 60@S2 = global %SType* @S2c ;; Ref. to constant S2 61@S3 = global %SAType* @S3c ;; Ref. to constant S3 62 63 ;; Pointer to float (**@S1).1.0 64@S1fld1a = global float* getelementptr (%SType, %SType* @S2c, i64 0, i32 1, i32 0) 65 ;; Another ptr to the same! 66@S1fld1b = global float* getelementptr (%SType, %SType* @S2c, i64 0, i32 1, i32 0) 67 68@S1fld1bptr = global float** @S1fld1b ;; Ref. to previous pointer 69 70 ;; Pointer to i8 (**@S2).1.1.0 71@S2fld3 = global i8* getelementptr (%SType, %SType* @S2c, i64 0, i32 1, i32 1, i32 0) 72 73 ;; Pointer to float (**@S2).1.0[0] 74;@S3fld3 = global float* getelementptr (%SAType*, %SAType** @S3, i64 0, i64 0, i32 1, i32 0, i64 0) 75 76;;--------------------------------------------------------- 77;; TODO: Test constant expressions for unary and binary operators 78;;--------------------------------------------------------- 79 80;;--------------------------------------------------- 81