diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/target/jvm.lux | 283 |
1 files changed, 0 insertions, 283 deletions
diff --git a/stdlib/source/lux/target/jvm.lux b/stdlib/source/lux/target/jvm.lux deleted file mode 100644 index 4250bf705..000000000 --- a/stdlib/source/lux/target/jvm.lux +++ /dev/null @@ -1,283 +0,0 @@ -(.module: - [lux (#- Type) - [data - [collection - [row (#+ Row)]]] - [target - [jvm - [type (#+ Type) - ["." category (#+ Primitive Class Value Method)]]]]]) - -(type: #export Literal - (#Boolean Bit) - (#Int Int) - (#Long Int) - (#Double Frac) - (#Char Nat) - (#String Text)) - -(type: #export Constant - (#BIPUSH Int) - - (#SIPUSH Int) - - #ICONST_M1 - #ICONST_0 - #ICONST_1 - #ICONST_2 - #ICONST_3 - #ICONST_4 - #ICONST_5 - - #LCONST_0 - #LCONST_1 - - #FCONST_0 - #FCONST_1 - #FCONST_2 - - #DCONST_0 - #DCONST_1 - - #ACONST_NULL - - (#LDC Literal)) - -(type: #export Int_Arithmetic - #IADD - #ISUB - #IMUL - #IDIV - #IREM - #INEG) - -(type: #export Long_Arithmetic - #LADD - #LSUB - #LMUL - #LDIV - #LREM - #LNEG) - -(type: #export Float_Arithmetic - #FADD - #FSUB - #FMUL - #FDIV - #FREM - #FNEG) - -(type: #export Double_Arithmetic - #DADD - #DSUB - #DMUL - #DDIV - #DREM - #DNEG) - -(type: #export Arithmetic - (#Int_Arithmetic Int_Arithmetic) - (#Long_Arithmetic Long_Arithmetic) - (#Float_Arithmetic Float_Arithmetic) - (#Double_Arithmetic Double_Arithmetic)) - -(type: #export Int_Bitwise - #IOR - #IXOR - #IAND - #ISHL - #ISHR - #IUSHR) - -(type: #export Long_Bitwise - #LOR - #LXOR - #LAND - #LSHL - #LSHR - #LUSHR) - -(type: #export Bitwise - (#Int_Bitwise Int_Bitwise) - (#Long_Bitwise Long_Bitwise)) - -(type: #export Conversion - #I2B - #I2S - #I2L - #I2F - #I2D - #I2C - - #L2I - #L2F - #L2D - - #F2I - #F2L - #F2D - - #D2I - #D2L - #D2F) - -(type: #export Array - #ARRAYLENGTH - - (#NEWARRAY (Type Primitive)) - (#ANEWARRAY (Type category.Object)) - - #BALOAD - #BASTORE - - #SALOAD - #SASTORE - - #IALOAD - #IASTORE - - #LALOAD - #LASTORE - - #FALOAD - #FASTORE - - #DALOAD - #DASTORE - - #CALOAD - #CASTORE - - #AALOAD - #AASTORE) - -(type: #export Object - (#GETSTATIC (Type Class) Text (Type Value)) - (#PUTSTATIC (Type Class) Text (Type Value)) - - (#NEW (Type Class)) - - (#INSTANCEOF (Type Class)) - (#CHECKCAST (Type category.Object)) - - (#GETFIELD (Type Class) Text (Type Value)) - (#PUTFIELD (Type Class) Text (Type Value)) - - (#INVOKEINTERFACE (Type Class) Text (Type Method)) - (#INVOKESPECIAL (Type Class) Text (Type Method)) - (#INVOKESTATIC (Type Class) Text (Type Method)) - (#INVOKEVIRTUAL (Type Class) Text (Type Method))) - -(type: #export Register Nat) - -(type: #export Local_Int - (#ILOAD Register) - (#ISTORE Register)) - -(type: #export Local_Long - (#LLOAD Register) - (#LSTORE Register)) - -(type: #export Local_Float - (#FLOAD Register) - (#FSTORE Register)) - -(type: #export Local_Double - (#DLOAD Register) - (#DSTORE Register)) - -(type: #export Local_Object - (#ALOAD Register) - (#ASTORE Register)) - -(type: #export Local - (#Local_Int Local_Int) - (#IINC Register) - (#Local_Long Local_Long) - (#Local_Float Local_Float) - (#Local_Double Local_Double) - (#Local_Object Local_Object)) - -(type: #export Stack - #DUP - #DUP_X1 - #DUP_X2 - #DUP2 - #DUP2_X1 - #DUP2_X2 - #SWAP - #POP - #POP2) - -(type: #export Comparison - #LCMP - - #FCMPG - #FCMPL - - #DCMPG - #DCMPL) - -(type: #export Label Nat) - -(type: #export (Branching label) - (#IF_ICMPEQ label) - (#IF_ICMPGE label) - (#IF_ICMPGT label) - (#IF_ICMPLE label) - (#IF_ICMPLT label) - (#IF_ICMPNE label) - (#IFEQ label) - (#IFNE label) - (#IFGE label) - (#IFGT label) - (#IFLE label) - (#IFLT label) - - (#TABLESWITCH Int Int label (List label)) - (#LOOKUPSWITCH label (List [Int label])) - - (#IF_ACMPEQ label) - (#IF_ACMPNE label) - (#IFNONNULL label) - (#IFNULL label)) - -(type: #export (Exception label) - (#Try label label label (Type Class)) - #ATHROW) - -(type: #export Concurrency - #MONITORENTER - #MONITOREXIT) - -(type: #export Return - #RETURN - #IRETURN - #LRETURN - #FRETURN - #DRETURN - #ARETURN) - -(type: #export (Control label) - (#GOTO label) - (#Branching (Branching label)) - (#Exception (Exception label)) - (#Concurrency Concurrency) - (#Return Return)) - -(type: #export (Instruction embedded label) - #NOP - (#Constant Constant) - (#Arithmetic Arithmetic) - (#Bitwise Bitwise) - (#Conversion Conversion) - (#Array Array) - (#Object Object) - (#Local Local) - (#Stack Stack) - (#Comparison Comparison) - (#Control (Control label)) - (#Embedded embedded)) - -(type: #export (Bytecode embedded label) - (Row (Instruction embedded label))) |