From e3354617a622f99769fdc0b8f54898b4b4b764f0 Mon Sep 17 00:00:00 2001
From: Joshua Warner <joshuawarner32@gmail.com>
Date: Sat, 3 May 2014 20:31:44 -0600
Subject: [PATCH] add type asserts in Compiler::condJump

---
 src/codegen/compiler.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/codegen/compiler.cpp b/src/codegen/compiler.cpp
index 00fc25a5bb..e5f4ddc5b3 100644
--- a/src/codegen/compiler.cpp
+++ b/src/codegen/compiler.cpp
@@ -2634,8 +2634,8 @@ class MyCompiler: public Compiler {
            (isGeneralBranch(op) and isGeneralValue(a) and isGeneralValue(b))or(
                isFloatBranch(op) and isFloatValue(a) and isFloatValue(b)));
 
-    // assert(&c, type.flavor() == a->type.flavor());
-    // assert(&c, type.flavor() == b->type.flavor());
+    assert(&c, type == a->type);
+    assert(&c, type == b->type);
     assert(&c,
            address->type == ir::Type(ir::Type::Integer, TargetBytesPerWord));