riscv/model/riscv.sml

3484 fun signalException e =
3519     signalException e
4413     then signalException Illegal_Instr
4507     then signalException Illegal_Instr
4520     then signalException Illegal_Instr
4540     then signalException Illegal_Instr
4560     then signalException Illegal_Instr
4579     then signalException Illegal_Instr
4598     then signalException Illegal_Instr
4657     then signalException Illegal_Instr
4689     then signalException Illegal_Instr
4819     then signalException Illegal_Instr
4878     then signalException Illegal_Instr
4937     then signalException Illegal_Instr
5044     then signalException Illegal_Instr
5156     then signalException Illegal_Instr
5188     then signalException Illegal_Instr
5218     then signalException Illegal_Instr
5250     then signalException Illegal_Instr
5479     then signalException Illegal_Instr
5612     then signalException Illegal_Instr
5732     then signalException Illegal_Instr
5797     then signalException Illegal_Instr
5877     then signalException Illegal_Instr
7010    | NONE => signalException Illegal_Instr;
7016    | NONE => signalException Illegal_Instr;
7022    | NONE => signalException Illegal_Instr;
7028    | NONE => signalException Illegal_Instr;
7033    | NONE => signalException Illegal_Instr;
7078    | NONE => signalException Illegal_Instr;
7087    | NONE => signalException Illegal_Instr;
7097    | NONE => signalException Illegal_Instr;
7107    | NONE => signalException Illegal_Instr;
7114    | NONE => signalException Illegal_Instr;
7125    | NONE => signalException Illegal_Instr;
7152    | NONE => signalException Illegal_Instr;
7179    | NONE => signalException Illegal_Instr;
7184    | NONE => signalException Illegal_Instr;
7191    | NONE => signalException Illegal_Instr;
7218    | NONE => signalException Illegal_Instr;
7245    | NONE => signalException Illegal_Instr;
7500    | NONE => signalException Illegal_Instr;
7506    | NONE => signalException Illegal_Instr;
7512    | NONE => signalException Illegal_Instr;
7518    | NONE => signalException Illegal_Instr;
7523    | NONE => signalException Illegal_Instr;
7568    | NONE => signalException Illegal_Instr;
7577    | NONE => signalException Illegal_Instr;
7587    | NONE => signalException Illegal_Instr;
7597    | NONE => signalException Illegal_Instr;
7604    | NONE => signalException Illegal_Instr;
7615    | NONE => signalException Illegal_Instr;
7642    | NONE => signalException Illegal_Instr;
7669    | NONE => signalException Illegal_Instr;
7674    | NONE => signalException Illegal_Instr;
7681    | NONE => signalException Illegal_Instr;
7708    | NONE => signalException Illegal_Instr;
7735    | NONE => signalException Illegal_Instr;
7740    | NONE => signalException Illegal_Instr;
7745    | NONE => signalException Illegal_Instr;
7942 fun dfn'EBREAK () = signalException Breakpoint;
7995   else signalException Illegal_Instr;
8013   else signalException Illegal_Instr;
8031   else signalException Illegal_Instr;
8050   else signalException Illegal_Instr;
8069   else signalException Illegal_Instr;
8090   else signalException Illegal_Instr;
8100 fun dfn'UnknownInstruction () = signalException Illegal_Instr;