Function STTRH

arch/arm64/disassembler/decode2.c:26320–26384

sttrh.xml */

/* sttrh.xml */
int STTRH(context *ctx, Instruction *instr)
{
	int rc = DECODE_STATUS_UNMATCHED;
	/* class iclass_base_plus_offset */
	/* size=01|111|V=0|00|opc=00|0|imm9=xxxxxxxxx|10|Rn=xxxxx|Rt=xxxxx */
	if((INSWORD & 0xFFE00C00)==0x78000800) {
		decode_fields32(ENC_STTRH_32_LDST_UNPRIV, ctx, instr);
		ctx->wback = FALSE;
		ctx->postindex = FALSE;
		ctx->scale = UINT(ctx->size);
		ctx->offset = SignExtend(ctx->imm9,9);
		OK(ENC_STTRH_32_LDST_UNPRIV);
	}
	/* post-decode pcode */
	ctx->n = UINT(ctx->Rn);
	ctx->t = UINT(ctx->Rt);
	ctx->unpriv_at_el1 = ctx->pstate_el==EL1 && !(EL2Enabled() && HaveNVExt() && CONCAT(ctx->HCR_EL2_NV,ctx->HCR_EL2_NV1,1)==3);
	ctx->unpriv_at_el2 = ctx->pstate_el==EL2 && HaveVirtHostExt() && CONCAT(ctx->HCR_EL2_E2H,ctx->HCR_EL2_TGE,1)==3;
	ctx->user_access_override = HaveUAOExt() && ctx->pstate_uao==1;
	if(!ctx->user_access_override && (ctx->unpriv_at_el1 || ctx->unpriv_at_el2)) {
		ctx->acctype = ctx->AccType_UNPRIV;
	}
	else {
		ctx->acctype = ctx->AccType_NORMAL;
	}
	if(SLICE(ctx->opc,1,1)==0) {
		if(SLICE(ctx->opc,0,0)==1) {
			ctx->memop = MemOp_LOAD;
		};
		if(ctx->size==3) {
			ctx->regsize = 0x40;
		};
		ctx->signed_ = FALSE;
	}
	else {
		if(ctx->size==3) {
			UNDEFINED;
		}
		else {
			ctx->memop = MemOp_LOAD;
			if(ctx->size==2 && SLICE(ctx->opc,0,0)==1) {
				UNDEFINED;
			}
			if(SLICE(ctx->opc,0,0)==1) {
				ctx->regsize = 0x20;
			};
			ctx->signed_ = TRUE;
		}
	}
	ctx->datasize = (8) << (ctx->scale);
	ctx->tag_checked = ctx->memop!=MemOp_PREFETCH && (ctx->wback || ctx->n!=0x1f);
	ctx->wb_unknown = FALSE;
	ctx->rt_unknown = FALSE;
	if(ctx->memop==MemOp_LOAD && ctx->wback && ctx->n==ctx->t && ctx->n!=0x1f) {
		// assignment from ConstrainUnpredictable()
		// assert
		// switch on constraint
	}