MCPcopy Create free account
hub / github.com/Vector35/binaryninja-api / LDAXRH

Function LDAXRH

arch/arm64/disassembler/decode2.c:13602–13642  ·  view source on GitHub ↗

ldaxrh.xml */

Source from the content-addressed store, hash-verified

13600
13601/* ldaxrh.xml */
13602int LDAXRH(context *ctx, Instruction *instr)
13603{
13604 int rc = DECODE_STATUS_UNMATCHED;
13605 /* class iclass_base_register */
13606 /* size=01|001000|o2=0|L=1|o1=0|Rs=(1)(1)(1)(1)(1)|o0=1|Rt2=(1)(1)(1)(1)(1)|Rn=xxxxx|Rt=xxxxx */
13607 if((INSWORD & 0xFFE08000)==0x48408000) {
13608 decode_fields32(ENC_LDAXRH_LR32_LDSTEXCLR, ctx, instr);
13609 ctx->n = UINT(ctx->Rn);
13610 ctx->t = UINT(ctx->Rt);
13611 ctx->t2 = UINT(ctx->Rt2);
13612 ctx->s = UINT(ctx->Rs);
13613 ctx->acctype = (ctx->o0==1) ? AccType_ORDEREDATOMIC : AccType_ATOMIC;
13614 ctx->pair = FALSE;
13615 ctx->memop = (ctx->L==1) ? MemOp_LOAD : MemOp_STORE;
13616 ctx->elsize = (8) << (UINT(ctx->size));
13617 ctx->regsize = (ctx->elsize==0x40) ? 0x40 : 0x20;
13618 ctx->datasize = (ctx->pair) ? (ctx->elsize) * (2) : ctx->elsize;
13619 ctx->tag_checked = ctx->n!=0x1f;
13620 ctx->rt_unknown = FALSE;
13621 ctx->rn_unknown = FALSE;
13622 if(ctx->memop==MemOp_LOAD && ctx->pair && ctx->t==ctx->t2) {
13623 ctx->c = ConstrainUnpredictable(Unpredictable_LDPOVERLAP);
13624 // assert
13625 // switch on constraint
13626 }
13627 if(ctx->memop==MemOp_STORE) {
13628 if(ctx->s==ctx->t || (ctx->pair && ctx->s==ctx->t2)) {
13629 ctx->c = ConstrainUnpredictable(Unpredictable_DATAOVERLAP);
13630 // assert
13631 // switch on constraint
13632 }
13633 if(ctx->s==ctx->n && ctx->n!=0x1f) {
13634 ctx->c = ConstrainUnpredictable(Unpredictable_BASEOVERLAP);
13635 // assert
13636 // switch on constraint
13637 }
13638 }
13639 OK(ENC_LDAXRH_LR32_LDSTEXCLR);
13640 }
13641 return rc;
13642}
13643
13644/* ldclr.xml */
13645int LDCLR(context *ctx, Instruction *instr)

Callers 1

decode_iclass_ldstexclrFunction · 0.85

Calls 2

decode_fields32Function · 0.85
ConstrainUnpredictableFunction · 0.85

Tested by

no test coverage detected