Add conditional branches

wasmlike/wasmlike.rkt

@@ -36,6 +36,11 @@
                [targetindex]) ;; a number depth
          ;; todo: the type of val should be unified with the target node
          #:prop choice-weight 50]
+ [BranchIf Expr ([cond : Expr]
+                 [val : Expr]
+                 [targetnode]
+                 [targetindex])
+           #:prop choice-weight 50]
  )
 
 ;; Define structured control instruction property
@@ -125,7 +130,9 @@
   wasm-like
   fresh
   [Branch (match-let ([(cons index node) (choose-br-target (current-hole))])
-            (hash 'targetindex index 'targetnode node))])
+            (hash 'targetindex index 'targetnode node))]
+  [BranchIf (match-let ([(cons index node) (choose-br-target (current-hole))])
+              (hash 'targetindex index 'targetnode node))])
 
 (add-att-rule
   wasm-like
@@ -164,6 +171,8 @@
                            'then int
                            'else int))]]
           [Branch [int (λ (n t) (hash 'val int))]]
+          [BranchIf [int (λ (n t) (hash 'cond int
+                                        'val int))]]
  )
 
 (add-prop
@@ -200,6 +209,12 @@
             (append
               (render-node (ast-child 'val n))
               `(br ,(ast-child 'targetindex n))))]
+ [BranchIf (λ (n)
+              (append
+                (render-node (ast-child 'val n))
+                (render-node (ast-child 'cond n))
+                `(br_if ,(ast-child 'targetindex n))))]
+
  )
 
 (add-prop