test/CodeGen/AArch64/csinc-cmp-removal.mir

# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
# RUN: llc -mtriple=aarch64 -run-pass=peephole-opt -verify-machineinstrs %s -o - | FileCheck %s
---
name:            remove_subswr_after_csincwr
tracksRegLiveness: true
body:             |
  ; CHECK-LABEL: name: remove_subswr_after_csincwr
  ; CHECK: bb.0:
  ; CHECK:   successors: %bb.1(0x40000000), %bb.2(0x40000000)
  ; CHECK:   liveins: $x1
  ; CHECK:   [[COPY:%[0-9]+]]:gpr64common = COPY $x1
  ; CHECK:   [[DEF:%[0-9]+]]:gpr64 = IMPLICIT_DEF
  ; CHECK:   [[SUBSXrr:%[0-9]+]]:gpr64 = SUBSXrr killed [[DEF]], [[COPY]], implicit-def $nzcv
  ; CHECK:   [[CSINCWr:%[0-9]+]]:gpr32common = CSINCWr $wzr, $wzr, 1, implicit $nzcv
  ; CHECK:   [[SUBSWri:%[0-9]+]]:gpr32 = SUBSWri killed [[CSINCWr]], 1, 0, implicit-def $nzcv
  ; CHECK:   Bcc 1, %bb.2, implicit $nzcv
  ; CHECK:   B %bb.1
  ; CHECK: bb.1:
  ; CHECK:   successors: %bb.2(0x80000000)
  ; CHECK:   B %bb.2
  ; CHECK: bb.2:
  ; CHECK:   RET_ReallyLR
  bb.0:
    liveins: $x1
    successors: %bb.1(0x40000000), %bb.2(0x40000000)
    %1:gpr64common = COPY $x1
    %2:gpr64 = IMPLICIT_DEF
    %3:gpr64 = SUBSXrr killed %2:gpr64, %1:gpr64common, implicit-def $nzcv
    %4:gpr32common = CSINCWr $wzr, $wzr, 1, implicit $nzcv
    %5:gpr32 = SUBSWri killed %4:gpr32common, 1, 0, implicit-def $nzcv
    Bcc 1, %bb.2, implicit $nzcv
    B %bb.1

  bb.1:
    successors: %bb.2(0x80000000)
    B %bb.2

  bb.2:
    RET_ReallyLR

...
---
name:            remove_subsxr_after_csincxr_invertcc
tracksRegLiveness: true
body:             |
  ; CHECK-LABEL: name: remove_subsxr_after_csincxr_invertcc
  ; CHECK: bb.0:
  ; CHECK:   successors: %bb.1(0x40000000), %bb.2(0x40000000)
  ; CHECK:   liveins: $x1
  ; CHECK:   [[COPY:%[0-9]+]]:gpr64common = COPY $x1
  ; CHECK:   [[DEF:%[0-9]+]]:gpr64 = IMPLICIT_DEF
  ; CHECK:   [[SUBSXrr:%[0-9]+]]:gpr64 = SUBSXrr killed [[DEF]], [[COPY]], implicit-def $nzcv
  ; CHECK:   [[CSINCXr:%[0-9]+]]:gpr64common = CSINCXr $xzr, $xzr, 1, implicit $nzcv
  ; CHECK:   [[SUBSXri:%[0-9]+]]:gpr64 = SUBSXri killed [[CSINCXr]], 0, 0, implicit-def $nzcv
  ; CHECK:   Bcc 0, %bb.2, implicit $nzcv
  ; CHECK:   B %bb.1
  ; CHECK: bb.1:
  ; CHECK:   successors: %bb.2(0x80000000)
  ; CHECK:   B %bb.2
  ; CHECK: bb.2:
  ; CHECK:   RET_ReallyLR
  bb.0:
    liveins: $x1
    successors: %bb.1(0x40000000), %bb.2(0x40000000)
    %1:gpr64common = COPY $x1
    %2:gpr64 = IMPLICIT_DEF
    %3:gpr64 = SUBSXrr killed %2:gpr64, %1:gpr64common, implicit-def $nzcv
    %4:gpr64common = CSINCXr $xzr, $xzr, 1, implicit $nzcv
    %5:gpr64 = SUBSXri killed %4:gpr64common, 0, 0, implicit-def $nzcv
    Bcc 0, %bb.2, implicit $nzcv
    B %bb.1

  bb.1:
    successors: %bb.2(0x80000000)
    B %bb.2

  bb.2:
    RET_ReallyLR

