@@ -121,24 +121,24 @@ func.func @image_query_size_error_result2(%arg0 : !spirv.image<f32, Buffer, NoDe
121121//===----------------------------------------------------------------------===//
122122
123123func.func @image_read (%arg0: !spirv.image <f32 , Dim2D , NoDepth , NonArrayed , SingleSampled , NoSampler , Rgba8 >, %arg1: vector <2 xsi32 >) -> () {
124- // CHECK: {{%.*}} = spirv.ImageRead {{%.*}}, {{%.*}}: !spirv.image<f32, Dim2D, NoDepth, NonArrayed, SingleSampled, NoSampler, Rgba8>, vector<2xsi32> -> vector<4xf32>
125- %0 = spirv.ImageRead %arg0 , %arg1 : !spirv.image <f32 , Dim2D , NoDepth , NonArrayed , SingleSampled , NoSampler , Rgba8 >, vector <2 xsi32 > -> vector <4 xf32 >
124+ // CHECK: {{%.*}} = spirv.ImageRead {{%.*}}, {{%.*}} : !spirv.image<f32, Dim2D, NoDepth, NonArrayed, SingleSampled, NoSampler, Rgba8>, vector<2xsi32> -> vector<4xf32>
125+ %0 = spirv.ImageRead %arg0 , %arg1 : !spirv.image <f32 , Dim2D , NoDepth , NonArrayed , SingleSampled , NoSampler , Rgba8 >, vector <2 xsi32 > -> vector <4 xf32 >
126126 spirv.Return
127127}
128128
129129// -----
130130
131131func.func @image_read_type_mismatch (%arg0: !spirv.image <f32 , Dim2D , NoDepth , NonArrayed , SingleSampled , NoSampler , Rgba8 >, %arg1: vector <2 xsi32 >) -> () {
132132 // expected-error @+1 {{op failed to verify that the result component type must match the image sampled type}}
133- %0 = spirv.ImageRead %arg0 , %arg1 : !spirv.image <f32 , Dim2D , NoDepth , NonArrayed , SingleSampled , NoSampler , Rgba8 >, vector <2 xsi32 > -> vector <4 xf16 >
133+ %0 = spirv.ImageRead %arg0 , %arg1 : !spirv.image <f32 , Dim2D , NoDepth , NonArrayed , SingleSampled , NoSampler , Rgba8 >, vector <2 xsi32 > -> vector <4 xf16 >
134134 spirv.Return
135135}
136136
137137// -----
138138
139139func.func @image_read_need_sampler (%arg0: !spirv.image <f32 , Dim2D , NoDepth , NonArrayed , SingleSampled , NeedSampler , Rgba8 >, %arg1: vector <2 xsi32 >) -> () {
140140 // expected-error @+1 {{op failed to verify that the sampled operand of the underlying image must be SamplerUnknown or NoSampler}}
141- %0 = spirv.ImageRead %arg0 , %arg1 : !spirv.image <f32 , Dim2D , NoDepth , NonArrayed , SingleSampled , NeedSampler , Rgba8 >, vector <2 xsi32 > -> vector <4 xf16 >
141+ %0 = spirv.ImageRead %arg0 , %arg1 : !spirv.image <f32 , Dim2D , NoDepth , NonArrayed , SingleSampled , NeedSampler , Rgba8 >, vector <2 xsi32 > -> vector <4 xf16 >
142142 spirv.Return
143143}
144144
0 commit comments