Implement compile-time optimization for step().
$genType step($genType edge, $genType x); $genType step(float edge, $genType x); $genHType step($genHType edge, $genHType x); $genHType step(half edge, $genHType x); Change-Id: If52634d7a247772e922cb3fd2e3e8a7c36c275f6 Bug: skia:12034 Reviewed-on: https://skia-review.googlesource.com/c/skia/+/411842 Commit-Queue: John Stiles <johnstiles@google.com> Auto-Submit: John Stiles <johnstiles@google.com> Reviewed-by: Brian Osman <brianosman@google.com> Reviewed-by: Ethan Nicholas <ethannicholas@google.com>
This commit is contained in:
parent
0727a80885
commit
017ffd7e05
resources/sksl/intrinsics
src/sksl/ir
tests
@ -1 +1,26 @@
|
|||||||
uniform half a, b; void main() { sk_FragColor.x = step(a, b); }
|
uniform half4 testInputs;
|
||||||
|
uniform half4 colorGreen, colorRed;
|
||||||
|
|
||||||
|
half4 main(float2 coords) {
|
||||||
|
const half4 constVal = half4(-1.25, 0, 0.75, 2.25);
|
||||||
|
const half4 constGreen = half4(0, 1, 0, 1);
|
||||||
|
half4 expectedA = half4(0, 0, 1, 1);
|
||||||
|
half4 expectedB = half4(1, 1, 0, 0);
|
||||||
|
|
||||||
|
return (step(0.5, testInputs.x) == expectedA.x &&
|
||||||
|
step(0.5, testInputs.xy) == expectedA.xy &&
|
||||||
|
step(0.5, testInputs.xyz) == expectedA.xyz &&
|
||||||
|
step(0.5, testInputs.xyzw) == expectedA.xyzw &&
|
||||||
|
step(0.5, constVal.x) == expectedA.x &&
|
||||||
|
step(0.5, constVal.xy) == expectedA.xy &&
|
||||||
|
step(0.5, constVal.xyz) == expectedA.xyz &&
|
||||||
|
step(0.5, constVal.xyzw) == expectedA.xyzw &&
|
||||||
|
step(testInputs.x, constGreen.x) == expectedB.x &&
|
||||||
|
step(testInputs.xy, constGreen.xy) == expectedB.xy &&
|
||||||
|
step(testInputs.xyz, constGreen.xyz) == expectedB.xyz &&
|
||||||
|
step(testInputs.xyzw, constGreen.xyzw) == expectedB.xyzw &&
|
||||||
|
step(constVal.x, constGreen.x) == expectedB.x &&
|
||||||
|
step(constVal.xy, constGreen.xy) == expectedB.xy &&
|
||||||
|
step(constVal.xyz, constGreen.xyz) == expectedB.xyz &&
|
||||||
|
step(constVal.xyzw, constGreen.xyzw) == expectedB.xyzw) ? colorGreen : colorRed;
|
||||||
|
}
|
||||||
|
@ -107,13 +107,18 @@ static std::unique_ptr<Expression> evaluate_n_way_intrinsic_of_type(
|
|||||||
// eval(arg0.w, arg1.z, arg2.z),
|
// eval(arg0.w, arg1.z, arg2.z),
|
||||||
// eval(arg0.z, arg1.w, arg2.w)
|
// eval(arg0.z, arg1.w, arg2.w)
|
||||||
//
|
//
|
||||||
// If an argument is null, zero is passed to the evaluation function. If arg1 or arg2 contains a
|
// If an argument is null, zero is passed to the evaluation function. If the arguments are a mix
|
||||||
// scalar, it is interpreted as a vector containing the same value for every component.
|
// of scalars and vectors, scalars are interpreted as a vector containing the same value for
|
||||||
|
// every component.
|
||||||
arg0 = ConstantFolder::GetConstantValueForVariable(*arg0);
|
arg0 = ConstantFolder::GetConstantValueForVariable(*arg0);
|
||||||
SkASSERT(arg0);
|
SkASSERT(arg0);
|
||||||
const Type& vecType = arg0->type();
|
|
||||||
|
const Type& vecType = arg0->type().isVector() ? arg0->type() :
|
||||||
|
(arg1 && arg1->type().isVector()) ? arg1->type() :
|
||||||
|
(arg2 && arg2->type().isVector()) ? arg2->type() :
|
||||||
|
arg0->type();
|
||||||
const Type& type = vecType.componentType();
|
const Type& type = vecType.componentType();
|
||||||
|
SkASSERT(arg0->type().componentType() == type);
|
||||||
|
|
||||||
if (arg1) {
|
if (arg1) {
|
||||||
arg1 = ConstantFolder::GetConstantValueForVariable(*arg1);
|
arg1 = ConstantFolder::GetConstantValueForVariable(*arg1);
|
||||||
@ -379,6 +384,9 @@ static std::unique_ptr<Expression> optimize_intrinsic_call(const Context& contex
|
|||||||
case k_clamp_IntrinsicKind:
|
case k_clamp_IntrinsicKind:
|
||||||
return evaluate_3_way_intrinsic(context, arguments,
|
return evaluate_3_way_intrinsic(context, arguments,
|
||||||
[](auto x, auto l, auto h) { return (x < l) ? l : (x > h) ? h : x; });
|
[](auto x, auto l, auto h) { return (x < l) ? l : (x > h) ? h : x; });
|
||||||
|
case k_step_IntrinsicKind:
|
||||||
|
return evaluate_pairwise_intrinsic(context, arguments,
|
||||||
|
[](auto e, auto x) { return (x < e) ? 0 : 1; });
|
||||||
default:
|
default:
|
||||||
return nullptr;
|
return nullptr;
|
||||||
}
|
}
|
||||||
|
@ -217,6 +217,7 @@ SKSL_TEST(SkSLIntrinsicMinFloat, "intrinsics/MinFloat.sksl")
|
|||||||
// skbug.com/11919: Fails on Adreno + Vulkan
|
// skbug.com/11919: Fails on Adreno + Vulkan
|
||||||
SKSL_TEST_CPU(SkSLIntrinsicMixFloat, "intrinsics/MixFloat.sksl")
|
SKSL_TEST_CPU(SkSLIntrinsicMixFloat, "intrinsics/MixFloat.sksl")
|
||||||
SKSL_TEST(SkSLIntrinsicSignFloat, "intrinsics/SignFloat.sksl")
|
SKSL_TEST(SkSLIntrinsicSignFloat, "intrinsics/SignFloat.sksl")
|
||||||
|
SKSL_TEST(SkSLIntrinsicStep, "intrinsics/Step.sksl")
|
||||||
|
|
||||||
SKSL_TEST_ES3(SkSLArrayComparison, "shared/ArrayComparison.sksl")
|
SKSL_TEST_ES3(SkSLArrayComparison, "shared/ArrayComparison.sksl")
|
||||||
SKSL_TEST_ES3(SkSLArrayConstructors, "shared/ArrayConstructors.sksl")
|
SKSL_TEST_ES3(SkSLArrayConstructors, "shared/ArrayConstructors.sksl")
|
||||||
|
@ -1,27 +1,92 @@
|
|||||||
OpCapability Shader
|
OpCapability Shader
|
||||||
%1 = OpExtInstImport "GLSL.std.450"
|
%1 = OpExtInstImport "GLSL.std.450"
|
||||||
OpMemoryModel Logical GLSL450
|
OpMemoryModel Logical GLSL450
|
||||||
OpEntryPoint Fragment %main "main" %sk_FragColor %sk_Clockwise
|
OpEntryPoint Fragment %_entrypoint_v "_entrypoint" %sk_FragColor %sk_Clockwise
|
||||||
OpExecutionMode %main OriginUpperLeft
|
OpExecutionMode %_entrypoint_v OriginUpperLeft
|
||||||
OpName %sk_FragColor "sk_FragColor"
|
OpName %sk_FragColor "sk_FragColor"
|
||||||
OpName %sk_Clockwise "sk_Clockwise"
|
OpName %sk_Clockwise "sk_Clockwise"
|
||||||
OpName %_UniformBuffer "_UniformBuffer"
|
OpName %_UniformBuffer "_UniformBuffer"
|
||||||
OpMemberName %_UniformBuffer 0 "a"
|
OpMemberName %_UniformBuffer 0 "testInputs"
|
||||||
OpMemberName %_UniformBuffer 1 "b"
|
OpMemberName %_UniformBuffer 1 "colorGreen"
|
||||||
|
OpMemberName %_UniformBuffer 2 "colorRed"
|
||||||
|
OpName %_entrypoint_v "_entrypoint_v"
|
||||||
OpName %main "main"
|
OpName %main "main"
|
||||||
|
OpName %constGreen "constGreen"
|
||||||
|
OpName %expectedA "expectedA"
|
||||||
|
OpName %expectedB "expectedB"
|
||||||
OpDecorate %sk_FragColor RelaxedPrecision
|
OpDecorate %sk_FragColor RelaxedPrecision
|
||||||
OpDecorate %sk_FragColor Location 0
|
OpDecorate %sk_FragColor Location 0
|
||||||
OpDecorate %sk_FragColor Index 0
|
OpDecorate %sk_FragColor Index 0
|
||||||
OpDecorate %sk_Clockwise BuiltIn FrontFacing
|
OpDecorate %sk_Clockwise BuiltIn FrontFacing
|
||||||
OpMemberDecorate %_UniformBuffer 0 Offset 0
|
OpMemberDecorate %_UniformBuffer 0 Offset 0
|
||||||
OpMemberDecorate %_UniformBuffer 0 RelaxedPrecision
|
OpMemberDecorate %_UniformBuffer 0 RelaxedPrecision
|
||||||
OpMemberDecorate %_UniformBuffer 1 Offset 4
|
OpMemberDecorate %_UniformBuffer 1 Offset 16
|
||||||
OpMemberDecorate %_UniformBuffer 1 RelaxedPrecision
|
OpMemberDecorate %_UniformBuffer 1 RelaxedPrecision
|
||||||
|
OpMemberDecorate %_UniformBuffer 2 Offset 32
|
||||||
|
OpMemberDecorate %_UniformBuffer 2 RelaxedPrecision
|
||||||
OpDecorate %_UniformBuffer Block
|
OpDecorate %_UniformBuffer Block
|
||||||
OpDecorate %10 Binding 0
|
OpDecorate %10 Binding 0
|
||||||
OpDecorate %10 DescriptorSet 0
|
OpDecorate %10 DescriptorSet 0
|
||||||
OpDecorate %21 RelaxedPrecision
|
OpDecorate %constGreen RelaxedPrecision
|
||||||
OpDecorate %24 RelaxedPrecision
|
OpDecorate %29 RelaxedPrecision
|
||||||
|
OpDecorate %expectedA RelaxedPrecision
|
||||||
|
OpDecorate %31 RelaxedPrecision
|
||||||
|
OpDecorate %expectedB RelaxedPrecision
|
||||||
|
OpDecorate %33 RelaxedPrecision
|
||||||
|
OpDecorate %41 RelaxedPrecision
|
||||||
|
OpDecorate %42 RelaxedPrecision
|
||||||
|
OpDecorate %43 RelaxedPrecision
|
||||||
|
OpDecorate %44 RelaxedPrecision
|
||||||
|
OpDecorate %49 RelaxedPrecision
|
||||||
|
OpDecorate %51 RelaxedPrecision
|
||||||
|
OpDecorate %52 RelaxedPrecision
|
||||||
|
OpDecorate %53 RelaxedPrecision
|
||||||
|
OpDecorate %54 RelaxedPrecision
|
||||||
|
OpDecorate %62 RelaxedPrecision
|
||||||
|
OpDecorate %65 RelaxedPrecision
|
||||||
|
OpDecorate %66 RelaxedPrecision
|
||||||
|
OpDecorate %67 RelaxedPrecision
|
||||||
|
OpDecorate %68 RelaxedPrecision
|
||||||
|
OpDecorate %76 RelaxedPrecision
|
||||||
|
OpDecorate %78 RelaxedPrecision
|
||||||
|
OpDecorate %79 RelaxedPrecision
|
||||||
|
OpDecorate %86 RelaxedPrecision
|
||||||
|
OpDecorate %87 RelaxedPrecision
|
||||||
|
OpDecorate %92 RelaxedPrecision
|
||||||
|
OpDecorate %93 RelaxedPrecision
|
||||||
|
OpDecorate %99 RelaxedPrecision
|
||||||
|
OpDecorate %100 RelaxedPrecision
|
||||||
|
OpDecorate %101 RelaxedPrecision
|
||||||
|
OpDecorate %107 RelaxedPrecision
|
||||||
|
OpDecorate %115 RelaxedPrecision
|
||||||
|
OpDecorate %116 RelaxedPrecision
|
||||||
|
OpDecorate %117 RelaxedPrecision
|
||||||
|
OpDecorate %118 RelaxedPrecision
|
||||||
|
OpDecorate %125 RelaxedPrecision
|
||||||
|
OpDecorate %126 RelaxedPrecision
|
||||||
|
OpDecorate %127 RelaxedPrecision
|
||||||
|
OpDecorate %128 RelaxedPrecision
|
||||||
|
OpDecorate %129 RelaxedPrecision
|
||||||
|
OpDecorate %137 RelaxedPrecision
|
||||||
|
OpDecorate %138 RelaxedPrecision
|
||||||
|
OpDecorate %139 RelaxedPrecision
|
||||||
|
OpDecorate %140 RelaxedPrecision
|
||||||
|
OpDecorate %141 RelaxedPrecision
|
||||||
|
OpDecorate %149 RelaxedPrecision
|
||||||
|
OpDecorate %150 RelaxedPrecision
|
||||||
|
OpDecorate %151 RelaxedPrecision
|
||||||
|
OpDecorate %157 RelaxedPrecision
|
||||||
|
OpDecorate %158 RelaxedPrecision
|
||||||
|
OpDecorate %163 RelaxedPrecision
|
||||||
|
OpDecorate %164 RelaxedPrecision
|
||||||
|
OpDecorate %165 RelaxedPrecision
|
||||||
|
OpDecorate %171 RelaxedPrecision
|
||||||
|
OpDecorate %172 RelaxedPrecision
|
||||||
|
OpDecorate %173 RelaxedPrecision
|
||||||
|
OpDecorate %179 RelaxedPrecision
|
||||||
|
OpDecorate %189 RelaxedPrecision
|
||||||
|
OpDecorate %192 RelaxedPrecision
|
||||||
|
OpDecorate %193 RelaxedPrecision
|
||||||
%float = OpTypeFloat 32
|
%float = OpTypeFloat 32
|
||||||
%v4float = OpTypeVector %float 4
|
%v4float = OpTypeVector %float 4
|
||||||
%_ptr_Output_v4float = OpTypePointer Output %v4float
|
%_ptr_Output_v4float = OpTypePointer Output %v4float
|
||||||
@ -29,24 +94,248 @@ OpDecorate %24 RelaxedPrecision
|
|||||||
%bool = OpTypeBool
|
%bool = OpTypeBool
|
||||||
%_ptr_Input_bool = OpTypePointer Input %bool
|
%_ptr_Input_bool = OpTypePointer Input %bool
|
||||||
%sk_Clockwise = OpVariable %_ptr_Input_bool Input
|
%sk_Clockwise = OpVariable %_ptr_Input_bool Input
|
||||||
%_UniformBuffer = OpTypeStruct %float %float
|
%_UniformBuffer = OpTypeStruct %v4float %v4float %v4float
|
||||||
%_ptr_Uniform__UniformBuffer = OpTypePointer Uniform %_UniformBuffer
|
%_ptr_Uniform__UniformBuffer = OpTypePointer Uniform %_UniformBuffer
|
||||||
%10 = OpVariable %_ptr_Uniform__UniformBuffer Uniform
|
%10 = OpVariable %_ptr_Uniform__UniformBuffer Uniform
|
||||||
%void = OpTypeVoid
|
%void = OpTypeVoid
|
||||||
%14 = OpTypeFunction %void
|
%15 = OpTypeFunction %void
|
||||||
%_ptr_Uniform_float = OpTypePointer Uniform %float
|
%v2float = OpTypeVector %float 2
|
||||||
|
%float_0 = OpConstant %float 0
|
||||||
|
%19 = OpConstantComposite %v2float %float_0 %float_0
|
||||||
|
%_ptr_Function_v2float = OpTypePointer Function %v2float
|
||||||
|
%23 = OpTypeFunction %v4float %_ptr_Function_v2float
|
||||||
|
%_ptr_Function_v4float = OpTypePointer Function %v4float
|
||||||
|
%float_1 = OpConstant %float 1
|
||||||
|
%29 = OpConstantComposite %v4float %float_0 %float_1 %float_0 %float_1
|
||||||
|
%31 = OpConstantComposite %v4float %float_0 %float_0 %float_1 %float_1
|
||||||
|
%33 = OpConstantComposite %v4float %float_1 %float_1 %float_0 %float_0
|
||||||
|
%false = OpConstantFalse %bool
|
||||||
|
%float_0_5 = OpConstant %float 0.5
|
||||||
|
%_ptr_Uniform_v4float = OpTypePointer Uniform %v4float
|
||||||
%int = OpTypeInt 32 1
|
%int = OpTypeInt 32 1
|
||||||
%int_0 = OpConstant %int 0
|
%int_0 = OpConstant %int 0
|
||||||
|
%v2bool = OpTypeVector %bool 2
|
||||||
|
%v3float = OpTypeVector %float 3
|
||||||
|
%v3bool = OpTypeVector %bool 3
|
||||||
|
%v4bool = OpTypeVector %bool 4
|
||||||
|
%99 = OpConstantComposite %v3float %float_0 %float_0 %float_1
|
||||||
|
%127 = OpConstantComposite %v2float %float_0 %float_1
|
||||||
|
%139 = OpConstantComposite %v3float %float_0 %float_1 %float_0
|
||||||
|
%163 = OpConstantComposite %v2float %float_1 %float_1
|
||||||
|
%171 = OpConstantComposite %v3float %float_1 %float_1 %float_0
|
||||||
%int_1 = OpConstant %int 1
|
%int_1 = OpConstant %int 1
|
||||||
%_ptr_Output_float = OpTypePointer Output %float
|
%int_2 = OpConstant %int 2
|
||||||
%main = OpFunction %void None %14
|
%_entrypoint_v = OpFunction %void None %15
|
||||||
%15 = OpLabel
|
%16 = OpLabel
|
||||||
%17 = OpAccessChain %_ptr_Uniform_float %10 %int_0
|
%20 = OpVariable %_ptr_Function_v2float Function
|
||||||
%21 = OpLoad %float %17
|
OpStore %20 %19
|
||||||
%22 = OpAccessChain %_ptr_Uniform_float %10 %int_1
|
%22 = OpFunctionCall %v4float %main %20
|
||||||
%24 = OpLoad %float %22
|
OpStore %sk_FragColor %22
|
||||||
%16 = OpExtInst %float %1 Step %21 %24
|
|
||||||
%25 = OpAccessChain %_ptr_Output_float %sk_FragColor %int_0
|
|
||||||
OpStore %25 %16
|
|
||||||
OpReturn
|
OpReturn
|
||||||
OpFunctionEnd
|
OpFunctionEnd
|
||||||
|
%main = OpFunction %v4float None %23
|
||||||
|
%24 = OpFunctionParameter %_ptr_Function_v2float
|
||||||
|
%25 = OpLabel
|
||||||
|
%constGreen = OpVariable %_ptr_Function_v4float Function
|
||||||
|
%expectedA = OpVariable %_ptr_Function_v4float Function
|
||||||
|
%expectedB = OpVariable %_ptr_Function_v4float Function
|
||||||
|
%183 = OpVariable %_ptr_Function_v4float Function
|
||||||
|
OpStore %constGreen %29
|
||||||
|
OpStore %expectedA %31
|
||||||
|
OpStore %expectedB %33
|
||||||
|
%37 = OpAccessChain %_ptr_Uniform_v4float %10 %int_0
|
||||||
|
%41 = OpLoad %v4float %37
|
||||||
|
%42 = OpCompositeExtract %float %41 0
|
||||||
|
%35 = OpExtInst %float %1 Step %float_0_5 %42
|
||||||
|
%43 = OpLoad %v4float %expectedA
|
||||||
|
%44 = OpCompositeExtract %float %43 0
|
||||||
|
%45 = OpFOrdEqual %bool %35 %44
|
||||||
|
OpSelectionMerge %47 None
|
||||||
|
OpBranchConditional %45 %46 %47
|
||||||
|
%46 = OpLabel
|
||||||
|
%49 = OpCompositeConstruct %v2float %float_0_5 %float_0_5
|
||||||
|
%50 = OpAccessChain %_ptr_Uniform_v4float %10 %int_0
|
||||||
|
%51 = OpLoad %v4float %50
|
||||||
|
%52 = OpVectorShuffle %v2float %51 %51 0 1
|
||||||
|
%48 = OpExtInst %v2float %1 Step %49 %52
|
||||||
|
%53 = OpLoad %v4float %expectedA
|
||||||
|
%54 = OpVectorShuffle %v2float %53 %53 0 1
|
||||||
|
%55 = OpFOrdEqual %v2bool %48 %54
|
||||||
|
%57 = OpAll %bool %55
|
||||||
|
OpBranch %47
|
||||||
|
%47 = OpLabel
|
||||||
|
%58 = OpPhi %bool %false %25 %57 %46
|
||||||
|
OpSelectionMerge %60 None
|
||||||
|
OpBranchConditional %58 %59 %60
|
||||||
|
%59 = OpLabel
|
||||||
|
%62 = OpCompositeConstruct %v3float %float_0_5 %float_0_5 %float_0_5
|
||||||
|
%64 = OpAccessChain %_ptr_Uniform_v4float %10 %int_0
|
||||||
|
%65 = OpLoad %v4float %64
|
||||||
|
%66 = OpVectorShuffle %v3float %65 %65 0 1 2
|
||||||
|
%61 = OpExtInst %v3float %1 Step %62 %66
|
||||||
|
%67 = OpLoad %v4float %expectedA
|
||||||
|
%68 = OpVectorShuffle %v3float %67 %67 0 1 2
|
||||||
|
%69 = OpFOrdEqual %v3bool %61 %68
|
||||||
|
%71 = OpAll %bool %69
|
||||||
|
OpBranch %60
|
||||||
|
%60 = OpLabel
|
||||||
|
%72 = OpPhi %bool %false %47 %71 %59
|
||||||
|
OpSelectionMerge %74 None
|
||||||
|
OpBranchConditional %72 %73 %74
|
||||||
|
%73 = OpLabel
|
||||||
|
%76 = OpCompositeConstruct %v4float %float_0_5 %float_0_5 %float_0_5 %float_0_5
|
||||||
|
%77 = OpAccessChain %_ptr_Uniform_v4float %10 %int_0
|
||||||
|
%78 = OpLoad %v4float %77
|
||||||
|
%75 = OpExtInst %v4float %1 Step %76 %78
|
||||||
|
%79 = OpLoad %v4float %expectedA
|
||||||
|
%80 = OpFOrdEqual %v4bool %75 %79
|
||||||
|
%82 = OpAll %bool %80
|
||||||
|
OpBranch %74
|
||||||
|
%74 = OpLabel
|
||||||
|
%83 = OpPhi %bool %false %60 %82 %73
|
||||||
|
OpSelectionMerge %85 None
|
||||||
|
OpBranchConditional %83 %84 %85
|
||||||
|
%84 = OpLabel
|
||||||
|
%86 = OpLoad %v4float %expectedA
|
||||||
|
%87 = OpCompositeExtract %float %86 0
|
||||||
|
%88 = OpFOrdEqual %bool %float_0 %87
|
||||||
|
OpBranch %85
|
||||||
|
%85 = OpLabel
|
||||||
|
%89 = OpPhi %bool %false %74 %88 %84
|
||||||
|
OpSelectionMerge %91 None
|
||||||
|
OpBranchConditional %89 %90 %91
|
||||||
|
%90 = OpLabel
|
||||||
|
%92 = OpLoad %v4float %expectedA
|
||||||
|
%93 = OpVectorShuffle %v2float %92 %92 0 1
|
||||||
|
%94 = OpFOrdEqual %v2bool %19 %93
|
||||||
|
%95 = OpAll %bool %94
|
||||||
|
OpBranch %91
|
||||||
|
%91 = OpLabel
|
||||||
|
%96 = OpPhi %bool %false %85 %95 %90
|
||||||
|
OpSelectionMerge %98 None
|
||||||
|
OpBranchConditional %96 %97 %98
|
||||||
|
%97 = OpLabel
|
||||||
|
%100 = OpLoad %v4float %expectedA
|
||||||
|
%101 = OpVectorShuffle %v3float %100 %100 0 1 2
|
||||||
|
%102 = OpFOrdEqual %v3bool %99 %101
|
||||||
|
%103 = OpAll %bool %102
|
||||||
|
OpBranch %98
|
||||||
|
%98 = OpLabel
|
||||||
|
%104 = OpPhi %bool %false %91 %103 %97
|
||||||
|
OpSelectionMerge %106 None
|
||||||
|
OpBranchConditional %104 %105 %106
|
||||||
|
%105 = OpLabel
|
||||||
|
%107 = OpLoad %v4float %expectedA
|
||||||
|
%108 = OpFOrdEqual %v4bool %31 %107
|
||||||
|
%109 = OpAll %bool %108
|
||||||
|
OpBranch %106
|
||||||
|
%106 = OpLabel
|
||||||
|
%110 = OpPhi %bool %false %98 %109 %105
|
||||||
|
OpSelectionMerge %112 None
|
||||||
|
OpBranchConditional %110 %111 %112
|
||||||
|
%111 = OpLabel
|
||||||
|
%114 = OpAccessChain %_ptr_Uniform_v4float %10 %int_0
|
||||||
|
%115 = OpLoad %v4float %114
|
||||||
|
%116 = OpCompositeExtract %float %115 0
|
||||||
|
%113 = OpExtInst %float %1 Step %116 %float_0
|
||||||
|
%117 = OpLoad %v4float %expectedB
|
||||||
|
%118 = OpCompositeExtract %float %117 0
|
||||||
|
%119 = OpFOrdEqual %bool %113 %118
|
||||||
|
OpBranch %112
|
||||||
|
%112 = OpLabel
|
||||||
|
%120 = OpPhi %bool %false %106 %119 %111
|
||||||
|
OpSelectionMerge %122 None
|
||||||
|
OpBranchConditional %120 %121 %122
|
||||||
|
%121 = OpLabel
|
||||||
|
%124 = OpAccessChain %_ptr_Uniform_v4float %10 %int_0
|
||||||
|
%125 = OpLoad %v4float %124
|
||||||
|
%126 = OpVectorShuffle %v2float %125 %125 0 1
|
||||||
|
%123 = OpExtInst %v2float %1 Step %126 %127
|
||||||
|
%128 = OpLoad %v4float %expectedB
|
||||||
|
%129 = OpVectorShuffle %v2float %128 %128 0 1
|
||||||
|
%130 = OpFOrdEqual %v2bool %123 %129
|
||||||
|
%131 = OpAll %bool %130
|
||||||
|
OpBranch %122
|
||||||
|
%122 = OpLabel
|
||||||
|
%132 = OpPhi %bool %false %112 %131 %121
|
||||||
|
OpSelectionMerge %134 None
|
||||||
|
OpBranchConditional %132 %133 %134
|
||||||
|
%133 = OpLabel
|
||||||
|
%136 = OpAccessChain %_ptr_Uniform_v4float %10 %int_0
|
||||||
|
%137 = OpLoad %v4float %136
|
||||||
|
%138 = OpVectorShuffle %v3float %137 %137 0 1 2
|
||||||
|
%135 = OpExtInst %v3float %1 Step %138 %139
|
||||||
|
%140 = OpLoad %v4float %expectedB
|
||||||
|
%141 = OpVectorShuffle %v3float %140 %140 0 1 2
|
||||||
|
%142 = OpFOrdEqual %v3bool %135 %141
|
||||||
|
%143 = OpAll %bool %142
|
||||||
|
OpBranch %134
|
||||||
|
%134 = OpLabel
|
||||||
|
%144 = OpPhi %bool %false %122 %143 %133
|
||||||
|
OpSelectionMerge %146 None
|
||||||
|
OpBranchConditional %144 %145 %146
|
||||||
|
%145 = OpLabel
|
||||||
|
%148 = OpAccessChain %_ptr_Uniform_v4float %10 %int_0
|
||||||
|
%149 = OpLoad %v4float %148
|
||||||
|
%150 = OpLoad %v4float %constGreen
|
||||||
|
%147 = OpExtInst %v4float %1 Step %149 %150
|
||||||
|
%151 = OpLoad %v4float %expectedB
|
||||||
|
%152 = OpFOrdEqual %v4bool %147 %151
|
||||||
|
%153 = OpAll %bool %152
|
||||||
|
OpBranch %146
|
||||||
|
%146 = OpLabel
|
||||||
|
%154 = OpPhi %bool %false %134 %153 %145
|
||||||
|
OpSelectionMerge %156 None
|
||||||
|
OpBranchConditional %154 %155 %156
|
||||||
|
%155 = OpLabel
|
||||||
|
%157 = OpLoad %v4float %expectedB
|
||||||
|
%158 = OpCompositeExtract %float %157 0
|
||||||
|
%159 = OpFOrdEqual %bool %float_1 %158
|
||||||
|
OpBranch %156
|
||||||
|
%156 = OpLabel
|
||||||
|
%160 = OpPhi %bool %false %146 %159 %155
|
||||||
|
OpSelectionMerge %162 None
|
||||||
|
OpBranchConditional %160 %161 %162
|
||||||
|
%161 = OpLabel
|
||||||
|
%164 = OpLoad %v4float %expectedB
|
||||||
|
%165 = OpVectorShuffle %v2float %164 %164 0 1
|
||||||
|
%166 = OpFOrdEqual %v2bool %163 %165
|
||||||
|
%167 = OpAll %bool %166
|
||||||
|
OpBranch %162
|
||||||
|
%162 = OpLabel
|
||||||
|
%168 = OpPhi %bool %false %156 %167 %161
|
||||||
|
OpSelectionMerge %170 None
|
||||||
|
OpBranchConditional %168 %169 %170
|
||||||
|
%169 = OpLabel
|
||||||
|
%172 = OpLoad %v4float %expectedB
|
||||||
|
%173 = OpVectorShuffle %v3float %172 %172 0 1 2
|
||||||
|
%174 = OpFOrdEqual %v3bool %171 %173
|
||||||
|
%175 = OpAll %bool %174
|
||||||
|
OpBranch %170
|
||||||
|
%170 = OpLabel
|
||||||
|
%176 = OpPhi %bool %false %162 %175 %169
|
||||||
|
OpSelectionMerge %178 None
|
||||||
|
OpBranchConditional %176 %177 %178
|
||||||
|
%177 = OpLabel
|
||||||
|
%179 = OpLoad %v4float %expectedB
|
||||||
|
%180 = OpFOrdEqual %v4bool %33 %179
|
||||||
|
%181 = OpAll %bool %180
|
||||||
|
OpBranch %178
|
||||||
|
%178 = OpLabel
|
||||||
|
%182 = OpPhi %bool %false %170 %181 %177
|
||||||
|
OpSelectionMerge %186 None
|
||||||
|
OpBranchConditional %182 %184 %185
|
||||||
|
%184 = OpLabel
|
||||||
|
%187 = OpAccessChain %_ptr_Uniform_v4float %10 %int_1
|
||||||
|
%189 = OpLoad %v4float %187
|
||||||
|
OpStore %183 %189
|
||||||
|
OpBranch %186
|
||||||
|
%185 = OpLabel
|
||||||
|
%190 = OpAccessChain %_ptr_Uniform_v4float %10 %int_2
|
||||||
|
%192 = OpLoad %v4float %190
|
||||||
|
OpStore %183 %192
|
||||||
|
OpBranch %186
|
||||||
|
%186 = OpLabel
|
||||||
|
%193 = OpLoad %v4float %183
|
||||||
|
OpReturnValue %193
|
||||||
|
OpFunctionEnd
|
||||||
|
@ -1,7 +1,11 @@
|
|||||||
|
|
||||||
out vec4 sk_FragColor;
|
out vec4 sk_FragColor;
|
||||||
uniform float a;
|
uniform vec4 testInputs;
|
||||||
uniform float b;
|
uniform vec4 colorGreen;
|
||||||
void main() {
|
uniform vec4 colorRed;
|
||||||
sk_FragColor.x = step(a, b);
|
vec4 main() {
|
||||||
|
const vec4 constGreen = vec4(0.0, 1.0, 0.0, 1.0);
|
||||||
|
vec4 expectedA = vec4(0.0, 0.0, 1.0, 1.0);
|
||||||
|
vec4 expectedB = vec4(1.0, 1.0, 0.0, 0.0);
|
||||||
|
return ((((((((((((((step(0.5, testInputs.x) == expectedA.x && step(0.5, testInputs.xy) == expectedA.xy) && step(0.5, testInputs.xyz) == expectedA.xyz) && step(0.5, testInputs) == expectedA) && 0.0 == expectedA.x) && vec2(0.0, 0.0) == expectedA.xy) && vec3(0.0, 0.0, 1.0) == expectedA.xyz) && vec4(0.0, 0.0, 1.0, 1.0) == expectedA) && step(testInputs.x, 0.0) == expectedB.x) && step(testInputs.xy, vec2(0.0, 1.0)) == expectedB.xy) && step(testInputs.xyz, vec3(0.0, 1.0, 0.0)) == expectedB.xyz) && step(testInputs, constGreen) == expectedB) && 1.0 == expectedB.x) && vec2(1.0, 1.0) == expectedB.xy) && vec3(1.0, 1.0, 0.0) == expectedB.xyz) && vec4(1.0, 1.0, 0.0, 0.0) == expectedB ? colorGreen : colorRed;
|
||||||
}
|
}
|
||||||
|
@ -2,8 +2,9 @@
|
|||||||
#include <simd/simd.h>
|
#include <simd/simd.h>
|
||||||
using namespace metal;
|
using namespace metal;
|
||||||
struct Uniforms {
|
struct Uniforms {
|
||||||
float a;
|
float4 testInputs;
|
||||||
float b;
|
float4 colorGreen;
|
||||||
|
float4 colorRed;
|
||||||
};
|
};
|
||||||
struct Inputs {
|
struct Inputs {
|
||||||
};
|
};
|
||||||
@ -13,6 +14,9 @@ struct Outputs {
|
|||||||
fragment Outputs fragmentMain(Inputs _in [[stage_in]], constant Uniforms& _uniforms [[buffer(0)]], bool _frontFacing [[front_facing]], float4 _fragCoord [[position]]) {
|
fragment Outputs fragmentMain(Inputs _in [[stage_in]], constant Uniforms& _uniforms [[buffer(0)]], bool _frontFacing [[front_facing]], float4 _fragCoord [[position]]) {
|
||||||
Outputs _out;
|
Outputs _out;
|
||||||
(void)_out;
|
(void)_out;
|
||||||
_out.sk_FragColor.x = step(_uniforms.a, _uniforms.b);
|
const float4 constGreen = float4(0.0, 1.0, 0.0, 1.0);
|
||||||
|
float4 expectedA = float4(0.0, 0.0, 1.0, 1.0);
|
||||||
|
float4 expectedB = float4(1.0, 1.0, 0.0, 0.0);
|
||||||
|
_out.sk_FragColor = ((((((((((((((step(0.5, _uniforms.testInputs.x) == expectedA.x && all(step(0.5, _uniforms.testInputs.xy) == expectedA.xy)) && all(step(0.5, _uniforms.testInputs.xyz) == expectedA.xyz)) && all(step(0.5, _uniforms.testInputs) == expectedA)) && 0.0 == expectedA.x) && all(float2(0.0, 0.0) == expectedA.xy)) && all(float3(0.0, 0.0, 1.0) == expectedA.xyz)) && all(float4(0.0, 0.0, 1.0, 1.0) == expectedA)) && step(_uniforms.testInputs.x, 0.0) == expectedB.x) && all(step(_uniforms.testInputs.xy, float2(0.0, 1.0)) == expectedB.xy)) && all(step(_uniforms.testInputs.xyz, float3(0.0, 1.0, 0.0)) == expectedB.xyz)) && all(step(_uniforms.testInputs, constGreen) == expectedB)) && 1.0 == expectedB.x) && all(float2(1.0, 1.0) == expectedB.xy)) && all(float3(1.0, 1.0, 0.0) == expectedB.xyz)) && all(float4(1.0, 1.0, 0.0, 0.0) == expectedB) ? _uniforms.colorGreen : _uniforms.colorRed;
|
||||||
return _out;
|
return _out;
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user