# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 6
# Ensure processing an IMPLICIT_DEF of a physreg updates all uses
# before removing the IMPLICIT_DEF.  -verify-machineinstrs will
# fail otherwise.

# RUN: llc -mtriple=x86_64-- -x mir -stop-after processimpdefs < %s -verify-machineinstrs | FileCheck %s
---
name: implicit_def
tracksRegLiveness: true
body: |
  bb.0.entry:
    ; CHECK-LABEL: name: implicit_def
    ; CHECK: MOV32mr $rip, 1, $noreg, 12, $noreg, undef $eax
    ; CHECK-NEXT: RET 0, undef $eax
    ; CHECK-NEXT: {{  $}}
    ; CHECK-NEXT: .1.entry:
    $eax = IMPLICIT_DEF
    MOV32mr $rip, 1, $noreg, 12, $noreg, $eax
    RET 0, $eax
...