a793f4f6fc
These cover new ground; when combined with some additional optimization work, they can cause crashes in the optimizer that we don't see from any existing test. Change-Id: I3958a5522cfe0929d0753e6e617d72e032c7f5a3 Reviewed-on: https://skia-review.googlesource.com/c/skia/+/367063 Auto-Submit: John Stiles <johnstiles@google.com> Commit-Queue: Ethan Nicholas <ethannicholas@google.com> Reviewed-by: Ethan Nicholas <ethannicholas@google.com>
133 lines
4.9 KiB
Plaintext
133 lines
4.9 KiB
Plaintext
uniform half unknownInput;
|
|
uniform half4 colorRed, colorGreen;
|
|
|
|
bool test_half() {
|
|
half unknown = unknownInput;
|
|
|
|
bool ok = true;
|
|
ok = ok && (half4(half2(1), half2(2, 3)) + half4(5, 6, 7, 8)) == half4(6, 7, 9, 11);
|
|
ok = ok && (half4(8, half3(10)) - half4(1)) == half4(7, 9, 9, 9);
|
|
ok = ok && (half4(2) * half4(1, 2, 3, 4)) == half4(2, 4, 6, 8);
|
|
ok = ok && (half4(12) / half4(1, 2, 3, 4)) == half4(12, 6, 4, 3);
|
|
ok = ok && !(half4(1) == half4(2));
|
|
ok = ok && (half2(1) == half2(1, 1));
|
|
ok = ok && (half2(1, 1) == half2(1, 1));
|
|
ok = ok && !(half2(1) == half2(1, 0));
|
|
ok = ok && (half4(1) == half4(half2(1), half2(1)));
|
|
ok = ok && (half4(half3(1), 1) == half4(half2(1), half2(1)));
|
|
ok = ok && !(half4(half3(1), 1) == half4(half2(1), 1, 0));
|
|
ok = ok && (half2(1) != half2(1, 0));
|
|
ok = ok && !(half4(1) != half4(half2(1), half2(1)));
|
|
ok = ok && ( half4(1) == half4(1));
|
|
ok = ok && (-half4(1) == -half4(1));
|
|
ok = ok && ( half4(1) != -half4(1));
|
|
ok = ok && (-half4(1) != half4(1));
|
|
ok = ok && ( half4(0) != -half4(1));
|
|
ok = ok && (-half4(0) != half4(1));
|
|
ok = ok && (-half4(0) != -half4(1));
|
|
ok = ok && !(-half4(1) == half4(1));
|
|
ok = ok && !( half4(1) == -half4(1));
|
|
ok = ok && !( half4(0) == half4(1));
|
|
ok = ok && !( half4(0) == -half4(1));
|
|
ok = ok && !(-half4(0) == half4(1));
|
|
ok = ok && !(-half4(0) == -half4(1));
|
|
ok = ok && !(-half4(1) != -half4(1));
|
|
ok = ok && (half4(unknown) * half4(1) == half4(unknown));
|
|
ok = ok && (half4(1) * half4(unknown) == half4(unknown));
|
|
ok = ok && (half4(unknown) * half4(0) == half4(0));
|
|
ok = ok && (half4(0) * half4(unknown) == half4(0));
|
|
ok = ok && (half4(0) / half4(unknown) == half4(0));
|
|
ok = ok && (half4(unknown) + half4(0) == half4(unknown));
|
|
ok = ok && (half4(0) + half4(unknown) == half4(unknown));
|
|
ok = ok && (half4(unknown) - half4(0) == half4(unknown));
|
|
|
|
half4 val = half4(unknown);
|
|
val += half4(1);
|
|
val += half4(0);
|
|
val -= half4(1);
|
|
val -= half4(0);
|
|
val = val + half4(1);
|
|
val = val + half4(0);
|
|
val = val - half4(1);
|
|
val = val - half4(0);
|
|
ok = ok && (val == half4(unknown));
|
|
val *= half4(1);
|
|
val *= half4(2);
|
|
val /= half4(1);
|
|
val /= half4(2);
|
|
val = val * half4(1);
|
|
val = val * half4(2);
|
|
val = val / half4(1);
|
|
val = val / half4(2);
|
|
ok = ok && (val == half4(unknown));
|
|
|
|
return ok;
|
|
}
|
|
|
|
bool test_int() {
|
|
int unknown = int(unknownInput);
|
|
|
|
bool ok = true;
|
|
ok = ok && (int4(int2(1), int2(2, 3)) + int4(5, 6, 7, 8)) == int4(6, 7, 9, 11);
|
|
ok = ok && (int4(8, int3(10)) - int4(1)) == int4(7, 9, 9, 9);
|
|
ok = ok && (int4(2) * int4(1, 2, 3, 4)) == int4(2, 4, 6, 8);
|
|
ok = ok && (int4(12) / int4(1, 2, 3, 4)) == int4(12, 6, 4, 3);
|
|
ok = ok && !(int4(1) == int4(2));
|
|
ok = ok && (int2(1) == int2(1, 1));
|
|
ok = ok && (int2(1, 1) == int2(1, 1));
|
|
ok = ok && !(int2(1) == int2(1, 0));
|
|
ok = ok && (int4(1) == int4(int2(1), int2(1)));
|
|
ok = ok && (int4(int3(1), 1) == int4(int2(1), int2(1)));
|
|
ok = ok && !(int4(int3(1), 1) == int4(int2(1), 1, 0));
|
|
ok = ok && (int2(1) != int2(1, 0));
|
|
ok = ok && !(int4(1) != int4(int2(1), int2(1)));
|
|
ok = ok && ( int4(1) == int4(1));
|
|
ok = ok && (-int4(1) == -int4(1));
|
|
ok = ok && ( int4(1) != -int4(1));
|
|
ok = ok && (-int4(1) != int4(1));
|
|
ok = ok && ( int4(0) != -int4(1));
|
|
ok = ok && (-int4(0) != int4(1));
|
|
ok = ok && (-int4(0) != -int4(1));
|
|
ok = ok && !(-int4(1) == int4(1));
|
|
ok = ok && !( int4(1) == -int4(1));
|
|
ok = ok && !( int4(0) == int4(1));
|
|
ok = ok && !( int4(0) == -int4(1));
|
|
ok = ok && !(-int4(0) == int4(1));
|
|
ok = ok && !(-int4(0) == -int4(1));
|
|
ok = ok && !(-int4(1) != -int4(1));
|
|
ok = ok && (int4(unknown) * int4(1) == int4(unknown));
|
|
ok = ok && (int4(1) * int4(unknown) == int4(unknown));
|
|
ok = ok && (int4(unknown) * int4(0) == int4(0));
|
|
ok = ok && (int4(0) * int4(unknown) == int4(0));
|
|
ok = ok && (int4(0) / int4(unknown) == int4(0));
|
|
ok = ok && (int4(unknown) + int4(0) == int4(unknown));
|
|
ok = ok && (int4(0) + int4(unknown) == int4(unknown));
|
|
ok = ok && (int4(unknown) - int4(0) == int4(unknown));
|
|
|
|
int4 val = int4(unknown);
|
|
val += int4(1);
|
|
val += int4(0);
|
|
val -= int4(1);
|
|
val -= int4(0);
|
|
val = val + int4(1);
|
|
val = val + int4(0);
|
|
val = val - int4(1);
|
|
val = val - int4(0);
|
|
ok = ok && (val == int4(unknown));
|
|
val *= int4(1);
|
|
val *= int4(2);
|
|
val /= int4(1);
|
|
val /= int4(2);
|
|
val = val * int4(1);
|
|
val = val * int4(2);
|
|
val = val / int4(1);
|
|
val = val / int4(2);
|
|
ok = ok && (val == int4(unknown));
|
|
|
|
return ok;
|
|
}
|
|
|
|
half4 main() {
|
|
return test_half() && test_int() ? colorGreen : colorRed;
|
|
}
|