| Test div extensions |
| #0: divde: 0x0000000000000004 / 0xfffffffffffffffc = 0x0000000000000000; CR=0; XER=0 |
| #1: divde: 0x0000000000000004 / 0xfffffffffffffffd = 0x0000000000000000; CR=0; XER=0 |
| #2: divde: 0x0000000000000004 / 0x0000000000000004 = 0x0000000000000000; CR=0; XER=0 |
| #3: divde: 0x0000000000000004 / 0xfffffffffffffffb = 0x0000000000000000; CR=0; XER=0 |
| #4: divde: 0x0000000000000003 / 0x0000000000000008 = 0x6000000000000000; CR=0; XER=0 |
| #5: divde: 0x8000000000000000 / 0x000000000000000a = 0x0000000000000000; CR=0; XER=0 |
| #6: divde: 0x000000000000050c / 0xffffffffffffffff = 0x0000000000000000; CR=0; XER=0 |
| #7: divde: 0x000000000000050c / 0xfffffffffffff000 = 0xaf40000000000000; CR=0; XER=0 |
| #8: divde: 0x000000001234fedc / 0x000000008000a873 = 0x2469cdcc6ad4ce20; CR=0; XER=0 |
| #9: divde: 0xabcd87651234fedc / 0x00000000a123b893 = 0x0000000000000000; CR=0; XER=0 |
| #10: divde: 0x000123456789abdc / 0x0000000000000000 = 0x0000000000000000; CR=0; XER=0 |
| #11: divde: 0x0000000000000000 / 0x0000000000000002 = 0x0000000000000000; CR=0; XER=0 |
| #12: divde: 0x0000000000000077 / 0x00000000000a3499 = 0x000ba911a321dcca; CR=0; XER=0 |
| |
| #0: divde.: 0x0000000000000004 / 0xfffffffffffffffc = 0x0000000000000000; CR=2; XER=0 |
| #1: divde.: 0x0000000000000004 / 0xfffffffffffffffd = 0x0000000000000000; CR=2; XER=0 |
| #2: divde.: 0x0000000000000004 / 0x0000000000000004 = 0x0000000000000000; CR=2; XER=0 |
| #3: divde.: 0x0000000000000004 / 0xfffffffffffffffb = 0x0000000000000000; CR=2; XER=0 |
| #4: divde.: 0x0000000000000003 / 0x0000000000000008 = 0x6000000000000000; CR=4; XER=0 |
| #5: divde.: 0x8000000000000000 / 0x000000000000000a = 0x0000000000000000; CR=2; XER=0 |
| #6: divde.: 0x000000000000050c / 0xffffffffffffffff = 0x0000000000000000; CR=2; XER=0 |
| #7: divde.: 0x000000000000050c / 0xfffffffffffff000 = 0xaf40000000000000; CR=8; XER=0 |
| #8: divde.: 0x000000001234fedc / 0x000000008000a873 = 0x2469cdcc6ad4ce20; CR=4; XER=0 |
| #9: divde.: 0xabcd87651234fedc / 0x00000000a123b893 = 0x0000000000000000; CR=2; XER=0 |
| #10: divde.: 0x000123456789abdc / 0x0000000000000000 = 0x0000000000000000; CR=2; XER=0 |
| #11: divde.: 0x0000000000000000 / 0x0000000000000002 = 0x0000000000000000; CR=2; XER=0 |
| #12: divde.: 0x0000000000000077 / 0x00000000000a3499 = 0x000ba911a321dcca; CR=4; XER=0 |
| |
| |
| #0: divdeo: 0x0000000000000004 / 0xfffffffffffffffc = 0x0000000000000000; CR=0; XER=c0080000 |
| #1: divdeo: 0x0000000000000004 / 0xfffffffffffffffd = 0x0000000000000000; CR=0; XER=c0080000 |
| #2: divdeo: 0x0000000000000004 / 0x0000000000000004 = 0x0000000000000000; CR=0; XER=c0080000 |
| #3: divdeo: 0x0000000000000004 / 0xfffffffffffffffb = 0x0000000000000000; CR=0; XER=c0080000 |
| #4: divdeo: 0x0000000000000003 / 0x0000000000000008 = 0x6000000000000000; CR=0; XER=0 |
| #5: divdeo: 0x8000000000000000 / 0x000000000000000a = 0x0000000000000000; CR=0; XER=c0080000 |
| #6: divdeo: 0x000000000000050c / 0xffffffffffffffff = 0x0000000000000000; CR=0; XER=c0080000 |
| #7: divdeo: 0x000000000000050c / 0xfffffffffffff000 = 0xaf40000000000000; CR=0; XER=0 |
| #8: divdeo: 0x000000001234fedc / 0x000000008000a873 = 0x2469cdcc6ad4ce20; CR=0; XER=0 |
| #9: divdeo: 0xabcd87651234fedc / 0x00000000a123b893 = 0x0000000000000000; CR=0; XER=c0080000 |
| #10: divdeo: 0x000123456789abdc / 0x0000000000000000 = 0x0000000000000000; CR=0; XER=c0080000 |
| #11: divdeo: 0x0000000000000000 / 0x0000000000000002 = 0x0000000000000000; CR=0; XER=0 |
| #12: divdeo: 0x0000000000000077 / 0x00000000000a3499 = 0x000ba911a321dcca; CR=0; XER=0 |
| |
| #0: divdeo.: 0x0000000000000004 / 0xfffffffffffffffc = 0x0000000000000000; CR=3; XER=c0080000 |
| #1: divdeo.: 0x0000000000000004 / 0xfffffffffffffffd = 0x0000000000000000; CR=3; XER=c0080000 |
| #2: divdeo.: 0x0000000000000004 / 0x0000000000000004 = 0x0000000000000000; CR=3; XER=c0080000 |
| #3: divdeo.: 0x0000000000000004 / 0xfffffffffffffffb = 0x0000000000000000; CR=3; XER=c0080000 |
| #4: divdeo.: 0x0000000000000003 / 0x0000000000000008 = 0x6000000000000000; CR=4; XER=0 |
| #5: divdeo.: 0x8000000000000000 / 0x000000000000000a = 0x0000000000000000; CR=3; XER=c0080000 |
| #6: divdeo.: 0x000000000000050c / 0xffffffffffffffff = 0x0000000000000000; CR=3; XER=c0080000 |
| #7: divdeo.: 0x000000000000050c / 0xfffffffffffff000 = 0xaf40000000000000; CR=8; XER=0 |
| #8: divdeo.: 0x000000001234fedc / 0x000000008000a873 = 0x2469cdcc6ad4ce20; CR=4; XER=0 |
| #9: divdeo.: 0xabcd87651234fedc / 0x00000000a123b893 = 0x0000000000000000; CR=3; XER=c0080000 |
| #10: divdeo.: 0x000123456789abdc / 0x0000000000000000 = 0x0000000000000000; CR=3; XER=c0080000 |
| #11: divdeo.: 0x0000000000000000 / 0x0000000000000002 = 0x0000000000000000; CR=2; XER=0 |
| #12: divdeo.: 0x0000000000000077 / 0x00000000000a3499 = 0x000ba911a321dcca; CR=4; XER=0 |
| |
| |
| #0: divweu: 0x00000000 / 0x00000002 = 0x00000000; CR=0; XER=0 |
| #1: divweu: 0x00000002 / 0x00000000 = 0x00000000; CR=0; XER=0 |
| #2: divweu: 0x7abc1234 / 0xf0000000 = 0x82eabe15; CR=0; XER=0 |
| #3: divweu: 0xfabc1234 / 0x00000005 = 0x00000000; CR=0; XER=0 |
| #4: divweu: 0x0000004d / 0x00000042 = 0x00000000; CR=0; XER=0 |
| #5: divweu: 0x00000005 / 0xfabc1234 = 0x00000005; CR=0; XER=0 |
| |
| #0: divweu.: 0x00000000 / 0x00000002 = 0x00000000; CR=2; XER=0 |
| #1: divweu.: 0x00000002 / 0x00000000 = 0x00000000; CR=2; XER=0 |
| #2: divweu.: 0x7abc1234 / 0xf0000000 = 0x82eabe15; CR=4; XER=0 |
| #3: divweu.: 0xfabc1234 / 0x00000005 = 0x00000000; CR=2; XER=0 |
| #4: divweu.: 0x0000004d / 0x00000042 = 0x00000000; CR=2; XER=0 |
| #5: divweu.: 0x00000005 / 0xfabc1234 = 0x00000005; CR=4; XER=0 |
| |
| |
| #0: divweuo: 0x00000000 / 0x00000002 = 0x00000000; CR=0; XER=0 |
| #1: divweuo: 0x00000002 / 0x00000000 = 0x00000000; CR=0; XER=c0080000 |
| #2: divweuo: 0x7abc1234 / 0xf0000000 = 0x82eabe15; CR=0; XER=0 |
| #3: divweuo: 0xfabc1234 / 0x00000005 = 0x00000000; CR=0; XER=c0080000 |
| #4: divweuo: 0x0000004d / 0x00000042 = 0x00000000; CR=0; XER=c0080000 |
| #5: divweuo: 0x00000005 / 0xfabc1234 = 0x00000005; CR=0; XER=0 |
| |
| #0: divweuo.: 0x00000000 / 0x00000002 = 0x00000000; CR=2; XER=0 |
| #1: divweuo.: 0x00000002 / 0x00000000 = 0x00000000; CR=3; XER=c0080000 |
| #2: divweuo.: 0x7abc1234 / 0xf0000000 = 0x82eabe15; CR=4; XER=0 |
| #3: divweuo.: 0xfabc1234 / 0x00000005 = 0x00000000; CR=3; XER=c0080000 |
| #4: divweuo.: 0x0000004d / 0x00000042 = 0x00000000; CR=3; XER=c0080000 |
| #5: divweuo.: 0x00000005 / 0xfabc1234 = 0x00000005; CR=4; XER=0 |
| |
| |
