}

func sbfx_sbfm_64m_bitfield_cond(instr uint32) bool {
	return bfxpreferred_4((instr>>31)&0x1, extract_bit((instr>>29)&0x3, 1), (instr>>10)&0x3f, (instr>>16)&0x3f)
}

func tlbi_sys_cr_system_cond(instr uint32) bool {
	return sys_op_4((instr>>16)&0x7, 0x8, (instr>>8)&0xf, (instr>>5)&0x7) == sys_TLBI
}

func ubfiz_ubfm_32m_bitfield_cond(instr uint32) bool {

	// IC <ic>, {<Xt>}
	{0xfff8f000, 0xd5087000, IC, instArgs{arg_sysop_IC_SYS_CR_system}, ic_sys_cr_system_cond},
	// TLBI <tlbi>, {<Xt>}
	{0xfff8f000, 0xd5088000, TLBI, instArgs{arg_sysop_TLBI_SYS_CR_system}, tlbi_sys_cr_system_cond},
	// SYS #<op1>, <Cn>, <Cm>, <op>, {<Xt>}
	{0xfff80000, 0xd5080000, SYS, instArgs{arg_immediate_0_7_op1, arg_Cn, arg_Cm, arg_sysop_SYS_CR_system}, nil},
	// B <label>