Added varying CFG and non-overflow part of the tests.

This commit is contained in:
Vsevolod Livinskij
2014-01-06 15:24:09 +04:00
parent 323587f10f
commit 97cc5b7f48
24 changed files with 265 additions and 144 deletions

View File

@@ -1,11 +0,0 @@
export uniform int width() { return programCount; }
export void f_fu(uniform float RET[], uniform float aFOO[], uniform float b) {
uniform int16 a = -32768; // min signed int16
RET[programIndex] = saturating_add(a, -b);
}
export void result(uniform float RET[]) {
RET[programIndex] = (uniform int16) -32768;
}

View File

@@ -2,10 +2,26 @@
export uniform int width() { return programCount; }
export void f_fu(uniform float RET[], uniform float aFOO[], uniform float b) {
uniform int16 a = 32767; // max signed int16
RET[programIndex] = saturating_add(a, b);
uniform int16 a_max = 32767, a_min = -32768; // max and min signed int16
if (programIndex % 3 == 0) {
RET[programIndex] = saturating_add(a_max, b);
}
else if (programIndex % 3 == 1) {
RET[programIndex] = saturating_add(a_min, -b);
}
else {
RET[programIndex] = saturating_add(a_min, b);
}
}
export void result(uniform float RET[]) {
RET[programIndex] = (uniform int16) 32767;
if (programIndex % 3 == 0) {
RET[programIndex] = (uniform int16) 32767;
}
else if (programIndex % 3 == 1) {
RET[programIndex] = (uniform int16) -32768;
}
else {
RET[programIndex] = (uniform int16) -32763;
}
}

View File

@@ -1,11 +0,0 @@
export uniform int width() { return programCount; }
export void f_fu(uniform float RET[], uniform float aFOO[], uniform float b) {
uniform int8 a = -128; // min signed int8
RET[programIndex] = saturating_add(a, -b);
}
export void result(uniform float RET[]) {
RET[programIndex] = (uniform int8) -128;
}

View File

@@ -2,10 +2,26 @@
export uniform int width() { return programCount; }
export void f_fu(uniform float RET[], uniform float aFOO[], uniform float b) {
uniform int8 a = 127; // max signed int8
RET[programIndex] = saturating_add(a, b);
uniform int8 a_max = 127, a_min = -128; // max and min signed int8
if (programIndex % 3 == 0) {
RET[programIndex] = saturating_add(a_max, b);
}
else if (programIndex % 3 == 1) {
RET[programIndex] = saturating_add(a_min, -b);
}
else {
RET[programIndex] = saturating_add(a_min, b);
}
}
export void result(uniform float RET[]) {
RET[programIndex] = (uniform int8) 127;
if (programIndex % 3 == 0) {
RET[programIndex] = (uniform int8) 127;
}
else if (programIndex % 3 == 1) {
RET[programIndex] = (uniform int8) -128;
}
else {
RET[programIndex] = (uniform int8) -123;
}
}

View File

@@ -1,11 +0,0 @@
export uniform int width() { return programCount; }
export void f_f(uniform float RET[], uniform float aFOO[]) {
varying int16 a = -32768, b = aFOO[programIndex]; // max signed int16
RET[programIndex] = saturating_add(a, -b);
}
export void result(uniform float RET[]) {
RET[programIndex] = (varying int16) -32768;
}

View File

