Mercurial > hg > truffle

changeset 18399:7defd2fb3120

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Make sure FloatStamps have float bounds
author Gilles Duboscq <duboscq@ssw.jku.at>
date Mon, 17 Nov 2014 18:03:51 +0100
parents 728637aa02e6
children 43e0f6dfdb4e
files graal/com.oracle.graal.compiler.common/src/com/oracle/graal/compiler/common/type/FloatStamp.java
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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;