# RUN: llc -mtriple=wasm32-unknown-unknown %s -o - -run-pass=postrapseudos | FileCheck %s

---
name: copy_i32
# CHECK-LABEL: copy_i32
body: |
  ; CHECK-LABEL: bb.0:
  ; CHECK-NEXT: %0:i32 = COPY_I32 %1:i32
  ; CHECK-NEXT: RETURN
  bb.0:
    %0:i32 = COPY %1:i32
    RETURN implicit-def $arguments
...
---
name: copy_i64
# CHECK-LABEL: copy_i64
body:             |
  ; CHECK-LABEL: bb.0:
  ; CHECK-NEXT: %0:i64 = COPY_I64 %1:i64
  ; CHECK-NEXT: RETURN
  bb.0:
    %0:i64 = COPY %1:i64
    RETURN implicit-def $arguments
...
---
name: copy_f32
# CHECK-LABEL: copy_f32
body: |
  ; CHECK-LABEL: bb.0:
  ; CHECK-NEXT: %0:f32 = COPY_F32 %1:f32
  ; CHECK-NEXT: RETURN
  bb.0:
    %0:f32 = COPY %1:f32
    RETURN implicit-def $arguments
...
---
name: copy_f64
# CHECK-LABEL: copy_f64
body: |
  ; CHECK-LABEL: bb.0:
  ; CHECK-NEXT: %0:f64 = COPY_F64 %1:f64
  ; CHECK-NEXT: RETURN
  bb.0:
    %0:f64 = COPY %1:f64
    RETURN implicit-def $arguments
...
---
name: copy_v128
# CHECK-LABEL: copy_v128
body: |
  ; CHECK-LABEL: bb.0:
  ; CHECK-NEXT: %0:v128 = COPY_V128 %1:v128
  ; CHECK-NEXT: RETURN
  bb.0:
    %0:v128 = COPY %1:v128
    RETURN implicit-def $arguments
...
---
name: copy_funcref
# CHECK-LABEL: copy_funcref
body: |
  ; CHECK-LABEL: bb.0:
  ; CHECK-NEXT: %0:funcref = COPY_FUNCREF %1:funcref
  ; CHECK-NEXT: RETURN
  bb.0:
    %0:funcref = COPY %1:funcref
    RETURN implicit-def $arguments
...
---
name: copy_externref
# CHECK-LABEL: copy_externref
body: |
  ; CHECK-LABEL: bb.0:
  ; CHECK-NEXT: %0:externref = COPY_EXTERNREF %1:externref
  ; CHECK-NEXT: RETURN
  bb.0:
    %0:externref = COPY %1:externref
    RETURN implicit-def $arguments
...