ldaxrh.xml */
| 13600 | |
| 13601 | /* ldaxrh.xml */ |
| 13602 | int 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 */ |
| 13645 | int LDCLR(context *ctx, Instruction *instr) |
no test coverage detected