Function LDAXP

arch/arm64/disassembler/decode2.c:13471–13512

ldaxp.xml */

/* ldaxp.xml */
int LDAXP(context *ctx, Instruction *instr)
{
	int rc = DECODE_STATUS_UNMATCHED;
	/* class iclass_base_register */
	/* 1|sz=x|001000|o2=0|L=1|o1=1|Rs=(1)(1)(1)(1)(1)|o0=1|Rt2=xxxxx|Rn=xxxxx|Rt=xxxxx */
	if((INSWORD & 0xBFE08000)==0x88608000) {
		decode_fields32(ENC_LDAXP_LP32_LDSTEXCLP, ctx, instr);
		ctx->n = UINT(ctx->Rn);
		ctx->t = UINT(ctx->Rt);
		ctx->t2 = UINT(ctx->Rt2);
		ctx->s = UINT(ctx->Rs);
		ctx->acctype = (ctx->o0==1) ? AccType_ORDEREDATOMIC : AccType_ATOMIC;
		ctx->pair = TRUE;
		ctx->memop = (ctx->L==1) ? MemOp_LOAD : MemOp_STORE;
		ctx->elsize = (0x20) << (UINT(ctx->sz));
		ctx->regsize = (ctx->elsize==0x40) ? 0x40 : 0x20;
		ctx->datasize = (ctx->pair) ? (ctx->elsize) * (2) : ctx->elsize;
		ctx->tag_checked = ctx->n!=0x1f;
		ctx->rt_unknown = FALSE;
		ctx->rn_unknown = FALSE;
		if(ctx->memop==MemOp_LOAD && ctx->pair && ctx->t==ctx->t2) {
			ctx->c = ConstrainUnpredictable(Unpredictable_LDPOVERLAP);
			// assert
			// switch on constraint
		}
		if(ctx->memop==MemOp_STORE) {
			if(ctx->s==ctx->t || (ctx->pair && ctx->s==ctx->t2)) {
				ctx->c = ConstrainUnpredictable(Unpredictable_DATAOVERLAP);
				// assert
				// switch on constraint
			}
			if(ctx->s==ctx->n && ctx->n!=0x1f) {
				ctx->c = ConstrainUnpredictable(Unpredictable_BASEOVERLAP);
				// assert
				// switch on constraint
			}
		}
		if(ctx->sz==0) OK(ENC_LDAXP_LP32_LDSTEXCLP);
		if(ctx->sz==1) OK(ENC_LDAXP_LP64_LDSTEXCLP);
	}
	return rc;
}

/* ldaxr.xml */
int LDAXR(context *ctx, Instruction *instr)