skia2/resources/sksl/folding/CastFolding.sksl
John Stiles 27193d4bce Add test demonstrating missed opportunities with casts.
A cast like `float(five)` or `int4(colorGreen)` should detect const
variables and replace the expression with its compile-time constant
equivalent value. At present, this replacement is missed, which inhibits
further optimization opportunities on the expression.

(This CL is very similar in spirit to http://review.skia.org/404676)

Change-Id: I04b5c435a30d2afcdbdb3d020adc15e9c651cc31
Reviewed-on: https://skia-review.googlesource.com/c/skia/+/405682
Reviewed-by: Ethan Nicholas <ethannicholas@google.com>
Commit-Queue: John Stiles <johnstiles@google.com>
2021-05-07 22:04:16 +00:00

30 lines
933 B
Plaintext

uniform half4 colorRed, colorGreen;
bool test() {
const float floatOne = 1;
const int intOne = 1;
const half4 half4One = half4(1);
const int4 int4One = int4(1);
bool ok = true;
// Typecasting a constant scalar variable should fold away.
ok = ok && (int(floatOne) == intOne);
ok = ok && (float(intOne) == floatOne);
// Typecasting a constant vector variable should fold away.
ok = ok && (int4(half4One) == int4One);
ok = ok && (half4(int4One) == half4One);
// More complex cases should also fold.
ok = ok && (int4(half4One) == int4(intOne)); // cast(vector) == splat(scalar)
ok = ok && (half4(int4One) == half4(half(floatOne))); // cast(vector) == splat(cast(scalar))
ok = ok && (half4(intOne) == half4(float4(floatOne))); // splatcast(sclr) == cast(splat(sclr))
return ok;
}
half4 main(float2 coords) {
return test() ? colorGreen : colorRed;
}