dexlib2/src/main/java/org/jf/dexlib2/util/SyntheticAccessorFSM.java - platform/external/smali - Git at Google


 // line 1 "SyntheticAccessorFSM.rl"
 /*
  * Copyright 2012, Google Inc.
  * All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
  * copyright notice, this list of conditions and the following disclaimer
  * in the documentation and/or other materials provided with the
  * distribution.
  *     * Neither the name of Google Inc. nor the names of its
  * contributors may be used to endorse or promote products derived from
  * this software without specific prior written permission.
  *
  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
  * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
  * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
  * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
  * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
  * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
  * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  */

 package org.jf.dexlib2.util;

 import org.jf.dexlib2.Opcodes;
 import org.jf.dexlib2.iface.instruction.Instruction;
 import org.jf.dexlib2.iface.instruction.OneRegisterInstruction;
 import org.jf.dexlib2.iface.instruction.WideLiteralInstruction;

 import javax.annotation.Nonnull;
 import java.util.List;

 public class SyntheticAccessorFSM {

 // line 43 "SyntheticAccessorFSM.rl"

 // line 48 "/home/jesusfreke/projects/smali/dexlib2/src/main/java/org/jf/dexlib2/util/SyntheticAccessorFSM.java"
 private static byte[] init__SyntheticAccessorFSM_actions_0()
 {
 	return new byte [] {
 	    0,    1,    0,    1,    1,    1,    2,    1,   13,    1,   14,    1,
 	   15,    1,   16,    1,   17,    1,   18,    1,   19,    1,   20,    1,
 	   21,    1,   25,    2,    3,    7,    2,    4,    7,    2,    5,    7,
 	    2,    6,    7,    2,    8,   12,    2,    9,   12,    2,   10,   12,
 	    2,   11,   12,    2,   22,   23,    2,   22,   24,    2,   22,   25,
 	    2,   22,   26,    2,   22,   27,    2,   22,   28
 	};
 }

 private static final byte _SyntheticAccessorFSM_actions[] = init__SyntheticAccessorFSM_actions_0();


 private static short[] init__SyntheticAccessorFSM_key_offsets_0()
 {
 	return new short [] {
 	    0,    0,   12,   82,   98,  102,  104,  166,  172,  174,  180,  184,
 	  190,  192,  196,  198,  201,  203
 	};
 }

 private static final short _SyntheticAccessorFSM_key_offsets[] = init__SyntheticAccessorFSM_key_offsets_0();


 private static short[] init__SyntheticAccessorFSM_trans_keys_0()
 {
 	return new short [] {
 	   82,   88,   89,   95,   96,  102,  103,  109,  110,  114,  116,  120,
 	  145,  146,  147,  148,  149,  150,  151,  152,  153,  154,  155,  156,
 	  157,  158,  159,  160,  161,  162,  163,  164,  165,  166,  167,  168,
 	  169,  170,  171,  172,  173,  174,  175,  177,  179,  180,  181,  182,
 	  183,  184,  185,  186,  187,  188,  190,  191,  192,  193,  194,  195,
 	  196,  197,  198,  199,  201,  202,  203,  204,  206,  207,  208,  216,
 	   15,   17,   18,   25,  129,  143,  144,  176,  178,  205,  144,  145,
 	  155,  156,  166,  167,  171,  172,  176,  177,  187,  188,  198,  199,
 	  203,  204,   89,   95,  103,  109,   15,   17,  145,  146,  147,  148,
 	  149,  150,  151,  152,  153,  154,  155,  156,  157,  158,  159,  160,
 	  161,  162,  163,  164,  165,  166,  167,  168,  169,  170,  171,  172,
 	  173,  174,  175,  177,  179,  180,  181,  182,  183,  184,  185,  186,
 	  187,  188,  190,  191,  192,  193,  194,  195,  196,  197,  198,  199,
 	  201,  202,  203,  204,  206,  207,  144,  176,  178,  205,   89,   95,
 	  103,  109,  129,  143,   15,   17,   89,   95,  103,  109,  129,  143,
 	   89,   95,  103,  109,   89,   95,  103,  109,  129,  143,   15,   17,
 	   89,   95,  103,  109,   15,   17,   14,   10,   12,   15,   17,    0
 	};
 }

 private static final short _SyntheticAccessorFSM_trans_keys[] = init__SyntheticAccessorFSM_trans_keys_0();


 private static byte[] init__SyntheticAccessorFSM_single_lengths_0()
 {
 	return new byte [] {
 	    0,    0,   60,   16,    0,    0,   58,    0,    0,    0,    0,    0,
 	    0,    0,    0,    1,    0,    0
 	};
 }

 private static final byte _SyntheticAccessorFSM_single_lengths[] = init__SyntheticAccessorFSM_single_lengths_0();


 private static byte[] init__SyntheticAccessorFSM_range_lengths_0()
 {
 	return new byte [] {
 	    0,    6,    5,    0,    2,    1,    2,    3,    1,    3,    2,    3,
 	    1,    2,    1,    1,    1,    0
 	};
 }

 private static final byte _SyntheticAccessorFSM_range_lengths[] = init__SyntheticAccessorFSM_range_lengths_0();


 private static short[] init__SyntheticAccessorFSM_index_offsets_0()
 {
 	return new short [] {
 	    0,    0,    7,   73,   90,   93,   95,  156,  160,  162,  166,  169,
 	  173,  175,  178,  180,  183,  185
 	};
 }

 private static final short _SyntheticAccessorFSM_index_offsets[] = init__SyntheticAccessorFSM_index_offsets_0();


 private static byte[] init__SyntheticAccessorFSM_indicies_0()
 {
 	return new byte [] {
 	    0,    2,    0,    2,    3,    3,    1,    8,    9,   10,   11,   12,
 	   13,   14,   15,   16,   17,   18,   19,    9,   10,   11,   12,   13,
 	   14,   15,   16,   17,   20,   21,    9,   10,   11,   22,   23,    9,
 	   10,   11,    8,   10,   11,   12,   13,   14,   15,   16,   17,   18,
 	   19,   10,   11,   12,   13,   14,   15,   16,   17,   20,   21,   10,
 	   11,   22,   23,   10,   11,   24,   24,    4,    5,    6,    7,    9,
 	    1,   25,   26,   27,   28,   29,   30,   31,   32,   25,   26,   27,
 	   28,   29,   30,   31,   32,    1,   33,   33,    1,   34,    1,    8,
 	    9,   10,   11,   12,   13,   14,   15,   16,   17,   18,   19,    9,
 	   10,   11,   12,   13,   14,   15,   16,   17,   20,   21,    9,   10,
 	   11,   22,   23,    9,   10,   11,    8,   10,   11,   12,   13,   14,
 	   15,   16,   17,   18,   19,   10,   11,   12,   13,   14,   15,   16,
 	   17,   20,   21,   10,   11,   22,   23,   10,   11,    7,    9,    1,
 	   35,   35,   36,    1,   37,    1,   35,   35,   38,    1,   35,   35,
 	    1,   39,   39,   40,    1,   41,    1,   39,   39,    1,   42,    1,
 	   44,   43,    1,   45,    1,    1,    0
 	};
 }

 private static final byte _SyntheticAccessorFSM_indicies[] = init__SyntheticAccessorFSM_indicies_0();


 private static byte[] init__SyntheticAccessorFSM_trans_targs_0()
 {
 	return new byte [] {
 	    2,    0,   14,   15,   17,    3,    6,    7,    7,    7,    7,    7,
 	    7,    7,    7,    7,    7,    7,    7,    7,    7,    7,    7,    7,
 	   11,    4,    4,    4,    4,    4,    4,    4,    4,    5,   17,    8,
 	    9,   17,   10,   12,   13,   17,   17,   16,   17,   17
 	};
 }

 private static final byte _SyntheticAccessorFSM_trans_targs[] = init__SyntheticAccessorFSM_trans_targs_0();


 private static byte[] init__SyntheticAccessorFSM_trans_actions_0()
 {
 	return new byte [] {
 	    0,    0,    1,    0,   51,    3,    0,   27,   39,    7,    9,   11,
 	   13,   15,   17,   19,   21,   23,   30,   42,   33,   45,   36,   48,
 	    5,   27,   39,   30,   42,   33,   45,   36,   48,    1,   63,    1,
 	    0,   66,    0,    1,    0,   60,   54,    0,   25,   57
 	};
 }

 private static final byte _SyntheticAccessorFSM_trans_actions[] = init__SyntheticAccessorFSM_trans_actions_0();


 static final int SyntheticAccessorFSM_start = 1;
 static final int SyntheticAccessorFSM_first_final = 17;
 static final int SyntheticAccessorFSM_error = 0;

 static final int SyntheticAccessorFSM_en_main = 1;


 // line 44 "SyntheticAccessorFSM.rl"

     // math type constants
     public static final int ADD = SyntheticAccessorResolver.ADD_ASSIGNMENT;
     public static final int SUB = SyntheticAccessorResolver.SUB_ASSIGNMENT;
     public static final int MUL = SyntheticAccessorResolver.MUL_ASSIGNMENT;
     public static final int DIV = SyntheticAccessorResolver.DIV_ASSIGNMENT;
     public static final int REM = SyntheticAccessorResolver.REM_ASSIGNMENT;
     public static final int AND = SyntheticAccessorResolver.AND_ASSIGNMENT;
     public static final int OR = SyntheticAccessorResolver.OR_ASSIGNMENT;
     public static final int XOR = SyntheticAccessorResolver.XOR_ASSIGNMENT;
     public static final int SHL = SyntheticAccessorResolver.SHL_ASSIGNMENT;
     public static final int SHR = SyntheticAccessorResolver.SHR_ASSIGNMENT;
     public static final int USHR = SyntheticAccessorResolver.USHR_ASSIGNMENT;

     public static final int INT = 0;
     public static final int LONG = 1;
     public static final int FLOAT = 2;
     public static final int DOUBLE = 3;

     public static final int POSITIVE_ONE = 1;
     public static final int NEGATIVE_ONE = -1;
     public static final int OTHER = 0;

     @Nonnull private final Opcodes opcodes;

     public SyntheticAccessorFSM(@Nonnull Opcodes opcodes) {
         this.opcodes = opcodes;
     }

     public int test(List<? extends Instruction> instructions) {
         int accessorType = -1;
         int cs, p = 0;
         int pe = instructions.size();

         // one of the math type constants representing the type of math operation being performed
         int mathOp = -1;

         // for increments an decrements, the type of value the math operation is on
         int mathType = -1;

         // for increments and decrements, the value of the constant that is used
         long constantValue = 0;

         // The source register for the put instruction
         int putRegister = -1;
         // The return register;
         int returnRegister = -1;


 // line 242 "/home/jesusfreke/projects/smali/dexlib2/src/main/java/org/jf/dexlib2/util/SyntheticAccessorFSM.java"
 	{
 	cs = SyntheticAccessorFSM_start;
 	}

 // line 247 "/home/jesusfreke/projects/smali/dexlib2/src/main/java/org/jf/dexlib2/util/SyntheticAccessorFSM.java"
 	{
 	int _klen;
 	int _trans = 0;
 	int _acts;
 	int _nacts;
 	int _keys;
 	int _goto_targ = 0;

 	_goto: while (true) {
 	switch ( _goto_targ ) {
 	case 0:
 	if ( p == pe ) {
 		_goto_targ = 4;
 		continue _goto;
 	}
 	if ( cs == 0 ) {
 		_goto_targ = 5;
 		continue _goto;
 	}
 case 1:
 	_match: do {
 	_keys = _SyntheticAccessorFSM_key_offsets[cs];
 	_trans = _SyntheticAccessorFSM_index_offsets[cs];
 	_klen = _SyntheticAccessorFSM_single_lengths[cs];
 	if ( _klen > 0 ) {
 		int _lower = _keys;
 		int _mid;
 		int _upper = _keys + _klen - 1;
 		while (true) {
 			if ( _upper < _lower )
 				break;

 			_mid = _lower + ((_upper-_lower) >> 1);
 			if ( ( opcodes.getOpcodeValue(instructions.get(p).getOpcode())) < _SyntheticAccessorFSM_trans_keys[_mid] )
 				_upper = _mid - 1;
 			else if ( ( opcodes.getOpcodeValue(instructions.get(p).getOpcode())) > _SyntheticAccessorFSM_trans_keys[_mid] )
 				_lower = _mid + 1;
 			else {
 				_trans += (_mid - _keys);
 				break _match;
 			}
 		}
 		_keys += _klen;
 		_trans += _klen;
 	}

 	_klen = _SyntheticAccessorFSM_range_lengths[cs];
 	if ( _klen > 0 ) {
 		int _lower = _keys;
 		int _mid;
 		int _upper = _keys + (_klen<<1) - 2;
 		while (true) {
 			if ( _upper < _lower )
 				break;

 			_mid = _lower + (((_upper-_lower) >> 1) & ~1);
 			if ( ( opcodes.getOpcodeValue(instructions.get(p).getOpcode())) < _SyntheticAccessorFSM_trans_keys[_mid] )
 				_upper = _mid - 2;
 			else if ( ( opcodes.getOpcodeValue(instructions.get(p).getOpcode())) > _SyntheticAccessorFSM_trans_keys[_mid+1] )
 				_lower = _mid + 2;
 			else {
 				_trans += ((_mid - _keys)>>1);
 				break _match;
 			}
 		}
 		_trans += _klen;
 	}
 	} while (false);

 	_trans = _SyntheticAccessorFSM_indicies[_trans];
 	cs = _SyntheticAccessorFSM_trans_targs[_trans];

 	if ( _SyntheticAccessorFSM_trans_actions[_trans] != 0 ) {
 		_acts = _SyntheticAccessorFSM_trans_actions[_trans];
 		_nacts = (int) _SyntheticAccessorFSM_actions[_acts++];
 		while ( _nacts-- > 0 )
 	{
 			switch ( _SyntheticAccessorFSM_actions[_acts++] )
 			{
 	case 0:
 // line 100 "SyntheticAccessorFSM.rl"
 	{
                 putRegister = ((OneRegisterInstruction)instructions.get(p)).getRegisterA();
             }
 	break;
 	case 1:
 // line 107 "SyntheticAccessorFSM.rl"
 	{
                 constantValue = ((WideLiteralInstruction)instructions.get(p)).getWideLiteral();
             }
 	break;
 	case 2:
 // line 111 "SyntheticAccessorFSM.rl"
 	{
                 mathType = INT;
                 mathOp = ADD;
                 constantValue = ((WideLiteralInstruction)instructions.get(p)).getWideLiteral();
             }
 	break;
 	case 3:
 // line 117 "SyntheticAccessorFSM.rl"
 	{ mathType = INT; }
 	break;
 	case 4:
 // line 118 "SyntheticAccessorFSM.rl"
 	{ mathType = LONG; }
 	break;
 	case 5:
 // line 119 "SyntheticAccessorFSM.rl"
 	{ mathType = FLOAT; }
 	break;
 	case 6:
 // line 120 "SyntheticAccessorFSM.rl"
 	{mathType = DOUBLE; }
 	break;
 	case 7:
 // line 120 "SyntheticAccessorFSM.rl"
 	{
                 mathOp = ADD;
             }
 	break;
 	case 8:
 // line 123 "SyntheticAccessorFSM.rl"
 	{ mathType = INT; }
 	break;
 	case 9:
 // line 124 "SyntheticAccessorFSM.rl"
 	{ mathType = LONG; }
 	break;
 	case 10:
 // line 125 "SyntheticAccessorFSM.rl"
 	{ mathType = FLOAT; }
 	break;
 	case 11:
 // line 126 "SyntheticAccessorFSM.rl"
 	{mathType = DOUBLE; }
 	break;
 	case 12:
 // line 126 "SyntheticAccessorFSM.rl"
 	{
                 mathOp = SUB;
             }
 	break;
 	case 13:
 // line 130 "SyntheticAccessorFSM.rl"
 	{
                 mathOp = MUL;
             }
 	break;
 	case 14:
 // line 134 "SyntheticAccessorFSM.rl"
 	{
                 mathOp = DIV;
             }
 	break;
 	case 15:
 // line 138 "SyntheticAccessorFSM.rl"
 	{
                 mathOp = REM;
             }
 	break;
 	case 16:
 // line 141 "SyntheticAccessorFSM.rl"
 	{
                 mathOp = AND;
             }
 	break;
 	case 17:
 // line 144 "SyntheticAccessorFSM.rl"
 	{
                 mathOp = OR;
             }
 	break;
 	case 18:
 // line 147 "SyntheticAccessorFSM.rl"
 	{
                 mathOp = XOR;
             }
 	break;
 	case 19:
 // line 150 "SyntheticAccessorFSM.rl"
 	{
                 mathOp = SHL;
             }
 	break;
 	case 20:
 // line 153 "SyntheticAccessorFSM.rl"
 	{
                 mathOp = SHR;
             }
 	break;
 	case 21:
 // line 156 "SyntheticAccessorFSM.rl"
 	{
                 mathOp = USHR;
             }
 	break;
 	case 22:
 // line 162 "SyntheticAccessorFSM.rl"
 	{
                 returnRegister = ((OneRegisterInstruction)instructions.get(p)).getRegisterA();
             }
 	break;
 	case 23:
 // line 168 "SyntheticAccessorFSM.rl"
 	{
                 accessorType = SyntheticAccessorResolver.GETTER; { p += 1; _goto_targ = 5; if (true)  continue _goto;}
             }
 	break;
 	case 24:
 // line 172 "SyntheticAccessorFSM.rl"
 	{
                 accessorType = SyntheticAccessorResolver.SETTER; { p += 1; _goto_targ = 5; if (true)  continue _goto;}
             }
 	break;
 	case 25:
 // line 176 "SyntheticAccessorFSM.rl"
 	{
                 accessorType = SyntheticAccessorResolver.METHOD; { p += 1; _goto_targ = 5; if (true)  continue _goto;}
             }
 	break;
 	case 26:
 // line 180 "SyntheticAccessorFSM.rl"
 	{
                 accessorType = getIncrementType(mathOp, mathType, constantValue, putRegister, returnRegister);
             }
 	break;
 	case 27:
 // line 184 "SyntheticAccessorFSM.rl"
 	{
                 accessorType = getIncrementType(mathOp, mathType, constantValue, putRegister, returnRegister);
             }
 	break;
 	case 28:
 // line 192 "SyntheticAccessorFSM.rl"
 	{
                 accessorType = mathOp; { p += 1; _goto_targ = 5; if (true)  continue _goto;}
             }
 	break;
 // line 487 "/home/jesusfreke/projects/smali/dexlib2/src/main/java/org/jf/dexlib2/util/SyntheticAccessorFSM.java"
 			}
 		}
 	}

 case 2:
 	if ( cs == 0 ) {
 		_goto_targ = 5;
 		continue _goto;
 	}
 	if ( ++p != pe ) {
 		_goto_targ = 1;
 		continue _goto;
 	}
 case 4:
 case 5:
 	}
 	break; }
 	}

 // line 205 "SyntheticAccessorFSM.rl"


         return accessorType;
     }

     private static int getIncrementType(int mathOp, int mathType, long constantValue, int putRegister,
             int returnRegister) {
         boolean isPrefix = putRegister == returnRegister;

         boolean negativeConstant = false;

         switch (mathType) {
             case INT:
             case LONG: {
                 if (constantValue == 1) {
                     negativeConstant = false;
                 } else if (constantValue == -1) {
                     negativeConstant = true;
                 } else {
                     return -1;
                 }
                 break;
             }
             case FLOAT: {
                 float val = Float.intBitsToFloat((int)constantValue);
                 if (val == 1) {
                     negativeConstant = false;
                 } else if (val == -1) {
                     negativeConstant = true;
                 } else {
                     return -1;
                 }
                 break;
             }
             case DOUBLE: {
                 double val = Double.longBitsToDouble(constantValue);
                 if (val == 1) {
                     negativeConstant = false;
                 } else if (val == -1) {
                     negativeConstant = true;
                 } else {
                     return -1;
                 }
                 break;
             }
         }

         boolean isAdd = ((mathOp == ADD) && !negativeConstant) ||
                         ((mathOp == SUB) && negativeConstant);

         if (isPrefix) {
             if (isAdd) {
                 return SyntheticAccessorResolver.PREFIX_INCREMENT;
             } else {
                 return SyntheticAccessorResolver.PREFIX_DECREMENT;
             }
         } else {
             if (isAdd) {
                 return SyntheticAccessorResolver.POSTFIX_INCREMENT;
             } else {
                 return SyntheticAccessorResolver.POSTFIX_DECREMENT;
             }
         }
     }
 }

	// line 1 "SyntheticAccessorFSM.rl"
	/*
	* Copyright 2012, Google Inc.
	* All rights reserved.
	*
	* Redistribution and use in source and binary forms, with or without
	* modification, are permitted provided that the following conditions are
	* met:
	*
	* * Redistributions of source code must retain the above copyright
	* notice, this list of conditions and the following disclaimer.
	* * Redistributions in binary form must reproduce the above
	* copyright notice, this list of conditions and the following disclaimer
	* in the documentation and/or other materials provided with the
	* distribution.
	* * Neither the name of Google Inc. nor the names of its
	* contributors may be used to endorse or promote products derived from
	* this software without specific prior written permission.
	*
	* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
	* "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
	* LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
	* A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
	* OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
	* SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
	* LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
	* DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
	* THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
	* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
	* OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
	*/

	package org.jf.dexlib2.util;

	import org.jf.dexlib2.Opcodes;
	import org.jf.dexlib2.iface.instruction.Instruction;
	import org.jf.dexlib2.iface.instruction.OneRegisterInstruction;
	import org.jf.dexlib2.iface.instruction.WideLiteralInstruction;

	import javax.annotation.Nonnull;
	import java.util.List;

	public class SyntheticAccessorFSM {

	// line 43 "SyntheticAccessorFSM.rl"

	// line 48 "/home/jesusfreke/projects/smali/dexlib2/src/main/java/org/jf/dexlib2/util/SyntheticAccessorFSM.java"
	private static byte[] init__SyntheticAccessorFSM_actions_0()
	{
	return new byte [] {
	0, 1, 0, 1, 1, 1, 2, 1, 13, 1, 14, 1,
	15, 1, 16, 1, 17, 1, 18, 1, 19, 1, 20, 1,
	21, 1, 25, 2, 3, 7, 2, 4, 7, 2, 5, 7,
	2, 6, 7, 2, 8, 12, 2, 9, 12, 2, 10, 12,
	2, 11, 12, 2, 22, 23, 2, 22, 24, 2, 22, 25,
	2, 22, 26, 2, 22, 27, 2, 22, 28
	};
	}

	private static final byte _SyntheticAccessorFSM_actions[] = init__SyntheticAccessorFSM_actions_0();


	private static short[] init__SyntheticAccessorFSM_key_offsets_0()
	{
	return new short [] {
	0, 0, 12, 82, 98, 102, 104, 166, 172, 174, 180, 184,
	190, 192, 196, 198, 201, 203
	};
	}

	private static final short _SyntheticAccessorFSM_key_offsets[] = init__SyntheticAccessorFSM_key_offsets_0();


	private static short[] init__SyntheticAccessorFSM_trans_keys_0()
	{
	return new short [] {
	82, 88, 89, 95, 96, 102, 103, 109, 110, 114, 116, 120,
	145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156,
	157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168,
	169, 170, 171, 172, 173, 174, 175, 177, 179, 180, 181, 182,
	183, 184, 185, 186, 187, 188, 190, 191, 192, 193, 194, 195,
	196, 197, 198, 199, 201, 202, 203, 204, 206, 207, 208, 216,
	15, 17, 18, 25, 129, 143, 144, 176, 178, 205, 144, 145,
	155, 156, 166, 167, 171, 172, 176, 177, 187, 188, 198, 199,
	203, 204, 89, 95, 103, 109, 15, 17, 145, 146, 147, 148,
	149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160,
	161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172,
	173, 174, 175, 177, 179, 180, 181, 182, 183, 184, 185, 186,
	187, 188, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199,
	201, 202, 203, 204, 206, 207, 144, 176, 178, 205, 89, 95,
	103, 109, 129, 143, 15, 17, 89, 95, 103, 109, 129, 143,
	89, 95, 103, 109, 89, 95, 103, 109, 129, 143, 15, 17,
	89, 95, 103, 109, 15, 17, 14, 10, 12, 15, 17, 0
	};
	}

	private static final short _SyntheticAccessorFSM_trans_keys[] = init__SyntheticAccessorFSM_trans_keys_0();


	private static byte[] init__SyntheticAccessorFSM_single_lengths_0()
	{
	return new byte [] {
	0, 0, 60, 16, 0, 0, 58, 0, 0, 0, 0, 0,
	0, 0, 0, 1, 0, 0
	};
	}

	private static final byte _SyntheticAccessorFSM_single_lengths[] = init__SyntheticAccessorFSM_single_lengths_0();


	private static byte[] init__SyntheticAccessorFSM_range_lengths_0()
	{
	return new byte [] {
	0, 6, 5, 0, 2, 1, 2, 3, 1, 3, 2, 3,
	1, 2, 1, 1, 1, 0
	};
	}

	private static final byte _SyntheticAccessorFSM_range_lengths[] = init__SyntheticAccessorFSM_range_lengths_0();


	private static short[] init__SyntheticAccessorFSM_index_offsets_0()
	{
	return new short [] {
	0, 0, 7, 73, 90, 93, 95, 156, 160, 162, 166, 169,
	173, 175, 178, 180, 183, 185
	};
	}

	private static final short _SyntheticAccessorFSM_index_offsets[] = init__SyntheticAccessorFSM_index_offsets_0();


	private static byte[] init__SyntheticAccessorFSM_indicies_0()
	{
	return new byte [] {
	0, 2, 0, 2, 3, 3, 1, 8, 9, 10, 11, 12,
	13, 14, 15, 16, 17, 18, 19, 9, 10, 11, 12, 13,
	14, 15, 16, 17, 20, 21, 9, 10, 11, 22, 23, 9,
	10, 11, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18,
	19, 10, 11, 12, 13, 14, 15, 16, 17, 20, 21, 10,
	11, 22, 23, 10, 11, 24, 24, 4, 5, 6, 7, 9,
	1, 25, 26, 27, 28, 29, 30, 31, 32, 25, 26, 27,
	28, 29, 30, 31, 32, 1, 33, 33, 1, 34, 1, 8,
	9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 9,
	10, 11, 12, 13, 14, 15, 16, 17, 20, 21, 9, 10,
	11, 22, 23, 9, 10, 11, 8, 10, 11, 12, 13, 14,
	15, 16, 17, 18, 19, 10, 11, 12, 13, 14, 15, 16,
	17, 20, 21, 10, 11, 22, 23, 10, 11, 7, 9, 1,
	35, 35, 36, 1, 37, 1, 35, 35, 38, 1, 35, 35,
	1, 39, 39, 40, 1, 41, 1, 39, 39, 1, 42, 1,
	44, 43, 1, 45, 1, 1, 0
	};
	}

	private static final byte _SyntheticAccessorFSM_indicies[] = init__SyntheticAccessorFSM_indicies_0();


	private static byte[] init__SyntheticAccessorFSM_trans_targs_0()
	{
	return new byte [] {
	2, 0, 14, 15, 17, 3, 6, 7, 7, 7, 7, 7,
	7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7,
	11, 4, 4, 4, 4, 4, 4, 4, 4, 5, 17, 8,
	9, 17, 10, 12, 13, 17, 17, 16, 17, 17
	};
	}

	private static final byte _SyntheticAccessorFSM_trans_targs[] = init__SyntheticAccessorFSM_trans_targs_0();


	private static byte[] init__SyntheticAccessorFSM_trans_actions_0()
	{
	return new byte [] {
	0, 0, 1, 0, 51, 3, 0, 27, 39, 7, 9, 11,
	13, 15, 17, 19, 21, 23, 30, 42, 33, 45, 36, 48,
	5, 27, 39, 30, 42, 33, 45, 36, 48, 1, 63, 1,
	0, 66, 0, 1, 0, 60, 54, 0, 25, 57
	};
	}

	private static final byte _SyntheticAccessorFSM_trans_actions[] = init__SyntheticAccessorFSM_trans_actions_0();


	static final int SyntheticAccessorFSM_start = 1;
	static final int SyntheticAccessorFSM_first_final = 17;
	static final int SyntheticAccessorFSM_error = 0;

	static final int SyntheticAccessorFSM_en_main = 1;


	// line 44 "SyntheticAccessorFSM.rl"

	// math type constants
	public static final int ADD = SyntheticAccessorResolver.ADD_ASSIGNMENT;
	public static final int SUB = SyntheticAccessorResolver.SUB_ASSIGNMENT;
	public static final int MUL = SyntheticAccessorResolver.MUL_ASSIGNMENT;
	public static final int DIV = SyntheticAccessorResolver.DIV_ASSIGNMENT;
	public static final int REM = SyntheticAccessorResolver.REM_ASSIGNMENT;
	public static final int AND = SyntheticAccessorResolver.AND_ASSIGNMENT;
	public static final int OR = SyntheticAccessorResolver.OR_ASSIGNMENT;
	public static final int XOR = SyntheticAccessorResolver.XOR_ASSIGNMENT;
	public static final int SHL = SyntheticAccessorResolver.SHL_ASSIGNMENT;
	public static final int SHR = SyntheticAccessorResolver.SHR_ASSIGNMENT;
	public static final int USHR = SyntheticAccessorResolver.USHR_ASSIGNMENT;

	public static final int INT = 0;
	public static final int LONG = 1;
	public static final int FLOAT = 2;
	public static final int DOUBLE = 3;

	public static final int POSITIVE_ONE = 1;
	public static final int NEGATIVE_ONE = -1;
	public static final int OTHER = 0;

	@Nonnull private final Opcodes opcodes;

	public SyntheticAccessorFSM(@Nonnull Opcodes opcodes) {
	this.opcodes = opcodes;
	}

	public int test(List<? extends Instruction> instructions) {
	int accessorType = -1;
	int cs, p = 0;
	int pe = instructions.size();

	// one of the math type constants representing the type of math operation being performed
	int mathOp = -1;

	// for increments an decrements, the type of value the math operation is on
	int mathType = -1;

	// for increments and decrements, the value of the constant that is used
	long constantValue = 0;

	// The source register for the put instruction
	int putRegister = -1;
	// The return register;
	int returnRegister = -1;


	// line 242 "/home/jesusfreke/projects/smali/dexlib2/src/main/java/org/jf/dexlib2/util/SyntheticAccessorFSM.java"
	{
	cs = SyntheticAccessorFSM_start;
	}

	// line 247 "/home/jesusfreke/projects/smali/dexlib2/src/main/java/org/jf/dexlib2/util/SyntheticAccessorFSM.java"
	{
	int _klen;
	int _trans = 0;
	int _acts;
	int _nacts;
	int _keys;
	int _goto_targ = 0;

	_goto: while (true) {
	switch ( _goto_targ ) {
	case 0:
	if ( p == pe ) {
	_goto_targ = 4;
	continue _goto;
	}
	if ( cs == 0 ) {
	_goto_targ = 5;
	continue _goto;
	}
	case 1:
	_match: do {
	_keys = _SyntheticAccessorFSM_key_offsets[cs];
	_trans = _SyntheticAccessorFSM_index_offsets[cs];
	_klen = _SyntheticAccessorFSM_single_lengths[cs];
	if ( _klen > 0 ) {
	int _lower = _keys;
	int _mid;
	int _upper = _keys + _klen - 1;
	while (true) {
	if ( _upper < _lower )
	break;

	_mid = _lower + ((_upper-_lower) >> 1);
	if ( ( opcodes.getOpcodeValue(instructions.get(p).getOpcode())) < _SyntheticAccessorFSM_trans_keys[_mid] )
	_upper = _mid - 1;
	else if ( ( opcodes.getOpcodeValue(instructions.get(p).getOpcode())) > _SyntheticAccessorFSM_trans_keys[_mid] )
	_lower = _mid + 1;
	else {
	_trans += (_mid - _keys);
	break _match;
	}
	}
	_keys += _klen;
	_trans += _klen;
	}

	_klen = _SyntheticAccessorFSM_range_lengths[cs];
	if ( _klen > 0 ) {
	int _lower = _keys;
	int _mid;
	int _upper = _keys + (_klen<<1) - 2;
	while (true) {
	if ( _upper < _lower )
	break;

	_mid = _lower + (((_upper-_lower) >> 1) & ~1);
	if ( ( opcodes.getOpcodeValue(instructions.get(p).getOpcode())) < _SyntheticAccessorFSM_trans_keys[_mid] )
	_upper = _mid - 2;
	else if ( ( opcodes.getOpcodeValue(instructions.get(p).getOpcode())) > _SyntheticAccessorFSM_trans_keys[_mid+1] )
	_lower = _mid + 2;
	else {
	_trans += ((_mid - _keys)>>1);
	break _match;
	}
	}
	_trans += _klen;
	}
	} while (false);

	_trans = _SyntheticAccessorFSM_indicies[_trans];
	cs = _SyntheticAccessorFSM_trans_targs[_trans];

	if ( _SyntheticAccessorFSM_trans_actions[_trans] != 0 ) {
	_acts = _SyntheticAccessorFSM_trans_actions[_trans];
	_nacts = (int) _SyntheticAccessorFSM_actions[_acts++];
	while ( _nacts-- > 0 )
	{
	switch ( _SyntheticAccessorFSM_actions[_acts++] )
	{
	case 0:
	// line 100 "SyntheticAccessorFSM.rl"
	{
	putRegister = ((OneRegisterInstruction)instructions.get(p)).getRegisterA();
	}
	break;
	case 1:
	// line 107 "SyntheticAccessorFSM.rl"
	{
	constantValue = ((WideLiteralInstruction)instructions.get(p)).getWideLiteral();
	}
	break;
	case 2:
	// line 111 "SyntheticAccessorFSM.rl"
	{
	mathType = INT;
	mathOp = ADD;
	constantValue = ((WideLiteralInstruction)instructions.get(p)).getWideLiteral();
	}
	break;
	case 3:
	// line 117 "SyntheticAccessorFSM.rl"
	{ mathType = INT; }
	break;
	case 4:
	// line 118 "SyntheticAccessorFSM.rl"
	{ mathType = LONG; }
	break;
	case 5:
	// line 119 "SyntheticAccessorFSM.rl"
	{ mathType = FLOAT; }
	break;
	case 6:
	// line 120 "SyntheticAccessorFSM.rl"
	{mathType = DOUBLE; }
	break;
	case 7:
	// line 120 "SyntheticAccessorFSM.rl"
	{
	mathOp = ADD;
	}
	break;
	case 8:
	// line 123 "SyntheticAccessorFSM.rl"
	{ mathType = INT; }
	break;
	case 9:
	// line 124 "SyntheticAccessorFSM.rl"
	{ mathType = LONG; }
	break;
	case 10:
	// line 125 "SyntheticAccessorFSM.rl"
	{ mathType = FLOAT; }
	break;
	case 11:
	// line 126 "SyntheticAccessorFSM.rl"
	{mathType = DOUBLE; }
	break;
	case 12:
	// line 126 "SyntheticAccessorFSM.rl"
	{
	mathOp = SUB;
	}
	break;
	case 13:
	// line 130 "SyntheticAccessorFSM.rl"
	{
	mathOp = MUL;
	}
	break;
	case 14:
	// line 134 "SyntheticAccessorFSM.rl"
	{
	mathOp = DIV;
	}
	break;
	case 15:
	// line 138 "SyntheticAccessorFSM.rl"
	{
	mathOp = REM;
	}
	break;
	case 16:
	// line 141 "SyntheticAccessorFSM.rl"
	{
	mathOp = AND;
	}
	break;
	case 17:
	// line 144 "SyntheticAccessorFSM.rl"
	{
	mathOp = OR;
	}
	break;
	case 18:
	// line 147 "SyntheticAccessorFSM.rl"
	{
	mathOp = XOR;
	}
	break;
	case 19:
	// line 150 "SyntheticAccessorFSM.rl"
	{
	mathOp = SHL;
	}
	break;
	case 20:
	// line 153 "SyntheticAccessorFSM.rl"
	{
	mathOp = SHR;
	}
	break;
	case 21:
	// line 156 "SyntheticAccessorFSM.rl"
	{
	mathOp = USHR;
	}
	break;
	case 22:
	// line 162 "SyntheticAccessorFSM.rl"
	{
	returnRegister = ((OneRegisterInstruction)instructions.get(p)).getRegisterA();
	}
	break;
	case 23:
	// line 168 "SyntheticAccessorFSM.rl"
	{
	accessorType = SyntheticAccessorResolver.GETTER; { p += 1; _goto_targ = 5; if (true) continue _goto;}
	}
	break;
	case 24:
	// line 172 "SyntheticAccessorFSM.rl"
	{
	accessorType = SyntheticAccessorResolver.SETTER; { p += 1; _goto_targ = 5; if (true) continue _goto;}
	}
	break;
	case 25:
	// line 176 "SyntheticAccessorFSM.rl"
	{
	accessorType = SyntheticAccessorResolver.METHOD; { p += 1; _goto_targ = 5; if (true) continue _goto;}
	}
	break;
	case 26:
	// line 180 "SyntheticAccessorFSM.rl"
	{
	accessorType = getIncrementType(mathOp, mathType, constantValue, putRegister, returnRegister);
	}
	break;
	case 27:
	// line 184 "SyntheticAccessorFSM.rl"
	{
	accessorType = getIncrementType(mathOp, mathType, constantValue, putRegister, returnRegister);
	}
	break;
	case 28:
	// line 192 "SyntheticAccessorFSM.rl"
	{
	accessorType = mathOp; { p += 1; _goto_targ = 5; if (true) continue _goto;}
	}
	break;
	// line 487 "/home/jesusfreke/projects/smali/dexlib2/src/main/java/org/jf/dexlib2/util/SyntheticAccessorFSM.java"
	}
	}
	}

	case 2:
	if ( cs == 0 ) {
	_goto_targ = 5;
	continue _goto;
	}
	if ( ++p != pe ) {
	_goto_targ = 1;
	continue _goto;
	}
	case 4:
	case 5:
	}
	break; }
	}

	// line 205 "SyntheticAccessorFSM.rl"


	return accessorType;
	}

	private static int getIncrementType(int mathOp, int mathType, long constantValue, int putRegister,
	int returnRegister) {
	boolean isPrefix = putRegister == returnRegister;

	boolean negativeConstant = false;

	switch (mathType) {
	case INT:
	case LONG: {
	if (constantValue == 1) {
	negativeConstant = false;
	} else if (constantValue == -1) {
	negativeConstant = true;
	} else {
	return -1;
	}
	break;
	}
	case FLOAT: {
	float val = Float.intBitsToFloat((int)constantValue);
	if (val == 1) {
	negativeConstant = false;
	} else if (val == -1) {
	negativeConstant = true;
	} else {
	return -1;
	}
	break;
	}
	case DOUBLE: {
	double val = Double.longBitsToDouble(constantValue);
	if (val == 1) {
	negativeConstant = false;
	} else if (val == -1) {
	negativeConstant = true;
	} else {
	return -1;
	}
	break;
	}
	}

	boolean isAdd = ((mathOp == ADD) && !negativeConstant) \|\|
	((mathOp == SUB) && negativeConstant);

	if (isPrefix) {
	if (isAdd) {
	return SyntheticAccessorResolver.PREFIX_INCREMENT;
	} else {
	return SyntheticAccessorResolver.PREFIX_DECREMENT;
	}
	} else {
	if (isAdd) {
	return SyntheticAccessorResolver.POSTFIX_INCREMENT;
	} else {
	return SyntheticAccessorResolver.POSTFIX_DECREMENT;
	}
	}
	}
	}