public class IntegerStampTest extends Object
Modifier and Type | Field and Description |
---|---|
private StructuredGraph |
graph |
Constructor and Description |
---|
IntegerStampTest() |
private StructuredGraph graph
public IntegerStampTest()
private static Stamp addIntStamp(Stamp a, Stamp b)
public void before()
public void testBooleanConstant()
public void testByteConstant()
public void testShortConstant()
public void testCharConstant()
public void testIntConstant()
public void testLongConstant()
public void testPositiveRanges()
public void testNegativeRanges()
public void testMixedRanges()
private static Stamp narrowingKindConversion(IntegerStamp stamp, Kind kind)
public void testNarrowingConversions()
public void testXor()
public void testNot()
public void testAddIntSimple()
public void testAddNegativeOverFlowInt1()
public void testAddNegativeOverFlowInt2()
public void testAddPositiveOverFlowInt1()
public void testAddPositiveOverFlowInt2()
public void testAddOverFlowsInt()
public void testAddLongSimple()
public void testAddNegativOverFlowLong1()
public void testAddNegativeOverFlowLong2()
public void testAddPositiveOverFlowLong1()
public void testAddPositiveOverFlowLong2()
public void testAddOverFlowsLong()
public void testAdd1()
public void testAdd2()
public void testAdd3()
public void testAnd()
private static void testSignExtendShort(long lower, long upper)
public void testSignExtend()
private static void testZeroExtendShort(long lower, long upper, long newLower, long newUpper)
public void testZeroExtend()
public void testIllegalJoin()
public void testShiftLeft()