overflow         2968 src/dps8/dps8_ins.c             overflow (ovf, true, "aos overflow fault");
overflow         3255 src/dps8/dps8_ins.c             overflow (ovf, false, "adq overflow fault");
overflow         3465 src/dps8/dps8_ins.c             overflow (ovf, false, "lca overflow fault");
overflow         3476 src/dps8/dps8_ins.c             overflow (ovf, false, "lcq overflow fault");
overflow         3496 src/dps8/dps8_ins.c             overflow (ovf, false, "lcxn overflow fault");
overflow         3520 src/dps8/dps8_ins.c                 overflow (true, false, "lcaq overflow fault");
overflow         4253 src/dps8/dps8_ins.c             overflow (ovf, false, "ada overflow fault");
overflow         4274 src/dps8/dps8_ins.c             overflow (ovf, false, "adaq overflow fault");
overflow         4295 src/dps8/dps8_ins.c             overflow (ovf, false, "adl overflow fault");
overflow         4410 src/dps8/dps8_ins.c             overflow (ovf, false, "adxn overflow fault");
overflow         4428 src/dps8/dps8_ins.c             overflow (ovf, true, "asa overflow fault");
overflow         4441 src/dps8/dps8_ins.c             overflow (ovf, true, "asq overflow fault");
overflow         4466 src/dps8/dps8_ins.c             overflow (ovf, true, "asxn overflow fault");
overflow         4485 src/dps8/dps8_ins.c             overflow (ovf, false, "awca overflow fault");
overflow         4504 src/dps8/dps8_ins.c             overflow (ovf, false, "awcq overflow fault");
overflow         4523 src/dps8/dps8_ins.c             overflow (ovf, false, "sba overflow fault");
overflow         4545 src/dps8/dps8_ins.c             overflow (ovf, false, "sbaq overflow fault");
overflow         4645 src/dps8/dps8_ins.c             overflow (ovf, false, "sbq overflow fault");
overflow         4673 src/dps8/dps8_ins.c             overflow (ovf, false, "sbxn overflow fault");
overflow         4687 src/dps8/dps8_ins.c             overflow (ovf, true, "ssa overflow fault");
overflow         4701 src/dps8/dps8_ins.c             overflow (ovf, true, "ssq overflow fault");
overflow         4727 src/dps8/dps8_ins.c             overflow (ovf, true, "ssxn overflow fault");
overflow         4746 src/dps8/dps8_ins.c             overflow (ovf, false, "swca overflow fault");
overflow         4765 src/dps8/dps8_ins.c             overflow (ovf, false, "swcq overflow fault");
overflow         4805 src/dps8/dps8_ins.c                 overflow (true, false, "mpf overflow fault");
overflow         5024 src/dps8/dps8_ins.c               overflow (true, false, "neg overflow fault");
overflow         5055 src/dps8/dps8_ins.c                 overflow (true, false, "negl overflow fault");