# RUN: llc -ppc-asm-full-reg-names -mtriple=powerpc64le-unknown-linux-gnu \
# RUN: -run-pass=ppc-ctrloops %s -o - -verify-machineinstrs | FileCheck %s
# RUN: llc -ppc-asm-full-reg-names -mtriple=powerpc64-ibm-aix-xcoff \
# RUN: -run-pass=ppc-ctrloops %s -o - -verify-machineinstrs | FileCheck %s
---
name: test_success1
# CHECK: test_success1
tracksRegLiveness: true
body: |
bb.0.entry:
%0:g8rc = LI8 2048
; CHECK: MTCTR8loop
; CHECK: BDNZ8
; CHECK-NOT: ADDI8
; CHECK-NOT: CMPLDI
; CHECK-NOT: BC
MTCTR8loop killed %0:g8rc, implicit-def dead $ctr8
bb.1:
%1:crbitrc = DecreaseCTR8loop 1, implicit-def dead $ctr8, implicit $ctr8
BC killed %1:crbitrc, %bb.1
B %bb.2
bb.2:
BLR8 implicit $lr8, implicit $rm
...
---
name: test_fail_clobber
# CHECK: test_fail_clobber
tracksRegLiveness: true
body: |
bb.0.entry:
%0:g8rc = LI8 2048
; CHECK-NOT: MTCTR8loop
; CHECK-NOT: BDNZ8
; CHECK: ADDI8
; CHECK: CMPLDI
; CHECK: BC
MTCTR8loop killed %0:g8rc, implicit-def dead $ctr8
bb.1:
INLINEASM &"", 1 /* sideeffect attdialect */, 12 /* clobber */, implicit-def early-clobber $ctr8
%1:crbitrc = DecreaseCTR8loop 1, implicit-def dead $ctr8, implicit $ctr8
BC killed %1:crbitrc, %bb.1
B %bb.2
bb.2:
BLR8 implicit $lr8, implicit $rm
...
---
name: test_fail_use_in_loop
# CHECK: test_fail_use_in_loop
tracksRegLiveness: true
body: |
bb.0.entry:
%0:g8rc = LI8 2048
; CHECK-NOT: MTCTR8loop
; CHECK-NOT: BDNZ8
; CHECK: ADDI8
; CHECK: CMPLDI
; CHECK: BC
MTCTR8loop killed %0:g8rc, implicit-def dead $ctr8
bb.1:
%1:g8rc = MFCTR8 implicit $ctr8
%2:crbitrc = DecreaseCTR8loop 1, implicit-def dead $ctr8, implicit $ctr8
BC killed %2:crbitrc, %bb.1
B %bb.2
bb.2:
BLR8 implicit $lr8, implicit $rm
...
---
name: test_fail_call_in_preheader_after_mtctr
# CHECK: test_fail_call_in_preheader_after_mtctr
tracksRegLiveness: true
body: |
bb.0.entry:
%0:g8rc = LI8 2048
; CHECK-NOT: MTCTR8
; CHECK-NOT: BDNZ8
; CHECK: ADDI8
; CHECK: CMPLDI
; CHECK: BC
MTCTR8loop killed %0:g8rc, implicit-def dead $ctr8
BL8 @test_fail_use_in_loop, csr_ppc64, implicit-def dead $lr8, implicit $rm
bb.1:
%1:crbitrc = DecreaseCTR8loop 1, implicit-def dead $ctr8, implicit $ctr8
BC killed %1:crbitrc, %bb.1
B %bb.2
bb.2:
BLR8 implicit $lr8, implicit $rm
...
---
name: test_succ_call_in_preheader_before_mtctr
# CHECK: test_succ_call_in_preheader_before_mtctr
tracksRegLiveness: true
body: |
bb.0.entry:
%0:g8rc = LI8 2048
BL8 @test_fail_use_in_loop, csr_ppc64, implicit-def dead $lr8, implicit $rm
; CHECK: MTCTR8
; CHECK: BDNZ8
; CHECK-NOT: ADDI8
; CHECK-NOT: CMPLDI
; CHECK-NOT: BC
MTCTR8loop killed %0:g8rc, implicit-def dead $ctr8
bb.1:
%1:crbitrc = DecreaseCTR8loop 1, implicit-def dead $ctr8, implicit $ctr8
BC killed %1:crbitrc, %bb.1
B %bb.2
bb.2:
BLR8 implicit $lr8, implicit $rm
...
---
name: test_fail_call_in_loop
# CHECK: test_fail_call_in_loop
tracksRegLiveness: true
body: |
bb.0.entry:
%0:g8rc = LI8 2048
; CHECK-NOT: MTCTR8
; CHECK-NOT: BDNZ8
; CHECK: ADDI8
; CHECK: CMPLDI
; CHECK: BC
MTCTR8loop killed %0:g8rc, implicit-def dead $ctr8
bb.1:
BL8 @test_fail_use_in_loop, csr_ppc64, implicit-def dead $lr8, implicit $rm
%1:crbitrc = DecreaseCTR8loop 1, implicit-def dead $ctr8, implicit $ctr8
BC killed %1:crbitrc, %bb.1
B %bb.2
bb.2:
BLR8 implicit $lr8, implicit $rm
...
---
name: test_fail_indirect_call_in_loop
# CHECK: test_fail_indirect_call_in_loop
tracksRegLiveness: true
body: |
bb.0.entry:
liveins: $x3, $x4
%0:g8rc = LI8 2048
; CHECK-NOT: MTCTR8
; CHECK-NOT: BDNZ8
; CHECK: ADDI8
; CHECK: CMPLDI
; CHECK: BC
renamable %1:crrc = CMPLD killed renamable $x3, killed renamable $x4
renamable %2:crbitrc = COPY %1.sub_gt
MTLR8 %0:g8rc, implicit-def $lr8
MTCTR8loop killed %0:g8rc, implicit-def dead $ctr8
bb.1:
BCLRL renamable %2, implicit $lr, implicit $rm
%3:crbitrc = DecreaseCTR8loop 1, implicit-def dead $ctr8, implicit $ctr8
BC killed %3:crbitrc, %bb.1
B %bb.2
bb.2:
BLR8 implicit $lr8, implicit $rm
...
---
name: test_fail_livein_preheader
# CHECK: test_fail_livein_preheader
tracksRegLiveness: true
body: |
bb.0.entry:
liveins: $ctr8
%0:g8rc = LI8 2048
; CHECK-NOT: MTCTR8loop
; CHECK-NOT: BDNZ8
; CHECK: ADDI8
; CHECK: CMPLDI
; CHECK: BC
MTCTR8loop killed %0:g8rc, implicit-def dead $ctr8
bb.1:
%1:crbitrc = DecreaseCTR8loop 1, implicit-def dead $ctr8, implicit $ctr8
BC killed %1:crbitrc, %bb.1
B %bb.2
bb.2:
BLR8 implicit $lr8, implicit $rm
...
---
name: test_fail_def_preheader
# CHECK: test_fail_def_preheader
tracksRegLiveness: true
body: |
bb.0.entry:
INLINEASM &"", 1 /* sideeffect attdialect */, 12 /* clobber */, implicit-def early-clobber $ctr8
%0:g8rc = LI8 2048
; CHECK-NOT: MTCTR8loop
; CHECK-NOT: BDNZ8
; CHECK: ADDI8
; CHECK: CMPLDI
; CHECK: BC
MTCTR8loop killed %0:g8rc, implicit-def dead $ctr8
bb.1:
%1:crbitrc = DecreaseCTR8loop 1, implicit-def dead $ctr8, implicit $ctr8
BC killed %1:crbitrc, %bb.1
B %bb.2
bb.2:
BLR8 implicit $lr8, implicit $rm
...
---
name: test_success_only_use_preheader
# CHECK: test_success_only_use_preheader
tracksRegLiveness: true
body: |
bb.0.entry:
%0:g8rc = MFCTR8 implicit $ctr8
%1:g8rc = LI8 2048
; CHECK: MTCTR8loop
; CHECK: BDNZ8
; CHECK-NOT: ADDI8
; CHECK-NOT: CMPLDI
; CHECK-NOT: BC
MTCTR8loop killed %1:g8rc, implicit-def dead $ctr8
bb.1:
%2:crbitrc = DecreaseCTR8loop 1, implicit-def dead $ctr8, implicit $ctr8
BC killed %2:crbitrc, %bb.1
B %bb.2
bb.2:
BLR8 implicit $lr8, implicit $rm
...
---
name: test_fail_use_after_mtctr
# CHECK: test_fail_use_after_mtctr
tracksRegLiveness: true
body: |
bb.0.entry:
%0:g8rc = LI8 2048
; CHECK-NOT: MTCTR8loop
; CHECK-NOT: BDNZ8
; CHECK: ADDI8
; CHECK: CMPLDI
; CHECK: BC
MTCTR8loop killed %0:g8rc, implicit-def dead $ctr8
%1:g8rc = MFCTR8 implicit $ctr8
bb.1:
%2:crbitrc = DecreaseCTR8loop 1, implicit-def dead $ctr8, implicit $ctr8
BC killed %2:crbitrc, %bb.1
B %bb.2
bb.2:
BLR8 implicit $lr8, implicit $rm
...
---
name: test_fail_def_after_mtctr
# CHECK: test_fail_def_after_mtctr
tracksRegLiveness: true
body: |
bb.0.entry:
%0:g8rc = LI8 2048
; CHECK-NOT: MTCTR8loop
; CHECK-NOT: BDNZ8
; CHECK: ADDI8
; CHECK: CMPLDI
; CHECK: BC
MTCTR8loop killed %0:g8rc, implicit-def dead $ctr8
INLINEASM &"", 1 /* sideeffect attdialect */, 12 /* clobber */, implicit-def early-clobber $ctr8
bb.1:
%2:crbitrc = DecreaseCTR8loop 1, implicit-def dead $ctr8, implicit $ctr8
BC killed %2:crbitrc, %bb.1
B %bb.2
bb.2:
BLR8 implicit $lr8, implicit $rm
...
---
name: test_success_def_after_loop
# CHECK: test_success_def_after_loop
tracksRegLiveness: true
body: |
bb.0.entry:
%0:g8rc = LI8 2048
; CHECK: MTCTR8loop
; CHECK: BDNZ8
; CHECK-NOT: ADDI8
; CHECK-NOT: CMPLDI
; CHECK-NOT: BC
MTCTR8loop killed %0:g8rc, implicit-def dead $ctr8
bb.1:
%2:crbitrc = DecreaseCTR8loop 1, implicit-def dead $ctr8, implicit $ctr8
BC killed %2:crbitrc, %bb.1
B %bb.2
bb.2:
INLINEASM &"", 1 /* sideeffect attdialect */, 12 /* clobber */, implicit-def early-clobber $ctr8
BLR8 implicit $lr8, implicit $rm
...
---
name: test_fail_dead_def_in_preheader
# CHECK: test_fail_dead_def_in_preheader
tracksRegLiveness: true
body: |
bb.0.entry:
%0:g8rc = LI8 2048
%1:g8rc = LI8 1024
MTCTR8loop killed %0:g8rc, implicit-def dead $ctr8
MTCTR8 killed %1:g8rc, implicit-def dead $ctr8
; CHECK-NOT: MTCTR8loop
; CHECK-NOT: BDNZ8
; CHECK: ADDI8
; CHECK: CMPLDI
; CHECK: BC
bb.1:
%2:crbitrc = DecreaseCTR8loop 1, implicit-def dead $ctr8, implicit $ctr8
BC killed %2:crbitrc, %bb.1
B %bb.2
bb.2:
BLR8 implicit $lr8, implicit $rm
...
Codebase Browser
llvm