aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/target/jvm.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/lux/target/jvm.lux283
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)))