Assembly: 

BNEC rs, rt, address

nanoMIPS, availability varies by format.

Branch Not Equal, Compact

Purpose:

Branch Not Equal, Compact. PC relative branch to address if register $rs is not equal toregister $rt.

Availability:

nanoMIPS, availability varies by format.

Format:

BNEC[32]

101010

rt

rs

00

s[13:1]

s[14]

6

5

5

2

13

1 

offset = sign_extend(s, from_nbits=15)

BNEC[16], not available in NMS

110110

rs3>=rt3 && u!=0

rt3

rs3

u[4:1]

6

3

3

4 

if C0.Config5.NMS == 1:
    raise exception('RI')
rs = decode_gpr(rs3, 'gpr3')
rt = decode_gpr(rt3, 'gpr3')
offset = u

Operation: 

address = effective_address(CPU.next_pc, offset)
if GPR[rs] != GPR[rt]:
    CPU.next_pc = address

Exceptions:

Reserved Instruction for BNEC[16] format on NMS cores.