1 -- | This module exports shortcuts for some of JVM instructions (which are defined in JVM.Assembler).
2 -- These functions get Constants, put them into constants pool and generate instruction using index
3 -- of constant in the pool.
4 module JVM.Builder.Instructions where
7 import qualified Data.ByteString.Lazy as B
8 import Codec.Binary.UTF8.String (encodeString)
13 import JVM.Builder.Monad
15 nop :: Generator e g => g e ()
17 aconst_null :: Generator e g => g e ()
18 aconst_null = i0 ACONST_NULL
19 iconst_m1 :: Generator e g => g e ()
20 iconst_m1 = i0 ICONST_M1
21 iconst_0 :: Generator e g => g e ()
22 iconst_0 = i0 ICONST_0
23 iconst_1 :: Generator e g => g e ()
24 iconst_1 = i0 ICONST_1
25 iconst_2 :: Generator e g => g e ()
26 iconst_2 = i0 ICONST_2
27 iconst_3 :: Generator e g => g e ()
28 iconst_3 = i0 ICONST_3
29 iconst_4 :: Generator e g => g e ()
30 iconst_4 = i0 ICONST_4
31 iconst_5 :: Generator e g => g e ()
32 iconst_5 = i0 ICONST_5
33 lconst_0 :: Generator e g => g e ()
34 lconst_0 = i0 LCONST_0
35 lconst_1 :: Generator e g => g e ()
36 lconst_1 = i0 LCONST_1
37 fconst_0 :: Generator e g => g e ()
38 fconst_0 = i0 FCONST_0
39 fconst_1 :: Generator e g => g e ()
40 fconst_1 = i0 FCONST_1
41 fconst_2 :: Generator e g => g e ()
42 fconst_2 = i0 FCONST_2
43 dconst_0 :: Generator e g => g e ()
44 dconst_0 = i0 DCONST_0
45 dconst_1 :: Generator e g => g e ()
46 dconst_1 = i0 DCONST_1
48 bipush :: Generator e g => Word8 -> g e ()
49 bipush x = i0 (BIPUSH x)
50 sipush :: Generator e g => Word16 -> g e ()
51 sipush x = i0 (SIPUSH x)
53 ldc1 :: Generator e g => Constant Direct -> g e ()
55 ldc2 :: Generator e g => Constant Direct -> g e ()
57 ldc2w :: Generator e g => Constant Direct -> g e ()
59 iload :: Generator e g => Constant Direct -> g e ()
61 lload :: Generator e g => Constant Direct -> g e ()
63 fload :: Generator e g => Constant Direct -> g e ()
65 dload :: Generator e g => Constant Direct -> g e ()
67 aload :: Generator e g => Constant Direct -> g e ()
70 iload_ :: Generator e g => IMM -> g e ()
71 iload_ x = i0 (ILOAD_ x)
72 lload_ :: Generator e g => IMM -> g e ()
73 lload_ x = i0 (LLOAD_ x)
74 fload_ :: Generator e g => IMM -> g e ()
75 fload_ x = i0 (FLOAD_ x)
76 dload_ :: Generator e g => IMM -> g e ()
77 dload_ x = i0 (DLOAD_ x)
78 aload_ :: Generator e g => IMM -> g e ()
79 aload_ x = i0 (ALOAD_ x)
81 iaload :: Generator e g => g e ()
83 laload :: Generator e g => g e ()
85 faload :: Generator e g => g e ()
87 daload :: Generator e g => g e ()
89 aaload :: Generator e g => g e ()
91 caload :: Generator e g => g e ()
93 saload :: Generator e g => g e ()
96 istore :: Generator e g => Constant Direct -> g e ()
97 istore x = i8 ISTORE x
98 lstore :: Generator e g => Constant Direct -> g e ()
99 lstore x = i8 LSTORE x
100 fstore :: Generator e g => Constant Direct -> g e ()
101 fstore x = i8 FSTORE x
102 dstore :: Generator e g => Constant Direct -> g e ()
103 dstore x = i8 DSTORE x
104 astore :: Generator e g => Constant Direct -> g e ()
105 astore x = i8 ASTORE x
107 istore_ :: Generator e g => Word8 -> g e ()
108 istore_ x = i0 (ISTORE x)
109 lstore_ :: Generator e g => Word8 -> g e ()
110 lstore_ x = i0 (LSTORE x)
111 fstore_ :: Generator e g => Word8 -> g e ()
112 fstore_ x = i0 (FSTORE x)
113 dstore_ :: Generator e g => Word8 -> g e ()
114 dstore_ x = i0 (DSTORE x)
115 astore_ :: Generator e g => Word8 -> g e ()
116 astore_ x = i0 (ASTORE x)
118 iastore :: Generator e g => g e ()
120 lastore :: Generator e g => g e ()
122 fastore :: Generator e g => g e ()
124 dastore :: Generator e g => g e ()
126 aastore :: Generator e g => g e ()
128 bastore :: Generator e g => g e ()
130 castore :: Generator e g => g e ()
132 sastore :: Generator e g => g e ()
135 pop :: Generator e g => g e ()
137 pop2 :: Generator e g => g e ()
139 dup :: Generator e g => g e ()
141 dup_x1 :: Generator e g => g e ()
143 dup_x2 :: Generator e g => g e ()
145 dup2 :: Generator e g => g e ()
147 dup2_x1 :: Generator e g => g e ()
149 dup2_x2 :: Generator e g => g e ()
151 swap :: Generator e g => g e ()
153 iadd :: Generator e g => g e ()
155 ladd :: Generator e g => g e ()
157 fadd :: Generator e g => g e ()
159 dadd :: Generator e g => g e ()
161 isub :: Generator e g => g e ()
163 lsub :: Generator e g => g e ()
165 fsub :: Generator e g => g e ()
167 dsub :: Generator e g => g e ()
169 imul :: Generator e g => g e ()
171 lmul :: Generator e g => g e ()
173 fmul :: Generator e g => g e ()
175 dmul :: Generator e g => g e ()
177 idiv :: Generator e g => g e ()
179 ldiv :: Generator e g => g e ()
181 fdiv :: Generator e g => g e ()
183 ddiv :: Generator e g => g e ()
185 irem :: Generator e g => g e ()
187 lrem :: Generator e g => g e ()
189 frem :: Generator e g => g e ()
191 drem :: Generator e g => g e ()
193 ineg :: Generator e g => g e ()
195 lneg :: Generator e g => g e ()
197 fneg :: Generator e g => g e ()
199 dneg :: Generator e g => g e ()
201 ishl :: Generator e g => g e ()
203 lshl :: Generator e g => g e ()
205 ishr :: Generator e g => g e ()
207 lshr :: Generator e g => g e ()
209 iushr :: Generator e g => g e ()
211 lushr :: Generator e g => g e ()
213 iand :: Generator e g => g e ()
215 land :: Generator e g => g e ()
217 ior :: Generator e g => g e ()
219 lor :: Generator e g => g e ()
221 ixor :: Generator e g => g e ()
223 lxor :: Generator e g => g e ()
226 iinc :: Generator e g => Word8 -> Word8 -> g e ()
227 iinc x y = i0 (IINC x y)
229 i2l :: Generator e g => g e ()
231 i2f :: Generator e g => g e ()
233 i2d :: Generator e g => g e ()
235 l2i :: Generator e g => g e ()
237 l2f :: Generator e g => g e ()
239 l2d :: Generator e g => g e ()
241 f2i :: Generator e g => g e ()
243 f2l :: Generator e g => g e ()
245 f2d :: Generator e g => g e ()
247 d2i :: Generator e g => g e ()
249 d2l :: Generator e g => g e ()
251 d2f :: Generator e g => g e ()
253 i2b :: Generator e g => g e ()
255 i2c :: Generator e g => g e ()
257 i2s :: Generator e g => g e ()
259 lcmp :: Generator e g => g e ()
262 -- | Wide instruction
263 wide :: Generator e g => (Word8 -> Instruction) -> Constant Direct -> g e ()
266 let ix0 = fromIntegral (ix `div` 0x100) :: Word8
267 ix1 = fromIntegral (ix `mod` 0x100) :: Word8
268 i0 (WIDE ix0 $ fn ix1)
270 new :: Generator e g => B.ByteString -> g e ()
274 newArray :: Generator e g => ArrayType -> g e ()
276 i0 (NEWARRAY $ atype2byte t)
278 allocNewArray :: Generator e g => B.ByteString -> g e ()
280 i1 ANEWARRAY (CClass cls)
282 invokeVirtual :: Generator e g => B.ByteString -> NameType (Method Direct) -> g e ()
283 invokeVirtual cls sig =
284 i1 INVOKEVIRTUAL (CMethod cls sig)
286 invokeStatic :: Generator e g => B.ByteString -> NameType (Method Direct) -> g e ()
287 invokeStatic cls sig =
288 i1 INVOKESTATIC (CMethod cls sig)
290 invokeSpecial :: Generator e g => B.ByteString -> NameType (Method Direct) -> g e ()
291 invokeSpecial cls sig =
292 i1 INVOKESPECIAL (CMethod cls sig)
294 getStaticField :: Generator e g => B.ByteString -> NameType (Field Direct) -> g e ()
295 getStaticField cls sig =
296 i1 GETSTATIC (CField cls sig)
298 loadString :: Generator e g => String -> g e ()
300 i8 LDC1 (CString $ fromString $ encodeString $ str)
302 allocArray :: Generator e g => B.ByteString -> g e ()
304 i1 ANEWARRAY (CClass cls)