# RUN: llc -march=hexagon -run-pass=expand-condsets %s -o - | FileCheck %s

# Check that there is a tied implicit use despite having an explicit (but
# untied) use:
# CHECK: %[[R:[0-9]+]]:intregs = A2_paddif killed %{{[0-9]+}}, %[[R]], 1, implicit %[[R]](tied-def 0)

name: f0
tracksRegLiveness: true
body: |
  bb.0:
    successors: %bb.1
    liveins: $r0, $r1
    %0:intregs = COPY $r0
    %0:intregs = COPY $r0       ; defeat IsSSA detection
    %1:intregs = COPY $r1
    %2:intregs = COPY $r0
    %3:intregs = M2_mpyi %2, %1
    %4:intregs = A2_sub %0, %3
    %5:predregs = C2_cmpeqi %4, 0
    %6:intregs = A2_addi %2, 1
    %7:intregs = C2_mux %5, %2, %6
  
  bb.1:

...