Assertion fails on "stp/ldp q0, q1, [x0]"

[dc-mak]

opcode ad{0,4}00400

function memory_pair_simdfp_offset_memory_pair_simdfp_postidx__decode (Rt, Rn, Rt2, imm7, L, V, opc) = {                                                                                                          
    ...                                                                                                                                                                                                      
    let 'scale = 2 + UInt(opc);                                                                                                                                                                                   
    let 'datasize = shl_int(8, scale);                                                                                                                                                                            
    assert(constraint('datasize in {8, 16, 32, 64}));                                                                                                                                                             
    ...                                                                                                                  
}

and similarly for memory_pair_simdfp_preidx_memory_pair_simdfp_postidx__decode but for opcode ad{8,c}f7c1e "stp/ldp q30, q31, [x0, #480]!"

Also, shouldn't 'datasize be in 32 and 64 only because UInt(opc) is either 0 or 1?

[Alasdair]

The constraints are added automatically it doesn't understand anything intricate about shifts and the range of opc, it just knows what is required as a precondition for memory_pair_simdfp_postidx

That said I think maybe opc can be two allowing a 128 bit load.

[Alasdair]

Should be fixed now I think

[Alasdair]

I should add that we will likely need to ensure that the CPTR_EL2, CPACR, and HCR_EL2 registers are set appropriately to allow advanced simd instructions in EL2.