@@ -1,11 +1,27 @@
export uniform int width() { return programCount; }
export void f_f(uniform float RET[], uniform float aFOO[]) {
varying int16 a = 32767, b = aFOO[programIndex]; // max signed int16
RET[programIndex] = saturating_add(a, b);
export void f_fu(uniform float RET[], uniform float aFOO[], uniform float b) {
varying int16 a_max = 32767, a_min = -32768; // max and min signed int16
if (programIndex % 3 == 0) {
RET[programIndex] = saturating_add(a_max, b);
}
else if (programIndex % 3 == 1) {
RET[programIndex] = saturating_add(a_min, -b);
}
else {
RET[programIndex] = saturating_add(a_min, b);
}
}
export void result(uniform float RET[]) {
RET[programIndex] = (varying int16) 32767;
if (programIndex % 3 == 0) {
RET[programIndex] = (varying int16) 32767;
}
else if (programIndex % 3 == 1) {
RET[programIndex] = (varying int16) -32768;
}
else {
RET[programIndex] = (varying int16) -32763;
}
}

View File

@@ -1,11 +0,0 @@
export uniform int width() { return programCount; }
export void f_f(uniform float RET[], uniform float aFOO[]) {
varying int8 a = -128, b = aFOO[programIndex]; // max signed int8
RET[programIndex] = saturating_add(a, -b);
}
export void result(uniform float RET[]) {
RET[programIndex] = (varying int8) -128;
}

View File

@@ -1,11 +1,27 @@
export uniform int width() { return programCount; }
export void f_f(uniform float RET[], uniform float aFOO[]) {
varying int8 a = 127, b = aFOO[programIndex]; // max signed int8
RET[programIndex] = saturating_add(a, b);
export void f_fu(uniform float RET[], uniform float aFOO[], uniform float b) {
varying int8 a_max = 127, a_min = -128; // max and min signed int8
if (programIndex % 3 == 0) {
RET[programIndex] = saturating_add(a_max, b);
}
else if (programIndex % 3 == 1) {
RET[programIndex] = saturating_add(a_min, -b);
}
else {
RET[programIndex] = saturating_add(a_min, b);
}
}
export void result(uniform float RET[]) {
RET[programIndex] = (varying int8) 127;
if (programIndex % 3 == 0) {
RET[programIndex] = (varying int8) 127;
}
else if (programIndex % 3 == 1) {
RET[programIndex] = (varying int8) -128;
}
else {
RET[programIndex] = (varying int8) -123;
}
}

View File

@@ -2,10 +2,20 @@
export uniform int width() { return programCount; }
export void f_fu(uniform float RET[], uniform float aFOO[], uniform float b) {
uniform unsigned int16 a = 65535; // max unsigned int16
RET[programIndex] = saturating_add(a, b);
uniform unsigned int16 a_max = 65535, a_min = 0; // max and min unsigned int16
if (programIndex % 2 == 0) {
RET[programIndex] = saturating_add(a_max, b);
}
else {
RET[programIndex] = saturating_add(a_min, b);
}
}
export void result(uniform float RET[]) {
RET[programIndex] = (uniform unsigned int16) 65535;
if (programIndex % 2 == 0) {
RET[programIndex] = (uniform unsigned int16) 65535;
}
else {
RET[programIndex] = (uniform unsigned int16) 5;
}
}

View File

@@ -2,10 +2,20 @@
export uniform int width() { return programCount; }
export void f_fu(uniform float RET[], uniform float aFOO[], uniform float b) {
uniform unsigned int8 a = 255; // max unsigned int8
RET[programIndex] = saturating_add(a, b);
uniform unsigned int8 a_max = 255, a_min = 0; // max and min unsigned int8
if (programIndex % 2 == 0) {
RET[programIndex] = saturating_add(a_max, b);
}
else {
RET[programIndex] = saturating_add(a_min, b);
}
}
export void result(uniform float RET[]) {
RET[programIndex] = (uniform unsigned int8) 255;
if (programIndex % 2 == 0) {
RET[programIndex] = (uniform unsigned int8) 255;
}
else {
RET[programIndex] = (uniform unsigned int8) 5;
}
}

View File

@@ -1,11 +1,21 @@
export uniform int width() { return programCount; }
export void f_f(uniform float RET[], uniform float aFOO[]) {
varying unsigned int16 a = 65535, b = aFOO[programIndex]; // max unsigned int16
RET[programIndex] = saturating_add(a, b);
export void f_fu(uniform float RET[], uniform float aFOO[], uniform float b) {
varying unsigned int16 a_max = 65535, a_min = 0; // max and min unsigned int16
if (programIndex % 2 == 0) {
RET[programIndex] = saturating_add(a_max, b);
}
else {
RET[programIndex] = saturating_add(a_min, b);
}
}
export void result(uniform float RET[]) {
RET[programIndex] = (varying unsigned int16) 65535;
if (programIndex % 2 == 0) {
RET[programIndex] = (varying unsigned int16) 65535;
}
else {
RET[programIndex] = (varying unsigned int16) 5;
}
}

View File

@@ -1,11 +1,22 @@
export uniform int width() { return programCount; }
export void f_f(uniform float RET[], uniform float aFOO[]) {
varying unsigned int8 a = 255, b = aFOO[programIndex]; // max unsigned int8
RET[programIndex] = saturating_add(a, b);
export void f_fu(uniform float RET[], uniform float aFOO[], uniform float b) {
varying unsigned int8 a_max = 255, a_min = 0; // max and min signed int8
if (programIndex % 2 == 0) {
RET[programIndex] = saturating_add(a_max, b);
}
else {
RET[programIndex] = saturating_add(a_min, b);
}
}
export void result(uniform float RET[]) {
RET[programIndex] = (varying unsigned int8) 255;
if (programIndex % 2 == 0) {
RET[programIndex] = (varying unsigned int8) 255;
}
else {
RET[programIndex] = (varying unsigned int8) 5;
}
}

View File

@@ -1,11 +0,0 @@
export uniform int width() { return programCount; }
export void f_fu(uniform float RET[], uniform float aFOO[], uniform float b) {
uniform int16 a = 32767; // max signed int16
RET[programIndex] = saturating_sub(a, -b);
}
export void result(uniform float RET[]) {
RET[programIndex] = (uniform int16) 32767;
}

View File

@@ -2,10 +2,26 @@
export uniform int width() { return programCount; }
export void f_fu(uniform float RET[], uniform float aFOO[], uniform float b) {
uniform int16 a = -32768; // min signed int16
RET[programIndex] = saturating_sub(a, b);
uniform int16 a_max = 32767, a_min = -32768; // max and min signed int16
if (programIndex % 3 == 0) {
RET[programIndex] = saturating_sub(a_min, b);
}
else if (programIndex % 3 == 1) {
RET[programIndex] = saturating_sub(a_max, -b);
}
else {
RET[programIndex] = saturating_sub(a_max, b);
}
}
export void result(uniform float RET[]) {
RET[programIndex] = (uniform int16) -32768;
if (programIndex % 3 == 0) {
RET[programIndex] = (uniform int16) -32768;
}
else if (programIndex % 3 == 1) {
RET[programIndex] = (uniform int16) 32767;
}
else {
RET[programIndex] = (uniform int16) 32762;
}
}

View File

@@ -1,11 +0,0 @@
export uniform int width() { return programCount; }
export void f_fu(uniform float RET[], uniform float aFOO[], uniform float b) {
uniform int8 a = 127; // max signed int8
RET[programIndex] = saturating_sub(a, -b);
}
export void result(uniform float RET[]) {
RET[programIndex] = (uniform int8) 127;
}

View File

@@ -2,10 +2,26 @@
export uniform int width() { return programCount; }
export void f_fu(uniform float RET[], uniform float aFOO[], uniform float b) {
uniform int8 a = -128; // min signed int8
RET[programIndex] = saturating_sub(a, b);
uniform int8 a_max = 127, a_min = -128; // max and min signed int8
if (programIndex % 3 == 0) {
RET[programIndex] = saturating_sub(a_min, b);
}
else if (programIndex % 3 == 1) {
RET[programIndex] = saturating_sub(a_max, -b);
}
else {
RET[programIndex] = saturating_sub(a_max, b);
}
}
export void result(uniform float RET[]) {
RET[programIndex] = (uniform int8) -128;
if (programIndex % 3 == 0) {
RET[programIndex] = (uniform int8) -128;
}
else if (programIndex % 3 == 1) {
RET[programIndex] = (uniform int8) 127;
}
else {
RET[programIndex] = (uniform int8) 122;
}
}

View File

@@ -1,11 +0,0 @@
export uniform int width() { return programCount; }
export void f_f(uniform float RET[], uniform float aFOO[]) {
varying int16 a = 32767, b = aFOO[programIndex]; // min unsigned int16
RET[programIndex] = saturating_sub(a, -b);
}
export void result(uniform float RET[]) {
RET[programIndex] = (varying int16) 32767;
}

View File

@@ -1,11 +1,27 @@
export uniform int width() { return programCount; }
export void f_f(uniform float RET[], uniform float aFOO[]) {
varying int16 a = -32768, b = aFOO[programIndex]; // min unsigned int16
RET[programIndex] = saturating_sub(a, b);
export void f_fu(uniform float RET[], uniform float aFOO[], uniform float b) {
varying int16 a_max = 32767, a_min = -32768; // max and min signed int16
if (programIndex % 3 == 0) {
RET[programIndex] = saturating_sub(a_min, b);
}
else if (programIndex % 3 == 1) {
RET[programIndex] = saturating_sub(a_max, -b);
}
else {
RET[programIndex] = saturating_sub(a_max, b);
}
}
export void result(uniform float RET[]) {
RET[programIndex] = (varying int16) -32768;
if (programIndex % 3 == 0) {
RET[programIndex] = (varying int16) -32768;
}
else if (programIndex % 3 == 1) {
RET[programIndex] = (varying int16) 32767;
}
else {
RET[programIndex] = (varying int16) 32762;
}
}

View File

@@ -1,11 +0,0 @@
export uniform int width() { return programCount; }
export void f_f(uniform float RET[], uniform float aFOO[]) {
varying int8 a = 127, b = aFOO[programIndex]; // min unsigned int8
RET[programIndex] = saturating_sub(a, -b);
}
export void result(uniform float RET[]) {
RET[programIndex] = (varying int8) 127;
}

View File

@@ -1,11 +1,27 @@
export uniform int width() { return programCount; }
export void f_f(uniform float RET[], uniform float aFOO[]) {
varying int8 a = -128, b = aFOO[programIndex]; // min unsigned int8
RET[programIndex] = saturating_sub(a, b);
export void f_fu(uniform float RET[], uniform float aFOO[], uniform float b) {
varying int8 a_max = 127, a_min = -128; // max and min signed int8
if (programIndex % 3 == 0) {
RET[programIndex] = saturating_sub(a_min, b);
}
else if (programIndex % 3 == 1) {
RET[programIndex] = saturating_sub(a_max, -b);
}
else {
RET[programIndex] = saturating_sub(a_max, b);
}
}
export void result(uniform float RET[]) {
RET[programIndex] = (varying int8) -128;
if (programIndex % 3 == 0) {
RET[programIndex] = (varying int8) -128;
}
else if (programIndex % 3 == 1) {
RET[programIndex] = (varying int8) 127;
}
else {
RET[programIndex] = (varying int8) 122;
}
}

View File

@@ -2,10 +2,20 @@
export uniform int width() { return programCount; }
export void f_fu(uniform float RET[], uniform float aFOO[], uniform float b) {
uniform unsigned int8 a = 0; // min unsigned int16
RET[programIndex] = saturating_sub(a, b);
uniform unsigned int16 a_max = 65535, a_min = 0; // max and min unsigned int16
if (programIndex % 2 == 0) {
RET[programIndex] = saturating_sub(a_min, b);
}
else {
RET[programIndex] = saturating_sub(a_max, b);
}
}
export void result(uniform float RET[]) {
RET[programIndex] = (uniform unsigned int8) 0;
if (programIndex % 2 == 0) {
RET[programIndex] = (uniform unsigned int16) 0;
}
else {
RET[programIndex] = (uniform unsigned int16) 65530;
}
}

View File

@@ -2,10 +2,20 @@
export uniform int width() { return programCount; }
export void f_fu(uniform float RET[], uniform float aFOO[], uniform float b) {
uniform unsigned int8 a = 0; // min unsigned int8
RET[programIndex] = saturating_sub(a, b);
uniform unsigned int8 a_max = 255, a_min = 0; // max and min unsigned int8
if (programIndex % 2 == 0) {
RET[programIndex] = saturating_sub(a_min, b);
}
else {
RET[programIndex] = saturating_sub(a_max, b);
}
}
export void result(uniform float RET[]) {
RET[programIndex] = (uniform unsigned int8) 0;
if (programIndex % 2 == 0) {
RET[programIndex] = (uniform unsigned int8) 0;
}
else {
RET[programIndex] = (uniform unsigned int8) 250;
}
}

View File

@@ -1,11 +1,21 @@
export uniform int width() { return programCount; }
export void f_f(uniform float RET[], uniform float aFOO[]) {
varying unsigned int16 a = 0, b = aFOO[programIndex]; // min unsigned int16
RET[programIndex] = saturating_sub(a, b);
export void f_fu(uniform float RET[], uniform float aFOO[], uniform float b) {
varying unsigned int16 a_max = 65535, a_min = 0; // max and min unsigned int16
if (programIndex % 2 == 0) {
RET[programIndex] = saturating_sub(a_min, b);
}
else {
RET[programIndex] = saturating_sub(a_max, b);
}
}
export void result(uniform float RET[]) {
RET[programIndex] = (varying unsigned int16) 0;
if (programIndex % 2 == 0) {
RET[programIndex] = (varying unsigned int16) 0;
}
else {
RET[programIndex] = (varying unsigned int16) 65530;
}
}

View File

@@ -1,11 +1,21 @@
export uniform int width() { return programCount; }
export void f_f(uniform float RET[], uniform float aFOO[]) {
varying unsigned int8 a = 0, b = aFOO[programIndex]; // min unsigned int8
RET[programIndex] = saturating_sub(a, b);
export void f_fu(uniform float RET[], uniform float aFOO[], uniform float b) {
varying unsigned int8 a_max = 255, a_min = 0; // max and min signed int8
if (programIndex % 2 == 0) {
RET[programIndex] = saturating_sub(a_min, b);
}
else {
RET[programIndex] = saturating_sub(a_max, b);
}
}
export void result(uniform float RET[]) {
RET[programIndex] = (varying unsigned int8) 0;
if (programIndex % 2 == 0) {
RET[programIndex] = (varying unsigned int8) 0;
}
else {
RET[programIndex] = (varying unsigned int8) 250;
}
}