llvm/test/CodeGen/WebAssembly/GlobalISel/instructions/implicit_def.mir

# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 6
# RUN: llc -mtriple=wasm32-unknown-unknown -run-pass=legalizer,reg-bank-select,instruction-select %s -o - | FileCheck %s --check-prefixes=CHECK,WASM32
# RUN: llc -mtriple=wasm64-unknown-unknown -run-pass=legalizer,reg-bank-select,instruction-select %s -o - | FileCheck %s --check-prefixes=CHECK,WASM64

---
name:            implicit_def_i8
tracksRegLiveness: true
body:             |
  bb.1.entry:
    liveins: $arguments

    ; CHECK-LABEL: name: implicit_def_i8
    ; CHECK: liveins: $arguments
    ; CHECK-NEXT: {{  $}}
    ; CHECK-NEXT: [[DEF:%[0-9]+]]:i32 = IMPLICIT_DEF
    ; CHECK-NEXT: RETURN [[DEF]], implicit-def $arguments
    %0:_(i8) = G_IMPLICIT_DEF
    %1:_(i32) = G_ANYEXT %0(i8)
    RETURN %1(i32), implicit-def $arguments
...

---
name:            implicit_def_i16
tracksRegLiveness: true
body:             |
  bb.1.entry:
    liveins: $arguments

    ; CHECK-LABEL: name: implicit_def_i16
    ; CHECK: liveins: $arguments
    ; CHECK-NEXT: {{  $}}
    ; CHECK-NEXT: [[DEF:%[0-9]+]]:i32 = IMPLICIT_DEF
    ; CHECK-NEXT: RETURN [[DEF]], implicit-def $arguments
    %0:_(i16) = G_IMPLICIT_DEF
    %1:_(i32) = G_ANYEXT %0(i16)
    RETURN %1(i32), implicit-def $arguments
...

---
name:            implicit_def_i32
tracksRegLiveness: true
body:             |
  bb.1.entry:
    liveins: $arguments

    ; CHECK-LABEL: name: implicit_def_i32
    ; CHECK: liveins: $arguments
    ; CHECK-NEXT: {{  $}}
    ; CHECK-NEXT: [[DEF:%[0-9]+]]:i32 = IMPLICIT_DEF
    ; CHECK-NEXT: RETURN [[DEF]], implicit-def $arguments
    %0:_(i32) = G_IMPLICIT_DEF
    RETURN %0(i32), implicit-def $arguments
...

---
name:            implicit_def_i64
tracksRegLiveness: true
body:             |
  bb.1.entry:
    liveins: $arguments

    ; CHECK-LABEL: name: implicit_def_i64
    ; CHECK: liveins: $arguments
    ; CHECK-NEXT: {{  $}}
    ; CHECK-NEXT: [[DEF:%[0-9]+]]:i64 = IMPLICIT_DEF
    ; CHECK-NEXT: RETURN [[DEF]], implicit-def $arguments
    %0:_(i64) = G_IMPLICIT_DEF
    RETURN %0(i64), implicit-def $arguments
...

---
name:            implicit_def_f32
tracksRegLiveness: true
body:             |
  bb.1.entry:
    liveins: $arguments

    ; CHECK-LABEL: name: implicit_def_f32
    ; CHECK: liveins: $arguments
    ; CHECK-NEXT: {{  $}}
    ; CHECK-NEXT: [[DEF:%[0-9]+]]:f32 = IMPLICIT_DEF
    ; CHECK-NEXT: RETURN [[DEF]], implicit-def $arguments
    %0:_(f32) = G_IMPLICIT_DEF
    RETURN %0(f32), implicit-def $arguments
...

---
name:            implicit_def_f64
tracksRegLiveness: true
body:             |
  bb.1.entry:
    liveins: $arguments

    ; CHECK-LABEL: name: implicit_def_f64
    ; CHECK: liveins: $arguments
    ; CHECK-NEXT: {{  $}}
    ; CHECK-NEXT: [[DEF:%[0-9]+]]:f64 = IMPLICIT_DEF
    ; CHECK-NEXT: RETURN [[DEF]], implicit-def $arguments
    %0:_(f64) = G_IMPLICIT_DEF
    RETURN %0(f64), implicit-def $arguments
...

---
name:            implicit_def_p0
tracksRegLiveness: true
body:             |
  bb.1.entry:
    liveins: $arguments

    ; WASM32-LABEL: name: implicit_def_p0
    ; WASM32: liveins: $arguments
    ; WASM32-NEXT: {{  $}}
    ; WASM32-NEXT: [[DEF:%[0-9]+]]:i32 = IMPLICIT_DEF
    ; WASM32-NEXT: RETURN [[DEF]], implicit-def $arguments
    ;
    ; WASM64-LABEL: name: implicit_def_p0
    ; WASM64: liveins: $arguments
    ; WASM64-NEXT: {{  $}}
    ; WASM64-NEXT: [[DEF:%[0-9]+]]:i64 = IMPLICIT_DEF
    ; WASM64-NEXT: RETURN [[DEF]], implicit-def $arguments
    %0:_(p0) = G_IMPLICIT_DEF
    RETURN %0(p0), implicit-def $arguments
...