Skip to content

Instantly share code, notes, and snippets.

@timo
Created January 17, 2015 09:30
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save timo/881201c9742ff048e4e6 to your computer and use it in GitHub Desktop.
Save timo/881201c9742ff048e4e6 to your computer and use it in GitHub Desktop.
example of infix:<+|> being inlined (in BB 52)
Finished specialization of '' (cuid: cuid_60_1421448156.94538)
Spesh of '' (cuid: cuid_60_1421448156.94538, file: tools/update_ops.p6:284)
Callsite 0x7ffd4d5fe4a0 (1 args, 1 pos)
BB 0 (0x9612048):
Instructions:
no_op
Successors: 1
Predeccessors:
Dominance children: 1
BB 1 (0x96120b8):
Instructions:
checkarity liti16(0), liti16(-1)
const_s r0(1), lits($_)
getlexouter r1(1), r0(1)
bindlex lex(idx=4,outers=0,$_), r1(1)
wval r3(1), liti16(1), liti16(54)
savecapture r4(1)
sp_getspeshslot r5(1), sslot(36)
sp_getspeshslot r5(1), sslot(37)
prepargs <nyi(lit)>
arg_o liti16(0), r3(1)
arg_o liti16(1), r4(1)
[Annotation: INS Deopt One (idx 0 -> pc 78)]
[Annotation: INS Deopt All (idx 1 -> pc 78)]
invoke_o r4(2), r5(1)
Successors: 2
Predeccessors: 0
Dominance children: 2
BB 2 (0x9612100):
Instructions:
isnull r2(1), r4(2)
if_i r2(1), BB(4)
Successors: 4, 3
Predeccessors: 1
Dominance children: 3, 4
BB 3 (0x9612148):
Instructions:
return_o r4(2)
Successors: 4
Predeccessors: 2
Dominance children:
BB 4 (0x9612190):
Instructions:
getlex r19(1), lex(idx=0,outers=0,$rw)
[Annotation: INS Deopt One (idx 2 -> pc 216)]
sp_guardcontconc r19(1), sslot(1), sslot(2)
sp_p6oget_o r22(1), r19(1), liti16(16)
unless_o r22(1), BB(15)
Successors: 15, 5
Predeccessors: 2, 3
Dominance children: 5, 15, 51
BB 5 (0x96121d8):
Instructions:
[Annotation: INS Deopt One (idx 3 -> pc 238)]
getlex r20(1), lex(idx=4,outers=0,$_)
set r7(1), r20(1)
sp_getspeshslot r20(2), sslot(38)
sp_getspeshslot r21(1), sslot(39)
getlex r22(2), lex(idx=1,outers=2,$value_map)
[Annotation: INS Deopt One (idx 4 -> pc 280)]
sp_guardcontconc r22(2), sslot(5), sslot(6)
sp_getspeshslot r23(1), sslot(40)
getlex r24(1), lex(idx=0,outers=2,%rwflags)
[Annotation: INS Deopt One (idx 5 -> pc 302)]
sp_guardconc r24(1), sslot(7)
getlex r25(1), lex(idx=0,outers=0,$rw)
[Annotation: INS Deopt One (idx 6 -> pc 310)]
sp_guardcontconc r25(1), sslot(8), sslot(9)
set r26(1), r23(1)
sp_getspeshslot r26(1), sslot(41)
prepargs <nyi(lit)>
arg_o liti16(0), r24(1)
arg_o liti16(1), r25(1)
[Annotation: INS Deopt All (idx 8 -> pc 338)]
invoke_o r25(2), r26(1)
Successors: 6
Predeccessors: 4
Dominance children: 6
BB 6 (0x9612220):
Instructions:
[Annotation: INS Deopt One (idx 7 -> pc 338)]
sp_guardcontconc r25(2), sslot(10), sslot(11)
set r24(2), r21(1)
sp_getspeshslot r24(2), sslot(42)
prepargs <nyi(lit)>
arg_o liti16(0), r22(2)
arg_o liti16(1), r25(2)
[Annotation: INS Deopt All (idx 10 -> pc 366)]
invoke_o r25(3), r24(2)
Successors: 7
Predeccessors: 5
Dominance children: 7
BB 7 (0x9612268):
Instructions:
[Annotation: INS Deopt One (idx 9 -> pc 366)]
sp_guardcontconc r25(3), sslot(12), sslot(13)
const_s r0(13), lits(&postcircumfix:<{ }>)
sp_getspeshslot r22(3), sslot(43)
getlex r24(3), lex(idx=1,outers=2,$value_map)
[Annotation: INS Deopt One (idx 11 -> pc 388)]
sp_guardcontconc r24(3), sslot(14), sslot(15)
getlex r21(2), lex(idx=1,outers=0,$type)
[Annotation: INS Deopt One (idx 12 -> pc 396)]
sp_guardcontconc r21(2), sslot(16), sslot(17)
sp_p6oget_o r26(2), r21(2), liti16(16)
unless_o r26(2), BB(11)
Successors: 11, 8
Predeccessors: 6
Dominance children: 8, 11, 12
BB 8 (0x96122b0):
Instructions:
const_s r0(14), lits(&infix:<~>)
sp_getspeshslot r26(3), sslot(44)
wval r23(2), liti16(0), liti16(400)
getlex r27(1), lex(idx=1,outers=0,$type)
[Annotation: INS Deopt One (idx 13 -> pc 440)]
sp_guardcontconc r27(1), sslot(18), sslot(19)
sp_p6oget_o r29(1), r27(1), liti16(16)
sp_getspeshslot r28(1), sslot(45)
sp_getspeshslot r28(1), sslot(46)
prepargs <nyi(lit)>
arg_o liti16(0), r27(1)
[Annotation: INS Deopt All (idx 15 -> pc 472)]
invoke_o r27(2), r28(1)
Successors: 9
Predeccessors: 7
Dominance children: 9
BB 9 (0x96122f8):
Instructions:
[Annotation: INS Deopt One (idx 14 -> pc 472)]
sp_guardconc r27(2), sslot(20)
set r28(2), r26(3)
sp_getspeshslot r28(2), sslot(47)
prepargs <nyi(lit)>
arg_o liti16(0), r23(2)
arg_o liti16(1), r27(2)
[Annotation: INS Deopt One (idx 16 -> pc 500)]
[Annotation: INS Deopt All (idx 17 -> pc 500)]
sp_fastinvoke_o r27(3), r28(2), liti16(0)
Successors: 10
Predeccessors: 8
Dominance children: 10
BB 10 (0x9612340):
Instructions:
set r28(3), r27(3)
goto BB(12)
Successors: 12
Predeccessors: 9
Dominance children:
BB 11 (0x9612388):
Instructions:
wval r23(3), liti16(0), liti16(179)
set r28(4), r23(3)
Successors: 12
Predeccessors: 7
Dominance children:
BB 12 (0x96123d0):
Instructions:
PHI r29(2), r29(1), r29(0)
PHI r28(5), r28(3), r28(4)
PHI r27(4), r27(3), r27(0)
PHI r26(4), r26(3), r26(2)
PHI r23(4), r23(2), r23(3)
PHI r0(15), r0(14), r0(13)
set r21(3), r22(3)
prepargs <nyi(lit)>
arg_o liti16(0), r24(3)
arg_o liti16(1), r28(5)
[Annotation: INS Deopt All (idx 19 -> pc 554)]
invoke_o r28(6), r21(3)
Successors: 13
Predeccessors: 10, 11
Dominance children: 13
BB 13 (0x9612418):
Instructions:
[Annotation: INS Deopt One (idx 18 -> pc 554)]
sp_guardcontconc r28(6), sslot(22), sslot(23)
set r24(4), r20(2)
sp_getspeshslot r24(4), sslot(48)
set r44(1), r25(3)
set r45(1), r28(6)
[Annotation: INS Deopt One (idx 20 -> pc 582)]
[Annotation: INS Deopt All (idx 21 -> pc 582)]
goto BB(52)
Successors: 52
Predeccessors: 12
Dominance children: 14
BB 14 (0x9612460):
Instructions:
bindlex lex(idx=4,outers=0,$_), r7(1)
set r25(4), r28(7)
goto BB(51)
Successors: 51
Predeccessors: 52
Dominance children:
BB 15 (0x96124a8):
Instructions:
getlex r25(5), lex(idx=1,outers=0,$type)
[Annotation: INS Deopt One (idx 22 -> pc 610)]
sp_guardconttype r25(5), sslot(25), sslot(26)
sp_p6oget_o r21(4), r25(5), liti16(16)
isconcrete r52(0), r21(4)
unless_i r52(0), BB(20)
Successors: 20, 16
Predeccessors: 4
Dominance children: 16, 20, 50
BB 16 (0x96124f0):
Instructions:
[Annotation: INS Deopt One (idx 23 -> pc 632)]
getlex r24(5), lex(idx=4,outers=0,$_)
set r8(1), r24(5)
const_s r0(16), lits(&postcircumfix:<{ }>)
getlexstatic_o r24(6), r0(16)
[Annotation: INS Deopt One (idx 24 -> pc 660)]
getlex r20(3), lex(idx=1,outers=2,$value_map)
const_s r0(17), lits(&infix:<~>)
getlexstatic_o r21(5), r0(17)
wval r22(4), liti16(0), liti16(400)
[Annotation: INS Deopt One (idx 25 -> pc 690)]
getlex r23(5), lex(idx=1,outers=0,$type)
decont r26(5), r23(5)
sp_findmeth r27(5), r26(5), lits(Stringy), sslot(50)
prepargs <nyi(lit)>
arg_o liti16(0), r23(5)
[Annotation: INS Deopt One (idx 26 -> pc 722)]
[Annotation: INS Deopt All (idx 27 -> pc 722)]
invoke_o r23(6), r27(5)
Successors: 17
Predeccessors: 15
Dominance children: 17
BB 17 (0x9612538):
Instructions:
decont r27(6), r21(5)
prepargs <nyi(lit)>
arg_o liti16(0), r22(4)
arg_o liti16(1), r23(6)
[Annotation: INS Deopt One (idx 28 -> pc 750)]
[Annotation: INS Deopt All (idx 29 -> pc 750)]
invoke_o r23(7), r27(6)
Successors: 18
Predeccessors: 16
Dominance children: 18
BB 18 (0x9612580):
Instructions:
decont r22(5), r24(6)
prepargs <nyi(lit)>
arg_o liti16(0), r20(3)
arg_o liti16(1), r23(7)
[Annotation: INS Deopt One (idx 30 -> pc 778)]
[Annotation: INS Deopt All (idx 31 -> pc 778)]
invoke_o r23(8), r22(5)
Successors: 19
Predeccessors: 17
Dominance children: 19
BB 19 (0x96125c8):
Instructions:
bindlex lex(idx=4,outers=0,$_), r8(1)
set r24(7), r23(8)
goto BB(50)
Successors: 50
Predeccessors: 18
Dominance children:
BB 20 (0x9612610):
Instructions:
const_s r0(18), lits(&infix:<eq>)
getlexstatic_o r20(4), r0(18)
getlex r22(6), lex(idx=3,outers=0,$special)
[Annotation: INS Deopt One (idx 32 -> pc 820)]
sp_guardcontconc r22(6), sslot(27), sslot(28)
wval r24(8), liti16(0), liti16(379)
decont r27(7), r20(4)
prepargs <nyi(lit)>
arg_o liti16(0), r22(6)
arg_o liti16(1), r24(8)
[Annotation: INS Deopt All (idx 34 -> pc 856)]
invoke_o r24(9), r27(7)
Successors: 21
Predeccessors: 15
Dominance children: 21
BB 21 (0x9612658):
Instructions:
[Annotation: INS Deopt One (idx 33 -> pc 856)]
sp_guardconc r24(9), sslot(29)
set r29(3), r24(9)
unbox_i r52(1), r29(3)
unless_i r52(1), BB(24)
Successors: 24, 22
Predeccessors: 20
Dominance children: 22, 24, 49
BB 22 (0x96126a0):
Instructions:
[Annotation: INS Deopt One (idx 35 -> pc 878)]
getlex r22(7), lex(idx=4,outers=0,$_)
set r9(1), r22(7)
const_s r0(19), lits(&postcircumfix:<{ }>)
getlexstatic_o r22(8), r0(19)
getlex r27(8), lex(idx=1,outers=2,$value_map)
[Annotation: INS Deopt One (idx 36 -> pc 906)]
sp_guardcontconc r27(8), sslot(32), sslot(33)
wval r20(5), liti16(0), liti16(177)
decont r21(6), r22(8)
prepargs <nyi(lit)>
arg_o liti16(0), r27(8)
arg_o liti16(1), r20(5)
[Annotation: INS Deopt One (idx 37 -> pc 942)]
[Annotation: INS Deopt All (idx 38 -> pc 942)]
invoke_o r20(6), r21(6)
Successors: 23
Predeccessors: 21
Dominance children: 23
BB 23 (0x96126e8):
Instructions:
bindlex lex(idx=4,outers=0,$_), r9(1)
set r22(9), r20(6)
goto BB(49)
Successors: 49
Predeccessors: 22
Dominance children:
BB 24 (0x9612730):
Instructions:
const_s r0(20), lits(&infix:<eq>)
getlexstatic_o r27(9), r0(20)
[Annotation: INS Deopt One (idx 39 -> pc 984)]
getlex r21(7), lex(idx=3,outers=0,$special)
wval r22(10), liti16(0), liti16(380)
decont r26(6), r27(9)
prepargs <nyi(lit)>
arg_o liti16(0), r21(7)
arg_o liti16(1), r22(10)
[Annotation: INS Deopt One (idx 40 -> pc 1020)]
[Annotation: INS Deopt All (idx 41 -> pc 1020)]
invoke_o r22(11), r26(6)
Successors: 25
Predeccessors: 21
Dominance children: 25
BB 25 (0x9612778):
Instructions:
decont r31(1), r22(11)
unless_o r31(1), BB(28)
Successors: 28, 26
Predeccessors: 24
Dominance children: 26, 28, 48
BB 26 (0x96127c0):
Instructions:
[Annotation: INS Deopt One (idx 42 -> pc 1042)]
getlex r21(8), lex(idx=4,outers=0,$_)
set r10(1), r21(8)
const_s r0(21), lits(&postcircumfix:<{ }>)
getlexstatic_o r21(9), r0(21)
[Annotation: INS Deopt One (idx 43 -> pc 1070)]
getlex r26(7), lex(idx=1,outers=2,$value_map)
wval r27(10), liti16(0), liti16(181)
decont r29(4), r21(9)
prepargs <nyi(lit)>
arg_o liti16(0), r26(7)
arg_o liti16(1), r27(10)
[Annotation: INS Deopt One (idx 44 -> pc 1106)]
[Annotation: INS Deopt All (idx 45 -> pc 1106)]
invoke_o r27(11), r29(4)
Successors: 27
Predeccessors: 25
Dominance children: 27
BB 27 (0x9612808):
Instructions:
bindlex lex(idx=4,outers=0,$_), r10(1)
set r21(10), r27(11)
goto BB(48)
Successors: 48
Predeccessors: 26
Dominance children:
BB 28 (0x9612850):
Instructions:
const_s r0(22), lits(&infix:<eq>)
getlexstatic_o r26(8), r0(22)
[Annotation: INS Deopt One (idx 46 -> pc 1148)]
getlex r29(5), lex(idx=3,outers=0,$special)
wval r21(11), liti16(0), liti16(381)
decont r30(1), r26(8)
prepargs <nyi(lit)>
arg_o liti16(0), r29(5)
arg_o liti16(1), r21(11)
[Annotation: INS Deopt One (idx 47 -> pc 1184)]
[Annotation: INS Deopt All (idx 48 -> pc 1184)]
invoke_o r21(12), r30(1)
Successors: 29
Predeccessors: 25
Dominance children: 29
BB 29 (0x9612898):
Instructions:
decont r37(1), r21(12)
unless_o r37(1), BB(32)
Successors: 32, 30
Predeccessors: 28
Dominance children: 30, 32, 47
BB 30 (0x96128e0):
Instructions:
[Annotation: INS Deopt One (idx 49 -> pc 1206)]
getlex r29(6), lex(idx=4,outers=0,$_)
set r12(1), r29(6)
const_s r0(23), lits(&postcircumfix:<{ }>)
getlexstatic_o r29(7), r0(23)
[Annotation: INS Deopt One (idx 50 -> pc 1234)]
getlex r30(2), lex(idx=1,outers=2,$value_map)
wval r26(9), liti16(0), liti16(183)
decont r31(2), r29(7)
prepargs <nyi(lit)>
arg_o liti16(0), r30(2)
arg_o liti16(1), r26(9)
[Annotation: INS Deopt One (idx 51 -> pc 1270)]
[Annotation: INS Deopt All (idx 52 -> pc 1270)]
invoke_o r26(10), r31(2)
Successors: 31
Predeccessors: 29
Dominance children: 31
BB 31 (0x9612928):
Instructions:
bindlex lex(idx=4,outers=0,$_), r12(1)
set r29(8), r26(10)
goto BB(47)
Successors: 47
Predeccessors: 30
Dominance children:
BB 32 (0x9612970):
Instructions:
const_s r0(24), lits(&infix:<eq>)
getlexstatic_o r30(3), r0(24)
[Annotation: INS Deopt One (idx 53 -> pc 1312)]
getlex r31(3), lex(idx=3,outers=0,$special)
wval r29(9), liti16(0), liti16(382)
decont r32(1), r30(3)
prepargs <nyi(lit)>
arg_o liti16(0), r31(3)
arg_o liti16(1), r29(9)
[Annotation: INS Deopt One (idx 54 -> pc 1348)]
[Annotation: INS Deopt All (idx 55 -> pc 1348)]
invoke_o r29(10), r32(1)
Successors: 33
Predeccessors: 29
Dominance children: 33
BB 33 (0x96129b8):
Instructions:
decont r36(1), r29(10)
unless_o r36(1), BB(36)
Successors: 36, 34
Predeccessors: 32
Dominance children: 34, 36, 46
BB 34 (0x9612a00):
Instructions:
[Annotation: INS Deopt One (idx 56 -> pc 1370)]
getlex r31(4), lex(idx=4,outers=0,$_)
set r14(1), r31(4)
const_s r0(25), lits(&postcircumfix:<{ }>)
getlexstatic_o r31(5), r0(25)
[Annotation: INS Deopt One (idx 57 -> pc 1398)]
getlex r32(2), lex(idx=1,outers=2,$value_map)
wval r30(4), liti16(0), liti16(185)
decont r33(1), r31(5)
prepargs <nyi(lit)>
arg_o liti16(0), r32(2)
arg_o liti16(1), r30(4)
[Annotation: INS Deopt One (idx 58 -> pc 1434)]
[Annotation: INS Deopt All (idx 59 -> pc 1434)]
invoke_o r30(5), r33(1)
Successors: 35
Predeccessors: 33
Dominance children: 35
BB 35 (0x9612a48):
Instructions:
bindlex lex(idx=4,outers=0,$_), r14(1)
set r31(6), r30(5)
goto BB(46)
Successors: 46
Predeccessors: 34
Dominance children:
BB 36 (0x9612a90):
Instructions:
const_s r0(26), lits(&infix:<eq>)
getlexstatic_o r32(3), r0(26)
[Annotation: INS Deopt One (idx 60 -> pc 1476)]
getlex r33(2), lex(idx=3,outers=0,$special)
wval r31(7), liti16(0), liti16(383)
decont r34(1), r32(3)
prepargs <nyi(lit)>
arg_o liti16(0), r33(2)
arg_o liti16(1), r31(7)
[Annotation: INS Deopt One (idx 61 -> pc 1512)]
[Annotation: INS Deopt All (idx 62 -> pc 1512)]
invoke_o r31(8), r34(1)
Successors: 37
Predeccessors: 33
Dominance children: 37
BB 37 (0x9612ad8):
Instructions:
decont r34(2), r31(8)
unless_o r34(2), BB(40)
Successors: 40, 38
Predeccessors: 36
Dominance children: 38, 40, 45
BB 38 (0x9612b20):
Instructions:
[Annotation: INS Deopt One (idx 63 -> pc 1534)]
getlex r33(3), lex(idx=4,outers=0,$_)
set r16(1), r33(3)
const_s r0(27), lits(&postcircumfix:<{ }>)
getlexstatic_o r33(4), r0(27)
[Annotation: INS Deopt One (idx 64 -> pc 1562)]
getlex r34(3), lex(idx=1,outers=2,$value_map)
wval r32(4), liti16(0), liti16(189)
decont r35(1), r33(4)
prepargs <nyi(lit)>
arg_o liti16(0), r34(3)
arg_o liti16(1), r32(4)
[Annotation: INS Deopt One (idx 65 -> pc 1598)]
[Annotation: INS Deopt All (idx 66 -> pc 1598)]
invoke_o r32(5), r35(1)
Successors: 39
Predeccessors: 37
Dominance children: 39
BB 39 (0x9612b68):
Instructions:
bindlex lex(idx=4,outers=0,$_), r16(1)
set r37(2), r32(5)
goto BB(45)
Successors: 45
Predeccessors: 38
Dominance children:
BB 40 (0x9612bb0):
Instructions:
[Annotation: INS Deopt One (idx 67 -> pc 1626)]
getlex r34(4), lex(idx=4,outers=0,$_)
set r18(1), r34(4)
const_s r0(28), lits(&die)
getlexstatic_o r34(5), r0(28)
const_s r0(29), lits(&infix:<~>)
getlexstatic_o r35(2), r0(29)
const_s r0(30), lits(&infix:<~>)
getlexstatic_o r33(5), r0(30)
wval r36(2), liti16(0), liti16(415)
[Annotation: INS Deopt One (idx 68 -> pc 1690)]
getlex r37(3), lex(idx=3,outers=1,$operand)
decont r39(1), r37(3)
sp_findmeth r38(1), r39(1), lits(Stringy), sslot(52)
prepargs <nyi(lit)>
arg_o liti16(0), r37(3)
[Annotation: INS Deopt One (idx 69 -> pc 1722)]
[Annotation: INS Deopt All (idx 70 -> pc 1722)]
invoke_o r37(4), r38(1)
Successors: 41
Predeccessors: 37
Dominance children: 41
BB 41 (0x9612bf8):
Instructions:
decont r38(2), r33(5)
prepargs <nyi(lit)>
arg_o liti16(0), r36(2)
arg_o liti16(1), r37(4)
[Annotation: INS Deopt One (idx 71 -> pc 1750)]
[Annotation: INS Deopt All (idx 72 -> pc 1750)]
invoke_o r37(5), r38(2)
Successors: 42
Predeccessors: 40
Dominance children: 42
BB 42 (0x9612c40):
Instructions:
wval r36(3), liti16(0), liti16(223)
decont r38(3), r35(2)
prepargs <nyi(lit)>
arg_o liti16(0), r37(5)
arg_o liti16(1), r36(3)
[Annotation: INS Deopt One (idx 73 -> pc 1786)]
[Annotation: INS Deopt All (idx 74 -> pc 1786)]
invoke_o r36(4), r38(3)
Successors: 43
Predeccessors: 41
Dominance children: 43
BB 43 (0x9612c88):
Instructions:
decont r37(6), r34(5)
prepargs <nyi(lit)>
arg_o liti16(0), r36(4)
[Annotation: INS Deopt One (idx 75 -> pc 1808)]
[Annotation: INS Deopt All (idx 76 -> pc 1808)]
invoke_o r36(5), r37(6)
Successors: 44
Predeccessors: 42
Dominance children: 44
BB 44 (0x9612cd0):
Instructions:
bindlex lex(idx=4,outers=0,$_), r18(1)
set r37(7), r36(5)
Successors: 45
Predeccessors: 43
Dominance children:
BB 45 (0x9612d18):
Instructions:
PHI r39(2), r39(0), r39(1)
PHI r38(4), r38(0), r38(3)
PHI r37(8), r37(2), r37(7)
PHI r36(6), r36(1), r36(5)
PHI r35(3), r35(1), r35(2)
PHI r34(6), r34(3), r34(5)
PHI r33(6), r33(4), r33(5)
PHI r32(6), r32(5), r32(3)
PHI r18(2), r18(0), r18(1)
PHI r16(2), r16(1), r16(0)
PHI r0(31), r0(27), r0(30)
set r31(9), r37(8)
Successors: 46
Predeccessors: 39, 44
Dominance children:
BB 46 (0x9612d60):
Instructions:
PHI r39(3), r39(0), r39(2)
PHI r38(5), r38(0), r38(4)
PHI r37(9), r37(1), r37(8)
PHI r36(7), r36(1), r36(6)
PHI r35(4), r35(0), r35(3)
PHI r34(7), r34(0), r34(6)
PHI r33(7), r33(1), r33(6)
PHI r32(7), r32(2), r32(6)
PHI r31(10), r31(6), r31(9)
PHI r30(6), r30(5), r30(3)
PHI r18(3), r18(0), r18(2)
PHI r16(3), r16(0), r16(2)
PHI r14(2), r14(1), r14(0)
PHI r0(32), r0(25), r0(31)
set r29(11), r31(10)
Successors: 47
Predeccessors: 35, 45
Dominance children:
BB 47 (0x9612da8):
Instructions:
PHI r39(4), r39(0), r39(3)
PHI r38(6), r38(0), r38(5)
PHI r37(10), r37(1), r37(9)
PHI r36(8), r36(0), r36(7)
PHI r35(5), r35(0), r35(4)
PHI r34(8), r34(0), r34(7)
PHI r33(8), r33(0), r33(7)
PHI r32(8), r32(0), r32(7)
PHI r31(11), r31(2), r31(10)
PHI r30(7), r30(2), r30(6)
PHI r29(12), r29(8), r29(11)
PHI r26(11), r26(10), r26(8)
PHI r18(4), r18(0), r18(3)
PHI r16(4), r16(0), r16(3)
PHI r14(3), r14(0), r14(2)
PHI r12(2), r12(1), r12(0)
PHI r0(33), r0(23), r0(32)
set r21(13), r29(12)
Successors: 48
Predeccessors: 31, 46
Dominance children:
BB 48 (0x9612df0):
Instructions:
PHI r39(5), r39(0), r39(4)
PHI r38(7), r38(0), r38(6)
PHI r37(11), r37(0), r37(10)
PHI r36(9), r36(0), r36(8)
PHI r35(6), r35(0), r35(5)
PHI r34(9), r34(0), r34(8)
PHI r33(9), r33(0), r33(8)
PHI r32(9), r32(0), r32(8)
PHI r31(12), r31(1), r31(11)
PHI r30(8), r30(0), r30(7)
PHI r29(13), r29(4), r29(12)
PHI r27(12), r27(11), r27(9)
PHI r26(12), r26(7), r26(11)
PHI r21(14), r21(10), r21(13)
PHI r18(5), r18(0), r18(4)
PHI r16(5), r16(0), r16(4)
PHI r14(4), r14(0), r14(3)
PHI r12(3), r12(0), r12(2)
PHI r10(2), r10(1), r10(0)
PHI r0(34), r0(21), r0(33)
set r22(12), r21(14)
Successors: 49
Predeccessors: 27, 47
Dominance children:
BB 49 (0x9612e38):
Instructions:
PHI r39(6), r39(0), r39(5)
PHI r38(8), r38(0), r38(7)
PHI r37(12), r37(0), r37(11)
PHI r36(10), r36(0), r36(9)
PHI r35(7), r35(0), r35(6)
PHI r34(10), r34(0), r34(9)
PHI r33(10), r33(0), r33(9)
PHI r32(10), r32(0), r32(9)
PHI r31(13), r31(0), r31(12)
PHI r30(9), r30(0), r30(8)
PHI r29(14), r29(3), r29(13)
PHI r27(13), r27(8), r27(12)
PHI r26(13), r26(0), r26(12)
PHI r22(13), r22(9), r22(12)
PHI r21(15), r21(6), r21(14)
PHI r20(7), r20(6), r20(4)
PHI r18(6), r18(0), r18(5)
PHI r16(6), r16(0), r16(5)
PHI r14(5), r14(0), r14(4)
PHI r12(4), r12(0), r12(3)
PHI r10(3), r10(0), r10(2)
PHI r9(2), r9(1), r9(0)
PHI r0(35), r0(19), r0(34)
set r24(10), r22(13)
Successors: 50
Predeccessors: 23, 48
Dominance children:
BB 50 (0x9612e80):
Instructions:
PHI r39(7), r39(0), r39(6)
PHI r38(9), r38(0), r38(8)
PHI r37(13), r37(0), r37(12)
PHI r36(11), r36(0), r36(10)
PHI r35(8), r35(0), r35(7)
PHI r34(11), r34(0), r34(10)
PHI r33(11), r33(0), r33(10)
PHI r32(11), r32(0), r32(10)
PHI r31(14), r31(0), r31(13)
PHI r30(10), r30(0), r30(9)
PHI r29(15), r29(0), r29(14)
PHI r27(14), r27(6), r27(13)
PHI r26(14), r26(5), r26(13)
PHI r24(11), r24(7), r24(10)
PHI r23(9), r23(8), r23(0)
PHI r22(14), r22(5), r22(13)
PHI r21(16), r21(5), r21(15)
PHI r20(8), r20(3), r20(7)
PHI r18(7), r18(0), r18(6)
PHI r16(7), r16(0), r16(6)
PHI r14(6), r14(0), r14(5)
PHI r12(5), r12(0), r12(4)
PHI r10(4), r10(0), r10(3)
PHI r9(3), r9(0), r9(2)
PHI r8(2), r8(1), r8(0)
PHI r0(36), r0(17), r0(35)
set r25(6), r24(11)
Successors: 51
Predeccessors: 19, 49
Dominance children:
BB 51 (0x9612ec8):
Instructions:
PHI r25(7), r25(4), r25(6)
return_o r25(7)
Successors:
Predeccessors: 14, 50
Dominance children:
BB 52 (0x978cf48):
Instructions:
[Annotation: Inline Start (0)]
set r42(1), r44(1)
set r43(1), r45(1)
takedispatcher r46(1)
sp_p6oget_o r47(1), r42(1), liti16(16)
sp_p6oget_o r48(1), r43(1), liti16(16)
sp_getspeshslot r49(1), sslot(49)
bor_I r49(2), r47(1), r48(1), r49(1)
set r28(7), r49(2)
[Annotation: Inline End (0)]
goto BB(14)
Successors: 14
Predeccessors: 13
Dominance children:
Facts:
r0(0): usages=0, flags=0
r0(1): usages=1, flags=2
r0(2): usages=0, flags=2
r0(3): usages=0, flags=2
r0(4): usages=0, flags=2
r0(5): usages=0, flags=2
r0(6): usages=0, flags=2
r0(7): usages=0, flags=2
r0(8): usages=0, flags=2
r0(9): usages=0, flags=2
r0(10): usages=0, flags=2
r0(11): usages=0, flags=2
r0(12): usages=0, flags=2
r0(13): usages=2, flags=2
r0(14): usages=1, flags=2
r0(15): usages=1, flags=0
r0(16): usages=1, flags=2
r0(17): usages=3, flags=2
r0(18): usages=1, flags=2
r0(19): usages=3, flags=2
r0(20): usages=1, flags=2
r0(21): usages=3, flags=2
r0(22): usages=1, flags=2
r0(23): usages=3, flags=2
r0(24): usages=1, flags=2
r0(25): usages=3, flags=2
r0(26): usages=1, flags=2
r0(27): usages=3, flags=2
r0(28): usages=1, flags=2
r0(29): usages=1, flags=2
r0(30): usages=3, flags=2
r0(31): usages=2, flags=0
r0(32): usages=2, flags=0
r0(33): usages=2, flags=0
r0(34): usages=2, flags=0
r0(35): usages=2, flags=0
r0(36): usages=1, flags=0
r0(37): usages=0, flags=0
r1(0): usages=0, flags=0
r1(1): usages=1, flags=0
r2(0): usages=0, flags=0
r2(1): usages=1, flags=0
r3(0): usages=0, flags=0
r3(1): usages=1, flags=23
r3(2): usages=0, flags=0
r4(0): usages=0, flags=0
r4(1): usages=1, flags=0
r4(2): usages=6, flags=277
r4(3): usages=0, flags=0
r5(0): usages=0, flags=0
r5(1): usages=2, flags=2
r5(2): usages=0, flags=0
r6(0): usages=0, flags=0
r6(1): usages=0, flags=23
r6(2): usages=0, flags=0
r7(0): usages=1, flags=0
r7(1): usages=3, flags=425
r7(2): usages=0, flags=0
r8(0): usages=3, flags=0
r8(1): usages=4, flags=0
r8(2): usages=1, flags=0
r8(3): usages=0, flags=0
r9(0): usages=5, flags=0
r9(1): usages=4, flags=425
r9(2): usages=2, flags=0
r9(3): usages=1, flags=0
r9(4): usages=0, flags=0
r10(0): usages=7, flags=0
r10(1): usages=4, flags=0
r10(2): usages=2, flags=0
r10(3): usages=2, flags=0
r10(4): usages=1, flags=0
r10(5): usages=0, flags=0
r11(0): usages=0, flags=0
r11(1): usages=0, flags=0
r12(0): usages=9, flags=0
r12(1): usages=4, flags=0
r12(2): usages=2, flags=0
r12(3): usages=2, flags=0
r12(4): usages=2, flags=0
r12(5): usages=1, flags=0
r12(6): usages=0, flags=0
r13(0): usages=0, flags=0
r13(1): usages=0, flags=0
r14(0): usages=11, flags=0
r14(1): usages=4, flags=0
r14(2): usages=2, flags=0
r14(3): usages=2, flags=0
r14(4): usages=2, flags=0
r14(5): usages=2, flags=0
r14(6): usages=1, flags=0
r14(7): usages=0, flags=0
r15(0): usages=0, flags=0
r15(1): usages=0, flags=0
r16(0): usages=13, flags=0
r16(1): usages=4, flags=0
r16(2): usages=2, flags=0
r16(3): usages=2, flags=0
r16(4): usages=2, flags=0
r16(5): usages=2, flags=0
r16(6): usages=2, flags=0
r16(7): usages=1, flags=0
r16(8): usages=0, flags=0
r17(0): usages=0, flags=0
r17(1): usages=0, flags=0
r18(0): usages=13, flags=0
r18(1): usages=4, flags=0
r18(2): usages=2, flags=0
r18(3): usages=2, flags=0
r18(4): usages=2, flags=0
r18(5): usages=2, flags=0
r18(6): usages=2, flags=0
r18(7): usages=1, flags=0
r18(8): usages=0, flags=0
r19(0): usages=0, flags=0
r19(1): usages=4, flags=361
r20(0): usages=0, flags=0
r20(1): usages=4, flags=425
r20(2): usages=4, flags=15
r20(3): usages=6, flags=0
r20(4): usages=5, flags=0
r20(5): usages=1, flags=15
r20(6): usages=6, flags=361
r20(7): usages=2, flags=0
r20(8): usages=1, flags=0
r20(9): usages=0, flags=0
r21(0): usages=0, flags=0
r21(1): usages=3, flags=15
r21(2): usages=4, flags=361
r21(3): usages=3, flags=15
r21(4): usages=1, flags=277
r21(5): usages=5, flags=0
r21(6): usages=4, flags=4
r21(7): usages=4, flags=0
r21(8): usages=4, flags=0
r21(9): usages=3, flags=0
r21(10): usages=2, flags=0
r21(11): usages=1, flags=15
r21(12): usages=4, flags=0
r21(13): usages=2, flags=0
r21(14): usages=3, flags=0
r21(15): usages=2, flags=0
r21(16): usages=1, flags=0
r21(17): usages=0, flags=0
r22(0): usages=0, flags=0
r22(1): usages=1, flags=269
r22(2): usages=4, flags=361
r22(3): usages=4, flags=15
r22(4): usages=2, flags=15
r22(5): usages=4, flags=4
r22(6): usages=4, flags=361
r22(7): usages=4, flags=425
r22(8): usages=3, flags=0
r22(9): usages=2, flags=361
r22(10): usages=1, flags=15
r22(11): usages=4, flags=0
r22(12): usages=2, flags=0
r22(13): usages=3, flags=0
r22(14): usages=1, flags=0
r22(15): usages=0, flags=0
r23(0): usages=2, flags=0
r23(1): usages=3, flags=15
r23(2): usages=3, flags=15
r23(3): usages=2, flags=15
r23(4): usages=1, flags=0
r23(5): usages=6, flags=0
r23(6): usages=4, flags=0
r23(7): usages=4, flags=0
r23(8): usages=6, flags=0
r23(9): usages=1, flags=0
r23(10): usages=0, flags=0
r24(0): usages=0, flags=0
r24(1): usages=4, flags=269
r24(2): usages=2, flags=15
r24(3): usages=4, flags=361
r24(4): usages=3, flags=15
r24(5): usages=4, flags=0
r24(6): usages=3, flags=0
r24(7): usages=2, flags=0
r24(8): usages=1, flags=15
r24(9): usages=4, flags=269
r24(10): usages=2, flags=0
r24(11): usages=2, flags=0
r24(12): usages=0, flags=0
r25(0): usages=0, flags=0
r25(1): usages=4, flags=361
r25(2): usages=4, flags=361
r25(3): usages=4, flags=361
r25(4): usages=2, flags=269
r25(5): usages=4, flags=425
r25(6): usages=2, flags=0
r25(7): usages=1, flags=0
r26(0): usages=2, flags=0
r26(1): usages=2, flags=15
r26(2): usages=2, flags=269
r26(3): usages=4, flags=15
r26(4): usages=1, flags=0
r26(5): usages=3, flags=4
r26(6): usages=2, flags=4
r26(7): usages=6, flags=0
r26(8): usages=5, flags=0
r26(9): usages=1, flags=15
r26(10): usages=6, flags=0
r26(11): usages=2, flags=0
r26(12): usages=2, flags=0
r26(13): usages=2, flags=0
r26(14): usages=1, flags=0
r26(15): usages=0, flags=0
r27(0): usages=2, flags=0
r27(1): usages=6, flags=361
r27(2): usages=4, flags=269
r27(3): usages=6, flags=269
r27(4): usages=1, flags=0
r27(5): usages=2, flags=0
r27(6): usages=4, flags=4
r27(7): usages=2, flags=4
r27(8): usages=6, flags=361
r27(9): usages=5, flags=0
r27(10): usages=1, flags=15
r27(11): usages=6, flags=0
r27(12): usages=2, flags=0
r27(13): usages=2, flags=0
r27(14): usages=1, flags=0
r27(15): usages=0, flags=0
r28(0): usages=1, flags=0
r28(1): usages=2, flags=2
r28(2): usages=2, flags=15
r28(3): usages=2, flags=269
r28(4): usages=1, flags=15
r28(5): usages=1, flags=0
r28(6): usages=4, flags=361
r28(7): usages=5, flags=269
r28(8): usages=0, flags=0
r29(0): usages=4, flags=0
r29(1): usages=2, flags=269
r29(2): usages=1, flags=0
r29(3): usages=2, flags=269
r29(4): usages=4, flags=4
r29(5): usages=4, flags=0
r29(6): usages=4, flags=0
r29(7): usages=3, flags=0
r29(8): usages=2, flags=0
r29(9): usages=1, flags=15
r29(10): usages=4, flags=0
r29(11): usages=2, flags=0
r29(12): usages=3, flags=0
r29(13): usages=2, flags=0
r29(14): usages=2, flags=0
r29(15): usages=1, flags=0
r29(16): usages=0, flags=0
r30(0): usages=7, flags=0
r30(1): usages=2, flags=4
r30(2): usages=6, flags=0
r30(3): usages=5, flags=0
r30(4): usages=1, flags=15
r30(5): usages=6, flags=0
r30(6): usages=2, flags=0
r30(7): usages=2, flags=0
r30(8): usages=2, flags=0
r30(9): usages=2, flags=0
r30(10): usages=1, flags=0
r30(11): usages=0, flags=0
r31(0): usages=5, flags=0
r31(1): usages=2, flags=4
r31(2): usages=4, flags=4
r31(3): usages=4, flags=0
r31(4): usages=4, flags=0
r31(5): usages=3, flags=0
r31(6): usages=2, flags=0
r31(7): usages=1, flags=15
r31(8): usages=4, flags=0
r31(9): usages=2, flags=0
r31(10): usages=3, flags=0
r31(11): usages=2, flags=0
r31(12): usages=2, flags=0
r31(13): usages=2, flags=0
r31(14): usages=1, flags=0
r31(15): usages=0, flags=0
r32(0): usages=9, flags=0
r32(1): usages=2, flags=4
r32(2): usages=6, flags=0
r32(3): usages=5, flags=0
r32(4): usages=1, flags=15
r32(5): usages=6, flags=0
r32(6): usages=2, flags=0
r32(7): usages=2, flags=0
r32(8): usages=2, flags=0
r32(9): usages=2, flags=0
r32(10): usages=2, flags=0
r32(11): usages=1, flags=0
r32(12): usages=0, flags=0
r33(0): usages=9, flags=0
r33(1): usages=4, flags=4
r33(2): usages=4, flags=0
r33(3): usages=4, flags=0
r33(4): usages=5, flags=0
r33(5): usages=5, flags=0
r33(6): usages=2, flags=0
r33(7): usages=2, flags=0
r33(8): usages=2, flags=0
r33(9): usages=2, flags=0
r33(10): usages=2, flags=0
r33(11): usages=1, flags=0
r33(12): usages=0, flags=0
r34(0): usages=11, flags=0
r34(1): usages=2, flags=4
r34(2): usages=1, flags=4
r34(3): usages=6, flags=0
r34(4): usages=4, flags=0
r34(5): usages=5, flags=0
r34(6): usages=2, flags=0
r34(7): usages=2, flags=0
r34(8): usages=2, flags=0
r34(9): usages=2, flags=0
r34(10): usages=2, flags=0
r34(11): usages=1, flags=0
r34(12): usages=0, flags=0
r35(0): usages=11, flags=0
r35(1): usages=4, flags=4
r35(2): usages=5, flags=0
r35(3): usages=2, flags=0
r35(4): usages=2, flags=0
r35(5): usages=2, flags=0
r35(6): usages=2, flags=0
r35(7): usages=2, flags=0
r35(8): usages=1, flags=0
r35(9): usages=0, flags=0
r36(0): usages=9, flags=0
r36(1): usages=4, flags=4
r36(2): usages=2, flags=15
r36(3): usages=1, flags=15
r36(4): usages=4, flags=0
r36(5): usages=6, flags=0
r36(6): usages=2, flags=0
r36(7): usages=2, flags=0
r36(8): usages=2, flags=0
r36(9): usages=2, flags=0
r36(10): usages=2, flags=0
r36(11): usages=1, flags=0
r36(12): usages=0, flags=0
r37(0): usages=7, flags=0
r37(1): usages=4, flags=4
r37(2): usages=2, flags=0
r37(3): usages=6, flags=0
r37(4): usages=4, flags=0
r37(5): usages=4, flags=0
r37(6): usages=2, flags=4
r37(7): usages=2, flags=0
r37(8): usages=3, flags=0
r37(9): usages=2, flags=0
r37(10): usages=2, flags=0
r37(11): usages=2, flags=0
r37(12): usages=2, flags=0
r37(13): usages=1, flags=0
r37(14): usages=0, flags=0
r38(0): usages=13, flags=0
r38(1): usages=2, flags=0
r38(2): usages=2, flags=4
r38(3): usages=4, flags=4
r38(4): usages=2, flags=0
r38(5): usages=2, flags=0
r38(6): usages=2, flags=0
r38(7): usages=2, flags=0
r38(8): usages=2, flags=0
r38(9): usages=1, flags=0
r38(10): usages=0, flags=0
r39(0): usages=13, flags=0
r39(1): usages=3, flags=4
r39(2): usages=2, flags=0
r39(3): usages=2, flags=0
r39(4): usages=2, flags=0
r39(5): usages=2, flags=0
r39(6): usages=2, flags=0
r39(7): usages=1, flags=0
r39(8): usages=0, flags=0
r40(0): usages=0, flags=0
r41(0): usages=0, flags=0
r42(0): usages=0, flags=0
r42(1): usages=1, flags=0
r43(0): usages=0, flags=0
r43(1): usages=1, flags=0
r44(0): usages=0, flags=0
r44(1): usages=2, flags=0
r45(0): usages=0, flags=0
r45(1): usages=2, flags=0
r46(0): usages=0, flags=0
r46(1): usages=0, flags=0
r47(0): usages=0, flags=0
r47(1): usages=1, flags=0
r48(0): usages=0, flags=0
r48(1): usages=1, flags=0
r49(0): usages=0, flags=0
r49(1): usages=1, flags=0
r49(2): usages=1, flags=0
r50(0): usages=0, flags=0
r51(0): usages=0, flags=0
r52(0): usages=1, flags=0
r52(1): usages=1, flags=0
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment