diff options
Diffstat (limited to 'plugins/arm/v7/opdefs/B9316_srs.d')
| -rw-r--r-- | plugins/arm/v7/opdefs/B9316_srs.d | 131 | 
1 files changed, 131 insertions, 0 deletions
diff --git a/plugins/arm/v7/opdefs/B9316_srs.d b/plugins/arm/v7/opdefs/B9316_srs.d new file mode 100644 index 0000000..2fbdb5d --- /dev/null +++ b/plugins/arm/v7/opdefs/B9316_srs.d @@ -0,0 +1,131 @@ + +/* Chrysalide - Outil d'analyse de fichiers binaires + * ##FILE## - traduction d'instructions ARMv7 + * + * Copyright (C) 2017 Cyrille Bagard + * + *  This file is part of Chrysalide. + * + *  Chrysalide is free software; you can redistribute it and/or modify + *  it under the terms of the GNU General Public License as published by + *  the Free Software Foundation; either version 3 of the License, or + *  (at your option) any later version. + * + *  Chrysalide is distributed in the hope that it will be useful, + *  but WITHOUT ANY WARRANTY; without even the implied warranty of + *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the + *  GNU General Public License for more details. + * + *  You should have received a copy of the GNU General Public License + *  along with Chrysalide.  If not, see <http://www.gnu.org/licenses/>. + */ + + +@title SRS (ARM) + +@id 367 + +@desc { + +	Store Return State stores the LR and SPSR of the current mode to the stack of a specified mode. For information about memory accesses see Memory accesses on page A8-294. SRS is: • UNDEFINED in Hyp mode • UNPREDICTABLE if: — it is executed in User or System mode — it attempts to store the Monitor mode SP when in Non-secure state — NSACR.RFR is set to 1 and it attempts to store the FIQ mode SP when in Non-secure state — if it attempts to store the Hyp mode SP. + +} + +@encoding (A1) { + +	@word 1 1 1 1 1 0 0 P(1) U(1) 1 W(1) 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 mode(5) + +	@syntax { + +		@subid 2027 + +		@assert { + +			P == 0 +			U == 0 + +		} + +		@conv { + +			reg_SP = Register(13) +			wb_reg = WrittenBackReg(reg_SP, W) +			direct_mode = UInt(mode) + +		} + +		@asm srsda wb_reg direct_mode + +	} + +	@syntax { + +		@subid 2028 + +		@assert { + +			P == 1 +			U == 0 + +		} + +		@conv { + +			reg_SP = Register(13) +			wb_reg = WrittenBackReg(reg_SP, W) +			direct_mode = UInt(mode) + +		} + +		@asm srsdb wb_reg direct_mode + +	} + +	@syntax { + +		@subid 2029 + +		@assert { + +			P == 0 +			U == 1 + +		} + +		@conv { + +			reg_SP = Register(13) +			wb_reg = WrittenBackReg(reg_SP, W) +			direct_mode = UInt(mode) + +		} + +		@asm srsia wb_reg direct_mode + +	} + +	@syntax { + +		@subid 2030 + +		@assert { + +			P == 1 +			U == 1 + +		} + +		@conv { + +			reg_SP = Register(13) +			wb_reg = WrittenBackReg(reg_SP, W) +			direct_mode = UInt(mode) + +		} + +		@asm srsib wb_reg direct_mode + +	} + +} +  | 
