]> git.xonotic.org Git - xonotic/gmqcc.git/blobdiff - fold.c
Fixes
[xonotic/gmqcc.git] / fold.c
diff --git a/fold.c b/fold.c
index 1319f2405ebdc1d841aaacb4f91676fffa7bb6c6..ad264e737c98a49663365cee89bdeaf2263aeba9 100644 (file)
--- a/fold.c
+++ b/fold.c
  * 
  * This file is thus, split into two parts.
  */
-ast_expression **fold_const_values = NULL;
 
-static GMQCC_INLINE bool fold_possible(const ast_value *val) {
-    return  ast_istype((ast_expression*)val, ast_value) &&
-            val->hasvalue && (val->cvq == CV_CONST)     &&
-            ((ast_expression*)val)->vtype != TYPE_FUNCTION; /* why not for functions? */
-}
-
-#define isfloat(X)     (((ast_expression*)(X))->vtype == TYPE_FLOAT  && fold_possible(X))
-#define isvector(X)    (((ast_expression*)(X))->vtype == TYPE_VECTOR && fold_possible(X))
-#define isstring(X)    (((ast_expression*)(X))->vtype == TYPE_STRING && fold_possible(X))
-#define isfloats(X,Y)  (isfloat (X) && isfloat(Y))
-#define isvectors(X,Y) (isvector(X) && isvector(Y))
-#define isstrings(X,Y) (isstring(X) && isstring(Y))
+#define isfloat(X)      (((ast_expression*)(X))->vtype == TYPE_FLOAT)
+#define isvector(X)     (((ast_expression*)(X))->vtype == TYPE_VECTOR)
+#define isstring(X)     (((ast_expression*)(X))->vtype == TYPE_STRING)
+#define isfloats(X,Y)   (isfloat  (X) && isfloat (Y))
 
 /*
  * Implementation of basic vector math for vec3_t, for trivial constant
@@ -74,14 +65,6 @@ static GMQCC_INLINE vec3_t vec3_sub(vec3_t a, vec3_t b) {
     return out;
 }
 
-static GMQCC_INLINE vec3_t vec3_not(vec3_t a) {
-    vec3_t out;
-    out.x = !a.x;
-    out.y = !a.y;
-    out.z = !a.z;
-    return out;
-}
-
 static GMQCC_INLINE vec3_t vec3_neg(vec3_t a) {
     vec3_t out;
     out.x = -a.x;
@@ -92,26 +75,24 @@ static GMQCC_INLINE vec3_t vec3_neg(vec3_t a) {
 
 static GMQCC_INLINE vec3_t vec3_xor(vec3_t a, vec3_t b) {
     vec3_t out;
-    out.x = (qcfloat_t)((qcint_t)a.x ^ (qcint_t)b.x);
-    out.y = (qcfloat_t)((qcint_t)a.y ^ (qcint_t)b.y);
-    out.z = (qcfloat_t)((qcint_t)a.z ^ (qcint_t)b.z);
+    out.x = (qcfloat_t)(((qcint_t)a.x) ^ ((qcint_t)b.x));
+    out.y = (qcfloat_t)(((qcint_t)a.y) ^ ((qcint_t)b.y));
+    out.z = (qcfloat_t)(((qcint_t)a.z) ^ ((qcint_t)b.z));
     return out;
 }
 
 static GMQCC_INLINE vec3_t vec3_xorvf(vec3_t a, qcfloat_t b) {
     vec3_t out;
-    out.x = (qcfloat_t)((qcint_t)a.x ^ (qcint_t)b);
-    out.y = (qcfloat_t)((qcint_t)a.y ^ (qcint_t)b);
-    out.z = (qcfloat_t)((qcint_t)a.z ^ (qcint_t)b);
+    out.x = (qcfloat_t)(((qcint_t)a.x) ^ ((qcint_t)b));
+    out.y = (qcfloat_t)(((qcint_t)a.y) ^ ((qcint_t)b));
+    out.z = (qcfloat_t)(((qcint_t)a.z) ^ ((qcint_t)b));
     return out;
 }
 
-#if 0
 static GMQCC_INLINE qcfloat_t vec3_mulvv(vec3_t a, vec3_t b) {
     return (a.x * b.x + a.y * b.y + a.z * b.z);
 }
 
-
 static GMQCC_INLINE vec3_t vec3_mulvf(vec3_t a, qcfloat_t b) {
     vec3_t out;
     out.x = a.x * b;
@@ -119,7 +100,6 @@ static GMQCC_INLINE vec3_t vec3_mulvf(vec3_t a, qcfloat_t b) {
     out.z = a.z * b;
     return out;
 }
-#endif
 
 static GMQCC_INLINE bool vec3_cmp(vec3_t a, vec3_t b) {
     return a.x == b.x &&
@@ -135,17 +115,58 @@ static GMQCC_INLINE vec3_t vec3_create(float x, float y, float z) {
     return out;
 }
 
+static GMQCC_INLINE qcfloat_t vec3_notf(vec3_t a) {
+    return (!a.x && !a.y && !a.z);
+}
+
+static GMQCC_INLINE bool vec3_pbool(vec3_t a) {
+    return (a.x && a.y && a.z);
+}
 
-static GMQCC_INLINE float fold_immvalue_float(ast_value *expr) {
-    return expr->constval.vfloat;
+static GMQCC_INLINE bool fold_can_1(const ast_value *val) {
+    return (ast_istype(((ast_expression*)(val)), ast_value) && val->hasvalue && (val->cvq == CV_CONST) &&
+              ((ast_expression*)(val))->vtype != TYPE_FUNCTION);
 }
-static GMQCC_INLINE vec3_t fold_immvalue_vector(ast_value *expr) {
-    return expr->constval.vvec;
+
+static GMQCC_INLINE bool fold_can_2(const ast_value *v1, const ast_value *v2) {
+    return fold_can_1(v1) && fold_can_1(v2);
+}
+
+static lex_ctx_t fold_ctx(fold_t *fold) {
+    lex_ctx_t ctx;
+    if (fold->parser->lex)
+        return parser_ctx(fold->parser);
+
+    memset(&ctx, 0, sizeof(ctx));
+    return ctx;
 }
-static GMQCC_INLINE const char *fold_immvalue_string(ast_value *expr) {
-    return expr->constval.vstring;
+
+static GMQCC_INLINE bool fold_immediate_true(fold_t *fold, ast_value *v) {
+    switch (v->expression.vtype) {
+        case TYPE_FLOAT:
+            return !!v->constval.vfloat;
+        case TYPE_INTEGER:
+            return !!v->constval.vint;
+        case TYPE_VECTOR: 
+            if (OPTS_FLAG(CORRECT_LOGIC))
+                return vec3_pbool(v->constval.vvec);
+            return !!(v->constval.vvec.x);
+        case TYPE_STRING:
+            if (!v->constval.vstring)
+                return false;
+            if (OPTS_FLAG(TRUE_EMPTY_STRINGS))
+                return true;
+            return !!v->constval.vstring[0];
+        default:
+            compile_error(fold_ctx(fold), "internal error: fold_immediate_true on invalid type");
+            break;
+    }
+    return !!v->constval.vfunc;
 }
 
+#define fold_immvalue_float(E)  ((E)->constval.vfloat)
+#define fold_immvalue_vector(E) ((E)->constval.vvec)
+#define fold_immvalue_string(E) ((E)->constval.vstring)
 
 fold_t *fold_init(parser_t *parser) {
     fold_t *fold                 = (fold_t*)mem_a(sizeof(fold_t));
@@ -206,15 +227,6 @@ void fold_cleanup(fold_t *fold) {
     mem_d(fold);
 }
 
-static lex_ctx_t fold_ctx(fold_t *fold) {
-    lex_ctx_t ctx;
-    if (fold->parser->lex)
-        return parser_ctx(fold->parser);
-
-    memset(&ctx, 0, sizeof(ctx));
-    return ctx;
-}
-
 ast_expression *fold_constgen_float(fold_t *fold, qcfloat_t value) {
     ast_value  *out = NULL;
     size_t      i;
@@ -280,6 +292,258 @@ ast_expression *fold_constgen_string(fold_t *fold, const char *str, bool transla
     return (ast_expression*)out;
 }
 
+
+static GMQCC_INLINE ast_expression *fold_op_mul_vec(fold_t *fold, vec3_t vec, ast_value *sel, const char *set) {
+    /*
+     * vector-component constant folding works by matching the component sets
+     * to eliminate expensive operations on whole-vectors (3 components at runtime).
+     * to achive this effect in a clean manner this function generalizes the 
+     * values through the use of a set paramater, which is used as an indexing method
+     * for creating the elided ast binary expression.
+     *
+     * Consider 'n 0 0' where y, and z need to be tested for 0, and x is
+     * used as the value in a binary operation generating an INSTR_MUL instruction
+     * to acomplish the indexing of the correct component value we use set[0], set[1], set[2]
+     * as x, y, z, where the values of those operations return 'x', 'y', 'z'. Because
+     * of how ASCII works we can easily deliniate:
+     * vec.z is the same as set[2]-'x' for when set[2] is 'z', 'z'-'x' results in a
+     * literal value of 2, using this 2, we know that taking the address of vec->x (float)
+     * and indxing it with this literal will yeild the immediate address of that component
+     * 
+     * Of course more work needs to be done to generate the correct index for the ast_member_new
+     * call, which is no problem: set[0]-'x' suffices that job.
+     */
+    qcfloat_t x = (&vec.x)[set[0]-'x'];
+    qcfloat_t y = (&vec.x)[set[1]-'x'];
+    qcfloat_t z = (&vec.x)[set[2]-'x'];
+
+    if (!y && !z) {
+        ast_expression *out;
+        ++opts_optimizationcount[OPTIM_VECTOR_COMPONENTS];
+        out                        = (ast_expression*)ast_member_new(fold_ctx(fold), (ast_expression*)sel, set[0]-'x', NULL);
+        out->node.keep             = false;
+        ((ast_member*)out)->rvalue = true;
+        if (x != -1)
+            return (ast_expression*)ast_binary_new(fold_ctx(fold), INSTR_MUL_F, fold_constgen_float(fold, x), out);
+    }
+    return NULL;
+}
+
+
+static GMQCC_INLINE ast_expression *fold_op_neg(fold_t *fold, ast_value *a) {
+    if (isfloat(a)) {
+        if (fold_can_1(a))
+            return fold_constgen_float(fold, -fold_immvalue_float(a));
+    } else if (isvector(a)) {
+        if (fold_can_1(a))
+            return fold_constgen_vector(fold, vec3_neg(fold_immvalue_vector(a)));
+    }
+    return NULL;
+}
+
+static GMQCC_INLINE ast_expression *fold_op_not(fold_t *fold, ast_value *a) {
+    if (isfloat(a)) {
+        if (fold_can_1(a))
+            return fold_constgen_float(fold, !fold_immvalue_float(a));
+    } else if (isvector(a)) {
+        if (fold_can_1(a))
+            return fold_constgen_float(fold, vec3_notf(fold_immvalue_vector(a)));
+    } else if (isstring(a)) {
+        if (fold_can_1(a)) {
+            if (OPTS_FLAG(TRUE_EMPTY_STRINGS))
+                return fold_constgen_float(fold, !fold_immvalue_string(a));
+            else
+                return fold_constgen_float(fold, !fold_immvalue_string(a) || !*fold_immvalue_string(a));
+        }
+    }
+    return NULL;
+}
+
+static GMQCC_INLINE ast_expression *fold_op_add(fold_t *fold, ast_value *a, ast_value *b) {
+    if (isfloat(a)) {
+        if (fold_can_2(a, b))
+            return fold_constgen_float(fold, fold_immvalue_float(a) + fold_immvalue_float(b));
+    } else if (isvector(a)) {
+        if (fold_can_2(a, b))
+            return fold_constgen_vector(fold, vec3_add(fold_immvalue_vector(a), fold_immvalue_vector(b)));
+    }
+    return NULL;
+}
+
+static GMQCC_INLINE ast_expression *fold_op_sub(fold_t *fold, ast_value *a, ast_value *b) {
+    if (isfloat(a)) {
+        if (fold_can_2(a, b))
+            return fold_constgen_float(fold, fold_immvalue_float(a) - fold_immvalue_float(b));
+    } else if (isvector(a)) {
+        if (fold_can_2(a, b))
+            return fold_constgen_vector(fold, vec3_sub(fold_immvalue_vector(a), fold_immvalue_vector(b)));
+    }
+    return NULL;
+}
+
+static GMQCC_INLINE ast_expression *fold_op_mul(fold_t *fold, ast_value *a, ast_value *b) {
+    if (isfloat(a)) {
+        if (isfloat(b)) {
+            if (fold_can_2(a, b))
+                return fold_constgen_vector(fold, vec3_mulvf(fold_immvalue_vector(b), fold_immvalue_float(a)));
+        } else {
+            if (fold_can_2(a, b))
+                return fold_constgen_float(fold, fold_immvalue_float(a) * fold_immvalue_float(b));
+        }
+    } else if (isvector(a)) {
+        if (isfloat(b)) {
+            if (fold_can_2(a, b))
+                return fold_constgen_vector(fold, vec3_mulvf(fold_immvalue_vector(a), fold_immvalue_float(b)));
+        } else {
+            if (fold_can_2(a, b)) {
+                return fold_constgen_float(fold, vec3_mulvv(fold_immvalue_vector(a), fold_immvalue_vector(b)));
+            } else if (OPTS_OPTIMIZATION(OPTIM_VECTOR_COMPONENTS) && fold_can_1(a)) {
+                ast_expression *out;
+                if ((out = fold_op_mul_vec(fold, fold_immvalue_vector(a), b, "xyz"))) return out;
+                if ((out = fold_op_mul_vec(fold, fold_immvalue_vector(a), b, "yxz"))) return out;
+                if ((out = fold_op_mul_vec(fold, fold_immvalue_vector(a), b, "zxy"))) return out;
+            } else if (OPTS_OPTIMIZATION(OPTIM_VECTOR_COMPONENTS) && fold_can_1(b)) {
+                ast_expression *out;
+                if ((out = fold_op_mul_vec(fold, fold_immvalue_vector(b), a, "xyz"))) return out;
+                if ((out = fold_op_mul_vec(fold, fold_immvalue_vector(b), a, "yxz"))) return out;
+                if ((out = fold_op_mul_vec(fold, fold_immvalue_vector(b), a, "zxy"))) return out;
+            }
+        }
+    }
+    return NULL;
+}
+
+static GMQCC_INLINE ast_expression *fold_op_div(fold_t *fold, ast_value *a, ast_value *b) {
+    if (isfloat(a)) {
+        if (fold_can_2(a, b))
+            return fold_constgen_float(fold, fold_immvalue_float(a) / fold_immvalue_float(b));
+    } else if (isvector(a)) {
+        if (fold_can_2(a, b))
+            return fold_constgen_vector(fold, vec3_mulvf(fold_immvalue_vector(a), 1.0f / fold_immvalue_float(b)));
+        else {
+            return (ast_expression*)ast_binary_new(
+                fold_ctx(fold),
+                INSTR_MUL_VF,
+                (ast_expression*)a,
+                (fold_can_1(b))
+                    ? (ast_expression*)fold_constgen_float(fold, 1.0f / fold_immvalue_float(b))
+                    : (ast_expression*)ast_binary_new(
+                                            fold_ctx(fold),
+                                            INSTR_DIV_F,
+                                            (ast_expression*)fold->imm_float[1],
+                                            (ast_expression*)b
+                    )
+            );
+        }
+    }
+    return NULL;
+}
+
+static GMQCC_INLINE ast_expression *fold_op_mod(fold_t *fold, ast_value *a, ast_value *b) {
+    if (fold_can_2(a, b))
+        return fold_constgen_float(fold, (qcfloat_t)(((qcint_t)fold_immvalue_float(a)) % ((qcint_t)fold_immvalue_float(b))));
+    return NULL;
+}
+
+static GMQCC_INLINE ast_expression *fold_op_bor(fold_t *fold, ast_value *a, ast_value *b) {
+    if (fold_can_2(a, b))
+        return fold_constgen_float(fold, (qcfloat_t)(((qcint_t)fold_immvalue_float(a)) | ((qcint_t)fold_immvalue_float(b))));
+    return NULL;
+}
+
+static GMQCC_INLINE ast_expression *fold_op_band(fold_t *fold, ast_value *a, ast_value *b) {
+    if (fold_can_2(a, b))
+        return fold_constgen_float(fold, (qcfloat_t)(((qcint_t)fold_immvalue_float(a)) & ((qcint_t)fold_immvalue_float(b))));
+    return NULL;
+}
+
+static GMQCC_INLINE ast_expression *fold_op_xor(fold_t *fold, ast_value *a, ast_value *b) {
+    if (isfloat(a)) {
+        if (fold_can_2(a, b))
+            return fold_constgen_float(fold, (qcfloat_t)(((qcint_t)fold_immvalue_float(a)) ^ ((qcint_t)fold_immvalue_float(b))));
+    } else {
+        if (isvector(b)) {
+            if (fold_can_2(a, b))
+                return fold_constgen_vector(fold, vec3_xor(fold_immvalue_vector(a), fold_immvalue_vector(b)));
+        } else {
+            if (fold_can_2(a, b))
+                return fold_constgen_vector(fold, vec3_xorvf(fold_immvalue_vector(a), fold_immvalue_float(b)));
+        }
+    }
+    return NULL;
+}
+
+static GMQCC_INLINE ast_expression *fold_op_lshift(fold_t *fold, ast_value *a, ast_value *b) {
+    if (fold_can_2(a, b) && isfloats(a, b))
+        return fold_constgen_float(fold, (qcfloat_t)((qcuint_t)(fold_immvalue_float(a)) << (qcuint_t)(fold_immvalue_float(b))));
+    return NULL;
+}
+
+static GMQCC_INLINE ast_expression *fold_op_rshift(fold_t *fold, ast_value *a, ast_value *b) {
+    if (fold_can_2(a, b) && isfloats(a, b))
+        return fold_constgen_float(fold, (qcfloat_t)((qcuint_t)(fold_immvalue_float(a)) >> (qcuint_t)(fold_immvalue_float(b))));
+    return NULL;
+}
+
+static GMQCC_INLINE ast_expression *fold_op_andor(fold_t *fold, ast_value *a, ast_value *b, float or) {
+    if (fold_can_2(a, b)) {
+        if (OPTS_FLAG(PERL_LOGIC)) {
+            if (fold_immediate_true(fold, a))
+                return (ast_expression*)b;
+        } else {
+            return fold_constgen_float (
+                fold, 
+                ((or) ? (fold_immediate_true(fold, a) || fold_immediate_true(fold, b))
+                      : (fold_immediate_true(fold, a) && fold_immediate_true(fold, b)))
+                            ? 1
+                            : 0
+            );
+        }
+    }
+    return NULL;
+}
+
+static GMQCC_INLINE ast_expression *fold_op_tern(fold_t *fold, ast_value *a, ast_value *b, ast_value *c) {
+    if (fold_can_1(a)) {
+        return fold_immediate_true(fold, a)
+                    ? (ast_expression*)b
+                    : (ast_expression*)c;
+    }
+    return NULL;
+}
+
+static GMQCC_INLINE ast_expression *fold_op_exp(fold_t *fold, ast_value *a, ast_value *b) {
+    if (fold_can_2(a, b))
+        return fold_constgen_float(fold, (qcfloat_t)powf(fold_immvalue_float(a), fold_immvalue_float(b)));
+    return NULL;
+}
+
+static GMQCC_INLINE ast_expression *fold_op_lteqgt(fold_t *fold, ast_value *a, ast_value *b) {
+    if (fold_can_2(a,b)) {
+        if (fold_immvalue_float(a) <  fold_immvalue_float(b)) return (ast_expression*)fold->imm_float[2];
+        if (fold_immvalue_float(a) == fold_immvalue_float(b)) return (ast_expression*)fold->imm_float[0];
+        if (fold_immvalue_float(a) >  fold_immvalue_float(b)) return (ast_expression*)fold->imm_float[1];
+    }
+    return NULL;
+}
+
+static GMQCC_INLINE ast_expression *fold_op_cmp(fold_t *fold, ast_value *a, ast_value *b, bool ne) {
+    if (fold_can_2(a, b)) {
+        return fold_constgen_float(
+                    fold,
+                    (ne) ? (fold_immvalue_float(a) != fold_immvalue_float(b))
+                         : (fold_immvalue_float(a) == fold_immvalue_float(b))
+                );
+    }
+    return NULL;
+}
+
+static GMQCC_INLINE ast_expression *fold_op_bnot(fold_t *fold, ast_value *a) {
+    if (fold_can_1(a))
+        return fold_constgen_float(fold, ~((qcint_t)fold_immvalue_float(a)));
+    return NULL;
+}
+
 ast_expression *fold_op(fold_t *fold, const oper_info *info, ast_expression **opexprs) {
     ast_value *a = (ast_value*)opexprs[0];
     ast_value *b = (ast_value*)opexprs[1];
@@ -292,77 +556,34 @@ ast_expression *fold_op(fold_t *fold, const oper_info *info, ast_expression **op
     switch(info->operands) {
         case 3: if(!c) return NULL;
         case 2: if(!b) return NULL;
+        case 1:
+        if(!a) {
+            compile_error(fold_ctx(fold), "interal error: fold_op no operands to fold\n");
+            return NULL;
+        }
     }
 
     switch(info->id) {
-        case opid2('-', 'P'):
-            return isfloat (a)             ? fold_constgen_float (fold, fold_immvalue_float(a))
-                 : isvector(a)             ? fold_constgen_vector(fold, vec3_neg(fold_immvalue_vector(a)))
-                 : NULL;
-        case opid2('!', 'P'):
-            return isfloat (a)             ? fold_constgen_float (fold, !fold_immvalue_float(a))
-                 : isvector(a)             ? fold_constgen_vector(fold, vec3_not(fold_immvalue_vector(a)))
-                 : isstring(a)             ? fold_constgen_float (fold, !fold_immvalue_string(a) || OPTS_FLAG(TRUE_EMPTY_STRINGS) ? 0 : !*fold_immvalue_string(a))
-                 : NULL;
-        case opid1('+'):
-            return isfloats(a,b)           ? fold_constgen_float (fold, fold_immvalue_float(a) + fold_immvalue_float(b))
-                 : isvectors(a,b)          ? fold_constgen_vector(fold, vec3_add(fold_immvalue_vector(a), fold_immvalue_vector(b)))
-                 : NULL;
-        case opid1('-'):
-            return isfloats(a,b)           ? fold_constgen_float (fold, fold_immvalue_float(a) - fold_immvalue_float(b))
-                 : isvectors(a,b)          ? fold_constgen_vector(fold, vec3_sub(fold_immvalue_vector(a), fold_immvalue_vector(b)))
-                 : NULL;
-        case opid1('%'):
-            return isfloats(a,b)           ? fold_constgen_float (fold, (qcfloat_t)(((qcint_t)fold_immvalue_float(a)) % ((qcint_t)fold_immvalue_float(b))))
-                 : NULL;
-        case opid1('|'):
-            return isfloats(a,b)           ? fold_constgen_float (fold, (qcfloat_t)(((qcint_t)fold_immvalue_float(a)) | ((qcint_t)fold_immvalue_float(b))))
-                 : NULL;
-        case opid1('&'):
-            return isfloats(a,b)           ? fold_constgen_float (fold, (qcfloat_t)(((qcint_t)fold_immvalue_float(a)) & ((qcint_t)fold_immvalue_float(b))))
-                 : NULL;
-        case opid1('^'):
-            return isfloats(a,b)           ? fold_constgen_float (fold, (qcfloat_t)(((qcint_t)fold_immvalue_float(a)) ^ ((qcint_t)fold_immvalue_float(b))))
-                 : isvectors(a,b)          ? fold_constgen_vector(fold, vec3_xor  (fold_immvalue_vector(a), fold_immvalue_vector(b)))
-                 : isvector(a)&&isfloat(b) ? fold_constgen_vector(fold, vec3_xorvf(fold_immvalue_vector(a), fold_immvalue_float (b)))
-                 : NULL;
-        case opid2('<','<'):
-            return isfloats(a,b)           ? fold_constgen_float (fold, (qcfloat_t)(((qcuint_t)(fold_immvalue_float(a)) << ((qcuint_t)fold_immvalue_float(b)))))
-                 : NULL;
-        case opid2('>','>'):
-            return isfloats(a,b)           ? fold_constgen_float (fold, (qcfloat_t)(((qcuint_t)(fold_immvalue_float(a)) >> ((qcuint_t)fold_immvalue_float(b)))))
-                 : NULL;
-        case opid2('*','*'):
-            return isfloats(a,b)           ? fold_constgen_float (fold, (qcfloat_t)powf(fold_immvalue_float(a), fold_immvalue_float(b)))
-                 : NULL;
-        case opid2('!','='):
-            return isfloats(a,b)           ? fold_constgen_float (fold, fold_immvalue_float(a) != fold_immvalue_float(b))
-                 : NULL;
-        case opid2('=','='):
-            return isfloats(a,b)           ? fold_constgen_float (fold, fold_immvalue_float(a) == fold_immvalue_float(b))
-                 : NULL;
-        case opid2('~','P'):
-            return isfloat(a)              ? fold_constgen_float (fold, ~(qcint_t)fold_immvalue_float(a))
-                 : NULL;
-
-        case opid1('*'):
-            /* TODO: seperate function for this case */
-            return NULL;
-        case opid1('/'):
-            /* TODO: seperate function for this case */
-            return NULL;
-        case opid2('|','|'):
-            /* TODO: seperate function for this case */
-            return NULL;
-        case opid2('&','&'):
-            /* TODO: seperate function for this case */
-            return NULL;
-        case opid2('?',':'):
-            /* TODO: seperate function for this case */
-            return NULL;
-        case opid3('<','=','>'):
-            /* TODO: seperate function for this case */
-            return NULL;
+        case opid2('-','P'):     return fold_op_neg    (fold, a);
+        case opid2('!','P'):     return fold_op_not    (fold, a);
+        case opid1('+'):         return fold_op_add    (fold, a, b);
+        case opid1('-'):         return fold_op_sub    (fold, a, b);
+        case opid1('*'):         return fold_op_mul    (fold, a, b);
+        case opid1('/'):         return fold_op_div    (fold, a, b);
+        case opid1('%'):         return fold_op_mod    (fold, a, b);
+        case opid1('|'):         return fold_op_bor    (fold, a, b);
+        case opid1('&'):         return fold_op_band   (fold, a, b);
+        case opid1('^'):         return fold_op_xor    (fold, a, b);
+        case opid2('<','<'):     return fold_op_lshift (fold, a, b);
+        case opid2('>','>'):     return fold_op_rshift (fold, a, b);
+        case opid2('|','|'):     return fold_op_andor  (fold, a, b, true);
+        case opid2('&','&'):     return fold_op_andor  (fold, a, b, false);
+        case opid2('?',':'):     return fold_op_tern   (fold, a, b, c);
+        case opid2('*','*'):     return fold_op_exp    (fold, a, b);
+        case opid3('<','=','>'): return fold_op_lteqgt (fold, a, b);
+        case opid2('!','='):     return fold_op_cmp    (fold, a, b, true);
+        case opid2('=','='):     return fold_op_cmp    (fold, a, b, false);
+        case opid2('~','P'):     return fold_op_bnot   (fold, a);
     }
     return NULL;
 }