1/*
2 * Copyright 2016 Google Inc.
3 *
4 * Use of this source code is governed by a BSD-style license that can be
5 * found in the LICENSE file.
6 */
7
8#ifndef SKSL_SWIZZLE
9#define SKSL_SWIZZLE
10
11#include "src/sksl/SkSLContext.h"
12#include "src/sksl/SkSLIRGenerator.h"
13#include "src/sksl/SkSLUtil.h"
14#include "src/sksl/ir/SkSLConstructor.h"
15#include "src/sksl/ir/SkSLExpression.h"
16
17namespace SkSL {
18
19// represents a swizzle component of constant 0, as in x.rgb0
20const int SKSL_SWIZZLE_0 = -2;
21
22// represents a swizzle component of constant 1, as in x.rgb1
23const int SKSL_SWIZZLE_1 = -1;
24
25/**
26 * Given a type and a swizzle component count, returns the type that will result from swizzling. For
27 * instance, swizzling a float3 with two components will result in a float2. It is possible to
28 * swizzle with more components than the source vector, as in 'float2(1).xxxx'.
29 */
30static const Type& get_type(const Context& context, Expression& value, size_t count) {
31 const Type& base = value.fType.componentType();
32 if (count == 1) {
33 return base;
34 }
35 if (base == *context.fFloat_Type) {
36 switch (count) {
37 case 2: return *context.fFloat2_Type;
38 case 3: return *context.fFloat3_Type;
39 case 4: return *context.fFloat4_Type;
40 }
41 } else if (base == *context.fHalf_Type) {
42 switch (count) {
43 case 2: return *context.fHalf2_Type;
44 case 3: return *context.fHalf3_Type;
45 case 4: return *context.fHalf4_Type;
46 }
47 } else if (base == *context.fDouble_Type) {
48 switch (count) {
49 case 2: return *context.fDouble2_Type;
50 case 3: return *context.fDouble3_Type;
51 case 4: return *context.fDouble4_Type;
52 }
53 } else if (base == *context.fInt_Type) {
54 switch (count) {
55 case 2: return *context.fInt2_Type;
56 case 3: return *context.fInt3_Type;
57 case 4: return *context.fInt4_Type;
58 }
59 } else if (base == *context.fShort_Type) {
60 switch (count) {
61 case 2: return *context.fShort2_Type;
62 case 3: return *context.fShort3_Type;
63 case 4: return *context.fShort4_Type;
64 }
65 } else if (base == *context.fByte_Type) {
66 switch (count) {
67 case 2: return *context.fByte2_Type;
68 case 3: return *context.fByte3_Type;
69 case 4: return *context.fByte4_Type;
70 }
71 } else if (base == *context.fUInt_Type) {
72 switch (count) {
73 case 2: return *context.fUInt2_Type;
74 case 3: return *context.fUInt3_Type;
75 case 4: return *context.fUInt4_Type;
76 }
77 } else if (base == *context.fUShort_Type) {
78 switch (count) {
79 case 2: return *context.fUShort2_Type;
80 case 3: return *context.fUShort3_Type;
81 case 4: return *context.fUShort4_Type;
82 }
83 } else if (base == *context.fUByte_Type) {
84 switch (count) {
85 case 2: return *context.fUByte2_Type;
86 case 3: return *context.fUByte3_Type;
87 case 4: return *context.fUByte4_Type;
88 }
89 } else if (base == *context.fBool_Type) {
90 switch (count) {
91 case 2: return *context.fBool2_Type;
92 case 3: return *context.fBool3_Type;
93 case 4: return *context.fBool4_Type;
94 }
95 }
96#ifdef SK_DEBUG
97 ABORT("cannot swizzle %s\n", value.description().c_str());
98#endif
99 return value.fType;
100}
101
102/**
103 * Represents a vector swizzle operation such as 'float2(1, 2, 3).zyx'.
104 */
105struct Swizzle : public Expression {
106 Swizzle(const Context& context, std::unique_ptr<Expression> base, std::vector<int> components)
107 : INHERITED(base->fOffset, kSwizzle_Kind, get_type(context, *base, components.size()))
108 , fBase(std::move(base))
109 , fComponents(std::move(components)) {
110 SkASSERT(fComponents.size() >= 1 && fComponents.size() <= 4);
111 }
112
113 std::unique_ptr<Expression> constantPropagate(const IRGenerator& irGenerator,
114 const DefinitionMap& definitions) override {
115 if (fBase->fKind == Expression::kConstructor_Kind && fBase->isConstant()) {
116 // we're swizzling a constant vector, e.g. float4(1).x. Simplify it.
117 SkASSERT(fBase->fKind == Expression::kConstructor_Kind);
118 if (fType.isInteger()) {
119 SkASSERT(fComponents.size() == 1);
120 int64_t value = ((Constructor&) *fBase).getIVecComponent(fComponents[0]);
121 return std::unique_ptr<Expression>(new IntLiteral(irGenerator.fContext,
122 -1,
123 value));
124 } else if (fType.isFloat()) {
125 SkASSERT(fComponents.size() == 1);
126 double value = ((Constructor&) *fBase).getFVecComponent(fComponents[0]);
127 return std::unique_ptr<Expression>(new FloatLiteral(irGenerator.fContext,
128 -1,
129 value));
130 }
131 }
132 return nullptr;
133 }
134
135 bool hasProperty(Property property) const override {
136 return fBase->hasProperty(property);
137 }
138
139 std::unique_ptr<Expression> clone() const override {
140 return std::unique_ptr<Expression>(new Swizzle(fType, fBase->clone(), fComponents));
141 }
142
143#ifdef SK_DEBUG
144 String description() const override {
145 String result = fBase->description() + ".";
146 for (int x : fComponents) {
147 result += "01xyzw"[x + 2];
148 }
149 return result;
150 }
151#endif
152
153 std::unique_ptr<Expression> fBase;
154 std::vector<int> fComponents;
155
156 typedef Expression INHERITED;
157
158private:
159 Swizzle(const Type& type, std::unique_ptr<Expression> base, std::vector<int> components)
160 : INHERITED(base->fOffset, kSwizzle_Kind, type)
161 , fBase(std::move(base))
162 , fComponents(std::move(components)) {
163 SkASSERT(fComponents.size() >= 1 && fComponents.size() <= 4);
164 }
165
166
167};
168
169} // namespace
170
171#endif
172