@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 testJoin6() {
   Stamp dExactNonNull = StampFactory.exactNonNull(getType(D.class));
   Stamp alwaysNull = StampFactory.alwaysNull();
   Stamp join = join(alwaysNull, dExactNonNull);
   Assert.assertFalse(join.isLegal());
   Assert.assertFalse(StampTool.isPointerNonNull(join));
   Assert.assertFalse(StampTool.isPointerAlwaysNull(join));
 }
Esempio n. 3
0
 public Stamp getReturnStamp() {
   Stamp returnStamp = null;
   for (ReturnNode returnNode : getNodes(ReturnNode.TYPE)) {
     ValueNode result = returnNode.result();
     if (result != null) {
       if (returnStamp == null) {
         returnStamp = result.stamp();
       } else {
         returnStamp = returnStamp.meet(result.stamp());
       }
     }
   }
   return returnStamp;
 }
Esempio n. 4
0
 @Override
 public boolean inferStamp() {
   return updateStamp(piStamp.improveWith(object().stamp()));
 }