overflow         2948 src/dps8/dps8_ins.c             overflow (ovf, true, "aos overflow fault");
overflow         3235 src/dps8/dps8_ins.c             overflow (ovf, false, "adq overflow fault");
overflow         3445 src/dps8/dps8_ins.c             overflow (ovf, false, "lca overflow fault");
overflow         3456 src/dps8/dps8_ins.c             overflow (ovf, false, "lcq overflow fault");
overflow         3476 src/dps8/dps8_ins.c             overflow (ovf, false, "lcxn overflow fault");
overflow         3500 src/dps8/dps8_ins.c                 overflow (true, false, "lcaq overflow fault");
overflow         4233 src/dps8/dps8_ins.c             overflow (ovf, false, "ada overflow fault");
overflow         4254 src/dps8/dps8_ins.c             overflow (ovf, false, "adaq overflow fault");
overflow         4275 src/dps8/dps8_ins.c             overflow (ovf, false, "adl overflow fault");
overflow         4390 src/dps8/dps8_ins.c             overflow (ovf, false, "adxn overflow fault");
overflow         4408 src/dps8/dps8_ins.c             overflow (ovf, true, "asa overflow fault");
overflow         4421 src/dps8/dps8_ins.c             overflow (ovf, true, "asq overflow fault");
overflow         4446 src/dps8/dps8_ins.c             overflow (ovf, true, "asxn overflow fault");
overflow         4465 src/dps8/dps8_ins.c             overflow (ovf, false, "awca overflow fault");
overflow         4484 src/dps8/dps8_ins.c             overflow (ovf, false, "awcq overflow fault");
overflow         4503 src/dps8/dps8_ins.c             overflow (ovf, false, "sba overflow fault");
overflow         4525 src/dps8/dps8_ins.c             overflow (ovf, false, "sbaq overflow fault");
overflow         4625 src/dps8/dps8_ins.c             overflow (ovf, false, "sbq overflow fault");
overflow         4653 src/dps8/dps8_ins.c             overflow (ovf, false, "sbxn overflow fault");
overflow         4667 src/dps8/dps8_ins.c             overflow (ovf, true, "ssa overflow fault");
overflow         4681 src/dps8/dps8_ins.c             overflow (ovf, true, "ssq overflow fault");
overflow         4707 src/dps8/dps8_ins.c             overflow (ovf, true, "ssxn overflow fault");
overflow         4726 src/dps8/dps8_ins.c             overflow (ovf, false, "swca overflow fault");
overflow         4745 src/dps8/dps8_ins.c             overflow (ovf, false, "swcq overflow fault");
overflow         4785 src/dps8/dps8_ins.c                 overflow (true, false, "mpf overflow fault");
overflow         5004 src/dps8/dps8_ins.c               overflow (true, false, "neg overflow fault");
overflow         5035 src/dps8/dps8_ins.c                 overflow (true, false, "negl overflow fault");