Remove PostAssemblyScript passes (#3643)

4 files changed, 0 insertions, 699 deletions

diff --git a/test/passes/post-assemblyscript-finalize.txt b/test/passes/post-assemblyscript-finalize.txt
deleted file mode 100644
index fffd2bb29..000000000
--- a/test/passes/post-assemblyscript-finalize.txt
+++ /dev/null
@@ -1,40 +0,0 @@
-(module
- (type $none_=>_none (func))
- (type $i32_=>_none (func (param i32)))
- (type $i32_=>_i32 (func (param i32) (result i32)))
- (type $i32_i32_=>_i32 (func (param i32 i32) (result i32)))
- (import "rt" "retain" (func $~lib/rt/pure/__retain (param i32) (result i32)))
- (import "rt" "release" (func $~lib/rt/pure/__release (param i32)))
- (import "rt" "alloc" (func $~lib/rt/tlsf/__alloc (param i32 i32) (result i32)))
- (func $eliminates.unnecessaryAllocation
-  (nop)
- )
- (func $eliminates.unnecessaryPair (param $0 i32)
-  (drop
-   (local.get $0)
-  )
- )
- (func $eliminates.unnecessaryStaticPair
-  (nop)
- )
- (func $eliminates.unnecessaryStaticRetain
-  (drop
-   (i32.const 272)
-  )
- )
- (func $eliminates.unnecessaryStaticRelease
-  (nop)
- )
- (func $keeps.dynamicRetain (param $0 i32)
-  (local.set $0
-   (call $~lib/rt/pure/__retain
-    (local.get $0)
-   )
-  )
- )
- (func $keeps.dynamicRelease (param $0 i32)
-  (call $~lib/rt/pure/__release
-   (local.get $0)
-  )
- )
-)
diff --git a/test/passes/post-assemblyscript-finalize.wast b/test/passes/post-assemblyscript-finalize.wast
deleted file mode 100644
index 6de35b471..000000000
--- a/test/passes/post-assemblyscript-finalize.wast
+++ /dev/null
@@ -1,54 +0,0 @@
-;; FinalizeARC part of assemblyscript/tests/compiler/rc/optimize
-(module
- (import "rt" "retain" (func $~lib/rt/pure/__retain (param i32) (result i32)))
- (import "rt" "release" (func $~lib/rt/pure/__release (param i32)))
- (import "rt" "alloc" (func $~lib/rt/tlsf/__alloc (param i32) (param i32) (result i32)))
- (func $eliminates.unnecessaryAllocation
-  (call $~lib/rt/pure/__release
-   (call $~lib/rt/pure/__retain
-    (call $~lib/rt/tlsf/__alloc
-     (i32.const 1)
-     (i32.const 0)
-    )
-   )
-  )
- )
- (func $eliminates.unnecessaryPair (param $0 i32)
-  (call $~lib/rt/pure/__release
-   (call $~lib/rt/pure/__retain
-    (local.get $0)
-   )
-  )
- )
- (func $eliminates.unnecessaryStaticPair
-  (call $~lib/rt/pure/__release
-   (call $~lib/rt/pure/__retain
-    (i32.const 272)
-   )
-  )
- )
- (func $eliminates.unnecessaryStaticRetain
-  (drop
-   (call $~lib/rt/pure/__retain
-    (i32.const 272)
-   )
-  )
- )
- (func $eliminates.unnecessaryStaticRelease
-  (call $~lib/rt/pure/__release
-   (i32.const 272)
-  )
- )
- (func $keeps.dynamicRetain (param $0 i32)
-  (local.set $0
-   (call $~lib/rt/pure/__retain
-    (local.get $0)
-   )
-  )
- )
- (func $keeps.dynamicRelease (param $0 i32)
-  (call $~lib/rt/pure/__release
-   (local.get $0)
-  )
- )
-)
diff --git a/test/passes/post-assemblyscript.txt b/test/passes/post-assemblyscript.txt
deleted file mode 100644
index 2b3111e91..000000000
--- a/test/passes/post-assemblyscript.txt
+++ /dev/null
@@ -1,263 +0,0 @@
-(module
- (type $i32_i32_=>_none (func (param i32 i32)))
- (type $i32_=>_none (func (param i32)))
- (type $i32_i32_i32_=>_none (func (param i32 i32 i32)))
- (type $i32_=>_i32 (func (param i32) (result i32)))
- (type $none_=>_i32 (func (result i32)))
- (type $i32_i32_=>_i32 (func (param i32 i32) (result i32)))
- (import "rt" "retain" (func $~lib/rt/pure/__retain (param i32) (result i32)))
- (import "rt" "release" (func $~lib/rt/pure/__release (param i32)))
- (import "rc" "getRetainedRef" (func $getRetainedRef (result i32)))
- (func $eliminates.linearArgument (param $0 i32)
-  (local.set $0
-   (local.get $0)
-  )
-  (nop)
- )
- (func $eliminates.linearLocal (param $0 i32)
-  (local $1 i32)
-  (local.set $1
-   (local.get $0)
-  )
-  (nop)
- )
- (func $eliminates.linearChain (param $0 i32)
-  (local $1 i32)
-  (local $2 i32)
-  (local $3 i32)
-  (local.set $1
-   (local.get $0)
-  )
-  (local.set $2
-   (local.get $1)
-  )
-  (local.set $3
-   (local.get $2)
-  )
-  (nop)
-  (nop)
-  (nop)
- )
- (func $eliminates.balancedReleases (param $0 i32) (param $cond i32)
-  (local $2 i32)
-  (local.set $2
-   (local.get $0)
-  )
-  (if
-   (local.get $cond)
-   (nop)
-   (nop)
-  )
- )
- (func $eliminates.partialReleases (param $0 i32) (param $cond i32)
-  (local $2 i32)
-  (local.set $2
-   (local.get $0)
-  )
-  (if
-   (local.get $cond)
-   (nop)
-  )
- )
- (func $eliminates.balancedRetains (param $0 i32) (param $cond1 i32) (param $cond2 i32)
-  (local $3 i32)
-  (if
-   (local.get $cond1)
-   (if
-    (local.get $cond2)
-    (local.set $3
-     (local.get $0)
-    )
-    (local.set $3
-     (local.get $0)
-    )
-   )
-   (local.set $3
-    (local.get $0)
-   )
-  )
-  (nop)
- )
- (func $eliminates.balancedInsideLoop (param $0 i32) (param $cond i32)
-  (local $flat i32)
-  (block $break|0
-   (loop $continue|0
-    (local.set $flat
-     (i32.eqz
-      (local.get $cond)
-     )
-    )
-    (br_if $break|0
-     (local.get $flat)
-    )
-    (local.set $0
-     (local.get $0)
-    )
-    (nop)
-    (br $continue|0)
-   )
-   (unreachable)
-  )
- )
- (func $eliminates.balancedOutsideLoop (param $0 i32) (param $cond i32)
-  (local $flat i32)
-  (local.set $0
-   (local.get $0)
-  )
-  (block $break|0
-   (loop $continue|0
-    (local.set $flat
-     (i32.eqz
-      (local.get $cond)
-     )
-    )
-    (br_if $break|0
-     (local.get $flat)
-    )
-    (br $continue|0)
-   )
-   (unreachable)
-  )
-  (nop)
- )
- (func $eliminates.balancedInsideOutsideLoop (param $0 i32) (param $cond i32)
-  (local $flat i32)
-  (local.set $0
-   (local.get $0)
-  )
-  (block $break|0
-   (loop $continue|0
-    (local.set $flat
-     (i32.eqz
-      (local.get $cond)
-     )
-    )
-    (br_if $break|0
-     (local.get $flat)
-    )
-    (nop)
-    (local.set $0
-     (local.get $0)
-    )
-    (br $continue|0)
-   )
-   (unreachable)
-  )
-  (nop)
- )
- (func $eliminates.balancedInsideOutsideLoopWithBranch (param $0 i32) (param $cond1 i32) (param $cond2 i32)
-  (local $flat i32)
-  (local.set $0
-   (local.get $0)
-  )
-  (block $break|0
-   (loop $continue|0
-    (local.set $flat
-     (i32.eqz
-      (local.get $cond1)
-     )
-    )
-    (br_if $break|0
-     (local.get $flat)
-    )
-    (if
-     (local.get $cond2)
-     (block $block
-      (nop)
-      (return)
-     )
-    )
-    (nop)
-    (local.set $0
-     (local.get $0)
-    )
-    (br $continue|0)
-   )
-   (unreachable)
-  )
-  (nop)
- )
- (func $eliminates.replace (param $0 i32) (param $1 i32)
-  (local $2 i32)
-  (local $3 i32)
-  (local.set $0
-   (local.get $0)
-  )
-  (local.set $1
-   (local.get $1)
-  )
-  (local.set $2
-   (local.get $1)
-  )
-  (local.set $3
-   (local.get $0)
-  )
-  (if
-   (i32.ne
-    (local.get $2)
-    (local.get $3)
-   )
-   (local.set $2
-    (local.get $2)
-   )
-   (nop)
-  )
-  (local.set $0
-   (local.get $2)
-  )
-  (nop)
-  (nop)
- )
- (func $eliminates.replaceAlreadyRetained (param $0 i32) (result i32)
-  (local $1 i32)
-  (block $block
-   (local.set $0
-    (local.get $0)
-   )
-   (local.set $1
-    (call $getRetainedRef)
-   )
-   (nop)
-   (local.set $0
-    (local.get $1)
-   )
-   (return
-    (local.get $0)
-   )
-  )
- )
- (func $keeps.partialRetains (param $0 i32) (param $cond i32)
-  (if
-   (local.get $cond)
-   (local.set $0
-    (call $~lib/rt/pure/__retain
-     (local.get $0)
-    )
-   )
-  )
-  (call $~lib/rt/pure/__release
-   (local.get $0)
-  )
- )
- (func $keeps.reachesReturn (param $0 i32) (param $cond i32) (result i32)
-  (block $block
-   (local.set $0
-    (call $~lib/rt/pure/__retain
-     (local.get $0)
-    )
-   )
-   (if
-    (local.get $cond)
-    (return
-     (local.get $0)
-    )
-   )
-   (call $~lib/rt/pure/__release
-    (local.get $0)
-   )
-   (return
-    (i32.const 0)
-   )
-  )
- )
-)
diff --git a/test/passes/post-assemblyscript.wast b/test/passes/post-assemblyscript.wast
deleted file mode 100644
index c79bfe1d9..000000000
--- a/test/passes/post-assemblyscript.wast
+++ /dev/null
@@ -1,342 +0,0 @@
-;; OptimizeARC part of assemblyscript/tests/compiler/rc/optimize
-;; with flattening applied manually
-(module
- (import "rt" "retain" (func $~lib/rt/pure/__retain (param i32) (result i32)))
- (import "rt" "release" (func $~lib/rt/pure/__release (param i32)))
- (func $eliminates.linearArgument (param $0 i32)
-  (local.set $0
-   (call $~lib/rt/pure/__retain
-    (local.get $0)
-   )
-  )
-  (call $~lib/rt/pure/__release
-   (local.get $0)
-  )
- )
- (func $eliminates.linearLocal (param $0 i32)
-  (local $1 i32)
-  (local.set $1
-   (call $~lib/rt/pure/__retain
-    (local.get $0)
-   )
-  )
-  (call $~lib/rt/pure/__release
-   (local.get $1)
-  )
- )
- (func $eliminates.linearChain (param $0 i32)
-  (local $1 i32)
-  (local $2 i32)
-  (local $3 i32)
-  (local.set $1
-   (call $~lib/rt/pure/__retain
-    (local.get $0)
-   )
-  )
-  (local.set $2
-   (call $~lib/rt/pure/__retain
-    (local.get $1)
-   )
-  )
-  (local.set $3
-   (call $~lib/rt/pure/__retain
-    (local.get $2)
-   )
-  )
-  (call $~lib/rt/pure/__release
-   (local.get $3)
-  )
-  (call $~lib/rt/pure/__release
-   (local.get $2)
-  )
-  (call $~lib/rt/pure/__release
-   (local.get $1)
-  )
- )
-  (func $eliminates.balancedReleases (param $0 i32) (param $cond i32)
-  (local $2 i32)
-  (local.set $2
-   (call $~lib/rt/pure/__retain
-    (local.get $0)
-   )
-  )
-  (if
-   (local.get $cond)
-   (call $~lib/rt/pure/__release
-    (local.get $2)
-   )
-   (call $~lib/rt/pure/__release
-    (local.get $2)
-   )
-  )
- )
- (func $eliminates.partialReleases (param $0 i32) (param $cond i32)
-  ;; technically invalid but assumed to be never emitted
-  (local $2 i32)
-  (local.set $2
-   (call $~lib/rt/pure/__retain
-    (local.get $0)
-   )
-  )
-  (if
-   (local.get $cond)
-   (call $~lib/rt/pure/__release
-    (local.get $2)
-   )
-  )
- )
- (func $eliminates.balancedRetains (param $0 i32) (param $cond1 i32) (param $cond2 i32)
-  (local $3 i32)
-  (if
-   (local.get $cond1)
-   (if
-    (local.get $cond2)
-    (local.set $3
-     (call $~lib/rt/pure/__retain
-      (local.get $0)
-     )
-    )
-    (local.set $3
-     (call $~lib/rt/pure/__retain
-      (local.get $0)
-     )
-    )
-   )
-   (local.set $3
-    (call $~lib/rt/pure/__retain
-     (local.get $0)
-    )
-   )
-  )
-  (call $~lib/rt/pure/__release
-   (local.get $3)
-  )
- )
- (func $eliminates.balancedInsideLoop (param $0 i32) (param $cond i32)
-  (local $flat i32)
-  (block $break|0
-   (loop $continue|0
-    (local.set $flat
-     (i32.eqz
-      (local.get $cond)
-     )
-    )
-    (br_if $break|0
-     (local.get $flat)
-    )
-    (local.set $0
-     (call $~lib/rt/pure/__retain
-      (local.get $0)
-     )
-    )
-    (call $~lib/rt/pure/__release
-     (local.get $0)
-    )
-    (br $continue|0)
-   )
-   (unreachable)
-  )
- )
- (func $eliminates.balancedOutsideLoop (param $0 i32) (param $cond i32)
-  (local $flat i32)
-  (local.set $0
-   (call $~lib/rt/pure/__retain
-    (local.get $0)
-   )
-  )
-  (block $break|0
-   (loop $continue|0
-    (local.set $flat
-     (i32.eqz
-      (local.get $cond)
-     )
-    )
-    (br_if $break|0
-     (local.get $flat)
-    )
-    (br $continue|0)
-   )
-   (unreachable)
-  )
-  (call $~lib/rt/pure/__release
-   (local.get $0)
-  )
- )
- (func $eliminates.balancedInsideOutsideLoop (param $0 i32) (param $cond i32)
-  (local $flat i32)
-  (local.set $0
-   (call $~lib/rt/pure/__retain
-    (local.get $0)
-   )
-  )
-  (block $break|0
-   (loop $continue|0
-    (local.set $flat
-     (i32.eqz
-      (local.get $cond)
-     )
-    )
-    (br_if $break|0
-     (local.get $flat)
-    )
-    (call $~lib/rt/pure/__release
-     (local.get $0)
-    )
-    (local.set $0
-     (call $~lib/rt/pure/__retain
-      (local.get $0)
-     )
-    )
-    (br $continue|0)
-   )
-   (unreachable)
-  )
-  (call $~lib/rt/pure/__release
-   (local.get $0)
-  )
- )
- (func $eliminates.balancedInsideOutsideLoopWithBranch (param $0 i32) (param $cond1 i32) (param $cond2 i32)
-  (local $flat i32)
-  (local.set $0
-   (call $~lib/rt/pure/__retain
-    (local.get $0)
-   )
-  )
-  (block $break|0
-   (loop $continue|0
-    (local.set $flat
-     (i32.eqz
-      (local.get $cond1)
-     )
-    )
-    (br_if $break|0
-     (local.get $flat)
-    )
-    (if
-     (local.get $cond2)
-     (block
-      (call $~lib/rt/pure/__release
-       (local.get $0)
-      )
-      (return)
-     )
-    )
-    (call $~lib/rt/pure/__release
-     (local.get $0)
-    )
-    (local.set $0
-     (call $~lib/rt/pure/__retain
-      (local.get $0)
-     )
-    )
-    (br $continue|0)
-   )
-   (unreachable)
-  )
-  (call $~lib/rt/pure/__release
-   (local.get $0)
-  )
- )
- (func $eliminates.replace (param $0 i32) (param $1 i32)
-  (local $2 i32)
-  (local $3 i32)
-  (local.set $0
-   (call $~lib/rt/pure/__retain
-    (local.get $0)
-   )
-  )
-  (local.set $1
-   (call $~lib/rt/pure/__retain
-    (local.get $1)
-   )
-  )
-  ;; flat
-  (local.set $2
-   (local.get $1)
-  )
-  (local.set $3
-   (local.get $0)
-  )
-  ;; /flat
-  (if
-   (i32.ne
-    (local.get $2) ;; flat (local.tee $2 (local.get $1))
-    (local.get $3) ;; flat (local.tee $3 (local.get $0))
-   )
-   (local.set $2
-    (call $~lib/rt/pure/__retain
-     (local.get $2)
-    )
-   )
-   (call $~lib/rt/pure/__release
-    (local.get $3)
-   )
-  )
-  (local.set $0
-   (local.get $2)
-  )
-  (call $~lib/rt/pure/__release
-   (local.get $0)
-  )
-  (call $~lib/rt/pure/__release
-   (local.get $1)
-  )
- )
- (import "rc" "getRetainedRef" (func $getRetainedRef (result i32)))
- (func $eliminates.replaceAlreadyRetained (param $0 i32) (result i32)
-  (local $1 i32)
-  (block
-   (local.set $0
-    (call $~lib/rt/pure/__retain
-     (local.get $0)
-    )
-   )
-   (local.set $1
-    (call $getRetainedRef)
-   )
-   (call $~lib/rt/pure/__release
-    (local.get $0)
-   )
-   (local.set $0
-    (local.get $1)
-   )
-   (return
-    (local.get $0)
-   )
-  )
- )
- (func $keeps.partialRetains (param $0 i32) (param $cond i32)
-  (if
-   (local.get $cond)
-   (local.set $0
-    (call $~lib/rt/pure/__retain
-     (local.get $0)
-    )
-   )
-  )
-  (call $~lib/rt/pure/__release
-   (local.get $0)
-  )
- )
- (func $keeps.reachesReturn (param $0 i32) (param $cond i32) (result i32)
-  (block
-   (local.set $0
-    (call $~lib/rt/pure/__retain
-     (local.get $0)
-    )
-   )
-   (if
-    (local.get $cond)
-    (return
-     (local.get $0)
-    )
-   )
-   (call $~lib/rt/pure/__release
-    (local.get $0)
-   )
-   (return
-    (i32.const 0)
-   )
-  )
- )
-)