[Outlining] Add loop instruction support

Adds support for the loop instruction to be outlined and a test showing a repeat loop being outlined.

Reviewers: tlively

Reviewed By: tlively

Pull Request: https://github.com/WebAssembly/binaryen/pull/6141

1 files changed, 37 insertions, 0 deletions

diff --git a/test/lit/passes/outlining.wast b/test/lit/passes/outlining.wast
index 98cb5a316..1c5ec06bd 100644
--- a/test/lit/passes/outlining.wast
+++ b/test/lit/passes/outlining.wast
@@ -726,3 +726,40 @@
 ;; CHECK-NEXT:  (call $outline$)
 ;; CHECK-NEXT:  (call $outline$)
 ;; CHECK-NEXT: )
+
+;; Outline a loop
+;; TODO: Ideally, a loop (like any control flow) repeated within a program can
+;; be outlined by itself. Right now this is not possible since a control flow
+;; is represented by a single symbol and only sequences of symbols >= 2 are
+;; candidates for outlining.
+(module
+  ;; CHECK:      (type $0 (func))
+
+  ;; CHECK:      (func $outline$ (type $0)
+  ;; CHECK-NEXT:  (drop
+  ;; CHECK-NEXT:   (i32.const 0)
+  ;; CHECK-NEXT:  )
+  ;; CHECK-NEXT:  (loop $loop-in
+  ;; CHECK-NEXT:   (nop)
+  ;; CHECK-NEXT:  )
+  ;; CHECK-NEXT: )
+
+  ;; CHECK:      (func $a (type $0)
+  ;; CHECK-NEXT:  (call $outline$)
+  ;; CHECK-NEXT: )
+  (func $a
+    (drop
+      (i32.const 0)
+    )
+    (loop (nop))
+  )
+  ;; CHECK:      (func $b (type $0)
+  ;; CHECK-NEXT:  (call $outline$)
+  ;; CHECK-NEXT: )
+  (func $b
+    (drop
+      (i32.const 0)
+    )
+    (loop (nop))
+  )
+)