# RUN: llc -mtriple=wasm32-unknown-unknown %s -o - -run-pass wasm-argument-move | FileCheck %s
# wasm-argument-move pass moves all ARGUMENT instructions to the top of the
# entry BB.
---
name: argument_i32
# CHECK-LABEL: argument_i32
body: |
; CHECK-LABEL: bb.0:
; CHECK-NEXT: %1:i32 = ARGUMENT_i32 0
bb.0:
%0:i32 = CONST_I32 0, implicit-def $arguments
%1:i32 = ARGUMENT_i32 0, implicit $arguments
RETURN implicit-def $arguments
...
---
name: argument_i64
# CHECK-LABEL: argument_i64
body: |
; CHECK-LABEL: bb.0:
; CHECK-NEXT: %1:i64 = ARGUMENT_i64 0
bb.0:
%0:i32 = CONST_I32 0, implicit-def $arguments
%1:i64 = ARGUMENT_i64 0, implicit $arguments
RETURN implicit-def $arguments
...
---
name: argument_f32
# CHECK-LABEL: argument_f32
body: |
; CHECK-LABEL: bb.0:
; CHECK-NEXT: %1:f32 = ARGUMENT_f32 0
bb.0:
%0:i32 = CONST_I32 0, implicit-def $arguments
%1:f32 = ARGUMENT_f32 0, implicit $arguments
RETURN implicit-def $arguments
...
---
name: argument_f64
# CHECK-LABEL: argument_f64
body: |
; CHECK-LABEL: bb.0:
; CHECK-NEXT: %1:f64 = ARGUMENT_f64 0
bb.0:
%0:i32 = CONST_I32 0, implicit-def $arguments
%1:f64 = ARGUMENT_f64 0, implicit $arguments
RETURN implicit-def $arguments
...
---
name: argument_funcref
# CHECK-LABEL: argument_funcref
body: |
; CHECK-LABEL: bb.0:
; CHECK-NEXT: %1:funcref = ARGUMENT_funcref 0
bb.0:
%0:i32 = CONST_I32 0, implicit-def $arguments
%1:funcref = ARGUMENT_funcref 0, implicit $arguments
RETURN implicit-def $arguments
...
---
name: argument_externref
# CHECK-LABEL: argument_externref
body: |
; CHECK-LABEL: bb.0:
; CHECK-NEXT: %1:externref = ARGUMENT_externref 0
bb.0:
%0:i32 = CONST_I32 0, implicit-def $arguments
%1:externref = ARGUMENT_externref 0, implicit $arguments
RETURN implicit-def $arguments
...
---
name: argument_exnref
# CHECK-LABEL: argument_exnref
body: |
; CHECK-LABEL: bb.0:
; CHECK-NEXT: %1:exnref = ARGUMENT_exnref 0
bb.0:
%0:i32 = CONST_I32 0, implicit-def $arguments
%1:exnref = ARGUMENT_exnref 0, implicit $arguments
RETURN implicit-def $arguments
...