xref: /llvm-project/llvm/test/CodeGen/PowerPC/ctrloop-do-not-duplicate-mi.mir (revision 60442f0d442723a487528bdd8b48b24657a025e8)

# RUN: llc -ppc-asm-full-reg-names -mtriple=powerpc64le-unknown-linux-gnu \
# RUN:   -run-pass=early-tailduplication,ppc-ctrloops %s -o - -verify-machineinstrs 2>&1 | FileCheck %s

--- |
  target datalayout = "e-m:e-i64:64-n32:64-S128-v256:256:256-v512:512:512"
  target triple = "powerpc64le-unknown-linux-gnu"

  define dso_local void @test() local_unnamed_addr #0 {
  test_entry:
    %_val_domain_ = load i32, ptr undef, align 4
    %_conv765 = sext i32 %_val_domain_ to i64
    br i1 undef, label %_label_42, label %_loop_40_loopHeader_

  _loop_40_loopHeader_:                             ; preds = %test_entry
    %_val_flags_1020 = load i32, ptr undef, align 4
    %0 = and i32 %_val_flags_1020, 1
    %_cond_conv_1022.not = icmp eq i32 %0, 0
    %1 = sub i64 1, %_conv765
    %smax = call i64 @llvm.smax.i64(i64 %1, i64 1)
    br label %_label_43

  _label_43.loopexit:                               ; preds = %_loop_44_loopHeader_
    %lsr.iv.next = add i64 %lsr.iv, -1
    br label %_label_43

  _label_43:                                        ; preds = %_label_43.loopexit, %_loop_40_loopHeader_
    %lsr.iv = phi i64 [ %lsr.iv.next, %_label_43.loopexit ], [ undef, %_loop_40_loopHeader_ ]
    call void @llvm.set.loop.iterations.i64(i64 %smax)
    br label %_loop_44_do_

  _loop_44_loopHeader_:                             ; preds = %_loop_44_do_
    %2 = call i1 @llvm.loop.decrement.i64(i64 1)
    br i1 %2, label %_loop_44_do_, label %_label_43.loopexit

  _loop_44_do_:                                     ; preds = %_loop_44_loopHeader_, %_label_43
    br i1 %_cond_conv_1022.not, label %_label_42.loopexit, label %_loop_44_loopHeader_

  _label_42.loopexit:                               ; preds = %_loop_44_do_
    %3 = trunc i64 %lsr.iv to i32
    store i32 %3, ptr undef, align 4
    unreachable

  _label_42:                                        ; preds = %test_entry
    unreachable
  }

  ; Function Attrs: nocallback nofree nosync nounwind readnone speculatable willreturn
  declare i64 @llvm.smax.i64(i64, i64) #1

  ; Function Attrs: nocallback noduplicate nofree nosync nounwind willreturn
  declare void @llvm.set.loop.iterations.i64(i64) #2

  ; Function Attrs: nocallback noduplicate nofree nosync nounwind willreturn
  declare i1 @llvm.loop.decrement.i64(i64) #2

  attributes #0 = { "unsafe-fp-math"="true" }
  attributes #1 = { nocallback nofree nosync nounwind readnone speculatable willreturn }
  attributes #2 = { nocallback noduplicate nofree nosync nounwind willreturn }

  !llvm.ident = !{!0}

  !0 = !{!""}

