1 Test div extensions 2 #0: divde: 0x0000000000000004 / 0xfffffffffffffffc = 0x0000000000000000; CR=0; XER=0 3 #1: divde: 0x0000000000000004 / 0xfffffffffffffffd = 0x0000000000000000; CR=0; XER=0 4 #2: divde: 0x0000000000000004 / 0x0000000000000004 = 0x0000000000000000; CR=0; XER=0 5 #3: divde: 0x0000000000000004 / 0xfffffffffffffffb = 0x0000000000000000; CR=0; XER=0 6 #4: divde: 0x0000000000000003 / 0x0000000000000008 = 0x6000000000000000; CR=0; XER=0 7 #5: divde: 0x8000000000000000 / 0x000000000000000a = 0x0000000000000000; CR=0; XER=0 8 #6: divde: 0x000000000000050c / 0xffffffffffffffff = 0x0000000000000000; CR=0; XER=0 9 #7: divde: 0x000000000000050c / 0xfffffffffffff000 = 0xaf40000000000000; CR=0; XER=0 10 #8: divde: 0x000000001234fedc / 0x000000008000a873 = 0x2469cdcc6ad4ce20; CR=0; XER=0 11 #9: divde: 0xabcd87651234fedc / 0x00000000a123b893 = 0x0000000000000000; CR=0; XER=0 12 #10: divde: 0x000123456789abdc / 0x0000000000000000 = 0x0000000000000000; CR=0; XER=0 13 #11: divde: 0x0000000000000000 / 0x0000000000000002 = 0x0000000000000000; CR=0; XER=0 14 #12: divde: 0x0000000000000077 / 0x00000000000a3499 = 0x000ba911a321dcca; CR=0; XER=0 15 16 #0: divde.: 0x0000000000000004 / 0xfffffffffffffffc = 0x0000000000000000; CR=2; XER=0 17 #1: divde.: 0x0000000000000004 / 0xfffffffffffffffd = 0x0000000000000000; CR=2; XER=0 18 #2: divde.: 0x0000000000000004 / 0x0000000000000004 = 0x0000000000000000; CR=2; XER=0 19 #3: divde.: 0x0000000000000004 / 0xfffffffffffffffb = 0x0000000000000000; CR=2; XER=0 20 #4: divde.: 0x0000000000000003 / 0x0000000000000008 = 0x6000000000000000; CR=4; XER=0 21 #5: divde.: 0x8000000000000000 / 0x000000000000000a = 0x0000000000000000; CR=2; XER=0 22 #6: divde.: 0x000000000000050c / 0xffffffffffffffff = 0x0000000000000000; CR=2; XER=0 23 #7: divde.: 0x000000000000050c / 0xfffffffffffff000 = 0xaf40000000000000; CR=8; XER=0 24 #8: divde.: 0x000000001234fedc / 0x000000008000a873 = 0x2469cdcc6ad4ce20; CR=4; XER=0 25 #9: divde.: 0xabcd87651234fedc / 0x00000000a123b893 = 0x0000000000000000; CR=2; XER=0 26 #10: divde.: 0x000123456789abdc / 0x0000000000000000 = 0x0000000000000000; CR=2; XER=0 27 #11: divde.: 0x0000000000000000 / 0x0000000000000002 = 0x0000000000000000; CR=2; XER=0 28 #12: divde.: 0x0000000000000077 / 0x00000000000a3499 = 0x000ba911a321dcca; CR=4; XER=0 29 30 31 #0: divdeo: 0x0000000000000004 / 0xfffffffffffffffc = 0x0000000000000000; CR=0; XER=c0080000 32 #1: divdeo: 0x0000000000000004 / 0xfffffffffffffffd = 0x0000000000000000; CR=0; XER=c0080000 33 #2: divdeo: 0x0000000000000004 / 0x0000000000000004 = 0x0000000000000000; CR=0; XER=c0080000 34 #3: divdeo: 0x0000000000000004 / 0xfffffffffffffffb = 0x0000000000000000; CR=0; XER=c0080000 35 #4: divdeo: 0x0000000000000003 / 0x0000000000000008 = 0x6000000000000000; CR=0; XER=0 36 #5: divdeo: 0x8000000000000000 / 0x000000000000000a = 0x0000000000000000; CR=0; XER=c0080000 37 #6: divdeo: 0x000000000000050c / 0xffffffffffffffff = 0x0000000000000000; CR=0; XER=c0080000 38 #7: divdeo: 0x000000000000050c / 0xfffffffffffff000 = 0xaf40000000000000; CR=0; XER=0 39 #8: divdeo: 0x000000001234fedc / 0x000000008000a873 = 0x2469cdcc6ad4ce20; CR=0; XER=0 40 #9: divdeo: 0xabcd87651234fedc / 0x00000000a123b893 = 0x0000000000000000; CR=0; XER=c0080000 41 #10: divdeo: 0x000123456789abdc / 0x0000000000000000 = 0x0000000000000000; CR=0; XER=c0080000 42 #11: divdeo: 0x0000000000000000 / 0x0000000000000002 = 0x0000000000000000; CR=0; XER=0 43 #12: divdeo: 0x0000000000000077 / 0x00000000000a3499 = 0x000ba911a321dcca; CR=0; XER=0 44 45 #0: divdeo.: 0x0000000000000004 / 0xfffffffffffffffc = 0x0000000000000000; CR=3; XER=c0080000 46 #1: divdeo.: 0x0000000000000004 / 0xfffffffffffffffd = 0x0000000000000000; CR=3; XER=c0080000 47 #2: divdeo.: 0x0000000000000004 / 0x0000000000000004 = 0x0000000000000000; CR=3; XER=c0080000 48 #3: divdeo.: 0x0000000000000004 / 0xfffffffffffffffb = 0x0000000000000000; CR=3; XER=c0080000 49 #4: divdeo.: 0x0000000000000003 / 0x0000000000000008 = 0x6000000000000000; CR=4; XER=0 50 #5: divdeo.: 0x8000000000000000 / 0x000000000000000a = 0x0000000000000000; CR=3; XER=c0080000 51 #6: divdeo.: 0x000000000000050c / 0xffffffffffffffff = 0x0000000000000000; CR=3; XER=c0080000 52 #7: divdeo.: 0x000000000000050c / 0xfffffffffffff000 = 0xaf40000000000000; CR=8; XER=0 53 #8: divdeo.: 0x000000001234fedc / 0x000000008000a873 = 0x2469cdcc6ad4ce20; CR=4; XER=0 54 #9: divdeo.: 0xabcd87651234fedc / 0x00000000a123b893 = 0x0000000000000000; CR=3; XER=c0080000 55 #10: divdeo.: 0x000123456789abdc / 0x0000000000000000 = 0x0000000000000000; CR=3; XER=c0080000 56 #11: divdeo.: 0x0000000000000000 / 0x0000000000000002 = 0x0000000000000000; CR=2; XER=0 57 #12: divdeo.: 0x0000000000000077 / 0x00000000000a3499 = 0x000ba911a321dcca; CR=4; XER=0 58 59 60 #0: divweu: 0x00000000 / 0x00000002 = 0x00000000; CR=0; XER=0 61 #1: divweu: 0x00000002 / 0x00000000 = 0x00000000; CR=0; XER=0 62 #2: divweu: 0x7abc1234 / 0xf0000000 = 0x82eabe15; CR=0; XER=0 63 #3: divweu: 0xfabc1234 / 0x00000005 = 0x00000000; CR=0; XER=0 64 #4: divweu: 0x0000004d / 0x00000042 = 0x00000000; CR=0; XER=0 65 #5: divweu: 0x00000005 / 0xfabc1234 = 0x00000005; CR=0; XER=0 66 67 #0: divweu.: 0x00000000 / 0x00000002 = 0x00000000; CR=2; XER=0 68 #1: divweu.: 0x00000002 / 0x00000000 = 0x00000000; CR=2; XER=0 69 #2: divweu.: 0x7abc1234 / 0xf0000000 = 0x82eabe15; CR=4; XER=0 70 #3: divweu.: 0xfabc1234 / 0x00000005 = 0x00000000; CR=2; XER=0 71 #4: divweu.: 0x0000004d / 0x00000042 = 0x00000000; CR=2; XER=0 72 #5: divweu.: 0x00000005 / 0xfabc1234 = 0x00000005; CR=4; XER=0 73 74 75 #0: divweuo: 0x00000000 / 0x00000002 = 0x00000000; CR=0; XER=0 76 #1: divweuo: 0x00000002 / 0x00000000 = 0x00000000; CR=0; XER=c0080000 77 #2: divweuo: 0x7abc1234 / 0xf0000000 = 0x82eabe15; CR=0; XER=0 78 #3: divweuo: 0xfabc1234 / 0x00000005 = 0x00000000; CR=0; XER=c0080000 79 #4: divweuo: 0x0000004d / 0x00000042 = 0x00000000; CR=0; XER=c0080000 80 #5: divweuo: 0x00000005 / 0xfabc1234 = 0x00000005; CR=0; XER=0 81 82 #0: divweuo.: 0x00000000 / 0x00000002 = 0x00000000; CR=2; XER=0 83 #1: divweuo.: 0x00000002 / 0x00000000 = 0x00000000; CR=3; XER=c0080000 84 #2: divweuo.: 0x7abc1234 / 0xf0000000 = 0x82eabe15; CR=4; XER=0 85 #3: divweuo.: 0xfabc1234 / 0x00000005 = 0x00000000; CR=3; XER=c0080000 86 #4: divweuo.: 0x0000004d / 0x00000042 = 0x00000000; CR=3; XER=c0080000 87 #5: divweuo.: 0x00000005 / 0xfabc1234 = 0x00000005; CR=4; XER=0 88 89 90
