projects
/
libfirm
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
c3dc0fd
)
Visit count is one less yet
author
FIRM Projekt Account
<firm@ipd.info.uni-karlsruhe.de>
Mon, 30 May 2005 08:30:22 +0000
(08:30 +0000)
committer
FIRM Projekt Account
<firm@ipd.info.uni-karlsruhe.de>
Mon, 30 May 2005 08:30:22 +0000
(08:30 +0000)
[r5904]
testprograms/ref-results/STRENGTH_RED_EXAMPLE_m1-strength_reduced.vcg
patch
|
blob
|
history
testprograms/ref-results/STRENGTH_RED_EXAMPLE_m2-strength_reduced.vcg
patch
|
blob
|
history
testprograms/ref-results/STRENGTH_RED_EXAMPLE_m3-strength_reduced.vcg
patch
|
blob
|
history
testprograms/ref-results/STRENGTH_RED_EXAMPLE_m4-strength_reduced.vcg
patch
|
blob
|
history
testprograms/ref-results/STRENGTH_RED_EXAMPLE_m5-strength_reduced.vcg
patch
|
blob
|
history
testprograms/ref-results/STRENGTH_RED_EXAMPLE_m6-strength_reduced.vcg
patch
|
blob
|
history
testprograms/ref-results/STRENGTH_RED_EXAMPLE_m7-strength_reduced.vcg
patch
|
blob
|
history
diff --git
a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m1-strength_reduced.vcg
b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m1-strength_reduced.vcg
index
15c634c
..
8fc73f3
100644
(file)
--- a/
testprograms/ref-results/STRENGTH_RED_EXAMPLE_m1-strength_reduced.vcg
+++ b/
testprograms/ref-results/STRENGTH_RED_EXAMPLE_m1-strength_reduced.vcg
@@
-58,7
+58,7
@@
edge: {sourcename: "n95" targetname: "n57" label: "0" class:13 priority:60 color
backedge: {sourcename: "n95" targetname: "n116" label: "1" linestyle:dashed class:13 priority:60 color:red}
node: {title: "n122" label: "PhiM 122" info1: "Phi 122
mode: M
backedge: {sourcename: "n95" targetname: "n116" label: "1" linestyle:dashed class:13 priority:60 color:red}
node: {title: "n122" label: "PhiM 122" info1: "Phi 122
mode: M
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 2
pred nodes:
@@
-74,7
+74,7
@@
edge: {sourcename: "n122" targetname: "n93" label: "0" class:17 priority:10 colo
edge: {sourcename: "n122" targetname: "n114" label: "1" class:17 priority:10 color:blue}
node: {title: "n568" label: "PhiP 568" info1: "Phi 568
mode: P
edge: {sourcename: "n122" targetname: "n114" label: "1" class:17 priority:10 color:blue}
node: {title: "n568" label: "PhiP 568" info1: "Phi 568
mode: P
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 2
pred nodes:
@@
-89,7
+89,7
@@
edge: {sourcename: "n568" targetname: "n570" label: "0" class:16 priority:10}
edge: {sourcename: "n568" targetname: "n569" label: "1" class:16 priority:10}
node: {title: "n566" label: "MulIs 566" info1: "Mul 566
mode: Is
edge: {sourcename: "n568" targetname: "n569" label: "1" class:16 priority:10}
node: {title: "n566" label: "MulIs 566" info1: "Mul 566
mode: Is
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 2
pred nodes:
@@
-101,7
+101,7
@@
node: {title: "n566" label: "MulIs 566" info1: "Mul 566
}
node: {title: "n566n61" label: "0x4Is 61" info1: "0x4 61
mode: Is
}
node: {title: "n566n61" label: "0x4Is 61" info1: "0x4 61
mode: Is
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
@@
-115,7
+115,7
@@
edge: {sourcename: "n566" targetname: "n566n61" label: "0" class:16 priority:10}
edge: {sourcename: "n566" targetname: "n94" label: "1" class:16 priority:10}
node: {title: "n102" label: "Jmp 102" info1: "Jmp 102
mode: X
edge: {sourcename: "n566" targetname: "n94" label: "1" class:16 priority:10}
node: {title: "n102" label: "Jmp 102" info1: "Jmp 102
mode: X
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
@@
-131,7
+131,7
@@
edge: {sourcename: "n49" targetname: "n48" label: "0" class:13 priority:60 color
backedge: {sourcename: "n49" targetname: "n87" label: "1" linestyle:dashed class:13 priority:60 color:red}
node: {title: "n93" label: "PhiM 93" info1: "Phi 93
mode: M
backedge: {sourcename: "n49" targetname: "n87" label: "1" linestyle:dashed class:13 priority:60 color:red}
node: {title: "n93" label: "PhiM 93" info1: "Phi 93
mode: M
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 2
pred nodes:
@@
-147,7
+147,7
@@
edge: {sourcename: "n93" targetname: "n43" label: "0" class:17 priority:10 color
edge: {sourcename: "n93" targetname: "n85" label: "1" class:17 priority:10 color:blue}
node: {title: "n561" label: "PhiP 561" info1: "Phi 561
mode: P
edge: {sourcename: "n93" targetname: "n85" label: "1" class:17 priority:10 color:blue}
node: {title: "n561" label: "PhiP 561" info1: "Phi 561
mode: P
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 2
pred nodes:
@@
-160,7
+160,7
@@
node: {title: "n561" label: "PhiP 561" info1: "Phi 561
color: green}
node: {title: "n561n64" label: "SymC &a2 64" info1: "SymC &a2 64
mode: P
color: green}
node: {title: "n561n64" label: "SymC &a2 64" info1: "SymC &a2 64
mode: P
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
@@
-177,7
+177,7
@@
edge: {sourcename: "n561" targetname: "n561n64" label: "0" class:16 priority:10}
edge: {sourcename: "n561" targetname: "n562" label: "1" class:16 priority:10}
node: {title: "n553" label: "PhiP 553" info1: "Phi 553
mode: P
edge: {sourcename: "n561" targetname: "n562" label: "1" class:16 priority:10}
node: {title: "n553" label: "PhiP 553" info1: "Phi 553
mode: P
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 2
pred nodes:
@@
-190,7
+190,7
@@
node: {title: "n553" label: "PhiP 553" info1: "Phi 553
color: green}
node: {title: "n553n63" label: "SymC &a 63" info1: "SymC &a 63
mode: P
color: green}
node: {title: "n553n63" label: "SymC &a 63" info1: "SymC &a 63
mode: P
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
@@
-207,7
+207,7
@@
edge: {sourcename: "n553" targetname: "n553n63" label: "0" class:16 priority:10}
edge: {sourcename: "n553" targetname: "n554" label: "1" class:16 priority:10}
node: {title: "n570" label: "AddP 570" info1: "Add 570
mode: P
edge: {sourcename: "n553" targetname: "n554" label: "1" class:16 priority:10}
node: {title: "n570" label: "AddP 570" info1: "Add 570
mode: P
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 2
pred nodes:
@@
-219,7
+219,7
@@
node: {title: "n570" label: "AddP 570" info1: "Add 570
}
node: {title: "n570n63" label: "SymC &a 63" info1: "SymC &a 63
mode: P
}
node: {title: "n570n63" label: "SymC &a 63" info1: "SymC &a 63
mode: P
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
@@
-236,7
+236,7
@@
edge: {sourcename: "n570" targetname: "n570n63" label: "0" class:16 priority:10}
edge: {sourcename: "n570" targetname: "n566" label: "1" class:16 priority:10}
node: {title: "n57" label: "ProjX 0 57" info1: "Proj 57
mode: X
edge: {sourcename: "n570" targetname: "n566" label: "1" class:16 priority:10}
node: {title: "n57" label: "ProjX 0 57" info1: "Proj 57
mode: X
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 1
pred nodes:
@@
-249,7
+249,7
@@
color: yellow}
edge: {sourcename: "n57" targetname: "n56" label: "0" class:13 priority:60 color:red}
node: {title: "n58" label: "ProjX 1 58" info1: "Proj 58
mode: X
edge: {sourcename: "n57" targetname: "n56" label: "0" class:13 priority:60 color:red}
node: {title: "n58" label: "ProjX 1 58" info1: "Proj 58
mode: X
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 1
pred nodes:
@@
-262,7
+262,7
@@
color: yellow}
edge: {sourcename: "n58" targetname: "n56" label: "0" class:13 priority:60 color:red}
node: {title: "n56" label: "Cond 56" info1: "Cond 56
mode: T
edge: {sourcename: "n58" targetname: "n56" label: "0" class:13 priority:60 color:red}
node: {title: "n56" label: "Cond 56" info1: "Cond 56
mode: T
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 1
pred nodes:
@@
-277,7
+277,7
@@
node: {title: "n56" label: "Cond 56" info1: "Cond 56
edge: {sourcename: "n56" targetname: "n53" label: "0" class:1 priority:50}
node: {title: "n53" label: "Projb Le 53" info1: "Proj 53
mode: b
edge: {sourcename: "n56" targetname: "n53" label: "0" class:1 priority:50}
node: {title: "n53" label: "Projb Le 53" info1: "Proj 53
mode: b
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 1
pred nodes:
@@
-290,7
+290,7
@@
color: yellow}
edge: {sourcename: "n53" targetname: "n55" label: "0" class:1 priority:50}
node: {title: "n55" label: "Cmp 55" info1: "Cmp 55
mode: T
edge: {sourcename: "n53" targetname: "n55" label: "0" class:1 priority:50}
node: {title: "n55" label: "Cmp 55" info1: "Cmp 55
mode: T
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 2
pred nodes:
@@
-303,7
+303,7
@@
node: {title: "n55" label: "Cmp 55" info1: "Cmp 55
}
node: {title: "n55n54" label: "0x9Is 54" info1: "0x9 54
mode: Is
}
node: {title: "n55n54" label: "0x9Is 54" info1: "0x9 54
mode: Is
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
@@
-317,7
+317,7
@@
edge: {sourcename: "n55" targetname: "n94" label: "0" class:1 priority:50}
edge: {sourcename: "n55" targetname: "n55n54" label: "1" class:16 priority:10}
node: {title: "n94" label: "PhiIs 94" info1: "Phi 94
mode: Is
edge: {sourcename: "n55" targetname: "n55n54" label: "1" class:16 priority:10}
node: {title: "n94" label: "PhiIs 94" info1: "Phi 94
mode: Is
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 2
pred nodes:
@@
-331,7
+331,7
@@
node: {title: "n94" label: "PhiIs 94" info1: "Phi 94
color: green}
node: {title: "n94n47" label: "0x0Is 47" info1: "0x0 47
mode: Is
color: green}
node: {title: "n94n47" label: "0x0Is 47" info1: "0x0 47
mode: Is
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
@@
-349,7
+349,7
@@
graph: { title: "n46" label: "Block 46" status:clustered color:yellow
edge: {sourcename: "n46" targetname: "n40" label: "0" class:13 priority:60 color:red}
node: {title: "n48" label: "Jmp 48" info1: "Jmp 48
mode: X
edge: {sourcename: "n46" targetname: "n40" label: "0" class:13 priority:60 color:red}
node: {title: "n48" label: "Jmp 48" info1: "Jmp 48
mode: X
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
@@
-364,7
+364,7
@@
graph: { title: "n59" label: "Block 59" status:clustered color:yellow
edge: {sourcename: "n59" targetname: "n58" label: "0" class:13 priority:60 color:red}
node: {title: "n85" label: "ProjM 0 85" info1: "Proj 85
mode: M
edge: {sourcename: "n59" targetname: "n58" label: "0" class:13 priority:60 color:red}
node: {title: "n85" label: "ProjM 0 85" info1: "Proj 85
mode: M
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 1
pred nodes:
@@
-377,7
+377,7
@@
color: yellow}
edge: {sourcename: "n85" targetname: "n83" label: "0" class:17 priority:10 color:blue}
node: {title: "n83" label: "Store 83" info1: "Store 83
mode: T
edge: {sourcename: "n85" targetname: "n83" label: "0" class:17 priority:10 color:blue}
node: {title: "n83" label: "Store 83" info1: "Store 83
mode: T
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 3
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 3
pred nodes:
@@
-393,7
+393,7
@@
node: {title: "n83" label: "Store 83" info1: "Store 83
}
node: {title: "n83n82" label: "0xFIs 82" info1: "0xF 82
mode: Is
}
node: {title: "n83n82" label: "0xFIs 82" info1: "0xF 82
mode: Is
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
@@
-408,7
+408,7
@@
edge: {sourcename: "n83" targetname: "n553" label: "1" class:16 priority:10}
edge: {sourcename: "n83" targetname: "n83n82" label: "2" class:16 priority:10}
node: {title: "n78" label: "ProjM 0 78" info1: "Proj 78
mode: M
edge: {sourcename: "n83" targetname: "n83n82" label: "2" class:16 priority:10}
node: {title: "n78" label: "ProjM 0 78" info1: "Proj 78
mode: M
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 1
pred nodes:
@@
-421,7
+421,7
@@
color: yellow}
edge: {sourcename: "n78" targetname: "n76" label: "0" class:17 priority:10 color:blue}
node: {title: "n76" label: "Store 76" info1: "Store 76
mode: T
edge: {sourcename: "n78" targetname: "n76" label: "0" class:17 priority:10 color:blue}
node: {title: "n76" label: "Store 76" info1: "Store 76
mode: T
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 3
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 3
pred nodes:
@@
-437,7
+437,7
@@
node: {title: "n76" label: "Store 76" info1: "Store 76
}
node: {title: "n76n75" label: "0x10Is 75" info1: "0x10 75
mode: Is
}
node: {title: "n76n75" label: "0x10Is 75" info1: "0x10 75
mode: Is
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
@@
-452,7
+452,7
@@
edge: {sourcename: "n76" targetname: "n561" label: "1" class:16 priority:10}
edge: {sourcename: "n76" targetname: "n76n75" label: "2" class:16 priority:10}
node: {title: "n74" label: "ProjM 0 74" info1: "Proj 74
mode: M
edge: {sourcename: "n76" targetname: "n76n75" label: "2" class:16 priority:10}
node: {title: "n74" label: "ProjM 0 74" info1: "Proj 74
mode: M
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 1
pred nodes:
@@
-465,7
+465,7
@@
color: yellow}
edge: {sourcename: "n74" targetname: "n72" label: "0" class:17 priority:10 color:blue}
node: {title: "n72" label: "Store 72" info1: "Store 72
mode: T
edge: {sourcename: "n74" targetname: "n72" label: "0" class:17 priority:10 color:blue}
node: {title: "n72" label: "Store 72" info1: "Store 72
mode: T
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 3
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 3
pred nodes:
@@
-481,7
+481,7
@@
node: {title: "n72" label: "Store 72" info1: "Store 72
}
node: {title: "n72n70" label: "0x13Is 70" info1: "0x13 70
mode: Is
}
node: {title: "n72n70" label: "0x13Is 70" info1: "0x13 70
mode: Is
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
@@
-496,7
+496,7
@@
edge: {sourcename: "n72" targetname: "n553" label: "1" class:16 priority:10}
edge: {sourcename: "n72" targetname: "n72n70" label: "2" class:16 priority:10}
node: {title: "n562" label: "AddP 562" info1: "Add 562
mode: P
edge: {sourcename: "n72" targetname: "n72n70" label: "2" class:16 priority:10}
node: {title: "n562" label: "AddP 562" info1: "Add 562
mode: P
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 2
pred nodes:
@@
-508,7
+508,7
@@
node: {title: "n562" label: "AddP 562" info1: "Add 562
}
node: {title: "n562n62" label: "0xCIs 62" info1: "0xC 62
mode: Is
}
node: {title: "n562n62" label: "0xCIs 62" info1: "0xC 62
mode: Is
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
@@
-522,7
+522,7
@@
edge: {sourcename: "n562" targetname: "n562n62" label: "0" class:16 priority:10}
edge: {sourcename: "n562" targetname: "n561" label: "1" class:16 priority:10}
node: {title: "n554" label: "AddP 554" info1: "Add 554
mode: P
edge: {sourcename: "n562" targetname: "n561" label: "1" class:16 priority:10}
node: {title: "n554" label: "AddP 554" info1: "Add 554
mode: P
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 2
pred nodes:
@@
-534,7
+534,7
@@
node: {title: "n554" label: "AddP 554" info1: "Add 554
}
node: {title: "n554n61" label: "0x4Is 61" info1: "0x4 61
mode: Is
}
node: {title: "n554n61" label: "0x4Is 61" info1: "0x4 61
mode: Is
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
@@
-548,7
+548,7
@@
edge: {sourcename: "n554" targetname: "n554n61" label: "0" class:16 priority:10}
edge: {sourcename: "n554" targetname: "n553" label: "1" class:16 priority:10}
node: {title: "n87" label: "Jmp 87" info1: "Jmp 87
mode: X
edge: {sourcename: "n554" targetname: "n553" label: "1" class:16 priority:10}
node: {title: "n87" label: "Jmp 87" info1: "Jmp 87
mode: X
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
@@
-559,7
+559,7
@@
node: {title: "n87" label: "Jmp 87" info1: "Jmp 87
}
node: {title: "n86" label: "AddIs 86" info1: "Add 86
mode: Is
}
node: {title: "n86" label: "AddIs 86" info1: "Add 86
mode: Is
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 2
pred nodes:
@@
-572,7
+572,7
@@
node: {title: "n86" label: "AddIs 86" info1: "Add 86
}
node: {title: "n86n60" label: "0x1Is 60" info1: "0x1 60
mode: Is
}
node: {title: "n86n60" label: "0x1Is 60" info1: "0x1 60
mode: Is
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
@@
-590,7
+590,7
@@
graph: { title: "n105" label: "Block 105" status:clustered color:yellow
edge: {sourcename: "n105" targetname: "n102" label: "0" class:13 priority:60 color:red}
node: {title: "n114" label: "ProjM 0 114" info1: "Proj 114
mode: M
edge: {sourcename: "n105" targetname: "n102" label: "0" class:13 priority:60 color:red}
node: {title: "n114" label: "ProjM 0 114" info1: "Proj 114
mode: M
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 1
pred nodes:
@@
-603,7
+603,7
@@
color: yellow}
edge: {sourcename: "n114" targetname: "n112" label: "0" class:17 priority:10 color:blue}
node: {title: "n112" label: "Store 112" info1: "Store 112
mode: T
edge: {sourcename: "n114" targetname: "n112" label: "0" class:17 priority:10 color:blue}
node: {title: "n112" label: "Store 112" info1: "Store 112
mode: T
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 3
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 3
pred nodes:
@@
-619,7
+619,7
@@
node: {title: "n112" label: "Store 112" info1: "Store 112
}
node: {title: "n112n70" label: "0x13Is 70" info1: "0x13 70
mode: Is
}
node: {title: "n112n70" label: "0x13Is 70" info1: "0x13 70
mode: Is
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
@@
-634,7
+634,7
@@
edge: {sourcename: "n112" targetname: "n568" label: "1" class:16 priority:10}
edge: {sourcename: "n112" targetname: "n112n70" label: "2" class:16 priority:10}
node: {title: "n569" label: "AddP 569" info1: "Add 569
mode: P
edge: {sourcename: "n112" targetname: "n112n70" label: "2" class:16 priority:10}
node: {title: "n569" label: "AddP 569" info1: "Add 569
mode: P
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 2
pred nodes:
@@
-646,7
+646,7
@@
node: {title: "n569" label: "AddP 569" info1: "Add 569
}
node: {title: "n569n565" label: "0xFFFFFFFCIs 565" info1: "0xFFFFFFFC 565
mode: Is
}
node: {title: "n569n565" label: "0xFFFFFFFCIs 565" info1: "0xFFFFFFFC 565
mode: Is
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
@@
-659,7
+659,7
@@
edge: {sourcename: "n569" targetname: "n569n565" label: "0" class:16 priority:10
edge: {sourcename: "n569" targetname: "n568" label: "1" class:16 priority:10}
node: {title: "n116" label: "Jmp 116" info1: "Jmp 116
mode: X
edge: {sourcename: "n569" targetname: "n568" label: "1" class:16 priority:10}
node: {title: "n116" label: "Jmp 116" info1: "Jmp 116
mode: X
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
@@
-674,7
+674,7
@@
graph: { title: "n34" label: "Block 34" status:clustered color:yellow
edge: {sourcename: "n34" targetname: "n34n38" label: "0" class:13 priority:60 color:red}
node: {title: "n35" label: "End 35" info1: "End 35
mode: X
edge: {sourcename: "n34" targetname: "n34n38" label: "0" class:13 priority:60 color:red}
node: {title: "n35" label: "End 35" info1: "End 35
mode: X
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 3
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 3
pred nodes:
@@
-689,7
+689,7
@@
color: blue}
}
node: {title: "n34n38" label: "Bad 38" info1: "Bad 38
mode: T
}
node: {title: "n34n38" label: "Bad 38" info1: "Bad 38
mode: T
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
@@
-704,7
+704,7
@@
graph: { title: "n36" label: "Block 36" status:clustered color:yellow
edge: {sourcename: "n36" targetname: "n40" label: "0" class:13 priority:60 color:red}
node: {title: "n43" label: "ProjM 1 43" info1: "Proj 43
mode: M
edge: {sourcename: "n36" targetname: "n40" label: "0" class:13 priority:60 color:red}
node: {title: "n43" label: "ProjM 1 43" info1: "Proj 43
mode: M
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 1
pred nodes:
@@
-717,7
+717,7
@@
color: yellow}
edge: {sourcename: "n43" targetname: "n37" label: "0" class:17 priority:10 color:blue}
node: {title: "n40" label: "ProjX 0 40" info1: "Proj 40
mode: X
edge: {sourcename: "n43" targetname: "n37" label: "0" class:17 priority:10 color:blue}
node: {title: "n40" label: "ProjX 0 40" info1: "Proj 40
mode: X
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 1
pred nodes:
@@
-730,7
+730,7
@@
color: yellow}
edge: {sourcename: "n40" targetname: "n37" label: "0" class:13 priority:60 color:red}
node: {title: "n37" label: "Start 37" info1: "Start 37
mode: T
edge: {sourcename: "n40" targetname: "n37" label: "0" class:13 priority:60 color:red}
node: {title: "n37" label: "Start 37" info1: "Start 37
mode: T
- visited: 3
7
+ visited: 3
6
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m1
arity: 0
pred nodes:
diff --git
a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m2-strength_reduced.vcg
b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m2-strength_reduced.vcg
index
6c71d9b
..
9791a49
100644
(file)
--- a/
testprograms/ref-results/STRENGTH_RED_EXAMPLE_m2-strength_reduced.vcg
+++ b/
testprograms/ref-results/STRENGTH_RED_EXAMPLE_m2-strength_reduced.vcg
@@
-57,7
+57,7
@@
graph: { title: "n139" label: "Block 139" status:clustered color:yellow
edge: {sourcename: "n139" targetname: "n190" label: "0" class:13 priority:60 color:red}
node: {title: "n140" label: "End 140" info1: "End 140
mode: X
edge: {sourcename: "n139" targetname: "n190" label: "0" class:13 priority:60 color:red}
node: {title: "n140" label: "End 140" info1: "End 140
mode: X
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m2
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m2
arity: 1
pred nodes:
@@
-73,7
+73,7
@@
graph: { title: "n187" label: "Block 187" status:clustered color:yellow
edge: {sourcename: "n187" targetname: "n163" label: "0" class:13 priority:60 color:red}
node: {title: "n190" label: "Return 190" info1: "Return 190
mode: X
edge: {sourcename: "n187" targetname: "n163" label: "0" class:13 priority:60 color:red}
node: {title: "n190" label: "Return 190" info1: "Return 190
mode: X
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m2
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m2
arity: 2
pred nodes:
@@
-88,7
+88,7
@@
node: {title: "n190" label: "Return 190" info1: "Return 190
}
node: {title: "n190n169" label: "0x4Is 169" info1: "0x4 169
mode: Is
}
node: {title: "n190n169" label: "0x4Is 169" info1: "0x4 169
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m2
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m2
arity: 0
pred nodes:
@@
-107,7
+107,7
@@
edge: {sourcename: "n155" targetname: "n154" label: "0" class:13 priority:60 col
backedge: {sourcename: "n155" targetname: "n181" label: "1" linestyle:dashed class:13 priority:60 color:red}
node: {title: "n194" label: "PhiM 194" info1: "Phi 194
mode: M
backedge: {sourcename: "n155" targetname: "n181" label: "1" linestyle:dashed class:13 priority:60 color:red}
node: {title: "n194" label: "PhiM 194" info1: "Phi 194
mode: M
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m2
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m2
arity: 2
pred nodes:
@@
-123,7
+123,7
@@
edge: {sourcename: "n194" targetname: "n148" label: "0" class:17 priority:10 col
edge: {sourcename: "n194" targetname: "n179" label: "1" class:17 priority:10 color:blue}
node: {title: "n584" label: "PhiIs 584" info1: "Phi 584
mode: Is
edge: {sourcename: "n194" targetname: "n179" label: "1" class:17 priority:10 color:blue}
node: {title: "n584" label: "PhiIs 584" info1: "Phi 584
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m2
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m2
arity: 2
pred nodes:
@@
-136,7
+136,7
@@
node: {title: "n584" label: "PhiIs 584" info1: "Phi 584
color: green}
node: {title: "n584n152" label: "0x0Is 152" info1: "0x0 152
mode: Is
color: green}
node: {title: "n584n152" label: "0x0Is 152" info1: "0x0 152
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m2
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m2
arity: 0
pred nodes:
@@
-150,7
+150,7
@@
edge: {sourcename: "n584" targetname: "n584n152" label: "0" class:16 priority:10
edge: {sourcename: "n584" targetname: "n585" label: "1" class:16 priority:10}
node: {title: "n591" label: "PhiIs 591" info1: "Phi 591
mode: Is
edge: {sourcename: "n584" targetname: "n585" label: "1" class:16 priority:10}
node: {title: "n591" label: "PhiIs 591" info1: "Phi 591
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m2
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m2
arity: 2
pred nodes:
@@
-163,7
+163,7
@@
node: {title: "n591" label: "PhiIs 591" info1: "Phi 591
color: green}
node: {title: "n591n152" label: "0x0Is 152" info1: "0x0 152
mode: Is
color: green}
node: {title: "n591n152" label: "0x0Is 152" info1: "0x0 152
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m2
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m2
arity: 0
pred nodes:
@@
-177,7
+177,7
@@
edge: {sourcename: "n591" targetname: "n591n152" label: "0" class:16 priority:10
edge: {sourcename: "n591" targetname: "n592" label: "1" class:16 priority:10}
node: {title: "n163" label: "ProjX 0 163" info1: "Proj 163
mode: X
edge: {sourcename: "n591" targetname: "n592" label: "1" class:16 priority:10}
node: {title: "n163" label: "ProjX 0 163" info1: "Proj 163
mode: X
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m2
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m2
arity: 1
pred nodes:
@@
-190,7
+190,7
@@
color: yellow}
edge: {sourcename: "n163" targetname: "n162" label: "0" class:13 priority:60 color:red}
node: {title: "n164" label: "ProjX 1 164" info1: "Proj 164
mode: X
edge: {sourcename: "n163" targetname: "n162" label: "0" class:13 priority:60 color:red}
node: {title: "n164" label: "ProjX 1 164" info1: "Proj 164
mode: X
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m2
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m2
arity: 1
pred nodes:
@@
-203,7
+203,7
@@
color: yellow}
edge: {sourcename: "n164" targetname: "n162" label: "0" class:13 priority:60 color:red}
node: {title: "n162" label: "Cond 162" info1: "Cond 162
mode: T
edge: {sourcename: "n164" targetname: "n162" label: "0" class:13 priority:60 color:red}
node: {title: "n162" label: "Cond 162" info1: "Cond 162
mode: T
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m2
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m2
arity: 1
pred nodes:
@@
-218,7
+218,7
@@
node: {title: "n162" label: "Cond 162" info1: "Cond 162
edge: {sourcename: "n162" targetname: "n159" label: "0" class:1 priority:50}
node: {title: "n159" label: "Projb Le 159" info1: "Proj 159
mode: b
edge: {sourcename: "n162" targetname: "n159" label: "0" class:1 priority:50}
node: {title: "n159" label: "Projb Le 159" info1: "Proj 159
mode: b
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m2
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m2
arity: 1
pred nodes:
@@
-231,7
+231,7
@@
color: yellow}
edge: {sourcename: "n159" targetname: "n161" label: "0" class:1 priority:50}
node: {title: "n161" label: "Cmp 161" info1: "Cmp 161
mode: T
edge: {sourcename: "n159" targetname: "n161" label: "0" class:1 priority:50}
node: {title: "n161" label: "Cmp 161" info1: "Cmp 161
mode: T
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m2
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m2
arity: 2
pred nodes:
@@
-244,7
+244,7
@@
node: {title: "n161" label: "Cmp 161" info1: "Cmp 161
}
node: {title: "n161n160" label: "0x9Is 160" info1: "0x9 160
mode: Is
}
node: {title: "n161n160" label: "0x9Is 160" info1: "0x9 160
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m2
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m2
arity: 0
pred nodes:
@@
-258,7
+258,7
@@
edge: {sourcename: "n161" targetname: "n195" label: "0" class:1 priority:50}
edge: {sourcename: "n161" targetname: "n161n160" label: "1" class:16 priority:10}
node: {title: "n195" label: "PhiIs 195" info1: "Phi 195
mode: Is
edge: {sourcename: "n161" targetname: "n161n160" label: "1" class:16 priority:10}
node: {title: "n195" label: "PhiIs 195" info1: "Phi 195
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m2
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m2
arity: 2
pred nodes:
@@
-272,7
+272,7
@@
node: {title: "n195" label: "PhiIs 195" info1: "Phi 195
color: green}
node: {title: "n195n152" label: "0x0Is 152" info1: "0x0 152
mode: Is
color: green}
node: {title: "n195n152" label: "0x0Is 152" info1: "0x0 152
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m2
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m2
arity: 0
pred nodes:
@@
-290,7
+290,7
@@
graph: { title: "n151" label: "Block 151" status:clustered color:yellow
edge: {sourcename: "n151" targetname: "n145" label: "0" class:13 priority:60 color:red}
node: {title: "n154" label: "Jmp 154" info1: "Jmp 154
mode: X
edge: {sourcename: "n151" targetname: "n145" label: "0" class:13 priority:60 color:red}
node: {title: "n154" label: "Jmp 154" info1: "Jmp 154
mode: X
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m2
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m2
arity: 0
pred nodes:
@@
-305,7
+305,7
@@
graph: { title: "n165" label: "Block 165" status:clustered color:yellow
edge: {sourcename: "n165" targetname: "n164" label: "0" class:13 priority:60 color:red}
node: {title: "n179" label: "ProjM 0 179" info1: "Proj 179
mode: M
edge: {sourcename: "n165" targetname: "n164" label: "0" class:13 priority:60 color:red}
node: {title: "n179" label: "ProjM 0 179" info1: "Proj 179
mode: M
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m2
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m2
arity: 1
pred nodes:
@@
-318,7
+318,7
@@
color: yellow}
edge: {sourcename: "n179" targetname: "n177" label: "0" class:17 priority:10 color:blue}
node: {title: "n177" label: "Store 177" info1: "Store 177
mode: T
edge: {sourcename: "n179" targetname: "n177" label: "0" class:17 priority:10 color:blue}
node: {title: "n177" label: "Store 177" info1: "Store 177
mode: T
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m2
arity: 3
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m2
arity: 3
pred nodes:
@@
-337,7
+337,7
@@
edge: {sourcename: "n177" targetname: "n576" label: "1" class:1 priority:50}
edge: {sourcename: "n177" targetname: "n591" label: "2" class:16 priority:10}
node: {title: "n576" label: "AddP 576" info1: "Add 576
mode: P
edge: {sourcename: "n177" targetname: "n591" label: "2" class:16 priority:10}
node: {title: "n576" label: "AddP 576" info1: "Add 576
mode: P
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m2
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m2
arity: 2
pred nodes:
@@
-351,7
+351,7
@@
edge: {sourcename: "n576" targetname: "n584" label: "0" class:16 priority:10}
edge: {sourcename: "n576" targetname: "n575" label: "1" class:1 priority:50}
node: {title: "n585" label: "AddIs 585" info1: "Add 585
mode: Is
edge: {sourcename: "n576" targetname: "n575" label: "1" class:1 priority:50}
node: {title: "n585" label: "AddIs 585" info1: "Add 585
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m2
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m2
arity: 2
pred nodes:
@@
-363,7
+363,7
@@
node: {title: "n585" label: "AddIs 585" info1: "Add 585
}
node: {title: "n585n169" label: "0x4Is 169" info1: "0x4 169
mode: Is
}
node: {title: "n585n169" label: "0x4Is 169" info1: "0x4 169
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m2
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m2
arity: 0
pred nodes:
@@
-377,7
+377,7
@@
edge: {sourcename: "n585" targetname: "n585n169" label: "0" class:16 priority:10
edge: {sourcename: "n585" targetname: "n584" label: "1" class:16 priority:10}
node: {title: "n575" label: "AddP 575" info1: "Add 575
mode: P
edge: {sourcename: "n585" targetname: "n584" label: "1" class:16 priority:10}
node: {title: "n575" label: "AddP 575" info1: "Add 575
mode: P
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m2
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m2
arity: 2
pred nodes:
@@
-389,7
+389,7
@@
node: {title: "n575" label: "AddP 575" info1: "Add 575
}
node: {title: "n575n153" label: "SymC &a 153" info1: "SymC &a 153
mode: P
}
node: {title: "n575n153" label: "SymC &a 153" info1: "SymC &a 153
mode: P
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m2
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m2
arity: 0
pred nodes:
@@
-404,7
+404,7
@@
node: {title: "n575n153" label: "SymC &a 153" info1: "SymC &a 153
}
node: {title: "n575n167" label: "0xDIs 167" info1: "0xD 167
mode: Is
}
node: {title: "n575n167" label: "0xDIs 167" info1: "0xD 167
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m2
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m2
arity: 0
pred nodes:
@@
-418,7
+418,7
@@
edge: {sourcename: "n575" targetname: "n575n153" label: "0" class:16 priority:10
edge: {sourcename: "n575" targetname: "n575n167" label: "1" class:16 priority:10}
node: {title: "n592" label: "AddIs 592" info1: "Add 592
mode: Is
edge: {sourcename: "n575" targetname: "n575n167" label: "1" class:16 priority:10}
node: {title: "n592" label: "AddIs 592" info1: "Add 592
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m2
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m2
arity: 2
pred nodes:
@@
-430,7
+430,7
@@
node: {title: "n592" label: "AddIs 592" info1: "Add 592
}
node: {title: "n592n166" label: "0xFIs 166" info1: "0xF 166
mode: Is
}
node: {title: "n592n166" label: "0xFIs 166" info1: "0xF 166
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m2
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m2
arity: 0
pred nodes:
@@
-444,7
+444,7
@@
edge: {sourcename: "n592" targetname: "n592n166" label: "0" class:16 priority:10
edge: {sourcename: "n592" targetname: "n591" label: "1" class:16 priority:10}
node: {title: "n181" label: "Jmp 181" info1: "Jmp 181
mode: X
edge: {sourcename: "n592" targetname: "n591" label: "1" class:16 priority:10}
node: {title: "n181" label: "Jmp 181" info1: "Jmp 181
mode: X
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m2
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m2
arity: 0
pred nodes:
@@
-455,7
+455,7
@@
node: {title: "n181" label: "Jmp 181" info1: "Jmp 181
}
node: {title: "n180" label: "AddIs 180" info1: "Add 180
mode: Is
}
node: {title: "n180" label: "AddIs 180" info1: "Add 180
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m2
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m2
arity: 2
pred nodes:
@@
-468,7
+468,7
@@
node: {title: "n180" label: "AddIs 180" info1: "Add 180
}
node: {title: "n180n168" label: "0x1Is 168" info1: "0x1 168
mode: Is
}
node: {title: "n180n168" label: "0x1Is 168" info1: "0x1 168
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m2
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m2
arity: 0
pred nodes:
@@
-486,7
+486,7
@@
graph: { title: "n141" label: "Block 141" status:clustered color:yellow
edge: {sourcename: "n141" targetname: "n145" label: "0" class:13 priority:60 color:red}
node: {title: "n148" label: "ProjM 1 148" info1: "Proj 148
mode: M
edge: {sourcename: "n141" targetname: "n145" label: "0" class:13 priority:60 color:red}
node: {title: "n148" label: "ProjM 1 148" info1: "Proj 148
mode: M
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m2
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m2
arity: 1
pred nodes:
@@
-499,7
+499,7
@@
color: yellow}
edge: {sourcename: "n148" targetname: "n142" label: "0" class:17 priority:10 color:blue}
node: {title: "n145" label: "ProjX 0 145" info1: "Proj 145
mode: X
edge: {sourcename: "n148" targetname: "n142" label: "0" class:17 priority:10 color:blue}
node: {title: "n145" label: "ProjX 0 145" info1: "Proj 145
mode: X
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m2
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m2
arity: 1
pred nodes:
@@
-512,7
+512,7
@@
color: yellow}
edge: {sourcename: "n145" targetname: "n142" label: "0" class:13 priority:60 color:red}
node: {title: "n142" label: "Start 142" info1: "Start 142
mode: T
edge: {sourcename: "n145" targetname: "n142" label: "0" class:13 priority:60 color:red}
node: {title: "n142" label: "Start 142" info1: "Start 142
mode: T
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m2
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m2
arity: 0
pred nodes:
diff --git
a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m3-strength_reduced.vcg
b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m3-strength_reduced.vcg
index
1d726f6
..
6c3b30b
100644
(file)
--- a/
testprograms/ref-results/STRENGTH_RED_EXAMPLE_m3-strength_reduced.vcg
+++ b/
testprograms/ref-results/STRENGTH_RED_EXAMPLE_m3-strength_reduced.vcg
@@
-57,7
+57,7
@@
graph: { title: "n206" label: "Block 206" status:clustered color:yellow
edge: {sourcename: "n206" targetname: "n257" label: "0" class:13 priority:60 color:red}
node: {title: "n207" label: "End 207" info1: "End 207
mode: X
edge: {sourcename: "n206" targetname: "n257" label: "0" class:13 priority:60 color:red}
node: {title: "n207" label: "End 207" info1: "End 207
mode: X
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m3
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m3
arity: 1
pred nodes:
@@
-73,7
+73,7
@@
graph: { title: "n254" label: "Block 254" status:clustered color:yellow
edge: {sourcename: "n254" targetname: "n229" label: "0" class:13 priority:60 color:red}
node: {title: "n257" label: "Return 257" info1: "Return 257
mode: X
edge: {sourcename: "n254" targetname: "n229" label: "0" class:13 priority:60 color:red}
node: {title: "n257" label: "Return 257" info1: "Return 257
mode: X
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m3
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m3
arity: 2
pred nodes:
@@
-88,7
+88,7
@@
node: {title: "n257" label: "Return 257" info1: "Return 257
}
node: {title: "n257n233" label: "0x4Is 233" info1: "0x4 233
mode: Is
}
node: {title: "n257n233" label: "0x4Is 233" info1: "0x4 233
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
@@
-107,7
+107,7
@@
edge: {sourcename: "n222" targetname: "n221" label: "0" class:13 priority:60 col
backedge: {sourcename: "n222" targetname: "n248" label: "1" linestyle:dashed class:13 priority:60 color:red}
node: {title: "n261" label: "PhiM 261" info1: "Phi 261
mode: M
backedge: {sourcename: "n222" targetname: "n248" label: "1" linestyle:dashed class:13 priority:60 color:red}
node: {title: "n261" label: "PhiM 261" info1: "Phi 261
mode: M
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m3
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m3
arity: 2
pred nodes:
@@
-123,7
+123,7
@@
edge: {sourcename: "n261" targetname: "n215" label: "0" class:17 priority:10 col
edge: {sourcename: "n261" targetname: "n246" label: "1" class:17 priority:10 color:blue}
node: {title: "n613" label: "PhiIs 613" info1: "Phi 613
mode: Is
edge: {sourcename: "n261" targetname: "n246" label: "1" class:17 priority:10 color:blue}
node: {title: "n613" label: "PhiIs 613" info1: "Phi 613
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m3
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m3
arity: 2
pred nodes:
@@
-136,7
+136,7
@@
node: {title: "n613" label: "PhiIs 613" info1: "Phi 613
color: green}
node: {title: "n613n611" label: "0x28Is 611" info1: "0x28 611
mode: Is
color: green}
node: {title: "n613n611" label: "0x28Is 611" info1: "0x28 611
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
@@
-149,7
+149,7
@@
edge: {sourcename: "n613" targetname: "n613n611" label: "0" class:16 priority:10
edge: {sourcename: "n613" targetname: "n614" label: "1" class:16 priority:10}
node: {title: "n229" label: "ProjX 0 229" info1: "Proj 229
mode: X
edge: {sourcename: "n613" targetname: "n614" label: "1" class:16 priority:10}
node: {title: "n229" label: "ProjX 0 229" info1: "Proj 229
mode: X
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m3
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m3
arity: 1
pred nodes:
@@
-162,7
+162,7
@@
color: yellow}
edge: {sourcename: "n229" targetname: "n228" label: "0" class:13 priority:60 color:red}
node: {title: "n230" label: "ProjX 1 230" info1: "Proj 230
mode: X
edge: {sourcename: "n229" targetname: "n228" label: "0" class:13 priority:60 color:red}
node: {title: "n230" label: "ProjX 1 230" info1: "Proj 230
mode: X
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m3
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m3
arity: 1
pred nodes:
@@
-175,7
+175,7
@@
color: yellow}
edge: {sourcename: "n230" targetname: "n228" label: "0" class:13 priority:60 color:red}
node: {title: "n228" label: "Cond 228" info1: "Cond 228
mode: T
edge: {sourcename: "n230" targetname: "n228" label: "0" class:13 priority:60 color:red}
node: {title: "n228" label: "Cond 228" info1: "Cond 228
mode: T
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m3
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m3
arity: 1
pred nodes:
@@
-190,7
+190,7
@@
node: {title: "n228" label: "Cond 228" info1: "Cond 228
edge: {sourcename: "n228" targetname: "n226" label: "0" class:1 priority:50}
node: {title: "n226" label: "Projb Gt 226" info1: "Proj 226
mode: b
edge: {sourcename: "n228" targetname: "n226" label: "0" class:1 priority:50}
node: {title: "n226" label: "Projb Gt 226" info1: "Proj 226
mode: b
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m3
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m3
arity: 1
pred nodes:
@@
-203,7
+203,7
@@
color: yellow}
edge: {sourcename: "n226" targetname: "n227" label: "0" class:1 priority:50}
node: {title: "n227" label: "Cmp 227" info1: "Cmp 227
mode: T
edge: {sourcename: "n226" targetname: "n227" label: "0" class:1 priority:50}
node: {title: "n227" label: "Cmp 227" info1: "Cmp 227
mode: T
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m3
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m3
arity: 2
pred nodes:
@@
-216,7
+216,7
@@
node: {title: "n227" label: "Cmp 227" info1: "Cmp 227
}
node: {title: "n227n224" label: "0x0Is 224" info1: "0x0 224
mode: Is
}
node: {title: "n227n224" label: "0x0Is 224" info1: "0x0 224
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
@@
-230,7
+230,7
@@
edge: {sourcename: "n227" targetname: "n262" label: "0" class:1 priority:50}
edge: {sourcename: "n227" targetname: "n227n224" label: "1" class:16 priority:10}
node: {title: "n262" label: "PhiIs 262" info1: "Phi 262
mode: Is
edge: {sourcename: "n227" targetname: "n227n224" label: "1" class:16 priority:10}
node: {title: "n262" label: "PhiIs 262" info1: "Phi 262
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m3
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m3
arity: 2
pred nodes:
@@
-244,7
+244,7
@@
node: {title: "n262" label: "PhiIs 262" info1: "Phi 262
color: green}
node: {title: "n262n219" label: "0xAIs 219" info1: "0xA 219
mode: Is
color: green}
node: {title: "n262n219" label: "0xAIs 219" info1: "0xA 219
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
@@
-262,7
+262,7
@@
graph: { title: "n218" label: "Block 218" status:clustered color:yellow
edge: {sourcename: "n218" targetname: "n212" label: "0" class:13 priority:60 color:red}
node: {title: "n221" label: "Jmp 221" info1: "Jmp 221
mode: X
edge: {sourcename: "n218" targetname: "n212" label: "0" class:13 priority:60 color:red}
node: {title: "n221" label: "Jmp 221" info1: "Jmp 221
mode: X
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
@@
-277,7
+277,7
@@
graph: { title: "n231" label: "Block 231" status:clustered color:yellow
edge: {sourcename: "n231" targetname: "n230" label: "0" class:13 priority:60 color:red}
node: {title: "n246" label: "ProjM 0 246" info1: "Proj 246
mode: M
edge: {sourcename: "n231" targetname: "n230" label: "0" class:13 priority:60 color:red}
node: {title: "n246" label: "ProjM 0 246" info1: "Proj 246
mode: M
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m3
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m3
arity: 1
pred nodes:
@@
-290,7
+290,7
@@
color: yellow}
edge: {sourcename: "n246" targetname: "n244" label: "0" class:17 priority:10 color:blue}
node: {title: "n244" label: "Store 244" info1: "Store 244
mode: T
edge: {sourcename: "n246" targetname: "n244" label: "0" class:17 priority:10 color:blue}
node: {title: "n244" label: "Store 244" info1: "Store 244
mode: T
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m3
arity: 3
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m3
arity: 3
pred nodes:
@@
-309,7
+309,7
@@
edge: {sourcename: "n244" targetname: "n242" label: "1" class:1 priority:50}
edge: {sourcename: "n244" targetname: "n262" label: "2" class:16 priority:10}
node: {title: "n242" label: "AddP 242" info1: "Add 242
mode: P
edge: {sourcename: "n244" targetname: "n262" label: "2" class:16 priority:10}
node: {title: "n242" label: "AddP 242" info1: "Add 242
mode: P
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m3
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m3
arity: 2
pred nodes:
@@
-324,7
+324,7
@@
edge: {sourcename: "n242" targetname: "n240" label: "0" class:1 priority:50}
edge: {sourcename: "n242" targetname: "n605" label: "1" class:1 priority:50}
node: {title: "n240" label: "AddP 240" info1: "Add 240
mode: P
edge: {sourcename: "n242" targetname: "n605" label: "1" class:1 priority:50}
node: {title: "n240" label: "AddP 240" info1: "Add 240
mode: P
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m3
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m3
arity: 2
pred nodes:
@@
-337,7
+337,7
@@
node: {title: "n240" label: "AddP 240" info1: "Add 240
}
node: {title: "n240n234" label: "0x8Is 234" info1: "0x8 234
mode: Is
}
node: {title: "n240n234" label: "0x8Is 234" info1: "0x8 234
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
@@
-351,7
+351,7
@@
edge: {sourcename: "n240" targetname: "n240n234" label: "0" class:16 priority:10
edge: {sourcename: "n240" targetname: "n602" label: "1" class:1 priority:50}
node: {title: "n605" label: "AddP 605" info1: "Add 605
mode: P
edge: {sourcename: "n240" targetname: "n602" label: "1" class:1 priority:50}
node: {title: "n605" label: "AddP 605" info1: "Add 605
mode: P
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m3
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m3
arity: 2
pred nodes:
@@
-363,7
+363,7
@@
node: {title: "n605" label: "AddP 605" info1: "Add 605
}
node: {title: "n605n604" label: "0x10Is 604" info1: "0x10 604
mode: Is
}
node: {title: "n605n604" label: "0x10Is 604" info1: "0x10 604
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
@@
-376,7
+376,7
@@
edge: {sourcename: "n605" targetname: "n602" label: "0" class:1 priority:50}
edge: {sourcename: "n605" targetname: "n605n604" label: "1" class:16 priority:10}
node: {title: "n602" label: "AddP 602" info1: "Add 602
mode: P
edge: {sourcename: "n605" targetname: "n605n604" label: "1" class:16 priority:10}
node: {title: "n602" label: "AddP 602" info1: "Add 602
mode: P
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m3
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m3
arity: 2
pred nodes:
@@
-390,7
+390,7
@@
edge: {sourcename: "n602" targetname: "n613" label: "0" class:16 priority:10}
edge: {sourcename: "n602" targetname: "n601" label: "1" class:1 priority:50}
node: {title: "n614" label: "AddIs 614" info1: "Add 614
mode: Is
edge: {sourcename: "n602" targetname: "n601" label: "1" class:1 priority:50}
node: {title: "n614" label: "AddIs 614" info1: "Add 614
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m3
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m3
arity: 2
pred nodes:
@@
-402,7
+402,7
@@
node: {title: "n614" label: "AddIs 614" info1: "Add 614
}
node: {title: "n614n609" label: "0xFFFFFFFCIs 609" info1: "0xFFFFFFFC 609
mode: Is
}
node: {title: "n614n609" label: "0xFFFFFFFCIs 609" info1: "0xFFFFFFFC 609
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
@@
-415,7
+415,7
@@
edge: {sourcename: "n614" targetname: "n614n609" label: "0" class:16 priority:10
edge: {sourcename: "n614" targetname: "n613" label: "1" class:16 priority:10}
node: {title: "n601" label: "AddP 601" info1: "Add 601
mode: P
edge: {sourcename: "n614" targetname: "n613" label: "1" class:16 priority:10}
node: {title: "n601" label: "AddP 601" info1: "Add 601
mode: P
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m3
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m3
arity: 2
pred nodes:
@@
-427,7
+427,7
@@
node: {title: "n601" label: "AddP 601" info1: "Add 601
}
node: {title: "n601n220" label: "SymC &a 220" info1: "SymC &a 220
mode: P
}
node: {title: "n601n220" label: "SymC &a 220" info1: "SymC &a 220
mode: P
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
@@
-442,7
+442,7
@@
node: {title: "n601n220" label: "SymC &a 220" info1: "SymC &a 220
}
node: {title: "n601n233" label: "0x4Is 233" info1: "0x4 233
mode: Is
}
node: {title: "n601n233" label: "0x4Is 233" info1: "0x4 233
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
@@
-456,7
+456,7
@@
edge: {sourcename: "n601" targetname: "n601n220" label: "0" class:16 priority:10
edge: {sourcename: "n601" targetname: "n601n233" label: "1" class:16 priority:10}
node: {title: "n248" label: "Jmp 248" info1: "Jmp 248
mode: X
edge: {sourcename: "n601" targetname: "n601n233" label: "1" class:16 priority:10}
node: {title: "n248" label: "Jmp 248" info1: "Jmp 248
mode: X
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
@@
-467,7
+467,7
@@
node: {title: "n248" label: "Jmp 248" info1: "Jmp 248
}
node: {title: "n600" label: "AddIs 600" info1: "Add 600
mode: Is
}
node: {title: "n600" label: "AddIs 600" info1: "Add 600
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m3
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m3
arity: 2
pred nodes:
@@
-479,7
+479,7
@@
node: {title: "n600" label: "AddIs 600" info1: "Add 600
}
node: {title: "n600n599" label: "0xFFFFFFFFIs 599" info1: "0xFFFFFFFF 599
mode: Is
}
node: {title: "n600n599" label: "0xFFFFFFFFIs 599" info1: "0xFFFFFFFF 599
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
@@
-496,7
+496,7
@@
graph: { title: "n208" label: "Block 208" status:clustered color:yellow
edge: {sourcename: "n208" targetname: "n212" label: "0" class:13 priority:60 color:red}
node: {title: "n215" label: "ProjM 1 215" info1: "Proj 215
mode: M
edge: {sourcename: "n208" targetname: "n212" label: "0" class:13 priority:60 color:red}
node: {title: "n215" label: "ProjM 1 215" info1: "Proj 215
mode: M
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m3
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m3
arity: 1
pred nodes:
@@
-509,7
+509,7
@@
color: yellow}
edge: {sourcename: "n215" targetname: "n209" label: "0" class:17 priority:10 color:blue}
node: {title: "n212" label: "ProjX 0 212" info1: "Proj 212
mode: X
edge: {sourcename: "n215" targetname: "n209" label: "0" class:17 priority:10 color:blue}
node: {title: "n212" label: "ProjX 0 212" info1: "Proj 212
mode: X
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m3
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m3
arity: 1
pred nodes:
@@
-522,7
+522,7
@@
color: yellow}
edge: {sourcename: "n212" targetname: "n209" label: "0" class:13 priority:60 color:red}
node: {title: "n209" label: "Start 209" info1: "Start 209
mode: T
edge: {sourcename: "n212" targetname: "n209" label: "0" class:13 priority:60 color:red}
node: {title: "n209" label: "Start 209" info1: "Start 209
mode: T
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
diff --git
a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m4-strength_reduced.vcg
b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m4-strength_reduced.vcg
index
389b2f2
..
1b1dc52
100644
(file)
--- a/
testprograms/ref-results/STRENGTH_RED_EXAMPLE_m4-strength_reduced.vcg
+++ b/
testprograms/ref-results/STRENGTH_RED_EXAMPLE_m4-strength_reduced.vcg
@@
-57,7
+57,7
@@
graph: { title: "n273" label: "Block 273" status:clustered color:yellow
edge: {sourcename: "n273" targetname: "n326" label: "0" class:13 priority:60 color:red}
node: {title: "n274" label: "End 274" info1: "End 274
mode: X
edge: {sourcename: "n273" targetname: "n326" label: "0" class:13 priority:60 color:red}
node: {title: "n274" label: "End 274" info1: "End 274
mode: X
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 1
pred nodes:
@@
-73,7
+73,7
@@
graph: { title: "n323" label: "Block 323" status:clustered color:yellow
edge: {sourcename: "n323" targetname: "n297" label: "0" class:13 priority:60 color:red}
node: {title: "n326" label: "Return 326" info1: "Return 326
mode: X
edge: {sourcename: "n323" targetname: "n297" label: "0" class:13 priority:60 color:red}
node: {title: "n326" label: "Return 326" info1: "Return 326
mode: X
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 2
pred nodes:
@@
-88,7
+88,7
@@
node: {title: "n326" label: "Return 326" info1: "Return 326
}
node: {title: "n326n301" label: "0x4Is 301" info1: "0x4 301
mode: Is
}
node: {title: "n326n301" label: "0x4Is 301" info1: "0x4 301
mode: Is
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 0
pred nodes:
@@
-107,7
+107,7
@@
edge: {sourcename: "n289" targetname: "n288" label: "0" class:13 priority:60 col
backedge: {sourcename: "n289" targetname: "n317" label: "1" linestyle:dashed class:13 priority:60 color:red}
node: {title: "n330" label: "PhiM 330" info1: "Phi 330
mode: M
backedge: {sourcename: "n289" targetname: "n317" label: "1" linestyle:dashed class:13 priority:60 color:red}
node: {title: "n330" label: "PhiM 330" info1: "Phi 330
mode: M
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 2
pred nodes:
@@
-123,7
+123,7
@@
edge: {sourcename: "n330" targetname: "n282" label: "0" class:17 priority:10 col
edge: {sourcename: "n330" targetname: "n316" label: "1" class:17 priority:10 color:blue}
node: {title: "n638" label: "PhiIs 638" info1: "Phi 638
mode: Is
edge: {sourcename: "n330" targetname: "n316" label: "1" class:17 priority:10 color:blue}
node: {title: "n638" label: "PhiIs 638" info1: "Phi 638
mode: Is
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 2
pred nodes:
@@
-136,7
+136,7
@@
node: {title: "n638" label: "PhiIs 638" info1: "Phi 638
color: green}
node: {title: "n638n286" label: "0x0Is 286" info1: "0x0 286
mode: Is
color: green}
node: {title: "n638n286" label: "0x0Is 286" info1: "0x0 286
mode: Is
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 0
pred nodes:
@@
-150,7
+150,7
@@
edge: {sourcename: "n638" targetname: "n638n286" label: "0" class:16 priority:10
edge: {sourcename: "n638" targetname: "n639" label: "1" class:16 priority:10}
node: {title: "n645" label: "PhiIs 645" info1: "Phi 645
mode: Is
edge: {sourcename: "n638" targetname: "n639" label: "1" class:16 priority:10}
node: {title: "n645" label: "PhiIs 645" info1: "Phi 645
mode: Is
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 2
pred nodes:
@@
-163,7
+163,7
@@
node: {title: "n645" label: "PhiIs 645" info1: "Phi 645
color: green}
node: {title: "n645n286" label: "0x0Is 286" info1: "0x0 286
mode: Is
color: green}
node: {title: "n645n286" label: "0x0Is 286" info1: "0x0 286
mode: Is
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 0
pred nodes:
@@
-177,7
+177,7
@@
edge: {sourcename: "n645" targetname: "n645n286" label: "0" class:16 priority:10
edge: {sourcename: "n645" targetname: "n646" label: "1" class:16 priority:10}
node: {title: "n297" label: "ProjX 0 297" info1: "Proj 297
mode: X
edge: {sourcename: "n645" targetname: "n646" label: "1" class:16 priority:10}
node: {title: "n297" label: "ProjX 0 297" info1: "Proj 297
mode: X
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 1
pred nodes:
@@
-190,7
+190,7
@@
color: yellow}
edge: {sourcename: "n297" targetname: "n296" label: "0" class:13 priority:60 color:red}
node: {title: "n298" label: "ProjX 1 298" info1: "Proj 298
mode: X
edge: {sourcename: "n297" targetname: "n296" label: "0" class:13 priority:60 color:red}
node: {title: "n298" label: "ProjX 1 298" info1: "Proj 298
mode: X
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 1
pred nodes:
@@
-203,7
+203,7
@@
color: yellow}
edge: {sourcename: "n298" targetname: "n296" label: "0" class:13 priority:60 color:red}
node: {title: "n296" label: "Cond 296" info1: "Cond 296
mode: T
edge: {sourcename: "n298" targetname: "n296" label: "0" class:13 priority:60 color:red}
node: {title: "n296" label: "Cond 296" info1: "Cond 296
mode: T
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 1
pred nodes:
@@
-218,7
+218,7
@@
node: {title: "n296" label: "Cond 296" info1: "Cond 296
edge: {sourcename: "n296" targetname: "n293" label: "0" class:1 priority:50}
node: {title: "n293" label: "Projb Le 293" info1: "Proj 293
mode: b
edge: {sourcename: "n296" targetname: "n293" label: "0" class:1 priority:50}
node: {title: "n293" label: "Projb Le 293" info1: "Proj 293
mode: b
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 1
pred nodes:
@@
-231,7
+231,7
@@
color: yellow}
edge: {sourcename: "n293" targetname: "n295" label: "0" class:1 priority:50}
node: {title: "n295" label: "Cmp 295" info1: "Cmp 295
mode: T
edge: {sourcename: "n293" targetname: "n295" label: "0" class:1 priority:50}
node: {title: "n295" label: "Cmp 295" info1: "Cmp 295
mode: T
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 2
pred nodes:
@@
-244,7
+244,7
@@
node: {title: "n295" label: "Cmp 295" info1: "Cmp 295
}
node: {title: "n295n294" label: "0x9Is 294" info1: "0x9 294
mode: Is
}
node: {title: "n295n294" label: "0x9Is 294" info1: "0x9 294
mode: Is
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 0
pred nodes:
@@
-258,7
+258,7
@@
edge: {sourcename: "n295" targetname: "n331" label: "0" class:1 priority:50}
edge: {sourcename: "n295" targetname: "n295n294" label: "1" class:16 priority:10}
node: {title: "n331" label: "PhiIs 331" info1: "Phi 331
mode: Is
edge: {sourcename: "n295" targetname: "n295n294" label: "1" class:16 priority:10}
node: {title: "n331" label: "PhiIs 331" info1: "Phi 331
mode: Is
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 2
pred nodes:
@@
-272,7
+272,7
@@
node: {title: "n331" label: "PhiIs 331" info1: "Phi 331
color: green}
node: {title: "n331n286" label: "0x0Is 286" info1: "0x0 286
mode: Is
color: green}
node: {title: "n331n286" label: "0x0Is 286" info1: "0x0 286
mode: Is
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 0
pred nodes:
@@
-290,7
+290,7
@@
graph: { title: "n285" label: "Block 285" status:clustered color:yellow
edge: {sourcename: "n285" targetname: "n279" label: "0" class:13 priority:60 color:red}
node: {title: "n288" label: "Jmp 288" info1: "Jmp 288
mode: X
edge: {sourcename: "n285" targetname: "n279" label: "0" class:13 priority:60 color:red}
node: {title: "n288" label: "Jmp 288" info1: "Jmp 288
mode: X
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 0
pred nodes:
@@
-305,7
+305,7
@@
graph: { title: "n299" label: "Block 299" status:clustered color:yellow
edge: {sourcename: "n299" targetname: "n298" label: "0" class:13 priority:60 color:red}
node: {title: "n316" label: "ProjM 0 316" info1: "Proj 316
mode: M
edge: {sourcename: "n299" targetname: "n298" label: "0" class:13 priority:60 color:red}
node: {title: "n316" label: "ProjM 0 316" info1: "Proj 316
mode: M
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 1
pred nodes:
@@
-318,7
+318,7
@@
color: yellow}
edge: {sourcename: "n316" targetname: "n314" label: "0" class:17 priority:10 color:blue}
node: {title: "n314" label: "Store 314" info1: "Store 314
mode: T
edge: {sourcename: "n316" targetname: "n314" label: "0" class:17 priority:10 color:blue}
node: {title: "n314" label: "Store 314" info1: "Store 314
mode: T
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 3
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 3
pred nodes:
@@
-337,7
+337,7
@@
edge: {sourcename: "n314" targetname: "n624" label: "1" class:1 priority:50}
edge: {sourcename: "n314" targetname: "n304" label: "2" class:1 priority:50}
node: {title: "n311" label: "ProjM 0 311" info1: "Proj 311
mode: M
edge: {sourcename: "n314" targetname: "n304" label: "2" class:1 priority:50}
node: {title: "n311" label: "ProjM 0 311" info1: "Proj 311
mode: M
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 1
pred nodes:
@@
-350,7
+350,7
@@
color: yellow}
edge: {sourcename: "n311" targetname: "n309" label: "0" class:17 priority:10 color:blue}
node: {title: "n309" label: "Store 309" info1: "Store 309
mode: T
edge: {sourcename: "n311" targetname: "n309" label: "0" class:17 priority:10 color:blue}
node: {title: "n309" label: "Store 309" info1: "Store 309
mode: T
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 3
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 3
pred nodes:
@@
-369,7
+369,7
@@
edge: {sourcename: "n309" targetname: "n630" label: "1" class:1 priority:50}
edge: {sourcename: "n309" targetname: "n304" label: "2" class:1 priority:50}
node: {title: "n630" label: "AddP 630" info1: "Add 630
mode: P
edge: {sourcename: "n309" targetname: "n304" label: "2" class:1 priority:50}
node: {title: "n630" label: "AddP 630" info1: "Add 630
mode: P
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 2
pred nodes:
@@
-383,7
+383,7
@@
edge: {sourcename: "n630" targetname: "n638" label: "0" class:16 priority:10}
edge: {sourcename: "n630" targetname: "n629" label: "1" class:1 priority:50}
node: {title: "n639" label: "AddIs 639" info1: "Add 639
mode: Is
edge: {sourcename: "n630" targetname: "n629" label: "1" class:1 priority:50}
node: {title: "n639" label: "AddIs 639" info1: "Add 639
mode: Is
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 2
pred nodes:
@@
-395,7
+395,7
@@
node: {title: "n639" label: "AddIs 639" info1: "Add 639
}
node: {title: "n639n302" label: "0x8Is 302" info1: "0x8 302
mode: Is
}
node: {title: "n639n302" label: "0x8Is 302" info1: "0x8 302
mode: Is
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 0
pred nodes:
@@
-409,7
+409,7
@@
edge: {sourcename: "n639" targetname: "n639n302" label: "0" class:16 priority:10
edge: {sourcename: "n639" targetname: "n638" label: "1" class:16 priority:10}
node: {title: "n629" label: "AddP 629" info1: "Add 629
mode: P
edge: {sourcename: "n639" targetname: "n638" label: "1" class:16 priority:10}
node: {title: "n629" label: "AddP 629" info1: "Add 629
mode: P
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 2
pred nodes:
@@
-421,7
+421,7
@@
node: {title: "n629" label: "AddP 629" info1: "Add 629
}
node: {title: "n629n287" label: "SymC &a 287" info1: "SymC &a 287
mode: P
}
node: {title: "n629n287" label: "SymC &a 287" info1: "SymC &a 287
mode: P
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 0
pred nodes:
@@
-436,7
+436,7
@@
node: {title: "n629n287" label: "SymC &a 287" info1: "SymC &a 287
}
node: {title: "n629n302" label: "0x8Is 302" info1: "0x8 302
mode: Is
}
node: {title: "n629n302" label: "0x8Is 302" info1: "0x8 302
mode: Is
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 0
pred nodes:
@@
-450,7
+450,7
@@
edge: {sourcename: "n629" targetname: "n629n287" label: "0" class:16 priority:10
edge: {sourcename: "n629" targetname: "n629n302" label: "1" class:16 priority:10}
node: {title: "n624" label: "AddP 624" info1: "Add 624
mode: P
edge: {sourcename: "n629" targetname: "n629n302" label: "1" class:16 priority:10}
node: {title: "n624" label: "AddP 624" info1: "Add 624
mode: P
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 2
pred nodes:
@@
-464,7
+464,7
@@
edge: {sourcename: "n624" targetname: "n645" label: "0" class:16 priority:10}
edge: {sourcename: "n624" targetname: "n623" label: "1" class:1 priority:50}
node: {title: "n646" label: "AddIs 646" info1: "Add 646
mode: Is
edge: {sourcename: "n624" targetname: "n623" label: "1" class:1 priority:50}
node: {title: "n646" label: "AddIs 646" info1: "Add 646
mode: Is
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 2
pred nodes:
@@
-476,7
+476,7
@@
node: {title: "n646" label: "AddIs 646" info1: "Add 646
}
node: {title: "n646n301" label: "0x4Is 301" info1: "0x4 301
mode: Is
}
node: {title: "n646n301" label: "0x4Is 301" info1: "0x4 301
mode: Is
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 0
pred nodes:
@@
-490,7
+490,7
@@
edge: {sourcename: "n646" targetname: "n646n301" label: "0" class:16 priority:10
edge: {sourcename: "n646" targetname: "n645" label: "1" class:16 priority:10}
node: {title: "n623" label: "AddP 623" info1: "Add 623
mode: P
edge: {sourcename: "n646" targetname: "n645" label: "1" class:16 priority:10}
node: {title: "n623" label: "AddP 623" info1: "Add 623
mode: P
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 2
pred nodes:
@@
-502,7
+502,7
@@
node: {title: "n623" label: "AddP 623" info1: "Add 623
}
node: {title: "n623n287" label: "SymC &a 287" info1: "SymC &a 287
mode: P
}
node: {title: "n623n287" label: "SymC &a 287" info1: "SymC &a 287
mode: P
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 0
pred nodes:
@@
-517,7
+517,7
@@
node: {title: "n623n287" label: "SymC &a 287" info1: "SymC &a 287
}
node: {title: "n623n301" label: "0x4Is 301" info1: "0x4 301
mode: Is
}
node: {title: "n623n301" label: "0x4Is 301" info1: "0x4 301
mode: Is
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 0
pred nodes:
@@
-531,7
+531,7
@@
edge: {sourcename: "n623" targetname: "n623n287" label: "0" class:16 priority:10
edge: {sourcename: "n623" targetname: "n623n301" label: "1" class:16 priority:10}
node: {title: "n317" label: "Jmp 317" info1: "Jmp 317
mode: X
edge: {sourcename: "n623" targetname: "n623n301" label: "1" class:16 priority:10}
node: {title: "n317" label: "Jmp 317" info1: "Jmp 317
mode: X
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 0
pred nodes:
@@
-542,7
+542,7
@@
node: {title: "n317" label: "Jmp 317" info1: "Jmp 317
}
node: {title: "n304" label: "AddIs 304" info1: "Add 304
mode: Is
}
node: {title: "n304" label: "AddIs 304" info1: "Add 304
mode: Is
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 2
pred nodes:
@@
-555,7
+555,7
@@
node: {title: "n304" label: "AddIs 304" info1: "Add 304
}
node: {title: "n304n300" label: "0x1Is 300" info1: "0x1 300
mode: Is
}
node: {title: "n304n300" label: "0x1Is 300" info1: "0x1 300
mode: Is
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 0
pred nodes:
@@
-573,7
+573,7
@@
graph: { title: "n275" label: "Block 275" status:clustered color:yellow
edge: {sourcename: "n275" targetname: "n279" label: "0" class:13 priority:60 color:red}
node: {title: "n282" label: "ProjM 1 282" info1: "Proj 282
mode: M
edge: {sourcename: "n275" targetname: "n279" label: "0" class:13 priority:60 color:red}
node: {title: "n282" label: "ProjM 1 282" info1: "Proj 282
mode: M
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 1
pred nodes:
@@
-586,7
+586,7
@@
color: yellow}
edge: {sourcename: "n282" targetname: "n276" label: "0" class:17 priority:10 color:blue}
node: {title: "n279" label: "ProjX 0 279" info1: "Proj 279
mode: X
edge: {sourcename: "n282" targetname: "n276" label: "0" class:17 priority:10 color:blue}
node: {title: "n279" label: "ProjX 0 279" info1: "Proj 279
mode: X
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 1
pred nodes:
@@
-599,7
+599,7
@@
color: yellow}
edge: {sourcename: "n279" targetname: "n276" label: "0" class:13 priority:60 color:red}
node: {title: "n276" label: "Start 276" info1: "Start 276
mode: T
edge: {sourcename: "n279" targetname: "n276" label: "0" class:13 priority:60 color:red}
node: {title: "n276" label: "Start 276" info1: "Start 276
mode: T
- visited: 3
2
+ visited: 3
1
irg: STRENGTH_RED_EXAMPLE_m4
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m4
arity: 0
pred nodes:
diff --git
a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m5-strength_reduced.vcg
b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m5-strength_reduced.vcg
index
411c133
..
6bc392b
100644
(file)
--- a/
testprograms/ref-results/STRENGTH_RED_EXAMPLE_m5-strength_reduced.vcg
+++ b/
testprograms/ref-results/STRENGTH_RED_EXAMPLE_m5-strength_reduced.vcg
@@
-57,7
+57,7
@@
graph: { title: "n342" label: "Block 342" status:clustered color:yellow
edge: {sourcename: "n342" targetname: "n393" label: "0" class:13 priority:60 color:red}
node: {title: "n343" label: "End 343" info1: "End 343
mode: X
edge: {sourcename: "n342" targetname: "n393" label: "0" class:13 priority:60 color:red}
node: {title: "n343" label: "End 343" info1: "End 343
mode: X
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m5
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m5
arity: 1
pred nodes:
@@
-73,7
+73,7
@@
graph: { title: "n390" label: "Block 390" status:clustered color:yellow
edge: {sourcename: "n390" targetname: "n365" label: "0" class:13 priority:60 color:red}
node: {title: "n393" label: "Return 393" info1: "Return 393
mode: X
edge: {sourcename: "n390" targetname: "n365" label: "0" class:13 priority:60 color:red}
node: {title: "n393" label: "Return 393" info1: "Return 393
mode: X
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m5
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m5
arity: 2
pred nodes:
@@
-88,7
+88,7
@@
node: {title: "n393" label: "Return 393" info1: "Return 393
}
node: {title: "n393n369" label: "0x4Is 369" info1: "0x4 369
mode: Is
}
node: {title: "n393n369" label: "0x4Is 369" info1: "0x4 369
mode: Is
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m5
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m5
arity: 0
pred nodes:
@@
-107,7
+107,7
@@
edge: {sourcename: "n358" targetname: "n357" label: "0" class:13 priority:60 col
backedge: {sourcename: "n358" targetname: "n384" label: "1" linestyle:dashed class:13 priority:60 color:red}
node: {title: "n397" label: "PhiM 397" info1: "Phi 397
mode: M
backedge: {sourcename: "n358" targetname: "n384" label: "1" linestyle:dashed class:13 priority:60 color:red}
node: {title: "n397" label: "PhiM 397" info1: "Phi 397
mode: M
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m5
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m5
arity: 2
pred nodes:
@@
-123,7
+123,7
@@
edge: {sourcename: "n397" targetname: "n351" label: "0" class:17 priority:10 col
edge: {sourcename: "n397" targetname: "n383" label: "1" class:17 priority:10 color:blue}
node: {title: "n365" label: "ProjX 0 365" info1: "Proj 365
mode: X
edge: {sourcename: "n397" targetname: "n383" label: "1" class:17 priority:10 color:blue}
node: {title: "n365" label: "ProjX 0 365" info1: "Proj 365
mode: X
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m5
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m5
arity: 1
pred nodes:
@@
-136,7
+136,7
@@
color: yellow}
edge: {sourcename: "n365" targetname: "n364" label: "0" class:13 priority:60 color:red}
node: {title: "n366" label: "ProjX 1 366" info1: "Proj 366
mode: X
edge: {sourcename: "n365" targetname: "n364" label: "0" class:13 priority:60 color:red}
node: {title: "n366" label: "ProjX 1 366" info1: "Proj 366
mode: X
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m5
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m5
arity: 1
pred nodes:
@@
-149,7
+149,7
@@
color: yellow}
edge: {sourcename: "n366" targetname: "n364" label: "0" class:13 priority:60 color:red}
node: {title: "n364" label: "Cond 364" info1: "Cond 364
mode: T
edge: {sourcename: "n366" targetname: "n364" label: "0" class:13 priority:60 color:red}
node: {title: "n364" label: "Cond 364" info1: "Cond 364
mode: T
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m5
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m5
arity: 1
pred nodes:
@@
-164,7
+164,7
@@
node: {title: "n364" label: "Cond 364" info1: "Cond 364
edge: {sourcename: "n364" targetname: "n362" label: "0" class:1 priority:50}
node: {title: "n362" label: "Projb Gt 362" info1: "Proj 362
mode: b
edge: {sourcename: "n364" targetname: "n362" label: "0" class:1 priority:50}
node: {title: "n362" label: "Projb Gt 362" info1: "Proj 362
mode: b
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m5
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m5
arity: 1
pred nodes:
@@
-177,7
+177,7
@@
color: yellow}
edge: {sourcename: "n362" targetname: "n363" label: "0" class:1 priority:50}
node: {title: "n363" label: "Cmp 363" info1: "Cmp 363
mode: T
edge: {sourcename: "n362" targetname: "n363" label: "0" class:1 priority:50}
node: {title: "n363" label: "Cmp 363" info1: "Cmp 363
mode: T
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m5
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m5
arity: 2
pred nodes:
@@
-190,7
+190,7
@@
node: {title: "n363" label: "Cmp 363" info1: "Cmp 363
}
node: {title: "n363n360" label: "0x0Is 360" info1: "0x0 360
mode: Is
}
node: {title: "n363n360" label: "0x0Is 360" info1: "0x0 360
mode: Is
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m5
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m5
arity: 0
pred nodes:
@@
-204,7
+204,7
@@
edge: {sourcename: "n363" targetname: "n398" label: "0" class:1 priority:50}
edge: {sourcename: "n363" targetname: "n363n360" label: "1" class:16 priority:10}
node: {title: "n398" label: "PhiIs 398" info1: "Phi 398
mode: Is
edge: {sourcename: "n363" targetname: "n363n360" label: "1" class:16 priority:10}
node: {title: "n398" label: "PhiIs 398" info1: "Phi 398
mode: Is
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m5
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m5
arity: 2
pred nodes:
@@
-218,7
+218,7
@@
node: {title: "n398" label: "PhiIs 398" info1: "Phi 398
color: green}
node: {title: "n398n667" label: "0x28Is 667" info1: "0x28 667
mode: Is
color: green}
node: {title: "n398n667" label: "0x28Is 667" info1: "0x28 667
mode: Is
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m5
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m5
arity: 0
pred nodes:
@@
-235,7
+235,7
@@
graph: { title: "n354" label: "Block 354" status:clustered color:yellow
edge: {sourcename: "n354" targetname: "n348" label: "0" class:13 priority:60 color:red}
node: {title: "n357" label: "Jmp 357" info1: "Jmp 357
mode: X
edge: {sourcename: "n354" targetname: "n348" label: "0" class:13 priority:60 color:red}
node: {title: "n357" label: "Jmp 357" info1: "Jmp 357
mode: X
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m5
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m5
arity: 0
pred nodes:
@@
-250,7
+250,7
@@
graph: { title: "n367" label: "Block 367" status:clustered color:yellow
edge: {sourcename: "n367" targetname: "n366" label: "0" class:13 priority:60 color:red}
node: {title: "n383" label: "ProjM 0 383" info1: "Proj 383
mode: M
edge: {sourcename: "n367" targetname: "n366" label: "0" class:13 priority:60 color:red}
node: {title: "n383" label: "ProjM 0 383" info1: "Proj 383
mode: M
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m5
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m5
arity: 1
pred nodes:
@@
-263,7
+263,7
@@
color: yellow}
edge: {sourcename: "n383" targetname: "n381" label: "0" class:17 priority:10 color:blue}
node: {title: "n381" label: "Store 381" info1: "Store 381
mode: T
edge: {sourcename: "n383" targetname: "n381" label: "0" class:17 priority:10 color:blue}
node: {title: "n381" label: "Store 381" info1: "Store 381
mode: T
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m5
arity: 3
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m5
arity: 3
pred nodes:
@@
-279,7
+279,7
@@
node: {title: "n381" label: "Store 381" info1: "Store 381
}
node: {title: "n381n379" label: "0x13Is 379" info1: "0x13 379
mode: Is
}
node: {title: "n381n379" label: "0x13Is 379" info1: "0x13 379
mode: Is
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m5
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m5
arity: 0
pred nodes:
@@
-294,7
+294,7
@@
edge: {sourcename: "n381" targetname: "n663" label: "1" class:1 priority:50}
edge: {sourcename: "n381" targetname: "n381n379" label: "2" class:16 priority:10}
node: {title: "n663" label: "AddP 663" info1: "Add 663
mode: P
edge: {sourcename: "n381" targetname: "n381n379" label: "2" class:16 priority:10}
node: {title: "n663" label: "AddP 663" info1: "Add 663
mode: P
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m5
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m5
arity: 2
pred nodes:
@@
-306,7
+306,7
@@
node: {title: "n663" label: "AddP 663" info1: "Add 663
}
node: {title: "n663n662" label: "0x9Is 662" info1: "0x9 662
mode: Is
}
node: {title: "n663n662" label: "0x9Is 662" info1: "0x9 662
mode: Is
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m5
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m5
arity: 0
pred nodes:
@@
-319,7
+319,7
@@
edge: {sourcename: "n663" targetname: "n660" label: "0" class:1 priority:50}
edge: {sourcename: "n663" targetname: "n663n662" label: "1" class:16 priority:10}
node: {title: "n660" label: "AddP 660" info1: "Add 660
mode: P
edge: {sourcename: "n663" targetname: "n663n662" label: "1" class:16 priority:10}
node: {title: "n660" label: "AddP 660" info1: "Add 660
mode: P
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m5
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m5
arity: 2
pred nodes:
@@
-333,7
+333,7
@@
edge: {sourcename: "n660" targetname: "n398" label: "0" class:16 priority:10}
edge: {sourcename: "n660" targetname: "n659" label: "1" class:1 priority:50}
node: {title: "n659" label: "AddP 659" info1: "Add 659
mode: P
edge: {sourcename: "n660" targetname: "n659" label: "1" class:1 priority:50}
node: {title: "n659" label: "AddP 659" info1: "Add 659
mode: P
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m5
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m5
arity: 2
pred nodes:
@@
-345,7
+345,7
@@
node: {title: "n659" label: "AddP 659" info1: "Add 659
}
node: {title: "n659n356" label: "SymC &a 356" info1: "SymC &a 356
mode: P
}
node: {title: "n659n356" label: "SymC &a 356" info1: "SymC &a 356
mode: P
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m5
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m5
arity: 0
pred nodes:
@@
-360,7
+360,7
@@
node: {title: "n659n356" label: "SymC &a 356" info1: "SymC &a 356
}
node: {title: "n659n657" label: "0xFFFFFFFCIs 657" info1: "0xFFFFFFFC 657
mode: Is
}
node: {title: "n659n657" label: "0xFFFFFFFCIs 657" info1: "0xFFFFFFFC 657
mode: Is
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m5
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m5
arity: 0
pred nodes:
@@
-373,7
+373,7
@@
edge: {sourcename: "n659" targetname: "n659n356" label: "0" class:16 priority:10
edge: {sourcename: "n659" targetname: "n659n657" label: "1" class:16 priority:10}
node: {title: "n384" label: "Jmp 384" info1: "Jmp 384
mode: X
edge: {sourcename: "n659" targetname: "n659n657" label: "1" class:16 priority:10}
node: {title: "n384" label: "Jmp 384" info1: "Jmp 384
mode: X
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m5
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m5
arity: 0
pred nodes:
@@
-384,7
+384,7
@@
node: {title: "n384" label: "Jmp 384" info1: "Jmp 384
}
node: {title: "n654" label: "AddIs 654" info1: "Add 654
mode: Is
}
node: {title: "n654" label: "AddIs 654" info1: "Add 654
mode: Is
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m5
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m5
arity: 2
pred nodes:
@@
-396,7
+396,7
@@
node: {title: "n654" label: "AddIs 654" info1: "Add 654
}
node: {title: "n654n657" label: "0xFFFFFFFCIs 657" info1: "0xFFFFFFFC 657
mode: Is
}
node: {title: "n654n657" label: "0xFFFFFFFCIs 657" info1: "0xFFFFFFFC 657
mode: Is
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m5
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m5
arity: 0
pred nodes:
@@
-413,7
+413,7
@@
graph: { title: "n344" label: "Block 344" status:clustered color:yellow
edge: {sourcename: "n344" targetname: "n348" label: "0" class:13 priority:60 color:red}
node: {title: "n351" label: "ProjM 1 351" info1: "Proj 351
mode: M
edge: {sourcename: "n344" targetname: "n348" label: "0" class:13 priority:60 color:red}
node: {title: "n351" label: "ProjM 1 351" info1: "Proj 351
mode: M
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m5
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m5
arity: 1
pred nodes:
@@
-426,7
+426,7
@@
color: yellow}
edge: {sourcename: "n351" targetname: "n345" label: "0" class:17 priority:10 color:blue}
node: {title: "n348" label: "ProjX 0 348" info1: "Proj 348
mode: X
edge: {sourcename: "n351" targetname: "n345" label: "0" class:17 priority:10 color:blue}
node: {title: "n348" label: "ProjX 0 348" info1: "Proj 348
mode: X
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m5
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m5
arity: 1
pred nodes:
@@
-439,7
+439,7
@@
color: yellow}
edge: {sourcename: "n348" targetname: "n345" label: "0" class:13 priority:60 color:red}
node: {title: "n345" label: "Start 345" info1: "Start 345
mode: T
edge: {sourcename: "n348" targetname: "n345" label: "0" class:13 priority:60 color:red}
node: {title: "n345" label: "Start 345" info1: "Start 345
mode: T
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m5
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m5
arity: 0
pred nodes:
diff --git
a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m6-strength_reduced.vcg
b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m6-strength_reduced.vcg
index
6ef61f6
..
9fb4d9e
100644
(file)
--- a/
testprograms/ref-results/STRENGTH_RED_EXAMPLE_m6-strength_reduced.vcg
+++ b/
testprograms/ref-results/STRENGTH_RED_EXAMPLE_m6-strength_reduced.vcg
@@
-57,7
+57,7
@@
graph: { title: "n409" label: "Block 409" status:clustered color:yellow
edge: {sourcename: "n409" targetname: "n461" label: "0" class:13 priority:60 color:red}
node: {title: "n410" label: "End 410" info1: "End 410
mode: X
edge: {sourcename: "n409" targetname: "n461" label: "0" class:13 priority:60 color:red}
node: {title: "n410" label: "End 410" info1: "End 410
mode: X
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m6
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m6
arity: 1
pred nodes:
@@
-73,7
+73,7
@@
graph: { title: "n458" label: "Block 458" status:clustered color:yellow
edge: {sourcename: "n458" targetname: "n433" label: "0" class:13 priority:60 color:red}
node: {title: "n461" label: "Return 461" info1: "Return 461
mode: X
edge: {sourcename: "n458" targetname: "n433" label: "0" class:13 priority:60 color:red}
node: {title: "n461" label: "Return 461" info1: "Return 461
mode: X
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m6
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m6
arity: 2
pred nodes:
@@
-88,7
+88,7
@@
node: {title: "n461" label: "Return 461" info1: "Return 461
}
node: {title: "n461n438" label: "0x4Is 438" info1: "0x4 438
mode: Is
}
node: {title: "n461n438" label: "0x4Is 438" info1: "0x4 438
mode: Is
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m6
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m6
arity: 0
pred nodes:
@@
-107,7
+107,7
@@
edge: {sourcename: "n425" targetname: "n424" label: "0" class:13 priority:60 col
backedge: {sourcename: "n425" targetname: "n452" label: "1" linestyle:dashed class:13 priority:60 color:red}
node: {title: "n465" label: "PhiM 465" info1: "Phi 465
mode: M
backedge: {sourcename: "n425" targetname: "n452" label: "1" linestyle:dashed class:13 priority:60 color:red}
node: {title: "n465" label: "PhiM 465" info1: "Phi 465
mode: M
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m6
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m6
arity: 2
pred nodes:
@@
-123,7
+123,7
@@
edge: {sourcename: "n465" targetname: "n418" label: "0" class:17 priority:10 col
edge: {sourcename: "n465" targetname: "n451" label: "1" class:17 priority:10 color:blue}
node: {title: "n433" label: "ProjX 0 433" info1: "Proj 433
mode: X
edge: {sourcename: "n465" targetname: "n451" label: "1" class:17 priority:10 color:blue}
node: {title: "n433" label: "ProjX 0 433" info1: "Proj 433
mode: X
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m6
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m6
arity: 1
pred nodes:
@@
-136,7
+136,7
@@
color: yellow}
edge: {sourcename: "n433" targetname: "n432" label: "0" class:13 priority:60 color:red}
node: {title: "n434" label: "ProjX 1 434" info1: "Proj 434
mode: X
edge: {sourcename: "n433" targetname: "n432" label: "0" class:13 priority:60 color:red}
node: {title: "n434" label: "ProjX 1 434" info1: "Proj 434
mode: X
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m6
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m6
arity: 1
pred nodes:
@@
-149,7
+149,7
@@
color: yellow}
edge: {sourcename: "n434" targetname: "n432" label: "0" class:13 priority:60 color:red}
node: {title: "n432" label: "Cond 432" info1: "Cond 432
mode: T
edge: {sourcename: "n434" targetname: "n432" label: "0" class:13 priority:60 color:red}
node: {title: "n432" label: "Cond 432" info1: "Cond 432
mode: T
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m6
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m6
arity: 1
pred nodes:
@@
-164,7
+164,7
@@
node: {title: "n432" label: "Cond 432" info1: "Cond 432
edge: {sourcename: "n432" targetname: "n429" label: "0" class:1 priority:50}
node: {title: "n429" label: "Projb Le 429" info1: "Proj 429
mode: b
edge: {sourcename: "n432" targetname: "n429" label: "0" class:1 priority:50}
node: {title: "n429" label: "Projb Le 429" info1: "Proj 429
mode: b
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m6
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m6
arity: 1
pred nodes:
@@
-177,7
+177,7
@@
color: yellow}
edge: {sourcename: "n429" targetname: "n431" label: "0" class:1 priority:50}
node: {title: "n431" label: "Cmp 431" info1: "Cmp 431
mode: T
edge: {sourcename: "n429" targetname: "n431" label: "0" class:1 priority:50}
node: {title: "n431" label: "Cmp 431" info1: "Cmp 431
mode: T
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m6
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m6
arity: 2
pred nodes:
@@
-190,7
+190,7
@@
node: {title: "n431" label: "Cmp 431" info1: "Cmp 431
}
node: {title: "n431n694" label: "0x24Is 694" info1: "0x24 694
mode: Is
}
node: {title: "n431n694" label: "0x24Is 694" info1: "0x24 694
mode: Is
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m6
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m6
arity: 0
pred nodes:
@@
-203,7
+203,7
@@
edge: {sourcename: "n431" targetname: "n466" label: "0" class:1 priority:50}
edge: {sourcename: "n431" targetname: "n431n694" label: "1" class:16 priority:10}
node: {title: "n466" label: "PhiIs 466" info1: "Phi 466
mode: Is
edge: {sourcename: "n431" targetname: "n431n694" label: "1" class:16 priority:10}
node: {title: "n466" label: "PhiIs 466" info1: "Phi 466
mode: Is
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m6
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m6
arity: 2
pred nodes:
@@
-217,7
+217,7
@@
node: {title: "n466" label: "PhiIs 466" info1: "Phi 466
color: green}
node: {title: "n466n422" label: "0x0Is 422" info1: "0x0 422
mode: Is
color: green}
node: {title: "n466n422" label: "0x0Is 422" info1: "0x0 422
mode: Is
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m6
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m6
arity: 0
pred nodes:
@@
-235,7
+235,7
@@
graph: { title: "n421" label: "Block 421" status:clustered color:yellow
edge: {sourcename: "n421" targetname: "n415" label: "0" class:13 priority:60 color:red}
node: {title: "n424" label: "Jmp 424" info1: "Jmp 424
mode: X
edge: {sourcename: "n421" targetname: "n415" label: "0" class:13 priority:60 color:red}
node: {title: "n424" label: "Jmp 424" info1: "Jmp 424
mode: X
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m6
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m6
arity: 0
pred nodes:
@@
-250,7
+250,7
@@
graph: { title: "n435" label: "Block 435" status:clustered color:yellow
edge: {sourcename: "n435" targetname: "n434" label: "0" class:13 priority:60 color:red}
node: {title: "n451" label: "ProjM 0 451" info1: "Proj 451
mode: M
edge: {sourcename: "n435" targetname: "n434" label: "0" class:13 priority:60 color:red}
node: {title: "n451" label: "ProjM 0 451" info1: "Proj 451
mode: M
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m6
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m6
arity: 1
pred nodes:
@@
-263,7
+263,7
@@
color: yellow}
edge: {sourcename: "n451" targetname: "n449" label: "0" class:17 priority:10 color:blue}
node: {title: "n449" label: "Store 449" info1: "Store 449
mode: T
edge: {sourcename: "n451" targetname: "n449" label: "0" class:17 priority:10 color:blue}
node: {title: "n449" label: "Store 449" info1: "Store 449
mode: T
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m6
arity: 3
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m6
arity: 3
pred nodes:
@@
-279,7
+279,7
@@
node: {title: "n449" label: "Store 449" info1: "Store 449
}
node: {title: "n449n447" label: "0x13Is 447" info1: "0x13 447
mode: Is
}
node: {title: "n449n447" label: "0x13Is 447" info1: "0x13 447
mode: Is
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m6
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m6
arity: 0
pred nodes:
@@
-294,7
+294,7
@@
edge: {sourcename: "n449" targetname: "n688" label: "1" class:1 priority:50}
edge: {sourcename: "n449" targetname: "n449n447" label: "2" class:16 priority:10}
node: {title: "n688" label: "AddP 688" info1: "Add 688
mode: P
edge: {sourcename: "n449" targetname: "n449n447" label: "2" class:16 priority:10}
node: {title: "n688" label: "AddP 688" info1: "Add 688
mode: P
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m6
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m6
arity: 2
pred nodes:
@@
-306,7
+306,7
@@
node: {title: "n688" label: "AddP 688" info1: "Add 688
}
node: {title: "n688n687" label: "0x8Is 687" info1: "0x8 687
mode: Is
}
node: {title: "n688n687" label: "0x8Is 687" info1: "0x8 687
mode: Is
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m6
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m6
arity: 0
pred nodes:
@@
-319,7
+319,7
@@
edge: {sourcename: "n688" targetname: "n444" label: "0" class:1 priority:50}
edge: {sourcename: "n688" targetname: "n688n687" label: "1" class:16 priority:10}
node: {title: "n444" label: "SubP 444" info1: "Sub 444
mode: P
edge: {sourcename: "n688" targetname: "n688n687" label: "1" class:16 priority:10}
node: {title: "n444" label: "SubP 444" info1: "Sub 444
mode: P
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m6
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m6
arity: 2
pred nodes:
@@
-332,7
+332,7
@@
node: {title: "n444" label: "SubP 444" info1: "Sub 444
}
node: {title: "n444n437" label: "0x5Is 437" info1: "0x5 437
mode: Is
}
node: {title: "n444n437" label: "0x5Is 437" info1: "0x5 437
mode: Is
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m6
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m6
arity: 0
pred nodes:
@@
-346,7
+346,7
@@
edge: {sourcename: "n444" targetname: "n444n437" label: "0" class:16 priority:10
edge: {sourcename: "n444" targetname: "n685" label: "1" class:1 priority:50}
node: {title: "n685" label: "AddP 685" info1: "Add 685
mode: P
edge: {sourcename: "n444" targetname: "n685" label: "1" class:1 priority:50}
node: {title: "n685" label: "AddP 685" info1: "Add 685
mode: P
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m6
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m6
arity: 2
pred nodes:
@@
-360,7
+360,7
@@
edge: {sourcename: "n685" targetname: "n466" label: "0" class:16 priority:10}
edge: {sourcename: "n685" targetname: "n684" label: "1" class:1 priority:50}
node: {title: "n684" label: "AddP 684" info1: "Add 684
mode: P
edge: {sourcename: "n685" targetname: "n684" label: "1" class:1 priority:50}
node: {title: "n684" label: "AddP 684" info1: "Add 684
mode: P
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m6
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m6
arity: 2
pred nodes:
@@
-372,7
+372,7
@@
node: {title: "n684" label: "AddP 684" info1: "Add 684
}
node: {title: "n684n423" label: "SymC &a 423" info1: "SymC &a 423
mode: P
}
node: {title: "n684n423" label: "SymC &a 423" info1: "SymC &a 423
mode: P
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m6
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m6
arity: 0
pred nodes:
@@
-387,7
+387,7
@@
node: {title: "n684n423" label: "SymC &a 423" info1: "SymC &a 423
}
node: {title: "n684n682" label: "0xFFFFFFFCIs 682" info1: "0xFFFFFFFC 682
mode: Is
}
node: {title: "n684n682" label: "0xFFFFFFFCIs 682" info1: "0xFFFFFFFC 682
mode: Is
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m6
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m6
arity: 0
pred nodes:
@@
-400,7
+400,7
@@
edge: {sourcename: "n684" targetname: "n684n423" label: "0" class:16 priority:10
edge: {sourcename: "n684" targetname: "n684n682" label: "1" class:16 priority:10}
node: {title: "n452" label: "Jmp 452" info1: "Jmp 452
mode: X
edge: {sourcename: "n684" targetname: "n684n682" label: "1" class:16 priority:10}
node: {title: "n452" label: "Jmp 452" info1: "Jmp 452
mode: X
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m6
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m6
arity: 0
pred nodes:
@@
-411,7
+411,7
@@
node: {title: "n452" label: "Jmp 452" info1: "Jmp 452
}
node: {title: "n679" label: "AddIs 679" info1: "Add 679
mode: Is
}
node: {title: "n679" label: "AddIs 679" info1: "Add 679
mode: Is
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m6
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m6
arity: 2
pred nodes:
@@
-423,7
+423,7
@@
node: {title: "n679" label: "AddIs 679" info1: "Add 679
}
node: {title: "n679n682" label: "0xFFFFFFFCIs 682" info1: "0xFFFFFFFC 682
mode: Is
}
node: {title: "n679n682" label: "0xFFFFFFFCIs 682" info1: "0xFFFFFFFC 682
mode: Is
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m6
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m6
arity: 0
pred nodes:
@@
-440,7
+440,7
@@
graph: { title: "n411" label: "Block 411" status:clustered color:yellow
edge: {sourcename: "n411" targetname: "n415" label: "0" class:13 priority:60 color:red}
node: {title: "n418" label: "ProjM 1 418" info1: "Proj 418
mode: M
edge: {sourcename: "n411" targetname: "n415" label: "0" class:13 priority:60 color:red}
node: {title: "n418" label: "ProjM 1 418" info1: "Proj 418
mode: M
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m6
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m6
arity: 1
pred nodes:
@@
-453,7
+453,7
@@
color: yellow}
edge: {sourcename: "n418" targetname: "n412" label: "0" class:17 priority:10 color:blue}
node: {title: "n415" label: "ProjX 0 415" info1: "Proj 415
mode: X
edge: {sourcename: "n418" targetname: "n412" label: "0" class:17 priority:10 color:blue}
node: {title: "n415" label: "ProjX 0 415" info1: "Proj 415
mode: X
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m6
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m6
arity: 1
pred nodes:
@@
-466,7
+466,7
@@
color: yellow}
edge: {sourcename: "n415" targetname: "n412" label: "0" class:13 priority:60 color:red}
node: {title: "n412" label: "Start 412" info1: "Start 412
mode: T
edge: {sourcename: "n415" targetname: "n412" label: "0" class:13 priority:60 color:red}
node: {title: "n412" label: "Start 412" info1: "Start 412
mode: T
- visited: 2
7
+ visited: 2
6
irg: STRENGTH_RED_EXAMPLE_m6
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m6
arity: 0
pred nodes:
diff --git
a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m7-strength_reduced.vcg
b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m7-strength_reduced.vcg
index
c170f94
..
214fdf5
100644
(file)
--- a/
testprograms/ref-results/STRENGTH_RED_EXAMPLE_m7-strength_reduced.vcg
+++ b/
testprograms/ref-results/STRENGTH_RED_EXAMPLE_m7-strength_reduced.vcg
@@
-57,7
+57,7
@@
graph: { title: "n477" label: "Block 477" status:clustered color:yellow
edge: {sourcename: "n477" targetname: "n528" label: "0" class:13 priority:60 color:red}
node: {title: "n478" label: "End 478" info1: "End 478
mode: X
edge: {sourcename: "n477" targetname: "n528" label: "0" class:13 priority:60 color:red}
node: {title: "n478" label: "End 478" info1: "End 478
mode: X
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m7
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m7
arity: 1
pred nodes:
@@
-73,7
+73,7
@@
graph: { title: "n525" label: "Block 525" status:clustered color:yellow
edge: {sourcename: "n525" targetname: "n501" label: "0" class:13 priority:60 color:red}
node: {title: "n528" label: "Return 528" info1: "Return 528
mode: X
edge: {sourcename: "n525" targetname: "n501" label: "0" class:13 priority:60 color:red}
node: {title: "n528" label: "Return 528" info1: "Return 528
mode: X
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m7
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m7
arity: 2
pred nodes:
@@
-88,7
+88,7
@@
node: {title: "n528" label: "Return 528" info1: "Return 528
}
node: {title: "n528n505" label: "0x4Is 505" info1: "0x4 505
mode: Is
}
node: {title: "n528n505" label: "0x4Is 505" info1: "0x4 505
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m7
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m7
arity: 0
pred nodes:
@@
-107,7
+107,7
@@
edge: {sourcename: "n494" targetname: "n493" label: "0" class:13 priority:60 col
backedge: {sourcename: "n494" targetname: "n519" label: "1" linestyle:dashed class:13 priority:60 color:red}
node: {title: "n532" label: "PhiM 532" info1: "Phi 532
mode: M
backedge: {sourcename: "n494" targetname: "n519" label: "1" linestyle:dashed class:13 priority:60 color:red}
node: {title: "n532" label: "PhiM 532" info1: "Phi 532
mode: M
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m7
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m7
arity: 2
pred nodes:
@@
-123,7
+123,7
@@
edge: {sourcename: "n532" targetname: "n486" label: "0" class:17 priority:10 col
edge: {sourcename: "n532" targetname: "n517" label: "1" class:17 priority:10 color:blue}
node: {title: "n721" label: "PhiIs 721" info1: "Phi 721
mode: Is
edge: {sourcename: "n532" targetname: "n517" label: "1" class:17 priority:10 color:blue}
node: {title: "n721" label: "PhiIs 721" info1: "Phi 721
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m7
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m7
arity: 2
pred nodes:
@@
-136,7
+136,7
@@
node: {title: "n721" label: "PhiIs 721" info1: "Phi 721
color: green}
node: {title: "n721n719" label: "0x28Is 719" info1: "0x28 719
mode: Is
color: green}
node: {title: "n721n719" label: "0x28Is 719" info1: "0x28 719
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m7
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m7
arity: 0
pred nodes:
@@
-149,7
+149,7
@@
edge: {sourcename: "n721" targetname: "n721n719" label: "0" class:16 priority:10
edge: {sourcename: "n721" targetname: "n722" label: "1" class:16 priority:10}
node: {title: "n501" label: "ProjX 0 501" info1: "Proj 501
mode: X
edge: {sourcename: "n721" targetname: "n722" label: "1" class:16 priority:10}
node: {title: "n501" label: "ProjX 0 501" info1: "Proj 501
mode: X
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m7
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m7
arity: 1
pred nodes:
@@
-162,7
+162,7
@@
color: yellow}
edge: {sourcename: "n501" targetname: "n500" label: "0" class:13 priority:60 color:red}
node: {title: "n502" label: "ProjX 1 502" info1: "Proj 502
mode: X
edge: {sourcename: "n501" targetname: "n500" label: "0" class:13 priority:60 color:red}
node: {title: "n502" label: "ProjX 1 502" info1: "Proj 502
mode: X
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m7
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m7
arity: 1
pred nodes:
@@
-175,7
+175,7
@@
color: yellow}
edge: {sourcename: "n502" targetname: "n500" label: "0" class:13 priority:60 color:red}
node: {title: "n500" label: "Cond 500" info1: "Cond 500
mode: T
edge: {sourcename: "n502" targetname: "n500" label: "0" class:13 priority:60 color:red}
node: {title: "n500" label: "Cond 500" info1: "Cond 500
mode: T
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m7
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m7
arity: 1
pred nodes:
@@
-190,7
+190,7
@@
node: {title: "n500" label: "Cond 500" info1: "Cond 500
edge: {sourcename: "n500" targetname: "n498" label: "0" class:1 priority:50}
node: {title: "n498" label: "Projb Gt 498" info1: "Proj 498
mode: b
edge: {sourcename: "n500" targetname: "n498" label: "0" class:1 priority:50}
node: {title: "n498" label: "Projb Gt 498" info1: "Proj 498
mode: b
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m7
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m7
arity: 1
pred nodes:
@@
-203,7
+203,7
@@
color: yellow}
edge: {sourcename: "n498" targetname: "n499" label: "0" class:1 priority:50}
node: {title: "n499" label: "Cmp 499" info1: "Cmp 499
mode: T
edge: {sourcename: "n498" targetname: "n499" label: "0" class:1 priority:50}
node: {title: "n499" label: "Cmp 499" info1: "Cmp 499
mode: T
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m7
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m7
arity: 2
pred nodes:
@@
-216,7
+216,7
@@
node: {title: "n499" label: "Cmp 499" info1: "Cmp 499
}
node: {title: "n499n496" label: "0x0Is 496" info1: "0x0 496
mode: Is
}
node: {title: "n499n496" label: "0x0Is 496" info1: "0x0 496
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m7
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m7
arity: 0
pred nodes:
@@
-230,7
+230,7
@@
edge: {sourcename: "n499" targetname: "n533" label: "0" class:1 priority:50}
edge: {sourcename: "n499" targetname: "n499n496" label: "1" class:16 priority:10}
node: {title: "n533" label: "PhiIs 533" info1: "Phi 533
mode: Is
edge: {sourcename: "n499" targetname: "n499n496" label: "1" class:16 priority:10}
node: {title: "n533" label: "PhiIs 533" info1: "Phi 533
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m7
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m7
arity: 2
pred nodes:
@@
-244,7
+244,7
@@
node: {title: "n533" label: "PhiIs 533" info1: "Phi 533
color: green}
node: {title: "n533n491" label: "0xAIs 491" info1: "0xA 491
mode: Is
color: green}
node: {title: "n533n491" label: "0xAIs 491" info1: "0xA 491
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m7
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m7
arity: 0
pred nodes:
@@
-262,7
+262,7
@@
graph: { title: "n489" label: "Block 489" status:clustered color:yellow
edge: {sourcename: "n489" targetname: "n483" label: "0" class:13 priority:60 color:red}
node: {title: "n493" label: "Jmp 493" info1: "Jmp 493
mode: X
edge: {sourcename: "n489" targetname: "n483" label: "0" class:13 priority:60 color:red}
node: {title: "n493" label: "Jmp 493" info1: "Jmp 493
mode: X
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m7
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m7
arity: 0
pred nodes:
@@
-277,7
+277,7
@@
graph: { title: "n503" label: "Block 503" status:clustered color:yellow
edge: {sourcename: "n503" targetname: "n502" label: "0" class:13 priority:60 color:red}
node: {title: "n517" label: "ProjM 0 517" info1: "Proj 517
mode: M
edge: {sourcename: "n503" targetname: "n502" label: "0" class:13 priority:60 color:red}
node: {title: "n517" label: "ProjM 0 517" info1: "Proj 517
mode: M
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m7
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m7
arity: 1
pred nodes:
@@
-290,7
+290,7
@@
color: yellow}
edge: {sourcename: "n517" targetname: "n515" label: "0" class:17 priority:10 color:blue}
node: {title: "n515" label: "Store 515" info1: "Store 515
mode: T
edge: {sourcename: "n517" targetname: "n515" label: "0" class:17 priority:10 color:blue}
node: {title: "n515" label: "Store 515" info1: "Store 515
mode: T
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m7
arity: 3
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m7
arity: 3
pred nodes:
@@
-309,7
+309,7
@@
edge: {sourcename: "n515" targetname: "n713" label: "1" class:1 priority:50}
edge: {sourcename: "n515" targetname: "n513" label: "2" class:1 priority:50}
node: {title: "n713" label: "AddP 713" info1: "Add 713
mode: P
edge: {sourcename: "n515" targetname: "n513" label: "2" class:1 priority:50}
node: {title: "n713" label: "AddP 713" info1: "Add 713
mode: P
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m7
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m7
arity: 2
pred nodes:
@@
-323,7
+323,7
@@
edge: {sourcename: "n713" targetname: "n721" label: "0" class:16 priority:10}
edge: {sourcename: "n713" targetname: "n712" label: "1" class:1 priority:50}
node: {title: "n722" label: "AddIs 722" info1: "Add 722
mode: Is
edge: {sourcename: "n713" targetname: "n712" label: "1" class:1 priority:50}
node: {title: "n722" label: "AddIs 722" info1: "Add 722
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m7
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m7
arity: 2
pred nodes:
@@
-335,7
+335,7
@@
node: {title: "n722" label: "AddIs 722" info1: "Add 722
}
node: {title: "n722n717" label: "0xFFFFFFFCIs 717" info1: "0xFFFFFFFC 717
mode: Is
}
node: {title: "n722n717" label: "0xFFFFFFFCIs 717" info1: "0xFFFFFFFC 717
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m7
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m7
arity: 0
pred nodes:
@@
-348,7
+348,7
@@
edge: {sourcename: "n722" targetname: "n722n717" label: "0" class:16 priority:10
edge: {sourcename: "n722" targetname: "n721" label: "1" class:16 priority:10}
node: {title: "n712" label: "AddP 712" info1: "Add 712
mode: P
edge: {sourcename: "n722" targetname: "n721" label: "1" class:16 priority:10}
node: {title: "n712" label: "AddP 712" info1: "Add 712
mode: P
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m7
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m7
arity: 2
pred nodes:
@@
-360,7
+360,7
@@
node: {title: "n712" label: "AddP 712" info1: "Add 712
}
node: {title: "n712n492" label: "SymC &a 492" info1: "SymC &a 492
mode: P
}
node: {title: "n712n492" label: "SymC &a 492" info1: "SymC &a 492
mode: P
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m7
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m7
arity: 0
pred nodes:
@@
-375,7
+375,7
@@
node: {title: "n712n492" label: "SymC &a 492" info1: "SymC &a 492
}
node: {title: "n712n710" label: "0x5CIs 710" info1: "0x5C 710
mode: Is
}
node: {title: "n712n710" label: "0x5CIs 710" info1: "0x5C 710
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m7
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m7
arity: 0
pred nodes:
@@
-388,7
+388,7
@@
edge: {sourcename: "n712" targetname: "n712n492" label: "0" class:16 priority:10
edge: {sourcename: "n712" targetname: "n712n710" label: "1" class:16 priority:10}
node: {title: "n513" label: "AddIs 513" info1: "Add 513
mode: Is
edge: {sourcename: "n712" targetname: "n712n710" label: "1" class:16 priority:10}
node: {title: "n513" label: "AddIs 513" info1: "Add 513
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m7
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m7
arity: 2
pred nodes:
@@
-401,7
+401,7
@@
node: {title: "n513" label: "AddIs 513" info1: "Add 513
}
node: {title: "n513n506" label: "0x13Is 506" info1: "0x13 506
mode: Is
}
node: {title: "n513n506" label: "0x13Is 506" info1: "0x13 506
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m7
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m7
arity: 0
pred nodes:
@@
-415,7
+415,7
@@
edge: {sourcename: "n513" targetname: "n513n506" label: "0" class:16 priority:10
edge: {sourcename: "n513" targetname: "n533" label: "1" class:16 priority:10}
node: {title: "n519" label: "Jmp 519" info1: "Jmp 519
mode: X
edge: {sourcename: "n513" targetname: "n533" label: "1" class:16 priority:10}
node: {title: "n519" label: "Jmp 519" info1: "Jmp 519
mode: X
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m7
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m7
arity: 0
pred nodes:
@@
-426,7
+426,7
@@
node: {title: "n519" label: "Jmp 519" info1: "Jmp 519
}
node: {title: "n704" label: "AddIs 704" info1: "Add 704
mode: Is
}
node: {title: "n704" label: "AddIs 704" info1: "Add 704
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m7
arity: 2
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m7
arity: 2
pred nodes:
@@
-438,7
+438,7
@@
node: {title: "n704" label: "AddIs 704" info1: "Add 704
}
node: {title: "n704n703" label: "0xFFFFFFFFIs 703" info1: "0xFFFFFFFF 703
mode: Is
}
node: {title: "n704n703" label: "0xFFFFFFFFIs 703" info1: "0xFFFFFFFF 703
mode: Is
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m7
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m7
arity: 0
pred nodes:
@@
-455,7
+455,7
@@
graph: { title: "n479" label: "Block 479" status:clustered color:yellow
edge: {sourcename: "n479" targetname: "n483" label: "0" class:13 priority:60 color:red}
node: {title: "n486" label: "ProjM 1 486" info1: "Proj 486
mode: M
edge: {sourcename: "n479" targetname: "n483" label: "0" class:13 priority:60 color:red}
node: {title: "n486" label: "ProjM 1 486" info1: "Proj 486
mode: M
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m7
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m7
arity: 1
pred nodes:
@@
-468,7
+468,7
@@
color: yellow}
edge: {sourcename: "n486" targetname: "n480" label: "0" class:17 priority:10 color:blue}
node: {title: "n483" label: "ProjX 0 483" info1: "Proj 483
mode: X
edge: {sourcename: "n486" targetname: "n480" label: "0" class:17 priority:10 color:blue}
node: {title: "n483" label: "ProjX 0 483" info1: "Proj 483
mode: X
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m7
arity: 1
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m7
arity: 1
pred nodes:
@@
-481,7
+481,7
@@
color: yellow}
edge: {sourcename: "n483" targetname: "n480" label: "0" class:13 priority:60 color:red}
node: {title: "n480" label: "Start 480" info1: "Start 480
mode: T
edge: {sourcename: "n483" targetname: "n480" label: "0" class:13 priority:60 color:red}
node: {title: "n480" label: "Start 480" info1: "Start 480
mode: T
- visited: 2
8
+ visited: 2
7
irg: STRENGTH_RED_EXAMPLE_m7
arity: 0
pred nodes:
irg: STRENGTH_RED_EXAMPLE_m7
arity: 0
pred nodes: