| # 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 |
| ... |