add variable search order test

[xonotic/gmqcc.git] / tests / xor.qc

diff --git a/tests/xor.qc b/tests/xor.qc
index 81fb1149e5c4c94762f7ddb3ef7e0f9c12773a71..fc3a4b5a89614e71b91119009c796c38b09ae9da 100644 (file)
--- a/tests/xor.qc
+++ b/tests/xor.qc
@@ -1,12 +1,77 @@
+vector swap(float x, float y) {
+    vector ret = '0 0 0';
+    // everyone knows this trick
+    ret.x = x;
+    ret.y = y;
+
+    ret.x = ret.x ^ ret.y;
+    ret.y = ret.y ^ ret.x;
+    ret.x = ret.x ^ ret.y;
+
+    return ret;
+}
+
+float f(vector b) {
+    return b.x+b.y+b.z;
+}
+
 void main() {
     float x = 5;
     float y = 3;
     float z = x ^ y; // 6
-    
+
     float a = 2;
     float b = 10;
     float c = a ^ b; // 8
-    
+
     print(ftos(z), "\n");
     print(ftos(c), "\n");
+
+    // commutative?
+    if (x ^ y == y ^ x)
+        print("commutative\n");
+
+    // assocative?
+    if (x ^ (y ^ z) == (x ^ y) ^ z)
+        print("assocative\n");
+
+    // elements are their own inverse?
+    if (x ^ 0 == x)
+        print("inverse\n");
+
+    // vector ^ vector
+    // vector ^ float
+    // are legal in constant expressions (currently)
+    vector v1 = '5 2 5';
+    vector v2 = '3 10 3';
+
+    print("vv: ", vtos(v1 ^ v2), "\n");
+    print("vf: ", vtos(v1 ^ 10), "\n");
+
+    const vector v3 = '5 2 5' ^ '3 10 3';
+    const vector v4 = '5 2 5' ^ 10;
+
+    print("vv: ", vtos(v3), "\n");
+    print("vf: ", vtos(v4), "\n");
+
+    // good olde xor swap test too
+    float swap_x = 100;
+    float swap_y = 200;
+    vector swaps = swap(swap_x, swap_y);
+    print("100:200 swapped is: ", ftos(swaps.x), ":", ftos(swaps.y), "\n");
+
+    // good olde xor swap test too
+    vector swap_u = '1 2 3';
+    vector swap_v = '4 5 6';
+    swap_u ^= swap_v;
+    swap_v ^= swap_u;
+    swap_u ^= swap_v;
+    print("'1 2 3':'4 5 6' swapped is: ", vtos(swap_u), ":", vtos(swap_v), "\n");
+
+    // the one that showed us overlap bugs
+    print(vtos('1 2 3' ^ f('3 2 1') ^ f('1 1 1')), "\n");
+    print(vtos('1 2 3' ^ f('3 2 1') ^ 3),          "\n");
+    print(vtos('1 2 3' ^ 6          ^ 3),          "\n");
+    print(vtos('1 2 3' ^ 6          ^ f('1 1 1')), "\n");
+    print(vtos('1 2 3' ^ 5),                       "\n");
 }