Mercurial > hg > truffle
changeset 15528:a3f897fb3289
Merge.
author | Thomas Wuerthinger <thomas.wuerthinger@oracle.com> |
---|---|
date | Mon, 05 May 2014 22:18:46 +0200 |
parents | ff5cacf47b68 (diff) fbe9e7088e35 (current diff) |
children | c5ce68561b75 |
files | |
diffstat | 1 files changed, 18 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- a/graal/com.oracle.graal.nodes.test/src/com/oracle/graal/nodes/test/ObjectStampJoinTest.java Mon May 05 21:23:25 2014 +0200 +++ b/graal/com.oracle.graal.nodes.test/src/com/oracle/graal/nodes/test/ObjectStampJoinTest.java Mon May 05 22:18:46 2014 +0200 @@ -122,6 +122,24 @@ } @Test + public void testJoin8() { + Stamp bExact = StampFactory.exactNonNull(getType(B.class)); + Stamp dExact = StampFactory.exact(getType(D.class)); + Stamp join = join(bExact, dExact); + Assert.assertFalse(join.isLegal()); + } + + @Test + public void testJoin9() { + Stamp bExact = StampFactory.exact(getType(B.class)); + Stamp dExact = StampFactory.exact(getType(D.class)); + Stamp join = join(bExact, dExact); + Assert.assertTrue(StampTool.isObjectAlwaysNull(join)); + Assert.assertNull(StampTool.typeOrNull(join)); + Assert.assertNull(StampTool.typeOrNull(join)); + } + + @Test public void testJoinInterface0() { Stamp a = StampFactory.declared(getType(A.class)); Stamp b = StampFactory.declared(getType(I.class));