...
---
name:            test
# CHECK: test
alignment:       16
exposesReturnsTwice: false
legalized:       false
regBankSelected: false
selected:        false
failedISel:      false
tracksRegLiveness: true
hasWinCFI:       false
callsEHReturn:   false
callsUnwindInit: false
hasEHCatchret:   false
hasEHScopes:     false
hasEHFunclets:   false
failsVerification: false
tracksDebugUserValues: false
registers:
  - { id: 0, class: g8rc, preferred-register: '' }
  - { id: 1, class: crbitrc, preferred-register: '' }
  - { id: 2, class: g8rc, preferred-register: '' }
  - { id: 3, class: g8rc, preferred-register: '' }
  - { id: 4, class: g8rc_and_g8rc_nox0, preferred-register: '' }
  - { id: 5, class: g8rc_and_g8rc_nox0, preferred-register: '' }
  - { id: 6, class: crbitrc, preferred-register: '' }
  - { id: 7, class: g8rc, preferred-register: '' }
  - { id: 8, class: gprc, preferred-register: '' }
  - { id: 9, class: g8rc_and_g8rc_nox0, preferred-register: '' }
  - { id: 10, class: g8rc_and_g8rc_nox0, preferred-register: '' }
  - { id: 11, class: crrc, preferred-register: '' }
  - { id: 12, class: g8rc_and_g8rc_nox0, preferred-register: '' }
  - { id: 13, class: crbitrc, preferred-register: '' }
  - { id: 14, class: g8rc_and_g8rc_nox0, preferred-register: '' }
  - { id: 15, class: gprc, preferred-register: '' }
liveins:         []
frameInfo:
  isFrameAddressTaken: false
  isReturnAddressTaken: false
  hasStackMap:     false
  hasPatchPoint:   false
  stackSize:       0
  offsetAdjustment: 0
  maxAlignment:    1
  adjustsStack:    false
  hasCalls:        false
  stackProtector:  ''
  functionContext: ''
  maxCallFrameSize: 4294967295
  cvBytesOfCalleeSavedRegisters: 0
  hasOpaqueSPAdjustment: false
  hasVAStart:      false
  hasMustTailInVarArgFunc: false
  hasTailCall:     false
  localFrameSize:  0
  savePoint:       ''
  restorePoint:    ''
fixedStack:      []
stack:           []
callSites:       []
debugValueSubstitutions: []
constants:       []
machineFunctionInfo: {}
body:             |
  bb.0.test_entry:
    successors: %bb.7(0x40000000), %bb.1(0x40000000)

    %5:g8rc_and_g8rc_nox0 = IMPLICIT_DEF
    %0:g8rc = LWA 0, killed %5 :: (load (s32) from `ptr undef`)
    %6:crbitrc = IMPLICIT_DEF
    BC killed %6, %bb.7
    B %bb.1

  bb.1._loop_40_loopHeader_:
    successors: %bb.3(0x80000000)

    %9:g8rc_and_g8rc_nox0 = IMPLICIT_DEF
    %8:gprc = LWZ 0, %9 :: (load (s32) from `ptr undef`)
    %15:gprc = ANDI_rec %8, 1, implicit-def $cr0
    %1:crbitrc = COPY $cr0eq
    %10:g8rc_and_g8rc_nox0 = SUBFIC8 %0, 1, implicit-def dead $carry
    %11:crrc = CMPDI %10, 1
    %12:g8rc_and_g8rc_nox0 = LI8 1
    %2:g8rc = ISEL8 %10, %12, %11.sub_gt
    %7:g8rc = IMPLICIT_DEF
    B %bb.3

  bb.2._label_43.loopexit:
    successors: %bb.3(0x80000000)

    %3:g8rc = ADDI8 %4, -1

  bb.3._label_43:
    successors: %bb.5(0x80000000)

    %4:g8rc_and_g8rc_nox0 = PHI %7, %bb.1, %3, %bb.2
    MTCTR8loop %2, implicit-def dead $ctr8
    B %bb.5

  bb.4._loop_44_loopHeader_:
    successors: %bb.5(0x7c000000), %bb.2(0x04000000)

    %13:crbitrc = DecreaseCTR8loop 1, implicit-def dead $ctr8, implicit $ctr8
    BCn killed %13, %bb.2
    B %bb.5

  bb.5._loop_44_do_:
    successors: %bb.6(0x00000000), %bb.4(0x80000000)

    BCn %1, %bb.4
    B %bb.6

  bb.6._label_42.loopexit:
    successors:

    %14:g8rc_and_g8rc_nox0 = IMPLICIT_DEF
    STW8 %4, 0, killed %14 :: (store (s32) into `ptr undef`)

  bb.7._label_42:

...