1# Copyright (C) 2007 The Android Open Source Project 2# 3# Licensed under the Apache License, Version 2.0 (the "License"); 4# you may not use this file except in compliance with the License. 5# You may obtain a copy of the License at 6# 7# http://www.apache.org/licenses/LICENSE-2.0 8# 9# Unless required by applicable law or agreed to in writing, software 10# distributed under the License is distributed on an "AS IS" BASIS, 11# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 12# See the License for the specific language governing permissions and 13# limitations under the License. 14 15# 16# Bytecode definition file 17# 18 19# One line per instruction format family. Each line consists of a 20# series of instruction formats that all take (potentially) compatible 21# arguments. The order is the preferred order (most to least 22# preferable) of formats, when more than one opcode could be used for 23# a given instruction's arguments. 24# 25# Note: The family that starts with 12x has a mix of both two- and 26# three- register formats. This is because some of the two-register 27# opcodes effectively take three, with a destination and two sources 28# where the destination and one of the sources have to be the same. 29 30# Regular formats 31format 10t 20t 30t 32format 10x 33format 11n 21s 21h 31i 51l 34format 11x 35format 12x 22x 23x 32x # See note, above. 36format 21c 31c 37format 21t 31t 38format 22b 22s 39format 22c 40format 22t 41format 35c 3rc 42 43# Optimized formats 44format 00x 45format 20bc 46format 22cs 47format 35mi 48format 35ms 49format 3rmi 50format 3rms 51 52# One line per opcode. Columns are: 53# hex for opcode 54# opcode name 55# format 56# has result register; one of: 57# y 58# n 59# index type; one of: 60# unknown -- used for undefined opcodes and breakpoint 61# none 62# varies 63# type-ref 64# string-ref 65# method-ref 66# field-ref 67# inline-method 68# vtable-offset 69# field-offset 70# flags; pipe-combined combo of one or more of: 71# optimized -- optimized; not to be included in unoptimized dex files 72# branch -- might branch to an address 73# continue -- might continue to the next address in sequence 74# switch -- is a switch 75# throw -- might throw an exception 76# return -- is a return from method 77# invoke -- is a method invoke; this is only used for true 78# method invokes and notably *not* vm-implemented 79# execute-inline nor the nop-equivalent 80# invoke-direct-empty 81 82# 83# Regular opcodes (with a couple holes) 84# 85 86op 00 nop 10x n none continue 87op 01 move 12x y none continue 88op 02 move/from16 22x y none continue 89op 03 move/16 32x y none continue 90op 04 move-wide 12x y none continue 91op 05 move-wide/from16 22x y none continue 92op 06 move-wide/16 32x y none continue 93op 07 move-object 12x y none continue 94op 08 move-object/from16 22x y none continue 95op 09 move-object/16 32x y none continue 96op 0a move-result 11x y none continue 97op 0b move-result-wide 11x y none continue 98op 0c move-result-object 11x y none continue 99op 0d move-exception 11x y none continue 100op 0e return-void 10x n none return 101op 0f return 11x n none return 102op 10 return-wide 11x n none return 103op 11 return-object 11x n none return 104op 12 const/4 11n y none continue 105op 13 const/16 21s y none continue 106op 14 const 31i y none continue 107op 15 const/high16 21h y none continue 108op 16 const-wide/16 21s y none continue 109op 17 const-wide/32 31i y none continue 110op 18 const-wide 51l y none continue 111op 19 const-wide/high16 21h y none continue 112op 1a const-string 21c y string-ref continue|throw 113op 1b const-string/jumbo 31c y string-ref continue|throw 114op 1c const-class 21c y type-ref continue|throw 115op 1d monitor-enter 11x n none continue|throw 116op 1e monitor-exit 11x n none continue|throw 117op 1f check-cast 21c y type-ref continue|throw 118op 20 instance-of 22c y type-ref continue|throw 119op 21 array-length 12x y none continue|throw 120op 22 new-instance 21c y type-ref continue|throw 121op 23 new-array 22c y type-ref continue|throw 122op 24 filled-new-array 35c n type-ref continue|throw 123op 25 filled-new-array/range 3rc n type-ref continue|throw 124op 26 fill-array-data 31t n none continue 125op 27 throw 11x n none throw 126op 28 goto 10t n none branch 127op 29 goto/16 20t n none branch 128op 2a goto/32 30t n none branch 129op 2b packed-switch 31t n none continue|switch 130op 2c sparse-switch 31t n none continue|switch 131op 2d cmpl-float 23x y none continue 132op 2e cmpg-float 23x y none continue 133op 2f cmpl-double 23x y none continue 134op 30 cmpg-double 23x y none continue 135op 31 cmp-long 23x y none continue 136op 32 if-eq 22t n none continue|branch 137op 33 if-ne 22t n none continue|branch 138op 34 if-lt 22t n none continue|branch 139op 35 if-ge 22t n none continue|branch 140op 36 if-gt 22t n none continue|branch 141op 37 if-le 22t n none continue|branch 142op 38 if-eqz 21t n none continue|branch 143op 39 if-nez 21t n none continue|branch 144op 3a if-ltz 21t n none continue|branch 145op 3b if-gez 21t n none continue|branch 146op 3c if-gtz 21t n none continue|branch 147op 3d if-lez 21t n none continue|branch 148# unused: op 3e..43 149op 44 aget 23x y none continue|throw 150op 45 aget-wide 23x y none continue|throw 151op 46 aget-object 23x y none continue|throw 152op 47 aget-boolean 23x y none continue|throw 153op 48 aget-byte 23x y none continue|throw 154op 49 aget-char 23x y none continue|throw 155op 4a aget-short 23x y none continue|throw 156op 4b aput 23x n none continue|throw 157op 4c aput-wide 23x n none continue|throw 158op 4d aput-object 23x n none continue|throw 159op 4e aput-boolean 23x n none continue|throw 160op 4f aput-byte 23x n none continue|throw 161op 50 aput-char 23x n none continue|throw 162op 51 aput-short 23x n none continue|throw 163op 52 iget 22c y field-ref continue|throw 164op 53 iget-wide 22c y field-ref continue|throw 165op 54 iget-object 22c y field-ref continue|throw 166op 55 iget-boolean 22c y field-ref continue|throw 167op 56 iget-byte 22c y field-ref continue|throw 168op 57 iget-char 22c y field-ref continue|throw 169op 58 iget-short 22c y field-ref continue|throw 170op 59 iput 22c n field-ref continue|throw 171op 5a iput-wide 22c n field-ref continue|throw 172op 5b iput-object 22c n field-ref continue|throw 173op 5c iput-boolean 22c n field-ref continue|throw 174op 5d iput-byte 22c n field-ref continue|throw 175op 5e iput-char 22c n field-ref continue|throw 176op 5f iput-short 22c n field-ref continue|throw 177op 60 sget 21c y field-ref continue|throw 178op 61 sget-wide 21c y field-ref continue|throw 179op 62 sget-object 21c y field-ref continue|throw 180op 63 sget-boolean 21c y field-ref continue|throw 181op 64 sget-byte 21c y field-ref continue|throw 182op 65 sget-char 21c y field-ref continue|throw 183op 66 sget-short 21c y field-ref continue|throw 184op 67 sput 21c n field-ref continue|throw 185op 68 sput-wide 21c n field-ref continue|throw 186op 69 sput-object 21c n field-ref continue|throw 187op 6a sput-boolean 21c n field-ref continue|throw 188op 6b sput-byte 21c n field-ref continue|throw 189op 6c sput-char 21c n field-ref continue|throw 190op 6d sput-short 21c n field-ref continue|throw 191op 6e invoke-virtual 35c n method-ref continue|throw|invoke 192op 6f invoke-super 35c n method-ref continue|throw|invoke 193op 70 invoke-direct 35c n method-ref continue|throw|invoke 194op 71 invoke-static 35c n method-ref continue|throw|invoke 195op 72 invoke-interface 35c n method-ref continue|throw|invoke 196# unused: op 73 197op 74 invoke-virtual/range 3rc n method-ref continue|throw|invoke 198op 75 invoke-super/range 3rc n method-ref continue|throw|invoke 199op 76 invoke-direct/range 3rc n method-ref continue|throw|invoke 200op 77 invoke-static/range 3rc n method-ref continue|throw|invoke 201op 78 invoke-interface/range 3rc n method-ref continue|throw|invoke 202# unused: op 79..7a 203op 7b neg-int 12x y none continue 204op 7c not-int 12x y none continue 205op 7d neg-long 12x y none continue 206op 7e not-long 12x y none continue 207op 7f neg-float 12x y none continue 208op 80 neg-double 12x y none continue 209op 81 int-to-long 12x y none continue 210op 82 int-to-float 12x y none continue 211op 83 int-to-double 12x y none continue 212op 84 long-to-int 12x y none continue 213op 85 long-to-float 12x y none continue 214op 86 long-to-double 12x y none continue 215op 87 float-to-int 12x y none continue 216op 88 float-to-long 12x y none continue 217op 89 float-to-double 12x y none continue 218op 8a double-to-int 12x y none continue 219op 8b double-to-long 12x y none continue 220op 8c double-to-float 12x y none continue 221op 8d int-to-byte 12x y none continue 222op 8e int-to-char 12x y none continue 223op 8f int-to-short 12x y none continue 224op 90 add-int 23x y none continue 225op 91 sub-int 23x y none continue 226op 92 mul-int 23x y none continue 227op 93 div-int 23x y none continue|throw 228op 94 rem-int 23x y none continue|throw 229op 95 and-int 23x y none continue 230op 96 or-int 23x y none continue 231op 97 xor-int 23x y none continue 232op 98 shl-int 23x y none continue 233op 99 shr-int 23x y none continue 234op 9a ushr-int 23x y none continue 235op 9b add-long 23x y none continue 236op 9c sub-long 23x y none continue 237op 9d mul-long 23x y none continue 238op 9e div-long 23x y none continue|throw 239op 9f rem-long 23x y none continue|throw 240op a0 and-long 23x y none continue 241op a1 or-long 23x y none continue 242op a2 xor-long 23x y none continue 243op a3 shl-long 23x y none continue 244op a4 shr-long 23x y none continue 245op a5 ushr-long 23x y none continue 246op a6 add-float 23x y none continue 247op a7 sub-float 23x y none continue 248op a8 mul-float 23x y none continue 249op a9 div-float 23x y none continue 250op aa rem-float 23x y none continue 251op ab add-double 23x y none continue 252op ac sub-double 23x y none continue 253op ad mul-double 23x y none continue 254op ae div-double 23x y none continue 255op af rem-double 23x y none continue 256op b0 add-int/2addr 12x y none continue 257op b1 sub-int/2addr 12x y none continue 258op b2 mul-int/2addr 12x y none continue 259op b3 div-int/2addr 12x y none continue|throw 260op b4 rem-int/2addr 12x y none continue|throw 261op b5 and-int/2addr 12x y none continue 262op b6 or-int/2addr 12x y none continue 263op b7 xor-int/2addr 12x y none continue 264op b8 shl-int/2addr 12x y none continue 265op b9 shr-int/2addr 12x y none continue 266op ba ushr-int/2addr 12x y none continue 267op bb add-long/2addr 12x y none continue 268op bc sub-long/2addr 12x y none continue 269op bd mul-long/2addr 12x y none continue 270op be div-long/2addr 12x y none continue|throw 271op bf rem-long/2addr 12x y none continue|throw 272op c0 and-long/2addr 12x y none continue 273op c1 or-long/2addr 12x y none continue 274op c2 xor-long/2addr 12x y none continue 275op c3 shl-long/2addr 12x y none continue 276op c4 shr-long/2addr 12x y none continue 277op c5 ushr-long/2addr 12x y none continue 278op c6 add-float/2addr 12x y none continue 279op c7 sub-float/2addr 12x y none continue 280op c8 mul-float/2addr 12x y none continue 281op c9 div-float/2addr 12x y none continue 282op ca rem-float/2addr 12x y none continue 283op cb add-double/2addr 12x y none continue 284op cc sub-double/2addr 12x y none continue 285op cd mul-double/2addr 12x y none continue 286op ce div-double/2addr 12x y none continue 287op cf rem-double/2addr 12x y none continue 288op d0 add-int/lit16 22s y none continue 289op d1 rsub-int 22s y none continue 290op d2 mul-int/lit16 22s y none continue 291op d3 div-int/lit16 22s y none continue|throw 292op d4 rem-int/lit16 22s y none continue|throw 293op d5 and-int/lit16 22s y none continue 294op d6 or-int/lit16 22s y none continue 295op d7 xor-int/lit16 22s y none continue 296op d8 add-int/lit8 22b y none continue 297op d9 rsub-int/lit8 22b y none continue 298op da mul-int/lit8 22b y none continue 299op db div-int/lit8 22b y none continue|throw 300op dc rem-int/lit8 22b y none continue|throw 301op dd and-int/lit8 22b y none continue 302op de or-int/lit8 22b y none continue 303op df xor-int/lit8 22b y none continue 304op e0 shl-int/lit8 22b y none continue 305op e1 shr-int/lit8 22b y none continue 306op e2 ushr-int/lit8 22b y none continue 307 308# 309# Optimized opcodes (not valid in an unoptimized dex file) 310# 311 312op e3 +iget-volatile 22c y field-ref optimized|continue|throw 313op e4 +iput-volatile 22c n field-ref optimized|continue|throw 314op e5 +sget-volatile 21c y field-ref optimized|continue|throw 315op e6 +sput-volatile 21c n field-ref optimized|continue|throw 316op e7 +iget-object-volatile 22c y field-ref optimized|continue|throw 317op e8 +iget-wide-volatile 22c y field-ref optimized|continue|throw 318op e9 +iput-wide-volatile 22c n field-ref optimized|continue|throw 319op ea +sget-wide-volatile 21c y field-ref optimized|continue|throw 320op eb +sput-wide-volatile 21c n field-ref optimized|continue|throw 321 322# Technically "breakpoint" isn't really an optimized opcode, but it 323# fits the label in terms of not being valid in regular dex files. 324op ec ^breakpoint 00x n unknown optimized 325 326op ed ^throw-verification-error 20bc n varies optimized|throw 327op ee +execute-inline 35mi n inline-method optimized|continue|throw 328op ef +execute-inline/range 3rmi n inline-method optimized|continue|throw 329 330op f0 +invoke-object-init/range 35c n method-ref optimized|continue|throw|invoke 331op f1 +return-void-barrier 10x n none optimized|return 332op f2 +iget-quick 22cs y field-offset optimized|continue|throw 333op f3 +iget-wide-quick 22cs y field-offset optimized|continue|throw 334op f4 +iget-object-quick 22cs y field-offset optimized|continue|throw 335op f5 +iput-quick 22cs n field-offset optimized|continue|throw 336op f6 +iput-wide-quick 22cs n field-offset optimized|continue|throw 337op f7 +iput-object-quick 22cs n field-offset optimized|continue|throw 338op f8 +invoke-virtual-quick 35ms n vtable-offset optimized|continue|throw|invoke 339op f9 +invoke-virtual-quick/range 3rms n vtable-offset optimized|continue|throw|invoke 340op fa +invoke-super-quick 35ms n vtable-offset optimized|continue|throw|invoke 341op fb +invoke-super-quick/range 3rms n vtable-offset optimized|continue|throw|invoke 342op fc +iput-object-volatile 22c n field-ref optimized|continue|throw 343op fd +sget-object-volatile 21c y field-ref optimized|continue|throw 344op fe +sput-object-volatile 21c n field-ref optimized|continue|throw 345 346# unused: op ff 347