3 4 edge
4 5 edge
-[ ] [ test-copy-propagation ] unit-test
+{ } [ test-copy-propagation ] unit-test
-[
+{
V{
T{ ##replace f 0 D 0 }
T{ ##replace f 4 D 1 }
T{ ##replace f 4 D 2 }
T{ ##branch }
}
-] [ 5 get instructions>> ] unit-test
+} [ 5 get instructions>> ] unit-test
! Test optimistic assumption
V{
2 { 2 3 } edges
3 4 edge
-[ ] [ test-copy-propagation ] unit-test
+{ } [ test-copy-propagation ] unit-test
-[
+{
V{
T{ ##replace f 0 D 1 }
T{ ##branch }
}
-] [ 3 get instructions>> ] unit-test
+} [ 3 get instructions>> ] unit-test