xref: /llvm-project/llvm/test/Integer/constexpr_bt.ll (revision 17764d2c87bad3b9654b7310c9936c0d15e9bf96)
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
25
26@2 = global i32* bitcast (float* @4 to i32*)   ;; Forward numeric reference
27@3 = global float* @4                     ;; Duplicate forward numeric reference
28@4 = 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], [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 getelementptr
43@char8a = global i33* bitcast (i8* getelementptr([11x i8], [11x i8]* @somestr, i64 0, i64 8) to i33*)
44
45;; getelementptr containing casts
46@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 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, %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 pointer
70
71					    ;; Pointer to i8 (**@S2).1.1.0
72@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 operators
79;;---------------------------------------------------------
80
81;;---------------------------------------------------
82
83
84