84 lines · plain
1; RUN: llvm-as %s -o - | llvm-dis > %t1.ll2; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll3; RUN: diff %t1.ll %t2.ll4 5 6; This testcase is for testing expressions constructed from7; constant values, including constant pointers to globals.8;9 10;;-------------------------------11;; Test constant cast expressions12;;-------------------------------13 14@0 = global i63 u0x00001 ; hexadecimal unsigned integer constants15@1 = global i63 s0x012312 ; hexadecimal signed integer constants16 17@t2 = global i33* @t1 ;; Forward reference without cast18@t3 = global i33* bitcast (i33* @t1 to i33*) ;; Forward reference with cast19@t1 = global i33 4 ;; i32* @020@t4 = global i33** bitcast (i33** @t3 to i33**) ;; Cast of a previous cast21@t5 = global i33** @t3 ;; Reference to a previous cast22@t6 = global i33*** @t423@t7 = global float* inttoptr (i32 12345678 to float*) ;; Cast ordinary value to ptr24 25 26@2 = global i32* bitcast (float* @4 to i32*) ;; Forward numeric reference27@3 = global float* @4 ;; Duplicate forward numeric reference28@4 = global float 0.029 30 31;;---------------------------------------------------32;; Test constant getelementpr expressions for arrays33;;---------------------------------------------------34 35@array = constant [2 x i33] [ i33 12, i33 52 ]36@arrayPtr = global i33* getelementptr ([2 x i33], [2 x i33]* @array, i64 0, i64 0) ;; i33* &@array[0][0]37@arrayPtr5 = global i33** getelementptr (i33*, i33** @arrayPtr, i64 5) ;; i33* &@arrayPtr[5]38 39@somestr = constant [11x i8] c"hello world"40@char5 = global i8* getelementptr([11x i8], [11x i8]* @somestr, i64 0, i64 5)41 42;; cast of getelementptr43@char8a = global i33* bitcast (i8* getelementptr([11x i8], [11x i8]* @somestr, i64 0, i64 8) to i33*)44 45;; getelementptr containing casts46@char8b = global i8* getelementptr([11x i8], [11x i8]* @somestr, i64 trunc (i128 0 to i64), i64 trunc (i128 8 to i64))47 48;;-------------------------------------------------------49;; TODO: Test constant getelementpr expressions for structures50;;-------------------------------------------------------51 52%SType = type { i33 , {float, {i8} }, i64 } ;; struct containing struct53%SAType = type { i33 , {[2x float], i64} } ;; struct containing array54 55@S1 = global %SType* null ;; Global initialized to NULL56@S2c = constant %SType { i33 1, {float,{i8}} {float 2.0, {i8} {i8 3}}, i64 4}57 58@S3c = constant %SAType { i33 1, {[2x float], i64} {[2x float] [float 2.0, float 3.0], i64 4} }59 60@S1ptr = global %SType** @S1 ;; Ref. to global S161@S2 = global %SType* @S2c ;; Ref. to constant S262@S3 = global %SAType* @S3c ;; Ref. to constant S363 64 ;; Pointer to float (**@S1).1.065@S1fld1a = global float* getelementptr (%SType, %SType* @S2c, i64 0, i32 1, i32 0)66 ;; Another ptr to the same!67@S1fld1b = global float* getelementptr (%SType, %SType* @S2c, i64 0, i32 1, i32 0)68 69@S1fld1bptr = global float** @S1fld1b ;; Ref. to previous pointer70 71 ;; Pointer to i8 (**@S2).1.1.072@S2fld3 = global i8* getelementptr (%SType, %SType* @S2c, i64 0, i32 1, i32 1, i32 0) 73 74 ;; Pointer to float (**@S2).1.0[0]75;@S3fld3 = global float* getelementptr (%SAType*, %SAType** @S3, i64 0, i64 0, i32 1, i32 0, i64 0) 76 77;;---------------------------------------------------------78;; TODO: Test constant expressions for unary and binary operators79;;---------------------------------------------------------80 81;;---------------------------------------------------82 83 84