implicit_def.mir | Explore in Territory

# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
# RUN: llc -O0 -mtriple=mipsel-linux-gnu -run-pass=instruction-select -verify-machineinstrs %s -o - | FileCheck %s -check-prefixes=MIPS32
--- |

  declare void @f_i32(i32)
  define void @g_i32() {entry: ret void}

  declare void @f_i64(i64)
  define void @g_i64() {entry: ret void}

  declare void @f_float(float)
  define void @g_float() {entry: ret void}

  declare void @f_double(double)
  define void @g_double() {entry: ret void}

...
---
name:            g_i32
alignment:       2
legalized:       true
regBankSelected: true
tracksRegLiveness: true
body:             |
  bb.1.entry:
    ; MIPS32-LABEL: name: g_i32
    ; MIPS32: [[DEF:%[0-9]+]]:gpr32 = IMPLICIT_DEF
    ; MIPS32: ADJCALLSTACKDOWN 16, 0, implicit-def $sp, implicit $sp
    ; MIPS32: $a0 = COPY [[DEF]]
    ; MIPS32: JAL @f_i32, csr_o32, implicit-def $ra, implicit-def $sp, implicit $a0
    ; MIPS32: ADJCALLSTACKUP 16, 0, implicit-def $sp, implicit $sp
    ; MIPS32: RetRA
    %0:gprb(s32) = G_IMPLICIT_DEF
    ADJCALLSTACKDOWN 16, 0, implicit-def $sp, implicit $sp
    $a0 = COPY %0(s32)
    JAL @f_i32, csr_o32, implicit-def $ra, implicit-def $sp, implicit $a0
    ADJCALLSTACKUP 16, 0, implicit-def $sp, implicit $sp
    RetRA

...
---
name:            g_i64
alignment:       2
legalized:       true
regBankSelected: true
tracksRegLiveness: true
body:             |
  bb.1.entry:
    ; MIPS32-LABEL: name: g_i64
    ; MIPS32: [[DEF:%[0-9]+]]:gpr32 = IMPLICIT_DEF
    ; MIPS32: [[DEF1:%[0-9]+]]:gpr32 = IMPLICIT_DEF
    ; MIPS32: ADJCALLSTACKDOWN 16, 0, implicit-def $sp, implicit $sp
    ; MIPS32: $a0 = COPY [[DEF]]
    ; MIPS32: $a1 = COPY [[DEF1]]
    ; MIPS32: JAL @f_i64, csr_o32, implicit-def $ra, implicit-def $sp, implicit $a0, implicit $a1
    ; MIPS32: ADJCALLSTACKUP 16, 0, implicit-def $sp, implicit $sp
    ; MIPS32: RetRA
    %3:gprb(s32) = G_IMPLICIT_DEF
    %4:gprb(s32) = G_IMPLICIT_DEF
    ADJCALLSTACKDOWN 16, 0, implicit-def $sp, implicit $sp
    $a0 = COPY %3(s32)
    $a1 = COPY %4(s32)
    JAL @f_i64, csr_o32, implicit-def $ra, implicit-def $sp, implicit $a0, implicit $a1
    ADJCALLSTACKUP 16, 0, implicit-def $sp, implicit $sp
    RetRA

...
---
name:            g_float
alignment:       2
legalized:       true
regBankSelected: true
tracksRegLiveness: true
body:             |
  bb.1.entry:
    ; MIPS32-LABEL: name: g_float
    ; MIPS32: [[DEF:%[0-9]+]]:fgr32 = IMPLICIT_DEF
    ; MIPS32: ADJCALLSTACKDOWN 16, 0, implicit-def $sp, implicit $sp
    ; MIPS32: $f12 = COPY [[DEF]]
    ; MIPS32: JAL @f_float, csr_o32, implicit-def $ra, implicit-def $sp, implicit $f12
    ; MIPS32: ADJCALLSTACKUP 16, 0, implicit-def $sp, implicit $sp
    ; MIPS32: RetRA
    %0:fprb(s32) = G_IMPLICIT_DEF
    ADJCALLSTACKDOWN 16, 0, implicit-def $sp, implicit $sp
    $f12 = COPY %0(s32)
    JAL @f_float, csr_o32, implicit-def $ra, implicit-def $sp, implicit $f12
    ADJCALLSTACKUP 16, 0, implicit-def $sp, implicit $sp
    RetRA

...
---
name:            g_double
alignment:       2
legalized:       true
regBankSelected: true
tracksRegLiveness: true
body:             |
  bb.1.entry:
    ; MIPS32-LABEL: name: g_double
    ; MIPS32: [[DEF:%[0-9]+]]:afgr64 = IMPLICIT_DEF
    ; MIPS32: ADJCALLSTACKDOWN 16, 0, implicit-def $sp, implicit $sp
    ; MIPS32: $d6 = COPY [[DEF]]
    ; MIPS32: JAL @f_double, csr_o32, implicit-def $ra, implicit-def $sp, implicit $d6
    ; MIPS32: ADJCALLSTACKUP 16, 0, implicit-def $sp, implicit $sp
    ; MIPS32: RetRA
    %0:fprb(s64) = G_IMPLICIT_DEF
    ADJCALLSTACKDOWN 16, 0, implicit-def $sp, implicit $sp
    $d6 = COPY %0(s64)
    JAL @f_double, csr_o32, implicit-def $ra, implicit-def $sp, implicit $d6
    ADJCALLSTACKUP 16, 0, implicit-def $sp, implicit $sp
    RetRA

...
llvm/llvm/test/CodeGen/Mips/GlobalISel/instruction-select/implicit_def.mir
