Mercurial > hg > graal-compiler
changeset 15524:901b4440a451
Add two more ObjectStampJoinTest unit tests.
author | Thomas Wuerthinger <thomas.wuerthinger@oracle.com> |
---|---|
date | Wed, 30 Apr 2014 13:36:41 +0200 |
parents | d030e31fe082 |
children | b3fbf52f34be |
files | graal/com.oracle.graal.nodes.test/src/com/oracle/graal/nodes/test/ObjectStampJoinTest.java |
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 Apr 28 10:34:02 2014 +0200 +++ b/graal/com.oracle.graal.nodes.test/src/com/oracle/graal/nodes/test/ObjectStampJoinTest.java Wed Apr 30 13:36:41 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));