fix a globalopt crash on two Adobe-C++ testcases that the recent
[llvm.git] / test / Transforms / SCCP / 2006-12-04-PackedType.ll
blobcee334987218828a7db4896636c37b81070d083f
1 ; Test VectorType handling by SCCP.
2 ; SCCP ignores VectorTypes until PR 1034 is fixed
4 ; RUN: opt < %s -sccp
5 ; END.
7 target datalayout = "E-p:32:32"
8 target triple = "powerpc-apple-darwin8"
9         %struct.GLDAlphaTest = type { float, i16, i8, i8 }
10         %struct.GLDArrayRange = type { i8, i8, i8, i8 }
11         %struct.GLDBlendMode = type { i16, i16, i16, i16, %struct.GLTColor4, i16, i16, i8, i8, i8, i8 }
12         %struct.GLDBufferRec = type opaque
13         %struct.GLDBufferstate = type { %struct.GLTDimensions, %struct.GLTDimensions, %struct.GLTFixedColor4, %struct.GLTFixedColor4, i8, i8, i8, i8, [2 x %struct.GLSBuffer], [4 x %struct.GLSBuffer], %struct.GLSBuffer, %struct.GLSBuffer, %struct.GLSBuffer, [4 x %struct.GLSBuffer*], %struct.GLSBuffer*, %struct.GLSBuffer*, %struct.GLSBuffer*, i8, i8 }
14         %struct.GLDClearColor = type { double, %struct.GLTColor4, %struct.GLTColor4, float, i32 }
15         %struct.GLDClipPlane = type { i32, [6 x %struct.GLTColor4] }
16         %struct.GLDColorBuffer = type { i16, i16, [4 x i16] }
17         %struct.GLDColorMatrix = type { [16 x float]*, %struct.GLDImagingColorScale }
18         %struct.GLDContextRec = type { float, float, float, float, float, float, float, float, %struct.GLTColor4, %struct.GLTColor4, %struct.GLVMFPContext, %struct.GLDTextureMachine, %struct.GLGProcessor, %struct._GLVMConstants*, void (%struct.GLDContextRec*, i32, i32, %struct.GLVMFragmentAttribRec*, %struct.GLVMFragmentAttribRec*, i32)*, %struct._GLVMFunction*, void (%struct.GLDContextRec*, %struct.GLDVertex*)*, void (%struct.GLDContextRec*, %struct.GLDVertex*, %struct.GLDVertex*)*, void (%struct.GLDContextRec*, %struct.GLDVertex*, %struct.GLDVertex*, %struct.GLDVertex*)*, %struct._GLVMFunction*, %struct._GLVMFunction*, %struct._GLVMFunction*, i32, i32, i32, float, float, float, i32, %struct.GLSDrawable, %struct.GLDFramebufferAttachment, %struct.GLDFormat, %struct.GLDBufferstate, %struct.GLDSharedRec*, %struct.GLDState*, %struct.GLDPluginState*, %struct.GLTDimensions, %struct.GLTColor4*, %struct.GLTColor4*, %struct.GLVMFragmentAttribRec*, %struct.GLVMFragmentAttribRec*, %struct.GLVMFragmentAttribRec*, %struct.GLDPipelineProgramRec*, %struct.GLDStateProgramRec, %struct.GLVMTextures, { [4 x i8*], i8*, i8* }, [64 x float], %struct.GLDStippleData, i16, i8, i8, i32, %struct.GLDFramebufferRec*, i8, %struct.GLDQueryRec*, %struct.GLDQueryRec* }
19         %struct.GLDConvolution = type { %struct.GLTColor4, %struct.GLDImagingColorScale, i16, i16, float*, i32, i32 }
20         %struct.GLDDepthTest = type { i16, i16, i8, i8, i8, i8, double, double }
21         %struct.GLDFogMode = type { %struct.GLTColor4, float, float, float, float, float, i16, i16, i16, i8, i8 }
22         %struct.GLDFormat = type { i32, i32, i32, i32, i32, i32, i32, i32, i8, i8, i8, i8, i32, i32, i32 }
23         %struct.GLDFramebufferAttachment = type { i32, i32, i32, i32, i32, i32 }
24         %struct.GLDFramebufferData = type { [6 x %struct.GLDFramebufferAttachment], [4 x i16], i16, i16, i16, i16, i32 }
25         %struct.GLDFramebufferRec = type { %struct.GLDFramebufferData*, %struct.GLDPluginFramebufferData*, %struct.GLDPixelFormat }
26         %struct.GLDHintMode = type { i16, i16, i16, i16, i16, i16, i16, i16, i16, i16 }
27         %struct.GLDHistogram = type { %struct.GLTFixedColor4*, i32, i16, i8, i8 }
28         %struct.GLDImagingColorScale = type { { float, float }, { float, float }, { float, float }, { float, float } }
29         %struct.GLDImagingSubset = type { %struct.GLDConvolution, %struct.GLDConvolution, %struct.GLDConvolution, %struct.GLDColorMatrix, %struct.GLDMinmax, %struct.GLDHistogram, %struct.GLDImagingColorScale, %struct.GLDImagingColorScale, %struct.GLDImagingColorScale, %struct.GLDImagingColorScale, i32 }
30         %struct.GLDLight = type { %struct.GLTColor4, %struct.GLTColor4, %struct.GLTColor4, %struct.GLTColor4, %struct.GLTCoord3, float, float, float, float, float, %struct.GLTCoord3, float, float, float, float, float }
31         %struct.GLDLightModel = type { %struct.GLTColor4, [8 x %struct.GLDLight], [2 x %struct.GLDMaterial], i32, i16, i16, i16, i8, i8, i8, i8, i8, i8 }
32         %struct.GLDLightProduct = type { %struct.GLTColor4, %struct.GLTColor4, %struct.GLTColor4 }
33         %struct.GLDLineMode = type { float, i32, i16, i16, i8, i8, i8, i8 }
34         %struct.GLDLogicOp = type { i16, i8, i8 }
35         %struct.GLDMaskMode = type { i32, [3 x i32], i8, i8, i8, i8, i8, i8, i8, i8 }
36         %struct.GLDMaterial = type { %struct.GLTColor4, %struct.GLTColor4, %struct.GLTColor4, %struct.GLTColor4, float, float, float, float, [8 x %struct.GLDLightProduct], %struct.GLTColor4, [6 x i32], [2 x i32] }
37         %struct.GLDMinmax = type { %struct.GLDMinmaxTable*, i16, i8, i8 }
38         %struct.GLDMinmaxTable = type { %struct.GLTColor4, %struct.GLTColor4 }
39         %struct.GLDMipmaplevel = type { [4 x i32], [4 x float], [4 x i32], [4 x i32], [4 x float], [4 x i32], [3 x i32], i32, float*, float*, float*, i32, i32, i8*, i16, i16, i16, i16 }
40         %struct.GLDMultisample = type { float, i8, i8, i8, i8, i8, i8, i8, i8 }
41         %struct.GLDPipelineProgramData = type { i16, i16, i32, %struct._PPStreamToken*, i64, %struct.GLDShaderSourceData*, %struct.GLTColor4*, i32 }
42         %struct.GLDPipelineProgramRec = type { %struct.GLDPipelineProgramData*, %struct._PPStreamToken*, %struct._PPStreamToken*, %struct._GLVMFunction*, i32, i32, i32 }
43         %struct.GLDPipelineProgramState = type { i8, i8, i8, i8, %struct.GLTColor4* }
44         %struct.GLDPixelFormat = type { i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8 }
45         %struct.GLDPixelMap = type { i32*, float*, float*, float*, float*, float*, float*, float*, float*, i32*, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32 }
46         %struct.GLDPixelMode = type { float, float, %struct.GLDPixelStore, %struct.GLDPixelTransfer, %struct.GLDPixelMap, %struct.GLDImagingSubset, i32, i32 }
47         %struct.GLDPixelPack = type { i32, i32, i32, i32, i32, i32, i32, i32, i8, i8, i8, i8 }
48         %struct.GLDPixelStore = type { %struct.GLDPixelPack, %struct.GLDPixelPack }
49         %struct.GLDPixelTransfer = type { float, float, float, float, float, float, float, float, float, float, i32, i32, float, float, float, float, float, float, float, float, float, float, float, float }
50         %struct.GLDPluginFramebufferData = type { [6 x %struct.GLDTextureRec*], i32, i32 }
51         %struct.GLDPluginProgramData = type { [3 x %struct.GLDPipelineProgramRec*], %struct.GLDBufferRec**, i32 }
52         %struct.GLDPluginState = type { [16 x [5 x %struct.GLDTextureRec*]], [3 x %struct.GLDTextureRec*], [16 x %struct.GLDTextureRec*], [3 x %struct.GLDPipelineProgramRec*], %struct.GLDProgramRec*, %struct.GLDVertexArrayRec*, [16 x %struct.GLDBufferRec*], %struct.GLDFramebufferRec*, %struct.GLDFramebufferRec* }
53         %struct.GLDPointMode = type { float, float, float, float, %struct.GLTCoord3, float, i8, i8, i8, i8, i16, i16, i32, i16, i16 }
54         %struct.GLDPolygonMode = type { [128 x i8], float, float, i16, i16, i16, i16, i8, i8, i8, i8, i8, i8, i8, i8 }
55         %struct.GLDProgramData = type { i32, [16 x i32], i32, i32, i32, i32 }
56         %struct.GLDProgramRec = type { %struct.GLDProgramData*, %struct.GLDPluginProgramData*, i32 }
57         %struct.GLDQueryRec = type { i32, i32, %struct.GLDQueryRec* }
58         %struct.GLDRect = type { i32, i32, i32, i32, i32, i32 }
59         %struct.GLDRegisterCombiners = type { i8, i8, i8, i8, i32, [2 x %struct.GLTColor4], [8 x %struct.GLDRegisterCombinersPerStageState], %struct.GLDRegisterCombinersFinalStageState }
60         %struct.GLDRegisterCombinersFinalStageState = type { i8, i8, i8, i8, [7 x %struct.GLDRegisterCombinersPerVariableState] }
61         %struct.GLDRegisterCombinersPerPortionState = type { [4 x %struct.GLDRegisterCombinersPerVariableState], i8, i8, i8, i8, i16, i16, i16, i16, i16, i16 }
62         %struct.GLDRegisterCombinersPerStageState = type { [2 x %struct.GLDRegisterCombinersPerPortionState], [2 x %struct.GLTColor4] }
63         %struct.GLDRegisterCombinersPerVariableState = type { i16, i16, i16, i16 }
64         %struct.GLDScissorTest = type { %struct.GLTFixedColor4, i8, i8, i8, i8 }
65         %struct.GLDShaderSourceData = type { i32, i32, i8*, i32*, i32, i32, i8*, i32*, i8* }
66         %struct.GLDSharedRec = type opaque
67         %struct.GLDState = type { i16, i16, i32, i32, i32, [256 x %struct.GLTColor4], [128 x %struct.GLTColor4], %struct.GLDViewport, %struct.GLDTransform, %struct.GLDLightModel, i32*, i32, i32, i32, %struct.GLDAlphaTest, %struct.GLDBlendMode, %struct.GLDClearColor, %struct.GLDColorBuffer, %struct.GLDDepthTest, %struct.GLDArrayRange, %struct.GLDFogMode, %struct.GLDHintMode, %struct.GLDLineMode, %struct.GLDLogicOp, %struct.GLDMaskMode, %struct.GLDPixelMode, %struct.GLDPointMode, %struct.GLDPolygonMode, %struct.GLDScissorTest, i32, %struct.GLDStencilTest, [16 x %struct.GLDTextureMode], %struct.GLDArrayRange, [8 x %struct.GLDTextureCoordGen], %struct.GLDClipPlane, %struct.GLDMultisample, %struct.GLDRegisterCombiners, %struct.GLDArrayRange, %struct.GLDArrayRange, [3 x %struct.GLDPipelineProgramState], %struct.GLDTransformFeedback }
68         %struct.GLDStateProgramRec = type { %struct.GLDPipelineProgramData*, %struct.GLDPipelineProgramRec* }
69         %struct.GLDStencilTest = type { [3 x { i32, i32, i16, i16, i16, i16 }], i32, [4 x i8] }
70         %struct.GLDStippleData = type { i32, i16, i16, [32 x [32 x i8]] }
71         %struct.GLDTextureCoordGen = type { { i16, i16, %struct.GLTColor4, %struct.GLTColor4 }, { i16, i16, %struct.GLTColor4, %struct.GLTColor4 }, { i16, i16, %struct.GLTColor4, %struct.GLTColor4 }, { i16, i16, %struct.GLTColor4, %struct.GLTColor4 }, i8, i8, i8, i8 }
72         %struct.GLDTextureGeomState = type { i16, i16, i16, i16, i16, i8, i8, i16, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, [6 x i16], [6 x i16] }
73         %struct.GLDTextureLevel = type { i32, i32, i16, i16, i16, i8, i8, i16, i16, i16, i16, i8* }
74         %struct.GLDTextureMachine = type { [8 x %struct.GLDTextureRec*], %struct.GLDTextureRec*, i8, i8, i8, i8 }
75         %struct.GLDTextureMode = type { %struct.GLTColor4, i32, i16, i16, i16, i16, i16, i16, i16, i16, i16, i16, i16, i16, i16, i16, i16, i16, float, float, float, i16, i16, i16, i16, i16, i16, [4 x i16], i8, i8, i8, i8, [3 x float], [4 x float], float, float }
76         %struct.GLDTextureParamState = type { i16, i16, i16, i16, i16, i16, %struct.GLTColor4, float, float, float, float, i16, i16, i16, i16, float, i16, i8, i8, i32, i8* }
77         %struct.GLDTextureRec = type { %struct.GLDTextureState*, i32, [2 x float], float, i32, float, float, float, float, float, float, %struct.GLDMipmaplevel*, %struct.GLDMipmaplevel*, i32, i32, i32, i32, i32, i32, %struct.GLDTextureParamState, i32, [2 x %struct._PPStreamToken] }
78         %struct.GLDTextureState = type { i16, i16, i16, float, i32, i16, %struct.GLISWRSurface*, i8, i8, i8, i8, %struct.GLDTextureParamState, %struct.GLDTextureGeomState, %struct.GLDTextureLevel, [6 x [15 x %struct.GLDTextureLevel]] }
79         %struct.GLDTransform = type { [24 x [16 x float]], [24 x [16 x float]], [16 x float], float, float, float, float, i32, float, i16, i16, i8, i8, i8, i8 }
80         %struct.GLDTransformFeedback = type { i8, i8, i8, [16 x i32], [16 x i32] }
81         %struct.GLDVertex = type { %struct.GLTColor4, %struct.GLTColor4, %struct.GLTColor4, %struct.GLTColor4, %struct.GLTColor4, %struct.GLTCoord3, float, %struct.GLTColor4, float, float, float, i8, i8, i8, i8, [4 x float], [2 x %struct.GLDMaterial*], i32, i32, [8 x %struct.GLTColor4] }
82         %struct.GLDVertexArrayRec = type opaque
83         %struct.GLDViewport = type { float, float, float, float, float, float, float, float, double, double, i32, i32, i32, i32, float, float, float, float }
84         %struct.GLGColorTable = type { i32, i32, i32, i8* }
85         %struct.GLGOperation = type { i8*, i8*, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, float, float, %struct.GLGColorTable, %struct.GLGColorTable, %struct.GLGColorTable }
86         %struct.GLGProcessor = type { void (%struct.GLDPixelMode*, %struct.GLGOperation*, %struct._GLGFunctionKey*)*, %struct._GLVMFunction*, %struct._GLGFunctionKey* }
87         %struct.GLISWRSurface = type { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i8*, i8*, i8*, [4 x i8*], i32 }
88         %struct.GLIWindow = type { i32, i32, i32 }
89         %struct.GLSBuffer = type { i8* }
90         %struct.GLSDrawable = type { %struct.GLSWindowRec* }
91         %struct.GLSWindowRec = type { %struct.GLTDimensions, %struct.GLTDimensions, i32, i32, %struct.GLSDrawable, [2 x i8*], i8*, i8*, i8*, [4 x i8*], i32, i32, i32, i32, [4 x i32], i16, i16, i16, %struct.GLIWindow, i32, i32, i8*, i8* }
92         %struct.GLTColor4 = type { float, float, float, float }
93         %struct.GLTCoord3 = type { float, float, float }
94         %struct.GLTDimensions = type { i32, i32 }
95         %struct.GLTFixedColor4 = type { i32, i32, i32, i32 }
96         %struct.GLVMFPContext = type { float, i32, i32, i32 }
97         %struct.GLVMFragmentAttribRec = type { <4 x float>, <4 x float>, <4 x float>, <4 x float>, [8 x <4 x float>] }
98         %struct.GLVMTextures = type { [8 x %struct.GLDTextureRec*] }
99         %struct._GLGFunctionKey = type opaque
100         %struct._GLVMConstants = type opaque
101         %struct._GLVMFunction = type opaque
102         %struct._PPStreamToken = type { { i16, i8, i8, i32 } }
104 define void @gldLLVMVecPointRender(%struct.GLDContextRec* %ctx) {
105 entry:
106         %tmp.uip = getelementptr %struct.GLDContextRec* %ctx, i32 0, i32 22             ; <i32*> [#uses=1]
107         %tmp = load i32* %tmp.uip               ; <i32> [#uses=3]
108         %tmp91 = lshr i32 %tmp, 5               ; <i32> [#uses=1]
109         %tmp92 = trunc i32 %tmp91 to i1         ; <i1> [#uses=1]
110         br i1 %tmp92, label %cond_true93, label %cond_next116
111 cond_true93:            ; preds = %entry
112         %tmp.upgrd.1 = getelementptr %struct.GLDContextRec* %ctx, i32 0, i32 31, i32 14         ; <i32*> [#uses=1]
113         %tmp95 = load i32* %tmp.upgrd.1         ; <i32> [#uses=1]
114         %tmp95.upgrd.2 = sitofp i32 %tmp95 to float             ; <float> [#uses=1]
115         %tmp108 = fmul float undef, %tmp95.upgrd.2              ; <float> [#uses=1]
116         br label %cond_next116
117 cond_next116:           ; preds = %cond_true93, %entry
118         %point_size.2 = phi float [ %tmp108, %cond_true93 ], [ undef, %entry ]          ; <float> [#uses=2]
119         %tmp457 = fcmp olt float %point_size.2, 1.000000e+00            ; <i1> [#uses=1]
120         %tmp460 = lshr i32 %tmp, 6              ; <i32> [#uses=1]
121         %tmp461 = trunc i32 %tmp460 to i1               ; <i1> [#uses=1]
122         br i1 %tmp457, label %cond_true458, label %cond_next484
123 cond_true458:           ; preds = %cond_next116
124         br i1 %tmp461, label %cond_true462, label %cond_next487
125 cond_true462:           ; preds = %cond_true458
126         %tmp26 = bitcast i32 %tmp to i32                ; <i32> [#uses=1]
127         %tmp465 = and i32 %tmp26, 128           ; <i32> [#uses=1]
128         %tmp466 = icmp eq i32 %tmp465, 0                ; <i1> [#uses=1]
129         br i1 %tmp466, label %cond_true467, label %cond_next487
130 cond_true467:           ; preds = %cond_true462
131         ret void
132 cond_next484:           ; preds = %cond_next116
133         %tmp486 = fmul float %point_size.2, 5.000000e-01                ; <float> [#uses=1]
134         br label %cond_next487
135 cond_next487:           ; preds = %cond_next484, %cond_true462, %cond_true458
136         %radius.0 = phi float [ %tmp486, %cond_next484 ], [ 5.000000e-01, %cond_true458 ], [ 5.000000e-01, %cond_true462 ]              ; <float> [#uses=2]
137         %tmp494 = insertelement <4 x float> zeroinitializer, float %radius.0, i32 2             ; <<4 x float>> [#uses=1]
138         %tmp495 = insertelement <4 x float> %tmp494, float %radius.0, i32 3             ; <<4 x float>> [#uses=0]
139         ret void