Home | History | Annotate | Download | only in Integer
      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