test/Integer/constexpr_bt.ll

   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 ; XFAIL: *
   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 global i63 0x00001     ; hexadecimal unsigned integer constants
  15 global i63  0x012312   ; 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 fp2uint (float sitofp (i33 8 to float) to i33) ;; Nested cast expression
  25
  26 global i32* bitcast (float* %0 to i32*)   ;; Forward numeric reference
  27 global float* %0                       ;; Duplicate forward numeric reference
  28 global float 0.0
  29
  30
  31 ;;---------------------------------------------------
  32 ;; Test constant getelementpr expressions for arrays
  33 ;;---------------------------------------------------
  34
  35 %array  = constant [2 x i33] [ i33 12, i33 52 ]
  36 %arrayPtr = global i33* getelementptr ([2 x i33]* %array, i64 0, i64 0)    ;; i33* &%array[0][0]
  37 %arrayPtr5 = global i33** getelementptr (i33** %arrayPtr, i64 5)    ;; i33* &%arrayPtr[5]
  38
  39 %somestr = constant [11x i8] c"hello world"
  40 %char5  = global i8* getelementptr([11x i8]* %somestr, i64 0, i64 5)
  41
  42 ;; cast of getelementptr
  43 %char8a = global i33* sext (i8* getelementptr([11x i8]* %somestr, i64 0, i64 8) to i33*)
  44
  45 ;; getelementptr containing casts
  46 %char8b = global i8* getelementptr([11x i8]* %somestr, i64 sext (i8 0 to i64), i64 sext (i8 8 to i64))
  47
  48 ;;-------------------------------------------------------
  49 ;; TODO: Test constant getelementpr expressions for structures
  50 ;;-------------------------------------------------------
  51
  52 %SType  = type { i33 , {float, {i8} }, i64 } ;; struct containing struct
  53 %SAType = type { i33 , {[2x float], i64} } ;; struct containing array
  54
  55 %S1 = global %SType* null                       ;; Global initialized to NULL
  56 %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 S1
  61 %S2  = global %SType* %S2c                  ;; Ref. to constant S2
  62 %S3  = global %SAType* %S3c                 ;; Ref. to constant S3
  63
  64                                             ;; Pointer to float (**%S1).1.0
  65 %S1fld1a = global float* getelementptr (%SType* %S2c, i64 0, i32 1, i32 0)
  66                                             ;; Another ptr to the same!
  67 %S1fld1b = global float* getelementptr (%SType* %S2c, i64 0, i32 1, i32 0)
  68
  69 %S1fld1bptr = global float** %S1fld1b       ;; Ref. to previous pointer
  70
  71                                             ;; Pointer to i8 (**%S2).1.1.0
  72 %S2fld3 = global i8* getelementptr (%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** %S3, i64 0, i64 0, i32 1, i32 0, i64 0)
  76
  77 ;;---------------------------------------------------------
  78 ;; TODO: Test constant expressions for unary and binary operators
  79 ;;---------------------------------------------------------
  80
  81 ;;---------------------------------------------------
  82
  83 implementation
  84