Mercurial > hg > truffle

changeset 19797:9594538080a8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ensure voidness of a @NodeIntrinsic method's return kind agrees with the voidness of the stamp of the intrinsified node
author Doug Simon <doug.simon@oracle.com>
date Wed, 11 Mar 2015 23:23:08 +0100
parents 9cfcbadec537
children 09a22ce2e442
files graal/com.oracle.graal.replacements/src/com/oracle/graal/replacements/DefaultGenericInvocationPlugin.java
diffstat 1 files changed, 4 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/graal/com.oracle.graal.replacements/src/com/oracle/graal/replacements/DefaultGenericInvocationPlugin.java	Wed Mar 11 21:01:10 2015 +0100
+++ b/graal/com.oracle.graal.replacements/src/com/oracle/graal/replacements/DefaultGenericInvocationPlugin.java	Wed Mar 11 23:23:08 2015 +0100
@@ -108,8 +108,11 @@
         }
 
         res = b.append(res);
-        if (res.getKind().getStackKind() != Kind.Void) {
+        if (returnKind != Kind.Void) {
+            assert res.getKind().getStackKind() != Kind.Void;
             b.push(returnKind.getStackKind(), res);
+        } else {
+            assert res.getKind().getStackKind() == Kind.Void;
         }
 
         return true;