 ] unit-test
 
 [
-    {
+    V{
         T{ ##load-integer f 1 1 }
         T{ ##load-integer f 2 2 }
         T{ ##branch }
     }
     0
 ] [
-    {
+    V{
         T{ ##load-integer f 1 1 }
         T{ ##load-integer f 2 2 }
         T{ ##compare-branch f 1 2 cc/= }


! Branch folding
: test-branch-folding ( insns -- insns' n )
    <basic-block>
    [ V{ 0 1 } clone >>successors basic-block set value-numbering-step ] keep
    successors>> first ;

[
    {
        T{ ##load-integer f 1 1 }
        T{ ##load-integer f 2 2 }
        T{ ##branch }
    }
    1
] [
    {
        T{ ##load-integer f 1 1 }
        T{ ##load-integer f 2 2 }
        T{ ##compare-branch f 1 2 cc= }


: value-number-bb ( insns -- insns' )
    0 test-bb
    cfg new 0 get >>entry
    value-numbering drop
    0 get instructions>> ;

! Folding constants together
[
