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

Function LDXRB

arch/arm64/disassembler/decode2.c:17137–17177  ·  view source on GitHub ↗

ldxrb.xml */

Source from the content-addressed store, hash-verified

17135
17136/* ldxrb.xml */
17137int LDXRB(context *ctx, Instruction *instr)
17138{
17139 int rc = DECODE_STATUS_UNMATCHED;
17140 /* class iclass_base_register */
17141 /* size=00|001000|o2=0|L=1|o1=0|Rs=(1)(1)(1)(1)(1)|o0=0|Rt2=(1)(1)(1)(1)(1)|Rn=xxxxx|Rt=xxxxx */
17142 if((INSWORD & 0xFFE08000)==0x8400000) {
17143 decode_fields32(ENC_LDXRB_LR32_LDSTEXCLR, ctx, instr);
17144 ctx->n = UINT(ctx->Rn);
17145 ctx->t = UINT(ctx->Rt);
17146 ctx->t2 = UINT(ctx->Rt2);
17147 ctx->s = UINT(ctx->Rs);
17148 ctx->acctype = (ctx->o0==1) ? AccType_ORDEREDATOMIC : AccType_ATOMIC;
17149 ctx->pair = FALSE;
17150 ctx->memop = (ctx->L==1) ? MemOp_LOAD : MemOp_STORE;
17151 ctx->elsize = (8) << (UINT(ctx->size));
17152 ctx->regsize = (ctx->elsize==0x40) ? 0x40 : 0x20;
17153 ctx->datasize = (ctx->pair) ? (ctx->elsize) * (2) : ctx->elsize;
17154 ctx->tag_checked = ctx->n!=0x1f;
17155 ctx->rt_unknown = FALSE;
17156 ctx->rn_unknown = FALSE;
17157 if(ctx->memop==MemOp_LOAD && ctx->pair && ctx->t==ctx->t2) {
17158 ctx->c = ConstrainUnpredictable(Unpredictable_LDPOVERLAP);
17159 // assert
17160 // switch on constraint
17161 }
17162 if(ctx->memop==MemOp_STORE) {
17163 if(ctx->s==ctx->t || (ctx->pair && ctx->s==ctx->t2)) {
17164 ctx->c = ConstrainUnpredictable(Unpredictable_DATAOVERLAP);
17165 // assert
17166 // switch on constraint
17167 }
17168 if(ctx->s==ctx->n && ctx->n!=0x1f) {
17169 ctx->c = ConstrainUnpredictable(Unpredictable_BASEOVERLAP);
17170 // assert
17171 // switch on constraint
17172 }
17173 }
17174 OK(ENC_LDXRB_LR32_LDSTEXCLR);
17175 }
17176 return rc;
17177}
17178
17179/* ldxrh.xml */
17180int LDXRH(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