...
---
name:            cflags_alive_in_succs
tracksRegLiveness: true
body:             |
  ; CHECK-LABEL: name: cflags_alive_in_succs
  ; CHECK: bb.0:
  ; CHECK:   successors: %bb.1(0x40000000), %bb.2(0x40000000)
  ; CHECK:   liveins: $nzcv
  ; CHECK:   [[CSINCXr:%[0-9]+]]:gpr64common = CSINCXr $xzr, $xzr, 1, implicit $nzcv
  ; CHECK:   [[ADDSXri:%[0-9]+]]:gpr64 = ADDSXri killed [[CSINCXr]], 0, 0, implicit-def $nzcv
  ; CHECK:   Bcc 0, %bb.2, implicit $nzcv
  ; CHECK:   B %bb.1
  ; CHECK: bb.1:
  ; CHECK:   successors: %bb.2(0x80000000)
  ; CHECK:   liveins: $nzcv
  ; CHECK:   B %bb.2
  ; CHECK: bb.2:
  ; CHECK:   RET_ReallyLR
  bb.0:
    liveins: $nzcv
    successors: %bb.1(0x40000000), %bb.2(0x40000000)
    %1:gpr64common = CSINCXr $xzr, $xzr, 1, implicit $nzcv
    %2:gpr64 = ADDSXri killed %1:gpr64common, 0, 0, implicit-def $nzcv
    Bcc 0, %bb.2, implicit $nzcv
    B %bb.1

  bb.1:
    liveins: $nzcv
    successors: %bb.2(0x80000000)
    B %bb.2

  bb.2:
    RET_ReallyLR

...
---
name:            nz_used_after_cmp
tracksRegLiveness: true
body:             |
  ; CHECK-LABEL: name: nz_used_after_cmp
  ; CHECK: bb.0:
  ; CHECK:   successors: %bb.1(0x40000000), %bb.2(0x40000000)
  ; CHECK:   liveins: $nzcv
  ; CHECK:   [[CSINCXr:%[0-9]+]]:gpr64common = CSINCXr $xzr, $xzr, 1, implicit $nzcv
  ; CHECK:   [[ADDSXri:%[0-9]+]]:gpr64 = ADDSXri killed [[CSINCXr]], 0, 0, implicit-def $nzcv
  ; CHECK:   Bcc 4, %bb.2, implicit $nzcv
  ; CHECK:   B %bb.1
  ; CHECK: bb.1:
  ; CHECK:   successors: %bb.2(0x80000000)
  ; CHECK:   B %bb.2
  ; CHECK: bb.2:
  ; CHECK:   RET_ReallyLR
  bb.0:
    liveins: $nzcv
    successors: %bb.1(0x40000000), %bb.2(0x40000000)
    %1:gpr64common = CSINCXr $xzr, $xzr, 1, implicit $nzcv
    %2:gpr64 = ADDSXri killed %1:gpr64common, 0, 0, implicit-def $nzcv
    Bcc 4, %bb.2, implicit $nzcv
    B %bb.1

  bb.1:
    successors: %bb.2(0x80000000)
    B %bb.2

  bb.2:
    RET_ReallyLR

...
---
name:            remove_addswr_after_csincwr_invertcc
tracksRegLiveness: true
body:             |
  ; CHECK-LABEL: name: remove_addswr_after_csincwr_invertcc
  ; CHECK: bb.0:
  ; CHECK:   successors: %bb.1(0x40000000), %bb.2(0x40000000)
  ; CHECK:   liveins: $nzcv
  ; CHECK:   [[CSINCWr:%[0-9]+]]:gpr32common = CSINCWr $wzr, $wzr, 1, implicit $nzcv
  ; CHECK:   [[ADDSWri:%[0-9]+]]:gpr32 = ADDSWri killed [[CSINCWr]], 0, 0, implicit-def $nzcv
  ; CHECK:   Bcc 1, %bb.2, implicit $nzcv
  ; CHECK:   B %bb.1
  ; CHECK: bb.1:
  ; CHECK:   successors: %bb.2(0x80000000)
  ; CHECK:   B %bb.2
  ; CHECK: bb.2:
  ; CHECK:   RET_ReallyLR
  bb.0:
    liveins: $nzcv
    successors: %bb.1(0x40000000), %bb.2(0x40000000)
    %1:gpr32common = CSINCWr $wzr, $wzr, 1, implicit $nzcv
    %2:gpr32 = ADDSWri killed %1:gpr32common, 0, 0, implicit-def $nzcv
    Bcc 1, %bb.2, implicit $nzcv
    B %bb.1

  bb.1:
    successors: %bb.2(0x80000000)
    B %bb.2

  bb.2:
    RET_ReallyLR

...
---
name:            cv_used_after_cmp
tracksRegLiveness: true
body:             |
  ; CHECK-LABEL: name: cv_used_after_cmp
  ; CHECK: bb.0:
  ; CHECK:   successors: %bb.1(0x40000000), %bb.2(0x40000000)
  ; CHECK:   liveins: $nzcv
  ; CHECK:   [[CSINCWr:%[0-9]+]]:gpr32common = CSINCWr $wzr, $wzr, 1, implicit $nzcv
  ; CHECK:   [[SUBSWri:%[0-9]+]]:gpr32 = SUBSWri killed [[CSINCWr]], 0, 0, implicit-def $nzcv
  ; CHECK:   Bcc 2, %bb.2, implicit $nzcv
  ; CHECK:   B %bb.1
  ; CHECK: bb.1:
  ; CHECK:   successors: %bb.2(0x80000000)
  ; CHECK:   B %bb.2
  ; CHECK: bb.2:
  ; CHECK:   RET_ReallyLR
  bb.0:
    liveins: $nzcv
    successors: %bb.1(0x40000000), %bb.2(0x40000000)
    %1:gpr32common = CSINCWr $wzr, $wzr, 1, implicit $nzcv
    %2:gpr32 = SUBSWri killed %1:gpr32common, 0, 0, implicit-def $nzcv
    Bcc 2, %bb.2, implicit $nzcv
    B %bb.1

  bb.1:
    successors: %bb.2(0x80000000)
    B %bb.2

  bb.2:
    RET_ReallyLR

