Fixing a new bug: Considering parameters with Type and Type array, e.g., T and T[].
[jpf-core.git] / src / main / gov / nasa / jpf / jvm / bytecode /
drwxr-xr-x   ..
-rw-r--r-- 1640 AALOAD.java
-rw-r--r-- 4443 AASTORE.java
-rw-r--r-- 1427 ACONST_NULL.java
-rw-r--r-- 1950 ALOAD.java
-rw-r--r-- 3129 ANEWARRAY.java
-rw-r--r-- 2180 ARETURN.java
-rw-r--r-- 2305 ARRAYLENGTH.java
-rw-r--r-- 1926 ASTORE.java
-rw-r--r-- 1565 ATHROW.java
-rw-r--r-- 3498 ArrayLoadInstruction.java
-rw-r--r-- 3990 ArrayStoreInstruction.java
-rw-r--r-- 1802 BALOAD.java
-rw-r--r-- 1918 BASTORE.java
-rw-r--r-- 1620 BIPUSH.java
-rw-r--r-- 1470 CALOAD.java
-rw-r--r-- 1550 CASTORE.java
-rw-r--r-- 3073 CHECKCAST.java
-rw-r--r-- 1444 D2F.java
-rw-r--r-- 1436 D2I.java
-rw-r--r-- 1441 D2L.java
-rw-r--r-- 1495 DADD.java
-rw-r--r-- 1520 DALOAD.java
-rw-r--r-- 1583 DASTORE.java
-rw-r--r-- 1367 DCMPG.java
-rw-r--r-- 1372 DCMPL.java
-rw-r--r-- 1582 DCONST.java
-rw-r--r-- 1498 DDIV.java
-rw-r--r-- 2571 DIRECTCALLRETURN.java
-rw-r--r-- 1831 DLOAD.java
-rw-r--r-- 1504 DMUL.java
-rw-r--r-- 1428 DNEG.java
-rw-r--r-- 1627 DREM.java
-rw-r--r-- 1628 DRETURN.java
-rw-r--r-- 1850 DSTORE.java
-rw-r--r-- 1504 DSUB.java
-rw-r--r-- 1400 DUP.java
-rw-r--r-- 1451 DUP2.java
-rw-r--r-- 1358 DUP2_X1.java
-rw-r--r-- 1449 DUP2_X2.java
-rw-r--r-- 1458 DUP_X1.java
-rw-r--r-- 1352 DUP_X2.java
-rw-r--r-- 1450 DoubleCompareInstruction.java
-rw-r--r-- 2690 EXECUTENATIVE.java
-rw-r--r-- 1431 F2D.java
-rw-r--r-- 1426 F2I.java
-rw-r--r-- 1432 F2L.java
-rw-r--r-- 1538 FADD.java
-rw-r--r-- 1506 FALOAD.java
-rw-r--r-- 1569 FASTORE.java
-rw-r--r-- 1761 FCMPG.java
-rw-r--r-- 1769 FCMPL.java
-rw-r--r-- 1570 FCONST.java
-rw-r--r-- 1536 FDIV.java
-rw-r--r-- 1561 FINISHCLINIT.java
-rw-r--r-- 1822 FLOAD.java
-rw-r--r-- 1543 FMUL.java
-rw-r--r-- 1427 FNEG.java
-rw-r--r-- 1608 FREM.java
-rw-r--r-- 1981 FRETURN.java
-rw-r--r-- 1901 FSTORE.java
-rw-r--r-- 1497 FSUB.java
-rw-r--r-- 4124 GETFIELD.java
-rw-r--r-- 3743 GETSTATIC.java
-rw-r--r-- 2655 GOTO.java
-rw-r--r-- 1175 GOTO_W.java
-rw-r--r-- 2804 GetHelper.java
-rw-r--r-- 1427 I2B.java
-rw-r--r-- 1427 I2C.java
-rw-r--r-- 1428 I2D.java
-rw-r--r-- 1420 I2F.java
-rw-r--r-- 1418 I2L.java
-rw-r--r-- 1422 I2S.java
-rw-r--r-- 1445 IADD.java
-rw-r--r-- 1478 IALOAD.java
-rw-r--r-- 1449 IAND.java
-rw-r--r-- 1540 IASTORE.java
-rw-r--r-- 1960 ICONST.java
-rw-r--r-- 1604 IDIV.java
-rw-r--r-- 1310 IFEQ.java
-rw-r--r-- 1307 IFGE.java
-rw-r--r-- 1306 IFGT.java
-rw-r--r-- 1306 IFLE.java
-rw-r--r-- 1306 IFLT.java
-rw-r--r-- 1307 IFNE.java
-rw-r--r-- 1351 IFNONNULL.java
-rw-r--r-- 1321 IFNULL.java
-rw-r--r-- 1368 IF_ACMPEQ.java
-rw-r--r-- 1376 IF_ACMPNE.java
-rw-r--r-- 1361 IF_ICMPEQ.java
-rw-r--r-- 1361 IF_ICMPGE.java
-rw-r--r-- 1360 IF_ICMPGT.java
-rw-r--r-- 1361 IF_ICMPLE.java
-rw-r--r-- 1360 IF_ICMPLT.java
-rw-r--r-- 1361 IF_ICMPNE.java
-rw-r--r-- 1942 IINC.java
-rw-r--r-- 1812 ILOAD.java
-rw-r--r-- 1447 IMUL.java
-rw-r--r-- 1407 INEG.java
-rw-r--r-- 2397 INSTANCEOF.java
-rw-r--r-- 4394 INVOKECG.java
-rw-r--r-- 3333 INVOKECLINIT.java
-rw-r--r-- 4359 INVOKEDYNAMIC.java
-rw-r--r-- 1574 INVOKEINTERFACE.java
-rw-r--r-- 4261 INVOKESPECIAL.java
-rw-r--r-- 5724 INVOKESTATIC.java
-rw-r--r-- 1499 INVOKEVIRTUAL.java
-rw-r--r-- 1447 IOR.java
-rw-r--r-- 1571 IREM.java
-rw-r--r-- 1948 IRETURN.java
-rw-r--r-- 1449 ISHL.java
-rw-r--r-- 1462 ISHR.java
-rw-r--r-- 1905 ISTORE.java
-rw-r--r-- 1447 ISUB.java
-rw-r--r-- 1460 IUSHR.java
-rw-r--r-- 1449 IXOR.java
-rw-r--r-- 4587 IfInstruction.java
-rw-r--r-- 2432 InstanceInvocation.java
-rw-r--r-- 19746 InstructionFactory.java
-rw-r--r-- 1656 JSR.java
-rw-r--r-- 1691 JSR_W.java
-rw-r--r-- 3302 JVMArrayElementInstruction.java
-rw-r--r-- 1201 JVMFieldInstruction.java
-rw-r--r-- 1313 JVMInstanceFieldInstruction.java
-rw-r--r-- 1164 JVMInstruction.java
-rw-r--r-- 6813 JVMInstructionVisitor.java
-rw-r--r-- 9057 JVMInstructionVisitorAdapter.java
-rw-r--r-- 8223 JVMInvokeInstruction.java
-rw-r--r-- 2796 JVMLocalVariableInstruction.java
-rw-r--r-- 5860 JVMReturnInstruction.java
-rw-r--r-- 1804 JVMStaticFieldInstruction.java
-rw-r--r-- 1432 L2D.java
-rw-r--r-- 1430 L2F.java
-rw-r--r-- 1428 L2I.java
-rw-r--r-- 1485 LADD.java
-rw-r--r-- 1490 LALOAD.java
-rw-r--r-- 1495 LAND.java
-rw-r--r-- 1552 LASTORE.java
-rw-r--r-- 1698 LCMP.java
-rw-r--r-- 1736 LCONST.java
-rw-r--r-- 3802 LDC.java
-rw-r--r-- 2021 LDC2_W.java
-rw-r--r-- 1372 LDC_W.java
-rw-r--r-- 1613 LDIV.java
-rw-r--r-- 1821 LLOAD.java
-rw-r--r-- 1490 LMUL.java
-rw-r--r-- 1420 LNEG.java
-rw-r--r-- 1536 LOOKUPSWITCH.java
-rw-r--r-- 1491 LOR.java
-rw-r--r-- 1491 LREM.java
-rw-r--r-- 1556 LRETURN.java
-rw-r--r-- 1454 LSHL.java
-rw-r--r-- 1471 LSHR.java
-rw-r--r-- 1907 LSTORE.java
-rw-r--r-- 1490 LSUB.java
-rw-r--r-- 1471 LUSHR.java
-rw-r--r-- 1493 LXOR.java
-rw-r--r-- 1540 LockInstruction.java
-rw-r--r-- 1478 LongArrayLoadInstruction.java
-rw-r--r-- 2110 LongArrayStoreInstruction.java
-rw-r--r-- 3761 LongReturn.java
-rw-r--r-- 3043 MONITORENTER.java
-rw-r--r-- 2482 MONITOREXIT.java
-rw-r--r-- 3642 MULTIANEWARRAY.java
-rw-r--r-- 6155 NATIVERETURN.java
-rw-r--r-- 2966 NEW.java
-rw-r--r-- 3000 NEWARRAY.java
-rw-r--r-- 1303 NOP.java
-rw-r--r-- 1603 NewArrayInstruction.java
-rw-r--r-- 1385 POP.java
-rw-r--r-- 1400 POP2.java
-rw-r--r-- 4615 PUTFIELD.java
-rw-r--r-- 4211 PUTSTATIC.java
-rw-r--r-- 2669 PutHelper.java
-rw-r--r-- 1622 RET.java
-rw-r--r-- 3014 RETURN.java
-rw-r--r-- 1971 RUNSTART.java
-rw-r--r-- 1485 SALOAD.java
-rw-r--r-- 1551 SASTORE.java
-rw-r--r-- 1582 SIPUSH.java
-rw-r--r-- 1427 SWAP.java
-rw-r--r-- 3976 StaticFieldInstruction.java
-rw-r--r-- 4015 SwitchInstruction.java
-rw-r--r-- 2361 TABLESWITCH.java
-rw-r--r-- 6294 VirtualInvocation.java
-rw-r--r-- 1654 WIDE.java