Revert "Fix Metal codegen error with structs containing compound types."
This reverts commit 2a6c41571b.
Reason for revert: causing Mali G7x failures on tree
Original change's description:
> Fix Metal codegen error with structs containing compound types.
>
> While working on an unrelated test, I accidentally triggered a bug in
> Metal code generation. Our struct-equality helper functions did not
> properly handle vector fields. Wrapping each comparison in `all(...)`
> fixes the problem. (all() on a scalar is allowed and does nothing.)
>
> Our struct comparison tests now include a vector and a matrix.
>
> Change-Id: I59061ae9c3c3ab2c2dbdcb5257bc23e2257152af
> Reviewed-on: https://skia-review.googlesource.com/c/skia/+/470399
> Commit-Queue: John Stiles <johnstiles@google.com>
> Auto-Submit: John Stiles <johnstiles@google.com>
> Reviewed-by: Brian Osman <brianosman@google.com>
TBR=brianosman@google.com,ethannicholas@google.com,johnstiles@google.com,skcq-be@skia-corp.google.com.iam.gserviceaccount.com
Change-Id: Ieb5d5a1839978fb82525863488e9d54fdf44adbd
No-Presubmit: true
No-Tree-Checks: true
No-Try: true
Reviewed-on: https://skia-review.googlesource.com/c/skia/+/471097
Bot-Commit: Rubber Stamper <rubber-stamper@appspot.gserviceaccount.com>
Reviewed-by: Chris Dalton <csmartdalton@google.com>
Commit-Queue: John Stiles <johnstiles@google.com>
This commit is contained in:
John Stiles
SkCQ
parent
ef3d6af042
commit
3aaed99930
@ -39,22 +39,6 @@ bool test_matrix() {
|
||||
return mp2 == hp2 && hp3 == mp3 && mp4 == hp4;
|
||||
}
|
||||
|
||||
struct MyStruct {
|
||||
highp float hf;
|
||||
mediump float mf;
|
||||
highp int hi;
|
||||
mediump int mi;
|
||||
highp float2 hv;
|
||||
mediump int3 mv;
|
||||
};
|
||||
|
||||
bool test_struct() {
|
||||
MyStruct a = MyStruct(1, 2, 3, 4, float2(5, 6), int3(7, 8, 9));
|
||||
MyStruct b = MyStruct(1, 2, 3, 4, float2(5, 6), int3(7, 8, 9));
|
||||
MyStruct c = MyStruct(1, 2, 3, 4, float2(5, 6), int3(7, 8, -9));
|
||||
return (a == b) && (b != c);
|
||||
}
|
||||
|
||||
bool test_array() {
|
||||
mediump float mf[1]; mf[0] = 1;
|
||||
highp float hf[1]; hf[0] = 1;
|
||||
@ -77,6 +61,6 @@ vec4 main(vec2 coords) {
|
||||
highp vec4 red = colorRed;
|
||||
red = (red + zero) * one;
|
||||
|
||||
return (test_scalar() && test_vector() && test_matrix() && test_array() && test_struct() &&
|
||||
return (test_scalar() && test_vector() && test_matrix() && test_array() &&
|
||||
highp_param(1) && mediump_param(2) && lowp_param(3)) ? green : red;
|
||||
}
|
||||
|
||||
@ -6,8 +6,6 @@ struct S { float x; int y; };
|
||||
|
||||
struct Nested { S a, b; };
|
||||
|
||||
struct Compound { float4 f4; int3 i3; };
|
||||
|
||||
S returns_a_struct() {
|
||||
S s;
|
||||
s.x = 1;
|
||||
@ -42,14 +40,8 @@ half4 main(float2 coords) {
|
||||
n3 = n2;
|
||||
modifies_a_struct(n3.b);
|
||||
|
||||
Compound c1 = Compound(float4(1, 2, 3, 4), int3(5, 6, 7));
|
||||
Compound c2 = Compound(float4(colorGreen.g, 2, 3, 4), int3(5, 6, 7));
|
||||
Compound c3 = Compound(float4(colorGreen.r, 2, 3, 4), int3(5, 6, 7));
|
||||
|
||||
bool valid = (x == 3) && (s.x == 2) && (s.y == 3) &&
|
||||
(s == expected) && (s == S(2, 3)) && (s != returns_a_struct()) &&
|
||||
(n1 == n2) && (n1 != n3) && (n3 == Nested(S(1, 2), S(2, 3))) &&
|
||||
(c1 == c2) && (c2 != c3);
|
||||
|
||||
(n1 == n2) && (n1 != n3) && (n3 == Nested(S(1, 2), S(2, 3)));
|
||||
return valid ? colorGreen : colorRed;
|
||||
}
|
||||
|
||||
@ -1532,7 +1532,7 @@ thread bool operator!=(thread const %s& left, thread const %s& right);
|
||||
|
||||
const char* separator = "";
|
||||
for (const Type::Field& field : type.fields()) {
|
||||
fExtraFunctions.printf("%sall(left.%.*s == right.%.*s)",
|
||||
fExtraFunctions.printf("%s(left.%.*s == right.%.*s)",
|
||||
separator,
|
||||
(int)field.fName.size(), field.fName.data(),
|
||||
(int)field.fName.size(), field.fName.data());
|
||||
|
||||
@ -2,17 +2,6 @@ uniform half4 colorGreen;
|
||||
uniform half4 colorRed;
|
||||
bool test_vector_0();
|
||||
bool test_matrix_0();
|
||||
struct MyStruct_0
|
||||
{
|
||||
float hf;
|
||||
half mf;
|
||||
int hi;
|
||||
short mi;
|
||||
float2 hv;
|
||||
short3 mv;
|
||||
}
|
||||
;
|
||||
bool test_struct_0();
|
||||
bool test_array_0();
|
||||
bool highp_param_0(float value);
|
||||
bool mediump_param_0(half value);
|
||||
@ -43,13 +32,6 @@ bool test_matrix_0()
|
||||
float4x4 hp4 = float4x4(mp4);
|
||||
return (float2x2(mp2) == hp2 && hp3 == float3x3(mp3)) && float4x4(mp4) == hp4;
|
||||
}
|
||||
bool test_struct_0()
|
||||
{
|
||||
MyStruct_0 a = MyStruct_0(1.0, 2.0, 3, 4, float2(5.0, 6.0), short3(7, 8, 9));
|
||||
MyStruct_0 b = MyStruct_0(1.0, 2.0, 3, 4, float2(5.0, 6.0), short3(7, 8, 9));
|
||||
MyStruct_0 c = MyStruct_0(1.0, 2.0, 3, 4, float2(5.0, 6.0), short3(7, 8, -9));
|
||||
return a == b && b != c;
|
||||
}
|
||||
bool test_array_0()
|
||||
{
|
||||
half mf[1];
|
||||
@ -88,5 +70,5 @@ float4 main(float2 coords)
|
||||
float _1_hp = float(_0_mp);
|
||||
int _2_ihp = 2;
|
||||
short _3_imp = short(_2_ihp);
|
||||
return half4((((((((float(_0_mp) == _1_hp && _2_ihp == int(_3_imp)) && test_vector_0()) && test_matrix_0()) && test_array_0()) && test_struct_0()) && highp_param_0(1.0)) && mediump_param_0(2.0)) && lowp_param_0(3.0) ? float4(green) : red);
|
||||
return half4(((((((float(_0_mp) == _1_hp && _2_ihp == int(_3_imp)) && test_vector_0()) && test_matrix_0()) && test_array_0()) && highp_param_0(1.0)) && mediump_param_0(2.0)) && lowp_param_0(3.0) ? float4(green) : red);
|
||||
}
|
||||
|
||||
@ -48,8 +48,8 @@ thread bool operator!=(const half2x2 left, const half2x2 right) {
|
||||
return !(left == right);
|
||||
}
|
||||
thread bool operator==(thread const S& left, thread const S& right) {
|
||||
return all(left.x == right.x) &&
|
||||
all(left.y == right.y);
|
||||
return (left.x == right.x) &&
|
||||
(left.y == right.y);
|
||||
}
|
||||
thread bool operator!=(thread const S& left, thread const S& right) {
|
||||
return !(left == right);
|
||||
|
||||
@ -27,12 +27,6 @@ OpMemberName %Nested 1 "b"
|
||||
OpName %n1 "n1"
|
||||
OpName %n2 "n2"
|
||||
OpName %n3 "n3"
|
||||
OpName %Compound "Compound"
|
||||
OpMemberName %Compound 0 "f4"
|
||||
OpMemberName %Compound 1 "i3"
|
||||
OpName %c1 "c1"
|
||||
OpName %c2 "c2"
|
||||
OpName %c3 "c3"
|
||||
OpName %valid "valid"
|
||||
OpDecorate %sk_FragColor RelaxedPrecision
|
||||
OpDecorate %sk_FragColor Location 0
|
||||
@ -57,29 +51,19 @@ OpDecorate %84 RelaxedPrecision
|
||||
OpDecorate %86 RelaxedPrecision
|
||||
OpDecorate %87 RelaxedPrecision
|
||||
OpDecorate %89 RelaxedPrecision
|
||||
OpMemberDecorate %Compound 0 Offset 0
|
||||
OpMemberDecorate %Compound 1 Offset 16
|
||||
OpDecorate %108 RelaxedPrecision
|
||||
OpDecorate %109 RelaxedPrecision
|
||||
OpDecorate %113 RelaxedPrecision
|
||||
OpDecorate %114 RelaxedPrecision
|
||||
OpDecorate %115 RelaxedPrecision
|
||||
OpDecorate %125 RelaxedPrecision
|
||||
OpDecorate %137 RelaxedPrecision
|
||||
OpDecorate %138 RelaxedPrecision
|
||||
OpDecorate %149 RelaxedPrecision
|
||||
OpDecorate %161 RelaxedPrecision
|
||||
OpDecorate %150 RelaxedPrecision
|
||||
OpDecorate %173 RelaxedPrecision
|
||||
OpDecorate %174 RelaxedPrecision
|
||||
OpDecorate %197 RelaxedPrecision
|
||||
OpDecorate %198 RelaxedPrecision
|
||||
OpDecorate %221 RelaxedPrecision
|
||||
OpDecorate %247 RelaxedPrecision
|
||||
OpDecorate %248 RelaxedPrecision
|
||||
OpDecorate %263 RelaxedPrecision
|
||||
OpDecorate %264 RelaxedPrecision
|
||||
OpDecorate %275 RelaxedPrecision
|
||||
OpDecorate %282 RelaxedPrecision
|
||||
OpDecorate %284 RelaxedPrecision
|
||||
OpDecorate %285 RelaxedPrecision
|
||||
OpDecorate %229 RelaxedPrecision
|
||||
OpDecorate %231 RelaxedPrecision
|
||||
OpDecorate %232 RelaxedPrecision
|
||||
%float = OpTypeFloat 32
|
||||
%v4float = OpTypeVector %float 4
|
||||
%_ptr_Output_v4float = OpTypePointer Output %v4float
|
||||
@ -113,22 +97,11 @@ OpDecorate %285 RelaxedPrecision
|
||||
%64 = OpTypeFunction %v4float %_ptr_Function_v2float
|
||||
%Nested = OpTypeStruct %S %S
|
||||
%_ptr_Function_Nested = OpTypePointer Function %Nested
|
||||
%v3int = OpTypeVector %int 3
|
||||
%Compound = OpTypeStruct %v4float %v3int
|
||||
%_ptr_Function_Compound = OpTypePointer Function %Compound
|
||||
%float_3 = OpConstant %float 3
|
||||
%float_4 = OpConstant %float 4
|
||||
%99 = OpConstantComposite %v4float %float_1 %float_2 %float_3 %float_4
|
||||
%int_5 = OpConstant %int 5
|
||||
%int_6 = OpConstant %int 6
|
||||
%int_7 = OpConstant %int 7
|
||||
%103 = OpConstantComposite %v3int %int_5 %int_6 %int_7
|
||||
%_ptr_Uniform_v4float = OpTypePointer Uniform %v4float
|
||||
%_ptr_Function_bool = OpTypePointer Function %bool
|
||||
%false = OpConstantFalse %bool
|
||||
%v4bool = OpTypeVector %bool 4
|
||||
%v3bool = OpTypeVector %bool 3
|
||||
%float_3 = OpConstant %float 3
|
||||
%_ptr_Function_v4float = OpTypePointer Function %v4float
|
||||
%_ptr_Uniform_v4float = OpTypePointer Uniform %v4float
|
||||
%_entrypoint_v = OpFunction %void None %19
|
||||
%20 = OpLabel
|
||||
%24 = OpVariable %_ptr_Function_v2float Function
|
||||
@ -187,11 +160,8 @@ OpFunctionEnd
|
||||
%n2 = OpVariable %_ptr_Function_Nested Function
|
||||
%n3 = OpVariable %_ptr_Function_Nested Function
|
||||
%90 = OpVariable %_ptr_Function_S Function
|
||||
%c1 = OpVariable %_ptr_Function_Compound Function
|
||||
%c2 = OpVariable %_ptr_Function_Compound Function
|
||||
%c3 = OpVariable %_ptr_Function_Compound Function
|
||||
%valid = OpVariable %_ptr_Function_bool Function
|
||||
%276 = OpVariable %_ptr_Function_v4float Function
|
||||
%222 = OpVariable %_ptr_Function_v4float Function
|
||||
%68 = OpFunctionCall %S %returns_a_struct_S
|
||||
OpStore %s_0 %68
|
||||
%70 = OpLoad %S %s_0
|
||||
@ -218,217 +188,169 @@ OpStore %90 %89
|
||||
%91 = OpFunctionCall %void %modifies_a_struct_vS %90
|
||||
%92 = OpLoad %S %90
|
||||
OpStore %88 %92
|
||||
%104 = OpCompositeConstruct %Compound %99 %103
|
||||
OpStore %c1 %104
|
||||
%106 = OpAccessChain %_ptr_Uniform_v4float %14 %int_1
|
||||
%108 = OpLoad %v4float %106
|
||||
%109 = OpCompositeExtract %float %108 1
|
||||
%110 = OpCompositeConstruct %v4float %109 %float_2 %float_3 %float_4
|
||||
%111 = OpCompositeConstruct %Compound %110 %103
|
||||
OpStore %c2 %111
|
||||
%113 = OpAccessChain %_ptr_Uniform_v4float %14 %int_1
|
||||
%114 = OpLoad %v4float %113
|
||||
%115 = OpCompositeExtract %float %114 0
|
||||
%116 = OpCompositeConstruct %v4float %115 %float_2 %float_3 %float_4
|
||||
%117 = OpCompositeConstruct %Compound %116 %103
|
||||
OpStore %c3 %117
|
||||
%121 = OpLoad %float %x
|
||||
%122 = OpFOrdEqual %bool %121 %float_3
|
||||
%96 = OpLoad %float %x
|
||||
%98 = OpFOrdEqual %bool %96 %float_3
|
||||
OpSelectionMerge %100 None
|
||||
OpBranchConditional %98 %99 %100
|
||||
%99 = OpLabel
|
||||
%101 = OpAccessChain %_ptr_Function_float %s_0 %int_0
|
||||
%102 = OpLoad %float %101
|
||||
%103 = OpFOrdEqual %bool %102 %float_2
|
||||
OpBranch %100
|
||||
%100 = OpLabel
|
||||
%104 = OpPhi %bool %false %66 %103 %99
|
||||
OpSelectionMerge %106 None
|
||||
OpBranchConditional %104 %105 %106
|
||||
%105 = OpLabel
|
||||
%107 = OpAccessChain %_ptr_Function_int %s_0 %int_1
|
||||
%108 = OpLoad %int %107
|
||||
%109 = OpIEqual %bool %108 %int_3
|
||||
OpBranch %106
|
||||
%106 = OpLabel
|
||||
%110 = OpPhi %bool %false %100 %109 %105
|
||||
OpSelectionMerge %112 None
|
||||
OpBranchConditional %110 %111 %112
|
||||
%111 = OpLabel
|
||||
%113 = OpLoad %S %s_0
|
||||
%114 = OpLoad %S %expected
|
||||
%115 = OpCompositeExtract %float %113 0
|
||||
%116 = OpCompositeExtract %float %114 0
|
||||
%117 = OpFOrdEqual %bool %115 %116
|
||||
%118 = OpCompositeExtract %int %113 1
|
||||
%119 = OpCompositeExtract %int %114 1
|
||||
%120 = OpIEqual %bool %118 %119
|
||||
%121 = OpLogicalAnd %bool %120 %117
|
||||
OpBranch %112
|
||||
%112 = OpLabel
|
||||
%122 = OpPhi %bool %false %106 %121 %111
|
||||
OpSelectionMerge %124 None
|
||||
OpBranchConditional %122 %123 %124
|
||||
%123 = OpLabel
|
||||
%125 = OpAccessChain %_ptr_Function_float %s_0 %int_0
|
||||
%126 = OpLoad %float %125
|
||||
%127 = OpFOrdEqual %bool %126 %float_2
|
||||
%125 = OpLoad %S %s_0
|
||||
%126 = OpCompositeConstruct %S %float_2 %int_3
|
||||
%127 = OpCompositeExtract %float %125 0
|
||||
%128 = OpCompositeExtract %float %126 0
|
||||
%129 = OpFOrdEqual %bool %127 %128
|
||||
%130 = OpCompositeExtract %int %125 1
|
||||
%131 = OpCompositeExtract %int %126 1
|
||||
%132 = OpIEqual %bool %130 %131
|
||||
%133 = OpLogicalAnd %bool %132 %129
|
||||
OpBranch %124
|
||||
%124 = OpLabel
|
||||
%128 = OpPhi %bool %false %66 %127 %123
|
||||
OpSelectionMerge %130 None
|
||||
OpBranchConditional %128 %129 %130
|
||||
%129 = OpLabel
|
||||
%131 = OpAccessChain %_ptr_Function_int %s_0 %int_1
|
||||
%132 = OpLoad %int %131
|
||||
%133 = OpIEqual %bool %132 %int_3
|
||||
OpBranch %130
|
||||
%130 = OpLabel
|
||||
%134 = OpPhi %bool %false %124 %133 %129
|
||||
%134 = OpPhi %bool %false %112 %133 %123
|
||||
OpSelectionMerge %136 None
|
||||
OpBranchConditional %134 %135 %136
|
||||
%135 = OpLabel
|
||||
%137 = OpLoad %S %s_0
|
||||
%138 = OpLoad %S %expected
|
||||
%138 = OpFunctionCall %S %returns_a_struct_S
|
||||
%139 = OpCompositeExtract %float %137 0
|
||||
%140 = OpCompositeExtract %float %138 0
|
||||
%141 = OpFOrdEqual %bool %139 %140
|
||||
%141 = OpFOrdNotEqual %bool %139 %140
|
||||
%142 = OpCompositeExtract %int %137 1
|
||||
%143 = OpCompositeExtract %int %138 1
|
||||
%144 = OpIEqual %bool %142 %143
|
||||
%145 = OpLogicalAnd %bool %144 %141
|
||||
%144 = OpINotEqual %bool %142 %143
|
||||
%145 = OpLogicalOr %bool %144 %141
|
||||
OpBranch %136
|
||||
%136 = OpLabel
|
||||
%146 = OpPhi %bool %false %130 %145 %135
|
||||
%146 = OpPhi %bool %false %124 %145 %135
|
||||
OpSelectionMerge %148 None
|
||||
OpBranchConditional %146 %147 %148
|
||||
%147 = OpLabel
|
||||
%149 = OpLoad %S %s_0
|
||||
%150 = OpCompositeConstruct %S %float_2 %int_3
|
||||
%151 = OpCompositeExtract %float %149 0
|
||||
%152 = OpCompositeExtract %float %150 0
|
||||
%153 = OpFOrdEqual %bool %151 %152
|
||||
%154 = OpCompositeExtract %int %149 1
|
||||
%155 = OpCompositeExtract %int %150 1
|
||||
%156 = OpIEqual %bool %154 %155
|
||||
%157 = OpLogicalAnd %bool %156 %153
|
||||
%149 = OpLoad %Nested %n1
|
||||
%150 = OpLoad %Nested %n2
|
||||
%151 = OpCompositeExtract %S %149 0
|
||||
%152 = OpCompositeExtract %S %150 0
|
||||
%153 = OpCompositeExtract %float %151 0
|
||||
%154 = OpCompositeExtract %float %152 0
|
||||
%155 = OpFOrdEqual %bool %153 %154
|
||||
%156 = OpCompositeExtract %int %151 1
|
||||
%157 = OpCompositeExtract %int %152 1
|
||||
%158 = OpIEqual %bool %156 %157
|
||||
%159 = OpLogicalAnd %bool %158 %155
|
||||
%160 = OpCompositeExtract %S %149 1
|
||||
%161 = OpCompositeExtract %S %150 1
|
||||
%162 = OpCompositeExtract %float %160 0
|
||||
%163 = OpCompositeExtract %float %161 0
|
||||
%164 = OpFOrdEqual %bool %162 %163
|
||||
%165 = OpCompositeExtract %int %160 1
|
||||
%166 = OpCompositeExtract %int %161 1
|
||||
%167 = OpIEqual %bool %165 %166
|
||||
%168 = OpLogicalAnd %bool %167 %164
|
||||
%169 = OpLogicalAnd %bool %168 %159
|
||||
OpBranch %148
|
||||
%148 = OpLabel
|
||||
%158 = OpPhi %bool %false %136 %157 %147
|
||||
OpSelectionMerge %160 None
|
||||
OpBranchConditional %158 %159 %160
|
||||
%159 = OpLabel
|
||||
%161 = OpLoad %S %s_0
|
||||
%162 = OpFunctionCall %S %returns_a_struct_S
|
||||
%163 = OpCompositeExtract %float %161 0
|
||||
%164 = OpCompositeExtract %float %162 0
|
||||
%165 = OpFOrdNotEqual %bool %163 %164
|
||||
%166 = OpCompositeExtract %int %161 1
|
||||
%167 = OpCompositeExtract %int %162 1
|
||||
%168 = OpINotEqual %bool %166 %167
|
||||
%169 = OpLogicalOr %bool %168 %165
|
||||
OpBranch %160
|
||||
%160 = OpLabel
|
||||
%170 = OpPhi %bool %false %148 %169 %159
|
||||
%170 = OpPhi %bool %false %136 %169 %147
|
||||
OpSelectionMerge %172 None
|
||||
OpBranchConditional %170 %171 %172
|
||||
%171 = OpLabel
|
||||
%173 = OpLoad %Nested %n1
|
||||
%174 = OpLoad %Nested %n2
|
||||
%174 = OpLoad %Nested %n3
|
||||
%175 = OpCompositeExtract %S %173 0
|
||||
%176 = OpCompositeExtract %S %174 0
|
||||
%177 = OpCompositeExtract %float %175 0
|
||||
%178 = OpCompositeExtract %float %176 0
|
||||
%179 = OpFOrdEqual %bool %177 %178
|
||||
%179 = OpFOrdNotEqual %bool %177 %178
|
||||
%180 = OpCompositeExtract %int %175 1
|
||||
%181 = OpCompositeExtract %int %176 1
|
||||
%182 = OpIEqual %bool %180 %181
|
||||
%183 = OpLogicalAnd %bool %182 %179
|
||||
%182 = OpINotEqual %bool %180 %181
|
||||
%183 = OpLogicalOr %bool %182 %179
|
||||
%184 = OpCompositeExtract %S %173 1
|
||||
%185 = OpCompositeExtract %S %174 1
|
||||
%186 = OpCompositeExtract %float %184 0
|
||||
%187 = OpCompositeExtract %float %185 0
|
||||
%188 = OpFOrdEqual %bool %186 %187
|
||||
%188 = OpFOrdNotEqual %bool %186 %187
|
||||
%189 = OpCompositeExtract %int %184 1
|
||||
%190 = OpCompositeExtract %int %185 1
|
||||
%191 = OpIEqual %bool %189 %190
|
||||
%192 = OpLogicalAnd %bool %191 %188
|
||||
%193 = OpLogicalAnd %bool %192 %183
|
||||
%191 = OpINotEqual %bool %189 %190
|
||||
%192 = OpLogicalOr %bool %191 %188
|
||||
%193 = OpLogicalOr %bool %192 %183
|
||||
OpBranch %172
|
||||
%172 = OpLabel
|
||||
%194 = OpPhi %bool %false %160 %193 %171
|
||||
%194 = OpPhi %bool %false %148 %193 %171
|
||||
OpSelectionMerge %196 None
|
||||
OpBranchConditional %194 %195 %196
|
||||
%195 = OpLabel
|
||||
%197 = OpLoad %Nested %n1
|
||||
%198 = OpLoad %Nested %n3
|
||||
%199 = OpCompositeExtract %S %197 0
|
||||
%200 = OpCompositeExtract %S %198 0
|
||||
%201 = OpCompositeExtract %float %199 0
|
||||
%202 = OpCompositeExtract %float %200 0
|
||||
%203 = OpFOrdNotEqual %bool %201 %202
|
||||
%204 = OpCompositeExtract %int %199 1
|
||||
%205 = OpCompositeExtract %int %200 1
|
||||
%206 = OpINotEqual %bool %204 %205
|
||||
%207 = OpLogicalOr %bool %206 %203
|
||||
%208 = OpCompositeExtract %S %197 1
|
||||
%209 = OpCompositeExtract %S %198 1
|
||||
%210 = OpCompositeExtract %float %208 0
|
||||
%211 = OpCompositeExtract %float %209 0
|
||||
%212 = OpFOrdNotEqual %bool %210 %211
|
||||
%213 = OpCompositeExtract %int %208 1
|
||||
%214 = OpCompositeExtract %int %209 1
|
||||
%215 = OpINotEqual %bool %213 %214
|
||||
%216 = OpLogicalOr %bool %215 %212
|
||||
%217 = OpLogicalOr %bool %216 %207
|
||||
%197 = OpLoad %Nested %n3
|
||||
%198 = OpCompositeConstruct %S %float_1 %int_2
|
||||
%199 = OpCompositeConstruct %S %float_2 %int_3
|
||||
%200 = OpCompositeConstruct %Nested %198 %199
|
||||
%201 = OpCompositeExtract %S %197 0
|
||||
%202 = OpCompositeExtract %S %200 0
|
||||
%203 = OpCompositeExtract %float %201 0
|
||||
%204 = OpCompositeExtract %float %202 0
|
||||
%205 = OpFOrdEqual %bool %203 %204
|
||||
%206 = OpCompositeExtract %int %201 1
|
||||
%207 = OpCompositeExtract %int %202 1
|
||||
%208 = OpIEqual %bool %206 %207
|
||||
%209 = OpLogicalAnd %bool %208 %205
|
||||
%210 = OpCompositeExtract %S %197 1
|
||||
%211 = OpCompositeExtract %S %200 1
|
||||
%212 = OpCompositeExtract %float %210 0
|
||||
%213 = OpCompositeExtract %float %211 0
|
||||
%214 = OpFOrdEqual %bool %212 %213
|
||||
%215 = OpCompositeExtract %int %210 1
|
||||
%216 = OpCompositeExtract %int %211 1
|
||||
%217 = OpIEqual %bool %215 %216
|
||||
%218 = OpLogicalAnd %bool %217 %214
|
||||
%219 = OpLogicalAnd %bool %218 %209
|
||||
OpBranch %196
|
||||
%196 = OpLabel
|
||||
%218 = OpPhi %bool %false %172 %217 %195
|
||||
OpSelectionMerge %220 None
|
||||
OpBranchConditional %218 %219 %220
|
||||
%219 = OpLabel
|
||||
%221 = OpLoad %Nested %n3
|
||||
%222 = OpCompositeConstruct %S %float_1 %int_2
|
||||
%223 = OpCompositeConstruct %S %float_2 %int_3
|
||||
%224 = OpCompositeConstruct %Nested %222 %223
|
||||
%225 = OpCompositeExtract %S %221 0
|
||||
%226 = OpCompositeExtract %S %224 0
|
||||
%227 = OpCompositeExtract %float %225 0
|
||||
%228 = OpCompositeExtract %float %226 0
|
||||
%229 = OpFOrdEqual %bool %227 %228
|
||||
%230 = OpCompositeExtract %int %225 1
|
||||
%231 = OpCompositeExtract %int %226 1
|
||||
%232 = OpIEqual %bool %230 %231
|
||||
%233 = OpLogicalAnd %bool %232 %229
|
||||
%234 = OpCompositeExtract %S %221 1
|
||||
%235 = OpCompositeExtract %S %224 1
|
||||
%236 = OpCompositeExtract %float %234 0
|
||||
%237 = OpCompositeExtract %float %235 0
|
||||
%238 = OpFOrdEqual %bool %236 %237
|
||||
%239 = OpCompositeExtract %int %234 1
|
||||
%240 = OpCompositeExtract %int %235 1
|
||||
%241 = OpIEqual %bool %239 %240
|
||||
%242 = OpLogicalAnd %bool %241 %238
|
||||
%243 = OpLogicalAnd %bool %242 %233
|
||||
OpBranch %220
|
||||
%220 = OpLabel
|
||||
%244 = OpPhi %bool %false %196 %243 %219
|
||||
OpSelectionMerge %246 None
|
||||
OpBranchConditional %244 %245 %246
|
||||
%245 = OpLabel
|
||||
%247 = OpLoad %Compound %c1
|
||||
%248 = OpLoad %Compound %c2
|
||||
%249 = OpCompositeExtract %v4float %247 0
|
||||
%250 = OpCompositeExtract %v4float %248 0
|
||||
%251 = OpFOrdEqual %v4bool %249 %250
|
||||
%253 = OpAll %bool %251
|
||||
%254 = OpCompositeExtract %v3int %247 1
|
||||
%255 = OpCompositeExtract %v3int %248 1
|
||||
%256 = OpIEqual %v3bool %254 %255
|
||||
%258 = OpAll %bool %256
|
||||
%259 = OpLogicalAnd %bool %258 %253
|
||||
OpBranch %246
|
||||
%246 = OpLabel
|
||||
%260 = OpPhi %bool %false %220 %259 %245
|
||||
OpSelectionMerge %262 None
|
||||
OpBranchConditional %260 %261 %262
|
||||
%261 = OpLabel
|
||||
%263 = OpLoad %Compound %c2
|
||||
%264 = OpLoad %Compound %c3
|
||||
%265 = OpCompositeExtract %v4float %263 0
|
||||
%266 = OpCompositeExtract %v4float %264 0
|
||||
%267 = OpFOrdNotEqual %v4bool %265 %266
|
||||
%268 = OpAny %bool %267
|
||||
%269 = OpCompositeExtract %v3int %263 1
|
||||
%270 = OpCompositeExtract %v3int %264 1
|
||||
%271 = OpINotEqual %v3bool %269 %270
|
||||
%272 = OpAny %bool %271
|
||||
%273 = OpLogicalOr %bool %272 %268
|
||||
OpBranch %262
|
||||
%262 = OpLabel
|
||||
%274 = OpPhi %bool %false %246 %273 %261
|
||||
OpStore %valid %274
|
||||
%275 = OpLoad %bool %valid
|
||||
OpSelectionMerge %280 None
|
||||
OpBranchConditional %275 %278 %279
|
||||
%278 = OpLabel
|
||||
%281 = OpAccessChain %_ptr_Uniform_v4float %14 %int_1
|
||||
%282 = OpLoad %v4float %281
|
||||
OpStore %276 %282
|
||||
OpBranch %280
|
||||
%279 = OpLabel
|
||||
%283 = OpAccessChain %_ptr_Uniform_v4float %14 %int_0
|
||||
%284 = OpLoad %v4float %283
|
||||
OpStore %276 %284
|
||||
OpBranch %280
|
||||
%280 = OpLabel
|
||||
%285 = OpLoad %v4float %276
|
||||
OpReturnValue %285
|
||||
%220 = OpPhi %bool %false %172 %219 %195
|
||||
OpStore %valid %220
|
||||
%221 = OpLoad %bool %valid
|
||||
OpSelectionMerge %226 None
|
||||
OpBranchConditional %221 %224 %225
|
||||
%224 = OpLabel
|
||||
%227 = OpAccessChain %_ptr_Uniform_v4float %14 %int_1
|
||||
%229 = OpLoad %v4float %227
|
||||
OpStore %222 %229
|
||||
OpBranch %226
|
||||
%225 = OpLabel
|
||||
%230 = OpAccessChain %_ptr_Uniform_v4float %14 %int_0
|
||||
%231 = OpLoad %v4float %230
|
||||
OpStore %222 %231
|
||||
OpBranch %226
|
||||
%226 = OpLabel
|
||||
%232 = OpLoad %v4float %222
|
||||
OpReturnValue %232
|
||||
OpFunctionEnd
|
||||
|
||||
@ -10,10 +10,6 @@ struct Nested {
|
||||
S a;
|
||||
S b;
|
||||
};
|
||||
struct Compound {
|
||||
vec4 f4;
|
||||
ivec3 i3;
|
||||
};
|
||||
S returns_a_struct_S() {
|
||||
S s;
|
||||
s.x = 1.0;
|
||||
@ -43,9 +39,6 @@ vec4 main() {
|
||||
n2 = n1;
|
||||
n3 = n2;
|
||||
modifies_a_struct_vS(n3.b);
|
||||
Compound c1 = Compound(vec4(1.0, 2.0, 3.0, 4.0), ivec3(5, 6, 7));
|
||||
Compound c2 = Compound(vec4(colorGreen.y, 2.0, 3.0, 4.0), ivec3(5, 6, 7));
|
||||
Compound c3 = Compound(vec4(colorGreen.x, 2.0, 3.0, 4.0), ivec3(5, 6, 7));
|
||||
bool valid = (((((((((x == 3.0 && s.x == 2.0) && s.y == 3) && s == expected) && s == S(2.0, 3)) && s != returns_a_struct_S()) && n1 == n2) && n1 != n3) && n3 == Nested(S(1.0, 2), S(2.0, 3))) && c1 == c2) && c2 != c3;
|
||||
bool valid = (((((((x == 3.0 && s.x == 2.0) && s.y == 3) && s == expected) && s == S(2.0, 3)) && s != returns_a_struct_S()) && n1 == n2) && n1 != n3) && n3 == Nested(S(1.0, 2), S(2.0, 3));
|
||||
return valid ? colorGreen : colorRed;
|
||||
}
|
||||
|
||||
@ -9,10 +9,6 @@ struct Nested {
|
||||
S a;
|
||||
S b;
|
||||
};
|
||||
struct Compound {
|
||||
float4 f4;
|
||||
int3 i3;
|
||||
};
|
||||
struct Uniforms {
|
||||
half4 colorRed;
|
||||
half4 colorGreen;
|
||||
@ -28,9 +24,6 @@ thread bool operator!=(thread const S& left, thread const S& right);
|
||||
|
||||
thread bool operator==(thread const Nested& left, thread const Nested& right);
|
||||
thread bool operator!=(thread const Nested& left, thread const Nested& right);
|
||||
|
||||
thread bool operator==(thread const Compound& left, thread const Compound& right);
|
||||
thread bool operator!=(thread const Compound& left, thread const Compound& right);
|
||||
void modifies_a_struct_vS(thread S& s);
|
||||
void _skOutParamHelper0_modifies_a_struct_vS(thread S& s) {
|
||||
S _var0 = s;
|
||||
@ -44,26 +37,19 @@ void _skOutParamHelper1_modifies_a_struct_vS(thread Nested& n3) {
|
||||
n3.b = _var0;
|
||||
}
|
||||
thread bool operator==(thread const S& left, thread const S& right) {
|
||||
return all(left.x == right.x) &&
|
||||
all(left.y == right.y);
|
||||
return (left.x == right.x) &&
|
||||
(left.y == right.y);
|
||||
}
|
||||
thread bool operator!=(thread const S& left, thread const S& right) {
|
||||
return !(left == right);
|
||||
}
|
||||
thread bool operator==(thread const Nested& left, thread const Nested& right) {
|
||||
return all(left.a == right.a) &&
|
||||
all(left.b == right.b);
|
||||
return (left.a == right.a) &&
|
||||
(left.b == right.b);
|
||||
}
|
||||
thread bool operator!=(thread const Nested& left, thread const Nested& right) {
|
||||
return !(left == right);
|
||||
}
|
||||
thread bool operator==(thread const Compound& left, thread const Compound& right) {
|
||||
return all(left.f4 == right.f4) &&
|
||||
all(left.i3 == right.i3);
|
||||
}
|
||||
thread bool operator!=(thread const Compound& left, thread const Compound& right) {
|
||||
return !(left == right);
|
||||
}
|
||||
S returns_a_struct_S() {
|
||||
S s;
|
||||
s.x = 1.0;
|
||||
@ -95,10 +81,7 @@ fragment Outputs fragmentMain(Inputs _in [[stage_in]], constant Uniforms& _unifo
|
||||
n2 = n1;
|
||||
n3 = n2;
|
||||
_skOutParamHelper1_modifies_a_struct_vS(n3);
|
||||
Compound c1 = Compound{float4(1.0, 2.0, 3.0, 4.0), int3(5, 6, 7)};
|
||||
Compound c2 = Compound{float4(float(_uniforms.colorGreen.y), 2.0, 3.0, 4.0), int3(5, 6, 7)};
|
||||
Compound c3 = Compound{float4(float(_uniforms.colorGreen.x), 2.0, 3.0, 4.0), int3(5, 6, 7)};
|
||||
bool valid = (((((((((x == 3.0 && s.x == 2.0) && s.y == 3) && s == expected) && s == S{2.0, 3}) && s != returns_a_struct_S()) && n1 == n2) && n1 != n3) && n3 == Nested{S{1.0, 2}, S{2.0, 3}}) && c1 == c2) && c2 != c3;
|
||||
bool valid = (((((((x == 3.0 && s.x == 2.0) && s.y == 3) && s == expected) && s == S{2.0, 3}) && s != returns_a_struct_S()) && n1 == n2) && n1 != n3) && n3 == Nested{S{1.0, 2}, S{2.0, 3}};
|
||||
_out.sk_FragColor = valid ? _uniforms.colorGreen : _uniforms.colorRed;
|
||||
return _out;
|
||||
}
|
||||
|
||||
Loading…
Reference in New Issue
Block a user