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