1 ; Tests to make sure elimination of casts is working correctly
2 ; RUN: llvm-as < %s | opt -instcombine | llvm-dis | \
3 ; RUN: grep %c | notcast
6 @inbuf = external global [32832 x i8] ; <[32832 x i8]*> [#uses=1]
8 define i32 @test1(i32 %A) {
9 %c1 = bitcast i32 %A to i32 ; <i32> [#uses=1]
10 %c2 = bitcast i32 %c1 to i32 ; <i32> [#uses=1]
14 define i64 @test2(i8 %A) {
15 %c1 = zext i8 %A to i16 ; <i16> [#uses=1]
16 %c2 = zext i16 %c1 to i32 ; <i32> [#uses=1]
17 %Ret = zext i32 %c2 to i64 ; <i64> [#uses=1]
21 ; This function should just use bitwise AND
22 define i64 @test3(i64 %A) {
23 %c1 = trunc i64 %A to i8 ; <i8> [#uses=1]
24 %c2 = zext i8 %c1 to i64 ; <i64> [#uses=1]
28 define i32 @test4(i32 %A, i32 %B) {
29 %COND = icmp slt i32 %A, %B ; <i1> [#uses=1]
30 ; Booleans are unsigned integrals
31 %c = zext i1 %COND to i8 ; <i8> [#uses=1]
32 ; for the cast elim purpose
33 %result = zext i8 %c to i32 ; <i32> [#uses=1]
37 define i32 @test5(i1 %B) {
38 ; This cast should get folded into
39 %c = zext i1 %B to i8 ; <i8> [#uses=1]
41 %result = zext i8 %c to i32 ; <i32> [#uses=1]
45 define i32 @test6(i64 %A) {
46 %c1 = trunc i64 %A to i32 ; <i32> [#uses=1]
47 %res = bitcast i32 %c1 to i32 ; <i32> [#uses=1]
51 define i64 @test7(i1 %A) {
52 %c1 = zext i1 %A to i32 ; <i32> [#uses=1]
53 %res = sext i32 %c1 to i64 ; <i64> [#uses=1]
57 define i64 @test8(i8 %A) {
58 %c1 = sext i8 %A to i64 ; <i64> [#uses=1]
59 %res = bitcast i64 %c1 to i64 ; <i64> [#uses=1]
63 define i16 @test9(i16 %A) {
64 %c1 = sext i16 %A to i32 ; <i32> [#uses=1]
65 %c2 = trunc i32 %c1 to i16 ; <i16> [#uses=1]
69 define i16 @test10(i16 %A) {
70 %c1 = sext i16 %A to i32 ; <i32> [#uses=1]
71 %c2 = trunc i32 %c1 to i16 ; <i16> [#uses=1]
75 declare void @varargs(i32, ...)
77 define void @test11(i32* %P) {
78 %c = bitcast i32* %P to i16* ; <i16*> [#uses=1]
79 call void (i32, ...)* @varargs( i32 5, i16* %c )
83 define i32* @test12() {
84 %p = malloc [4 x i8] ; <[4 x i8]*> [#uses=1]
85 %c = bitcast [4 x i8]* %p to i32* ; <i32*> [#uses=1]
88 define i8* @test13(i64 %A) {
89 %c = getelementptr [0 x i8]* bitcast ([32832 x i8]* @inbuf to [0 x i8]*), i64 0, i64 %A ; <i8*> [#uses=1]
93 define i1 @test14(i8 %A) {
94 %c = bitcast i8 %A to i8 ; <i8> [#uses=1]
95 %X = icmp ult i8 %c, -128 ; <i1> [#uses=1]
100 ; This just won't occur when there's no difference between ubyte and sbyte
101 ;bool %test15(ubyte %A) {
102 ; %c = cast ubyte %A to sbyte
103 ; %X = setlt sbyte %c, 0 ; setgt %A, 127
107 define i1 @test16(i32* %P) {
108 %c = icmp ne i32* %P, null ; <i1> [#uses=1]
112 define i16 @test17(i1 %tmp3) {
113 %c = zext i1 %tmp3 to i32 ; <i32> [#uses=1]
114 %t86 = trunc i32 %c to i16 ; <i16> [#uses=1]
118 define i16 @test18(i8 %tmp3) {
119 %c = sext i8 %tmp3 to i32 ; <i32> [#uses=1]
120 %t86 = trunc i32 %c to i16 ; <i16> [#uses=1]
124 define i1 @test19(i32 %X) {
125 %c = sext i32 %X to i64 ; <i64> [#uses=1]
126 %Z = icmp slt i64 %c, 12345 ; <i1> [#uses=1]
130 define i1 @test20(i1 %B) {
131 %c = zext i1 %B to i32 ; <i32> [#uses=1]
132 %D = icmp slt i32 %c, -1 ; <i1> [#uses=1]
137 define i32 @test21(i32 %X) {
138 %c1 = trunc i32 %X to i8 ; <i8> [#uses=1]
139 ;; sext -> zext -> and -> nop
140 %c2 = sext i8 %c1 to i32 ; <i32> [#uses=1]
141 %RV = and i32 %c2, 255 ; <i32> [#uses=1]
145 define i32 @test22(i32 %X) {
146 %c1 = trunc i32 %X to i8 ; <i8> [#uses=1]
147 ;; sext -> zext -> and -> nop
148 %c2 = sext i8 %c1 to i32 ; <i32> [#uses=1]
149 %RV = shl i32 %c2, 24 ; <i32> [#uses=1]
153 define i32 @test23(i32 %X) {
154 ;; Turn into an AND even though X
155 %c1 = trunc i32 %X to i16 ; <i16> [#uses=1]
157 %c2 = zext i16 %c1 to i32 ; <i32> [#uses=1]
161 define i1 @test24(i1 %C) {
162 %X = select i1 %C, i32 14, i32 1234 ; <i32> [#uses=1]
163 ;; Fold cast into select
164 %c = icmp ne i32 %X, 0 ; <i1> [#uses=1]
168 define void @test25(i32** %P) {
169 %c = bitcast i32** %P to float** ; <float**> [#uses=1]
170 ;; Fold cast into null
171 store float* null, float** %c
175 define i32 @test26(float %F) {
176 ;; no need to cast from float->double.
177 %c = fpext float %F to double ; <double> [#uses=1]
178 %D = fptosi double %c to i32 ; <i32> [#uses=1]
182 define [4 x float]* @test27([9 x [4 x float]]* %A) {
183 %c = bitcast [9 x [4 x float]]* %A to [4 x float]* ; <[4 x float]*> [#uses=1]
187 define float* @test28([4 x float]* %A) {
188 %c = bitcast [4 x float]* %A to float* ; <float*> [#uses=1]
192 define i32 @test29(i32 %c1, i32 %c2) {
193 %tmp1 = trunc i32 %c1 to i8 ; <i8> [#uses=1]
194 %tmp4.mask = trunc i32 %c2 to i8 ; <i8> [#uses=1]
195 %tmp = or i8 %tmp4.mask, %tmp1 ; <i8> [#uses=1]
196 %tmp10 = zext i8 %tmp to i32 ; <i32> [#uses=1]
200 define i32 @test30(i32 %c1) {
201 %c2 = trunc i32 %c1 to i8 ; <i8> [#uses=1]
202 %c3 = xor i8 %c2, 1 ; <i8> [#uses=1]
203 %c4 = zext i8 %c3 to i32 ; <i32> [#uses=1]
207 define i1 @test31(i64 %A) {
208 %B = trunc i64 %A to i32 ; <i32> [#uses=1]
209 %C = and i32 %B, 42 ; <i32> [#uses=1]
210 %D = icmp eq i32 %C, 10 ; <i1> [#uses=1]
214 define void @test32(double** %tmp) {
215 %tmp8 = malloc [16 x i8] ; <[16 x i8]*> [#uses=1]
216 %tmp8.upgrd.1 = bitcast [16 x i8]* %tmp8 to double* ; <double*> [#uses=1]
217 store double* %tmp8.upgrd.1, double** %tmp
221 define i32 @test33(i32 %c1) {
222 %x = bitcast i32 %c1 to float ; <float> [#uses=1]
223 %y = bitcast float %x to i32 ; <i32> [#uses=1]
227 define i16 @test34(i16 %a) {
228 %c1 = zext i16 %a to i32 ; <i32> [#uses=1]
229 %tmp21 = lshr i32 %c1, 8 ; <i32> [#uses=1]
230 %c2 = trunc i32 %tmp21 to i16 ; <i16> [#uses=1]
234 define i16 @test35(i16 %a) {
235 %c1 = bitcast i16 %a to i16 ; <i16> [#uses=1]
236 %tmp2 = lshr i16 %c1, 8 ; <i16> [#uses=1]
237 %c2 = bitcast i16 %tmp2 to i16 ; <i16> [#uses=1]