# HG changeset patch
# User Gilles Duboscq <duboscq@ssw.jku.at>
# Date 1416243831 -3600
# Node ID 7defd2fb31207cf6ead1219f8993811931a23be0
# Parent  728637aa02e6757aca4c6bf12f8a5802b76bfe01
Make sure FloatStamps have float bounds

diff -r 728637aa02e6 -r 7defd2fb3120 graal/com.oracle.graal.compiler.common/src/com/oracle/graal/compiler/common/type/FloatStamp.java
--- a/graal/com.oracle.graal.compiler.common/src/com/oracle/graal/compiler/common/type/FloatStamp.java	Wed Nov 12 13:50:08 2014 +0100
+++ b/graal/com.oracle.graal.compiler.common/src/com/oracle/graal/compiler/common/type/FloatStamp.java	Mon Nov 17 18:03:51 2014 +0100
@@ -45,6 +45,7 @@
 
     public FloatStamp(int bits, double lowerBound, double upperBound, boolean nonNaN) {
         super(bits, OPS);
+        assert bits == 64 || (bits == 32 && (Double.isNaN(lowerBound) || (float) lowerBound == lowerBound) && (Double.isNaN(upperBound) || (float) upperBound == upperBound));
         this.lowerBound = lowerBound;
         this.upperBound = upperBound;
         this.nonNaN = nonNaN;