JVM.Builder.Instructions

This module exports shortcuts for some of JVM instructions (which are defined in JVM.Assembler). These functions get Constants, put them into constants pool and generate instruction using index of constant in the pool.

Documentation

nop :: Generator e g => g e ()

aconst_null :: Generator e g => g e ()

iconst_m1 :: Generator e g => g e ()

iconst_0 :: Generator e g => g e ()

iconst_1 :: Generator e g => g e ()

iconst_2 :: Generator e g => g e ()

iconst_3 :: Generator e g => g e ()

iconst_4 :: Generator e g => g e ()

iconst_5 :: Generator e g => g e ()

lconst_0 :: Generator e g => g e ()

lconst_1 :: Generator e g => g e ()

fconst_0 :: Generator e g => g e ()

fconst_1 :: Generator e g => g e ()

fconst_2 :: Generator e g => g e ()

dconst_0 :: Generator e g => g e ()

dconst_1 :: Generator e g => g e ()

bipush :: Generator e g => Word8 -> g e ()

sipush :: Generator e g => Word16 -> g e ()

ldc1 :: Generator e g => Constant Direct -> g e ()

ldc2 :: Generator e g => Constant Direct -> g e ()

ldc2w :: Generator e g => Constant Direct -> g e ()

iload :: Generator e g => Constant Direct -> g e ()

lload :: Generator e g => Constant Direct -> g e ()

fload :: Generator e g => Constant Direct -> g e ()

dload :: Generator e g => Constant Direct -> g e ()

aload :: Generator e g => Constant Direct -> g e ()

iload_ :: Generator e g => IMM -> g e ()

lload_ :: Generator e g => IMM -> g e ()

fload_ :: Generator e g => IMM -> g e ()

dload_ :: Generator e g => IMM -> g e ()

aload_ :: Generator e g => IMM -> g e ()

iaload :: Generator e g => g e ()

laload :: Generator e g => g e ()

faload :: Generator e g => g e ()

daload :: Generator e g => g e ()

aaload :: Generator e g => g e ()

caload :: Generator e g => g e ()

saload :: Generator e g => g e ()

istore :: Generator e g => Constant Direct -> g e ()

lstore :: Generator e g => Constant Direct -> g e ()

fstore :: Generator e g => Constant Direct -> g e ()

dstore :: Generator e g => Constant Direct -> g e ()

astore :: Generator e g => Constant Direct -> g e ()

istore_ :: Generator e g => Word8 -> g e ()

lstore_ :: Generator e g => Word8 -> g e ()

fstore_ :: Generator e g => Word8 -> g e ()

dstore_ :: Generator e g => Word8 -> g e ()

astore_ :: Generator e g => Word8 -> g e ()

iastore :: Generator e g => g e ()

lastore :: Generator e g => g e ()

fastore :: Generator e g => g e ()

dastore :: Generator e g => g e ()

aastore :: Generator e g => g e ()

bastore :: Generator e g => g e ()

castore :: Generator e g => g e ()

sastore :: Generator e g => g e ()

pop :: Generator e g => g e ()

pop2 :: Generator e g => g e ()

dup :: Generator e g => g e ()

dup_x1 :: Generator e g => g e ()

dup_x2 :: Generator e g => g e ()

dup2 :: Generator e g => g e ()

dup2_x1 :: Generator e g => g e ()

dup2_x2 :: Generator e g => g e ()

swap :: Generator e g => g e ()

iadd :: Generator e g => g e ()

ladd :: Generator e g => g e ()

fadd :: Generator e g => g e ()

dadd :: Generator e g => g e ()

isub :: Generator e g => g e ()

lsub :: Generator e g => g e ()

fsub :: Generator e g => g e ()

dsub :: Generator e g => g e ()

imul :: Generator e g => g e ()

lmul :: Generator e g => g e ()

fmul :: Generator e g => g e ()

dmul :: Generator e g => g e ()

idiv :: Generator e g => g e ()

ldiv :: Generator e g => g e ()

fdiv :: Generator e g => g e ()

ddiv :: Generator e g => g e ()

irem :: Generator e g => g e ()

lrem :: Generator e g => g e ()

frem :: Generator e g => g e ()

drem :: Generator e g => g e ()

ineg :: Generator e g => g e ()

lneg :: Generator e g => g e ()

fneg :: Generator e g => g e ()

dneg :: Generator e g => g e ()

ishl :: Generator e g => g e ()

lshl :: Generator e g => g e ()

ishr :: Generator e g => g e ()

lshr :: Generator e g => g e ()

iushr :: Generator e g => g e ()

lushr :: Generator e g => g e ()

iand :: Generator e g => g e ()

land :: Generator e g => g e ()

ior :: Generator e g => g e ()

lor :: Generator e g => g e ()

ixor :: Generator e g => g e ()

lxor :: Generator e g => g e ()

iinc :: Generator e g => Word8 -> Word8 -> g e ()

i2l :: Generator e g => g e ()

i2f :: Generator e g => g e ()

i2d :: Generator e g => g e ()

l2i :: Generator e g => g e ()

l2f :: Generator e g => g e ()

l2d :: Generator e g => g e ()

f2i :: Generator e g => g e ()

f2l :: Generator e g => g e ()

f2d :: Generator e g => g e ()

d2i :: Generator e g => g e ()

d2l :: Generator e g => g e ()

d2f :: Generator e g => g e ()

i2b :: Generator e g => g e ()

i2c :: Generator e g => g e ()

i2s :: Generator e g => g e ()

lcmp :: Generator e g => g e ()

wide :: Generator e g => (Word8 -> Instruction) -> Constant Direct -> g e ()

Wide instruction

new :: Generator e g => ByteString -> g e ()

newArray :: Generator e g => ArrayType -> g e ()

allocNewArray :: Generator e g => ByteString -> g e ()

invokeVirtual :: Generator e g => ByteString -> NameType (Method Direct) -> g e ()

invokeStatic :: Generator e g => ByteString -> NameType (Method Direct) -> g e ()

invokeSpecial :: Generator e g => ByteString -> NameType (Method Direct) -> g e ()

getStaticField :: Generator e g => ByteString -> NameType (Field Direct) -> g e ()

loadString :: Generator e g => String -> g e ()

allocArray :: Generator e g => ByteString -> g e ()