...
---
name:            csinc_add0
tracksRegLiveness: true
body:             |
  ; CHECK-LABEL: name: csinc_add0
  ; CHECK: bb.0:
  ; CHECK:   successors: %bb.1(0x40000000), %bb.2(0x40000000)
  ; CHECK:   liveins: $nzcv
  ; CHECK:   [[CSINCWr:%[0-9]+]]:gpr32common = CSINCWr $wzr, $wzr, 4, implicit $nzcv
  ; CHECK:   [[ADDSWri:%[0-9]+]]:gpr32 = ADDSWri killed [[CSINCWr]], 0, 0, implicit-def $nzcv
  ; CHECK:   Bcc 1, %bb.2, implicit $nzcv
  ; CHECK:   B %bb.1
  ; CHECK: bb.1:
  ; CHECK:   successors: %bb.2(0x80000000)
  ; CHECK:   B %bb.2
  ; CHECK: bb.2:
  ; CHECK:   RET_ReallyLR
  bb.0:
    liveins: $nzcv
    successors: %bb.1(0x40000000), %bb.2(0x40000000)
    %1:gpr32common = CSINCWr $wzr, $wzr, 4, implicit $nzcv
    %2:gpr32 = ADDSWri killed %1:gpr32common, 0, 0, implicit-def $nzcv
    Bcc 1, %bb.2, implicit $nzcv
    B %bb.1

  bb.1:
    successors: %bb.2(0x80000000)
    B %bb.2

  bb.2:
    RET_ReallyLR

...
---
name:            remove_subs1_after_csincN_invertcc
tracksRegLiveness: true
body:             |
  ; CHECK-LABEL: name: remove_subs1_after_csincN_invertcc
  ; CHECK: bb.0:
  ; CHECK:   successors: %bb.1(0x40000000), %bb.2(0x40000000)
  ; CHECK:   liveins: $nzcv
  ; CHECK:   [[CSINCWr:%[0-9]+]]:gpr32common = CSINCWr $wzr, $wzr, 5, implicit $nzcv
  ; CHECK:   [[SUBSWri:%[0-9]+]]:gpr32 = SUBSWri killed [[CSINCWr]], 1, 0, implicit-def $nzcv
  ; CHECK:   Bcc 4, %bb.2, implicit $nzcv
  ; CHECK:   B %bb.1
  ; CHECK: bb.1:
  ; CHECK:   successors: %bb.2(0x80000000)
  ; CHECK:   B %bb.2
  ; CHECK: bb.2:
  ; CHECK:   RET_ReallyLR
  bb.0:
    liveins: $nzcv
    successors: %bb.1(0x40000000), %bb.2(0x40000000)
    %1:gpr32common = CSINCWr $wzr, $wzr, 5, implicit $nzcv
    %2:gpr32 = SUBSWri killed %1:gpr32common, 1, 0, implicit-def $nzcv
    Bcc 4, %bb.2, implicit $nzcv
    B %bb.1

  bb.1:
    successors: %bb.2(0x80000000)
    B %bb.2

  bb.2:
    RET_ReallyLR

...
---
name:            csinc_wrong_cc
tracksRegLiveness: true
body:             |
  ; CHECK-LABEL: name: csinc_wrong_cc
  ; CHECK: bb.0:
  ; CHECK:   successors: %bb.1(0x40000000), %bb.2(0x40000000)
  ; CHECK:   liveins: $nzcv
  ; CHECK:   [[CSINCXr:%[0-9]+]]:gpr64common = CSINCXr $xzr, $xzr, 2, implicit $nzcv
  ; CHECK:   [[SUBSXri:%[0-9]+]]:gpr64 = SUBSXri killed [[CSINCXr]], 1, 0, implicit-def $nzcv
  ; CHECK:   Bcc 0, %bb.2, implicit $nzcv
  ; CHECK:   B %bb.1
  ; CHECK: bb.1:
  ; CHECK:   successors: %bb.2(0x80000000)
  ; CHECK:   B %bb.2
  ; CHECK: bb.2:
  ; CHECK:   RET_ReallyLR
  bb.0:
    liveins: $nzcv
    successors: %bb.1(0x40000000), %bb.2(0x40000000)
    %1:gpr64common = CSINCXr $xzr, $xzr, 2, implicit $nzcv
    %2:gpr64 = SUBSXri killed %1:gpr64common, 1, 0, implicit-def $nzcv
    Bcc 0, %bb.2, implicit $nzcv
    B %bb.1

  bb.1:
    successors: %bb.2(0x80000000)
    B %bb.2

  bb.2:
    RET_ReallyLR

...