1 --- comparefixed.py.orig 2020-05-07 14:19:47.384535384 -0400
2 +++ comparefixed.py 2020-05-07 14:19:11.220806542 -0400
4 c = SelectableInt(value=0x2, bits=3)
6 c = SelectableInt(value=0x1, bits=3)
7 - CR[4 * BF + 32:4 * BF + 35 + 1] = concat(c, XER[SO])
8 + CR.si[4 * BF + 32:4 * BF + 35 + 1] = concat(c, XER[SO])
13 c = SelectableInt(value=0x2, bits=3)
15 c = SelectableInt(value=0x1, bits=3)
16 - CR[4 * BF + 32:4 * BF + 35 + 1] = concat(c, XER[SO])
17 + CR.si[4 * BF + 32:4 * BF + 35 + 1] = concat(c, XER[SO])
22 c = SelectableInt(value=0x2, bits=3)
24 c = SelectableInt(value=0x1, bits=3)
25 - CR[4 * BF + 32:4 * BF + 35 + 1] = concat(c, XER[SO])
26 + CR.si[4 * BF + 32:4 * BF + 35 + 1] = concat(c, XER[SO])
31 c = SelectableInt(value=0x2, bits=3)
33 c = SelectableInt(value=0x1, bits=3)
34 - CR[4 * BF + 32:4 * BF + 35 + 1] = concat(c, XER[SO])
35 + CR.si[4 * BF + 32:4 * BF + 35 + 1] = concat(c, XER[SO])
41 in_range = le(src21lo, src1) & le(src1, src21hi) | le(src22lo, src1) & le(
43 - CR[4 * BF + 32] = SelectableInt(value=0x0, bits=1)
44 - CR[4 * BF + 33] = in_range
45 - CR[4 * BF + 34] = SelectableInt(value=0x0, bits=1)
46 - CR[4 * BF + 35] = SelectableInt(value=0x0, bits=1)
47 + CR.si[4 * BF + 32] = SelectableInt(value=0x0, bits=1)
48 + CR.si[4 * BF + 33] = in_range
49 + CR.si[4 * BF + 34] = SelectableInt(value=0x0, bits=1)
50 + CR.si[4 * BF + 35] = SelectableInt(value=0x0, bits=1)
55 match = eq(src1, RB[0:8]) | eq(src1, RB[8:16]) | eq(src1, RB[16:24]) | eq(src1,
56 RB[24:32]) | eq(src1, RB[32:40]) | eq(src1, RB[40:48]) | eq(src1, RB[48:56]
57 ) | eq(src1, RB[56:64])
58 - CR[4 * BF + 32] = SelectableInt(value=0x0, bits=1)
59 - CR[4 * BF + 33] = match
60 - CR[4 * BF + 34] = SelectableInt(value=0x0, bits=1)
61 - CR[4 * BF + 35] = SelectableInt(value=0x0, bits=1)
62 + CR.si[4 * BF + 32] = SelectableInt(value=0x0, bits=1)
63 + CR.si[4 * BF + 33] = match
64 + CR.si[4 * BF + 34] = SelectableInt(value=0x0, bits=1)
65 + CR.si[4 * BF + 35] = SelectableInt(value=0x0, bits=1)
68 comparefixed_instrs = {}