1Test div extensions
2#0: divwe: 0x0000000000000000 / 0x00000002 = 0x00000000; CR=0; XER=0
3#1: divwe: 0x0000000200000000 / 0x00000000 = 0x00000000; CR=0; XER=0
4#2: divwe: 0x7abc123400000000 / 0xf0000000 = 0x00000000; CR=0; XER=0
5#3: divwe: 0xfabc123400000000 / 0x00000005 = 0x00000000; CR=0; XER=0
6#4: divwe: 0x0000004d00000000 / 0x00000042 = 0x00000000; CR=0; XER=0
7#5: divwe: 0x0000000500000000 / 0xfabc1234 = 0xffffff0d; CR=0; XER=0
8
9#0: divwe.: 0x0000000000000000 / 0x00000002 = 0x00000000; CR=2; XER=0
10#1: divwe.: 0x0000000200000000 / 0x00000000 = 0x00000000; CR=2; XER=0
11#2: divwe.: 0x7abc123400000000 / 0xf0000000 = 0x00000000; CR=2; XER=0
12#3: divwe.: 0xfabc123400000000 / 0x00000005 = 0x00000000; CR=2; XER=0
13#4: divwe.: 0x0000004d00000000 / 0x00000042 = 0x00000000; CR=2; XER=0
14#5: divwe.: 0x0000000500000000 / 0xfabc1234 = 0xffffff0d; CR=8; XER=0
15
16
17#0: divweo: 0x0000000000000000 / 0x00000002 = 0x00000000; CR=0; XER=0
18#1: divweo: 0x0000000200000000 / 0x00000000 = 0x00000000; CR=0; XER=c0000000
19#2: divweo: 0x7abc123400000000 / 0xf0000000 = 0x00000000; CR=0; XER=c0000000
20#3: divweo: 0xfabc123400000000 / 0x00000005 = 0x00000000; CR=0; XER=c0000000
21#4: divweo: 0x0000004d00000000 / 0x00000042 = 0x00000000; CR=0; XER=c0000000
22#5: divweo: 0x0000000500000000 / 0xfabc1234 = 0xffffff0d; CR=0; XER=0
23
24#0: divweo.: 0x0000000000000000 / 0x00000002 = 0x00000000; CR=2; XER=0
25#1: divweo.: 0x0000000200000000 / 0x00000000 = 0x00000000; CR=3; XER=c0000000
26#2: divweo.: 0x7abc123400000000 / 0xf0000000 = 0x00000000; CR=3; XER=c0000000
27#3: divweo.: 0xfabc123400000000 / 0x00000005 = 0x00000000; CR=3; XER=c0000000
28#4: divweo.: 0x0000004d00000000 / 0x00000042 = 0x00000000; CR=3; XER=c0000000
29#5: divweo.: 0x0000000500000000 / 0xfabc1234 = 0xffffff0d; CR=8; XER=0
30
31
32