skia2/resources/sksl/folding/BoolFolding.sksl
John Stiles 878d8fbf2f Improve constant folding for boolean vectors.
The additional tests from http://review.skia.org/441238 uncovered a gap
in the constant folder's abilities; it was not able to fold away
boolean vector comparisons even when they were constant. These are ES2
constant-expressions, so folding them properly is a requirement.

Change-Id: Ia0b4d5d1215c5fc2b247ac3f0dec4c8747d2153e
Reviewed-on: https://skia-review.googlesource.com/c/skia/+/441579
Commit-Queue: John Stiles <johnstiles@google.com>
Commit-Queue: Brian Osman <brianosman@google.com>
Auto-Submit: John Stiles <johnstiles@google.com>
Reviewed-by: Brian Osman <brianosman@google.com>
2021-08-24 18:12:12 +00:00

37 lines
1.3 KiB
Plaintext

uniform half4 colorRed, colorGreen;
bool test() {
bool a = 1 == 1 || 2 == 8;
bool b = 1 > 1 || 2 == 8;
bool c = 1 == 1 && 2 <= 8;
bool d = 1 == 2 && 2 == 8;
bool e = 1 == 1 ^^ 1 != 1;
bool f = 1 == 1 ^^ 1 == 1;
bool g = true == true;
bool h = false == true;
bool i = true == !false;
bool j = false == !false;
const bool TRUE = true;
const bool FALSE = false;
bool k = all(bool4(1 == 1, !false, 123 > 12, TRUE)); // all are true
bool l = all(bool3(TRUE, 1 == 2, true)); // three out of four are true
bool m = any(bool4(true, 1 == 2, true, TRUE)); // three out of four are true
bool n = any(bool2(0 == 1, FALSE)); // none are true
bool o = any(not(bool2(0 == 1, FALSE))); // all true
bool p = all(not(bool4(1 == 1, !false, 123 > 12, TRUE))); // none are true
bool q = bool4(true) == bool4(true, true, true, true);
bool r = bool4(true) == bool4(true, false, true, true);
bool s = bool4(true, true, true, true) == bool4(true);
bool t = bool4(true, true, true, false) == bool4(true);
return a && !b && c && !d && e && !f && g && !h && i && !j && k && !l && m && !n && o && !p
&& q && !r && s && !t;
}
half4 main(float2 coords) {
return test() ? colorGreen : colorRed;
}