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

Function LDTRH

arch/arm64/disassembler/decode2.c:16047–16111  ·  view source on GitHub ↗

ldtrh.xml */

Source from the content-addressed store, hash-verified

16045
16046/* ldtrh.xml */
16047int LDTRH(context *ctx, Instruction *instr)
16048{
16049 int rc = DECODE_STATUS_UNMATCHED;
16050 /* class iclass_base_plus_offset */
16051 /* size=01|111|V=0|00|opc=01|0|imm9=xxxxxxxxx|10|Rn=xxxxx|Rt=xxxxx */
16052 if((INSWORD & 0xFFE00C00)==0x78400800) {
16053 decode_fields32(ENC_LDTRH_32_LDST_UNPRIV, ctx, instr);
16054 ctx->wback = FALSE;
16055 ctx->postindex = FALSE;
16056 ctx->scale = UINT(ctx->size);
16057 ctx->offset = SignExtend(ctx->imm9,9);
16058 OK(ENC_LDTRH_32_LDST_UNPRIV);
16059 }
16060 /* post-decode pcode */
16061 ctx->n = UINT(ctx->Rn);
16062 ctx->t = UINT(ctx->Rt);
16063 ctx->unpriv_at_el1 = ctx->pstate_el==EL1 && !(EL2Enabled() && HaveNVExt() && CONCAT(ctx->HCR_EL2_NV,ctx->HCR_EL2_NV1,1)==3);
16064 ctx->unpriv_at_el2 = ctx->pstate_el==EL2 && HaveVirtHostExt() && CONCAT(ctx->HCR_EL2_E2H,ctx->HCR_EL2_TGE,1)==3;
16065 ctx->user_access_override = HaveUAOExt() && ctx->pstate_uao==1;
16066 if(!ctx->user_access_override && (ctx->unpriv_at_el1 || ctx->unpriv_at_el2)) {
16067 ctx->acctype = ctx->AccType_UNPRIV;
16068 }
16069 else {
16070 ctx->acctype = ctx->AccType_NORMAL;
16071 }
16072 if(SLICE(ctx->opc,1,1)==0) {
16073 if(SLICE(ctx->opc,0,0)==1) {
16074 ctx->memop = MemOp_LOAD;
16075 };
16076 if(ctx->size==3) {
16077 ctx->regsize = 0x40;
16078 };
16079 ctx->signed_ = FALSE;
16080 }
16081 else {
16082 if(ctx->size==3) {
16083 UNDEFINED;
16084 }
16085 else {
16086 ctx->memop = MemOp_LOAD;
16087 if(ctx->size==2 && SLICE(ctx->opc,0,0)==1) {
16088 UNDEFINED;
16089 }
16090 if(SLICE(ctx->opc,0,0)==1) {
16091 ctx->regsize = 0x20;
16092 };
16093 ctx->signed_ = TRUE;
16094 }
16095 }
16096 ctx->datasize = (8) << (ctx->scale);
16097 ctx->tag_checked = ctx->memop!=MemOp_PREFETCH && (ctx->wback || ctx->n!=0x1f);
16098 ctx->wb_unknown = FALSE;
16099 ctx->rt_unknown = FALSE;
16100 if(ctx->memop==MemOp_LOAD && ctx->wback && ctx->n==ctx->t && ctx->n!=0x1f) {
16101 // assignment from ConstrainUnpredictable()
16102 // assert
16103 // switch on constraint
16104 }

Callers 1

Calls 3

decode_fields32Function · 0.85
SignExtendFunction · 0.85
EL2EnabledFunction · 0.85

Tested by

no test coverage detected