Start trying to fill in a few bits of ir_constant_expression.cpp

This makes a little progress on CorrectParse2.frag.

diff --git a/ir_constant_expression.cpp b/ir_constant_expression.cpp
index b8a9031fba1912b4648262b50f7349d2d97536ff..942bd8097e1c4d9e05ce2952218bc88b4d77e2a0 100644 (file)
--- a/ir_constant_expression.cpp
+++ b/ir_constant_expression.cpp
@@ -36,6 +36,7 @@
 #define NULL 0
 #include "ir.h"
 #include "ir_visitor.h"
+#include "glsl_types.h"
 
 /**
  * Visitor class for evaluating constant expressions
@@ -127,12 +128,42 @@ ir_constant_visitor::visit(ir_function *ir)
    value = NULL;
 }
 
-
 void
 ir_constant_visitor::visit(ir_expression *ir)
 {
-   (void) ir;
    value = NULL;
+   ir_constant *op[2];
+
+   switch (ir->operation) {
+   case ir_binop_mul:
+      op[0] = ir->operands[0]->constant_expression_value();
+      op[1] = ir->operands[1]->constant_expression_value();
+      if (op[0] && op[1] && ir->operands[0]->type == ir->operands[1]->type) {
+        if (ir->operands[1]->type == glsl_type::float_type) {
+           value = new ir_constant(op[0]->value.f[0] * op[1]->value.f[0]);
+           value->type = glsl_type::float_type;
+        }
+      }
+      break;
+   case ir_binop_logic_and:
+      op[0] = ir->operands[0]->constant_expression_value();
+      op[1] = ir->operands[1]->constant_expression_value();
+      if (op[0] && op[1]) {
+        value = new ir_constant(op[0]->value.b[0] && op[1]->value.b[0]);
+        value->type = glsl_type::bool_type;
+      }
+      break;
+   case ir_binop_logic_or:
+      op[0] = ir->operands[0]->constant_expression_value();
+      op[1] = ir->operands[1]->constant_expression_value();
+      if (op[0] && op[1]) {
+        value = new ir_constant(op[0]->value.b[0] || op[1]->value.b[0]);
+        value->type = glsl_type::bool_type;
+      }
+      break;
+   default:
+      break;
+   }
 }