llvm/llvm/test/CodeGen/Mips/avoid-zero-copy.mir

# Check that we can remove the redundant save of constant registers such as $zero
# RUN: llc -mtriple=mips64-unknown-freebsd %s -start-before=machine-cp -o - | FileCheck %s --check-prefix ASM
# RUN: llc -mtriple=mips64-unknown-freebsd %s -verify-machineinstrs -run-pass=machine-cp -o - | FileCheck %s
--- |
  target triple = "mips64-unknown-freebsd"
  define i32 @a() nounwind {
  ; ASM-LABEL: a:
  ; ASM:       # %bb.0:
  ; ASM-NEXT:    daddiu $sp, $sp, -16
  ; ASM-NEXT:    sd $ra, 8($sp) # 8-byte Folded Spill
  ; ASM-NEXT:    jalr $25
  ; ASM-NEXT:    move $4, $zero
  ; ASM-NEXT:    move $4, $zero
  ; ASM-NEXT:    ld $ra, 8($sp) # 8-byte Folded Reload
  ; ASM-NEXT:    jr $ra
  ; ASM-NEXT:    daddiu $sp, $sp, 16
    ret i32 0
  }
...
---
name:            a
frameInfo:
  adjustsStack:    true
body:             |
  bb.0 (%ir-block.0):
    liveins: $a0_64, $t9_64, $ra_64, $fp_64, $gp_64
    ; CHECK-LABEL: name: a
    ; CHECK: liveins: $a0_64, $t9_64, $ra_64, $fp_64, $gp_64
    ; CHECK-NEXT: {{  $}}
    ; CHECK-NEXT: ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
    ; CHECK-NEXT: $a0_64 = COPY $zero_64
    ; CHECK-NEXT: JALR64Pseudo $t9_64, csr_n64, implicit-def dead $ra, implicit $a0_64, implicit $gp_64, implicit-def $sp, implicit-def $v0
    ; CHECK-NEXT: ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
    ; CHECK-NEXT: $a0_64 = COPY $zero_64
    ; CHECK-NEXT: PseudoReturn64 undef $ra_64, implicit $v0_64, implicit killed $a0_64
    ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp
    renamable $s0_64 = COPY $zero_64
    $a0_64 = COPY renamable $s0_64
    JALR64Pseudo $t9_64, csr_n64, implicit-def dead $ra, implicit $a0_64, implicit $gp_64, implicit-def $sp, implicit-def $v0
    ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp
    $a0_64 = COPY killed renamable $s0_64
    PseudoReturn64 undef $ra_64, implicit $v0_64, implicit killed $a0_64
...