test/Feature/constexpr.ll

   1 ; RUN: llvm-upgrade < %s | llvm-as | 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 global ulong u0x00001     ; hexadecimal unsigned integer constants
  14 global long  s0x0012312   ; hexadecimal signed integer constants
  15
  16 %t2 = global int* %t1                             ;; Forward reference without cast
  17 %t3 = global uint* cast (int* %t1 to uint*)       ;; Forward reference with cast
  18 %t1 = global int 4                                ;; int* %0
  19 %t4 = global int** cast (uint** %t3 to int**)     ;; Cast of a previous cast
  20 %t5 = global uint** %t3                           ;; Reference to a previous cast
  21 %t6 = global int*** %t4                           ;; Different ref. to a previous cast
  22 %t7 = global float* cast (int 12345678 to float*) ;; Cast ordinary value to ptr
  23 %t9 = global int cast (float cast (int 8 to float) to int) ;; Nested cast expression
  24
  25 global int* cast (float* %0 to int*)   ;; Forward numeric reference
  26 global float* %0                       ;; Duplicate forward numeric reference
  27 global float 0.0
  28
  29
  30 ;;---------------------------------------------------
  31 ;; Test constant getelementpr expressions for arrays
  32 ;;---------------------------------------------------
  33
  34 %array  = constant [2 x int] [ int 12, int 52 ]
  35 %arrayPtr = global int* getelementptr ([2 x int]* %array, long 0, long 0)    ;; int* &%array[0][0]
  36 %arrayPtr5 = global int** getelementptr (int** %arrayPtr, long 5)    ;; int* &%arrayPtr[5]
  37
  38 %somestr = constant [11x sbyte] c"hello world"
  39 %char5  = global sbyte* getelementptr([11x sbyte]* %somestr, long 0, long 5)
  40
  41 ;; cast of getelementptr
  42 %char8a = global int* cast (sbyte* getelementptr([11x sbyte]* %somestr, long 0, long 8) to int*)
  43
  44 ;; getelementptr containing casts
  45 %char8b = global sbyte* getelementptr([11x sbyte]* %somestr, long cast (ubyte 0 to long), long cast (sbyte 8 to long))
  46
  47 ;;-------------------------------------------------------
  48 ;; TODO: Test constant getelementpr expressions for structures
  49 ;;-------------------------------------------------------
  50
  51 %SType  = type { int , {float, {ubyte} }, ulong } ;; struct containing struct
  52 %SAType = type { int , {[2x float], ulong} } ;; struct containing array
  53
  54 %S1 = global %SType* null                       ;; Global initialized to NULL
  55 %S2c = constant %SType { int 1, {float,{ubyte}} {float 2.0, {ubyte} {ubyte 3}}, ulong 4}
  56
  57 %S3c = constant %SAType { int 1, {[2x float], ulong} {[2x float] [float 2.0, float 3.0], ulong 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* %S2c, long 0, uint 1, uint 0)
  65                                             ;; Another ptr to the same!
  66 %S1fld1b = global float* getelementptr (%SType* %S2c, long 0, uint 1, uint 0)
  67
  68 %S1fld1bptr = global float** %S1fld1b       ;; Ref. to previous pointer
  69
  70                                             ;; Pointer to ubyte (**%S2).1.1.0
  71 %S2fld3 = global ubyte* getelementptr (%SType* %S2c, long 0, uint 1, uint 1, uint 0)
  72
  73                                             ;; Pointer to float (**%S2).1.0[0]
  74 ;%S3fld3 = global float* getelementptr (%SAType** %S3, long 0, long 0, uint 1, uint 0, long 0)
  75
  76 ;;---------------------------------------------------------
  77 ;; TODO: Test constant expressions for unary and binary operators
  78 ;;---------------------------------------------------------
  79
  80
  81 ;;---------------------------------------------------
  82 ;; Test duplicate constant expressions
  83 ;;---------------------------------------------------
  84
  85 %t4 = global int** cast (uint** %t3 to int**)
  86
  87 %char8a = global int* cast (sbyte* getelementptr([11x sbyte]* %somestr, long 0, long 8) to int*)
  88
  89 ;%S3fld3 = global float* getelementptr (%SAType** %S3, long 0, long 0, uint 1, uint 0, long 0)
  90
  91
  92 ;;---------------------------------------------------
  93
  94 implementation
  95