346 lines
7.4 KiB
YAML
346 lines
7.4 KiB
YAML
# RUN: llc -ppc-asm-full-reg-names -mtriple=powerpc-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:gprc = LI 2048
|
|
; CHECK: MTCTRloop
|
|
; CHECK: BDNZ
|
|
; CHECK-NOT: ADDI
|
|
; CHECK-NOT: CMPLWI
|
|
; CHECK-NOT: BC
|
|
MTCTRloop killed %0:gprc, implicit-def dead $ctr
|
|
|
|
bb.1:
|
|
|
|
%1:crbitrc = DecreaseCTRloop 1, implicit-def dead $ctr, implicit $ctr
|
|
BC killed %1:crbitrc, %bb.1
|
|
B %bb.2
|
|
|
|
bb.2:
|
|
|
|
BLR implicit $lr, implicit $rm
|
|
...
|
|
---
|
|
name: test_fail_clobber
|
|
# CHECK: test_fail_clobber
|
|
tracksRegLiveness: true
|
|
body: |
|
|
bb.0.entry:
|
|
|
|
%0:gprc = LI 2048
|
|
; CHECK-NOT: MTCTRloop
|
|
; CHECK-NOT: BDNZ
|
|
; CHECK: ADDI
|
|
; CHECK: CMPLWI
|
|
; CHECK: BC
|
|
MTCTRloop killed %0:gprc, implicit-def dead $ctr
|
|
|
|
bb.1:
|
|
|
|
INLINEASM &"", 1 /* sideeffect attdialect */, 12 /* clobber */, implicit-def early-clobber $ctr
|
|
%1:crbitrc = DecreaseCTRloop 1, implicit-def dead $ctr, implicit $ctr
|
|
BC killed %1:crbitrc, %bb.1
|
|
B %bb.2
|
|
|
|
bb.2:
|
|
|
|
BLR implicit $lr, implicit $rm
|
|
...
|
|
---
|
|
name: test_fail_use_in_loop
|
|
# CHECK: test_fail_use_in_loop
|
|
tracksRegLiveness: true
|
|
body: |
|
|
bb.0.entry:
|
|
|
|
%0:gprc = LI 2048
|
|
; CHECK-NOT: MTCTRloop
|
|
; CHECK-NOT: BDNZ
|
|
; CHECK: ADDI
|
|
; CHECK: CMPLWI
|
|
; CHECK: BC
|
|
MTCTRloop killed %0:gprc, implicit-def dead $ctr
|
|
|
|
bb.1:
|
|
|
|
%1:gprc = MFCTR implicit $ctr
|
|
%2:crbitrc = DecreaseCTRloop 1, implicit-def dead $ctr, implicit $ctr
|
|
BC killed %2:crbitrc, %bb.1
|
|
B %bb.2
|
|
|
|
bb.2:
|
|
|
|
BLR implicit $lr, 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:gprc = LI 2048
|
|
; CHECK-NOT: MTCTR
|
|
; CHECK-NOT: BDNZ
|
|
; CHECK: ADDI
|
|
; CHECK: CMPLWI
|
|
; CHECK: BC
|
|
MTCTRloop killed %0:gprc, implicit-def dead $ctr
|
|
BL @test_fail_use_in_loop, csr_aix32, implicit-def dead $lr, implicit $rm
|
|
|
|
bb.1:
|
|
|
|
%1:crbitrc = DecreaseCTRloop 1, implicit-def dead $ctr, implicit $ctr
|
|
BC killed %1:crbitrc, %bb.1
|
|
B %bb.2
|
|
|
|
bb.2:
|
|
|
|
BLR implicit $lr, 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:gprc = LI 2048
|
|
BL @test_fail_use_in_loop, csr_aix32, implicit-def dead $lr, implicit $rm
|
|
; CHECK: MTCTR
|
|
; CHECK: BDNZ
|
|
; CHECK-NOT: ADDI
|
|
; CHECK-NOT: CMPLWI
|
|
; CHECK-NOT: BC
|
|
MTCTRloop killed %0:gprc, implicit-def dead $ctr
|
|
|
|
bb.1:
|
|
|
|
%1:crbitrc = DecreaseCTRloop 1, implicit-def dead $ctr, implicit $ctr
|
|
BC killed %1:crbitrc, %bb.1
|
|
B %bb.2
|
|
|
|
bb.2:
|
|
|
|
BLR implicit $lr, implicit $rm
|
|
...
|
|
---
|
|
name: test_fail_call_in_loop
|
|
# CHECK: test_fail_call_in_loop
|
|
tracksRegLiveness: true
|
|
body: |
|
|
bb.0.entry:
|
|
|
|
%0:gprc = LI 2048
|
|
; CHECK-NOT: MTCTR
|
|
; CHECK-NOT: BDNZ
|
|
; CHECK: ADDI
|
|
; CHECK: CMPLWI
|
|
; CHECK: BC
|
|
MTCTRloop killed %0:gprc, implicit-def dead $ctr
|
|
|
|
bb.1:
|
|
|
|
BL @test_fail_use_in_loop, csr_aix32, implicit-def dead $lr, implicit $rm
|
|
%1:crbitrc = DecreaseCTRloop 1, implicit-def dead $ctr, implicit $ctr
|
|
BC killed %1:crbitrc, %bb.1
|
|
B %bb.2
|
|
|
|
bb.2:
|
|
|
|
BLR implicit $lr, implicit $rm
|
|
...
|
|
---
|
|
name: test_fail_indirect_call_in_loop
|
|
# CHECK: test_fail_indirect_call_in_loop
|
|
tracksRegLiveness: true
|
|
body: |
|
|
bb.0.entry:
|
|
liveins: $r3, $r4
|
|
|
|
%0:gprc = LI 2048
|
|
; CHECK-NOT: MTCTR
|
|
; CHECK-NOT: BDNZ
|
|
; CHECK: ADDI
|
|
; CHECK: CMPLWI
|
|
; CHECK: BC
|
|
renamable %1:crrc = CMPLW killed renamable $r3, killed renamable $r4
|
|
renamable %2:crbitrc = COPY %1.sub_gt
|
|
MTLR %0:gprc, implicit-def $lr
|
|
MTCTRloop %0:gprc, implicit-def dead $ctr
|
|
|
|
bb.1:
|
|
|
|
BCLRL renamable %2, implicit $lr, implicit $rm
|
|
%3:crbitrc = DecreaseCTRloop 1, implicit-def dead $ctr, implicit $ctr
|
|
BC killed %3:crbitrc, %bb.1
|
|
B %bb.2
|
|
|
|
bb.2:
|
|
|
|
BLR implicit $lr, implicit $rm
|
|
...
|
|
---
|
|
name: test_fail_livein_preheader
|
|
# CHECK: test_fail_livein_preheader
|
|
tracksRegLiveness: true
|
|
body: |
|
|
bb.0.entry:
|
|
liveins: $ctr
|
|
|
|
%0:gprc = LI 2048
|
|
; CHECK-NOT: MTCTRloop
|
|
; CHECK-NOT: BDNZ
|
|
; CHECK: ADDI
|
|
; CHECK: CMPLWI
|
|
; CHECK: BC
|
|
MTCTRloop killed %0:gprc, implicit-def dead $ctr
|
|
|
|
bb.1:
|
|
|
|
%1:crbitrc = DecreaseCTRloop 1, implicit-def dead $ctr, implicit $ctr
|
|
BC killed %1:crbitrc, %bb.1
|
|
B %bb.2
|
|
|
|
bb.2:
|
|
|
|
BLR implicit $lr, 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 $ctr
|
|
%0:gprc = LI 2048
|
|
; CHECK-NOT: MTCTRloop
|
|
; CHECK-NOT: BDNZ
|
|
; CHECK: ADDI
|
|
; CHECK: CMPLWI
|
|
; CHECK: BC
|
|
MTCTRloop killed %0:gprc, implicit-def dead $ctr
|
|
|
|
bb.1:
|
|
|
|
%1:crbitrc = DecreaseCTRloop 1, implicit-def dead $ctr, implicit $ctr
|
|
BC killed %1:crbitrc, %bb.1
|
|
B %bb.2
|
|
|
|
bb.2:
|
|
|
|
BLR implicit $lr, implicit $rm
|
|
...
|
|
---
|
|
name: test_success_only_use_preheader
|
|
# CHECK: test_success_only_use_preheader
|
|
tracksRegLiveness: true
|
|
body: |
|
|
bb.0.entry:
|
|
|
|
%0:gprc = MFCTR implicit $ctr
|
|
%1:gprc = LI 2048
|
|
; CHECK: MTCTRloop
|
|
; CHECK: BDNZ
|
|
; CHECK-NOT: ADDI
|
|
; CHECK-NOT: CMPLWI
|
|
; CHECK-NOT: BC
|
|
MTCTRloop killed %1:gprc, implicit-def dead $ctr
|
|
|
|
bb.1:
|
|
|
|
%2:crbitrc = DecreaseCTRloop 1, implicit-def dead $ctr, implicit $ctr
|
|
BC killed %2:crbitrc, %bb.1
|
|
B %bb.2
|
|
|
|
bb.2:
|
|
|
|
BLR implicit $lr, implicit $rm
|
|
...
|
|
---
|
|
name: test_fail_use_after_mtctr
|
|
# CHECK: test_fail_use_after_mtctr
|
|
tracksRegLiveness: true
|
|
body: |
|
|
bb.0.entry:
|
|
|
|
%0:gprc = LI 2048
|
|
; CHECK-NOT: MTCTRloop
|
|
; CHECK-NOT: BDNZ
|
|
; CHECK: ADDI
|
|
; CHECK: CMPLWI
|
|
; CHECK: BC
|
|
MTCTRloop killed %0:gprc, implicit-def dead $ctr
|
|
%1:gprc = MFCTR implicit $ctr
|
|
|
|
bb.1:
|
|
|
|
%2:crbitrc = DecreaseCTRloop 1, implicit-def dead $ctr, implicit $ctr
|
|
BC killed %2:crbitrc, %bb.1
|
|
B %bb.2
|
|
|
|
bb.2:
|
|
|
|
BLR implicit $lr, implicit $rm
|
|
...
|
|
---
|
|
name: test_fail_def_after_mtctr
|
|
# CHECK: test_fail_def_after_mtctr
|
|
tracksRegLiveness: true
|
|
body: |
|
|
bb.0.entry:
|
|
|
|
%0:gprc = LI 2048
|
|
; CHECK-NOT: MTCTRloop
|
|
; CHECK-NOT: BDNZ
|
|
; CHECK: ADDI
|
|
; CHECK: CMPLWI
|
|
; CHECK: BC
|
|
MTCTRloop killed %0:gprc, implicit-def dead $ctr
|
|
INLINEASM &"", 1 /* sideeffect attdialect */, 12 /* clobber */, implicit-def early-clobber $ctr
|
|
|
|
bb.1:
|
|
|
|
%2:crbitrc = DecreaseCTRloop 1, implicit-def dead $ctr, implicit $ctr
|
|
BC killed %2:crbitrc, %bb.1
|
|
B %bb.2
|
|
|
|
bb.2:
|
|
|
|
BLR implicit $lr, implicit $rm
|
|
...
|
|
---
|
|
name: test_success_def_after_loop
|
|
# CHECK: test_success_def_after_loop
|
|
tracksRegLiveness: true
|
|
body: |
|
|
bb.0.entry:
|
|
|
|
%0:gprc = LI 2048
|
|
; CHECK: MTCTRloop
|
|
; CHECK: BDNZ
|
|
; CHECK-NOT: ADDI
|
|
; CHECK-NOT: CMPLWI
|
|
; CHECK-NOT: BC
|
|
MTCTRloop killed %0:gprc, implicit-def dead $ctr
|
|
|
|
bb.1:
|
|
|
|
%2:crbitrc = DecreaseCTRloop 1, implicit-def dead $ctr, implicit $ctr
|
|
BC killed %2:crbitrc, %bb.1
|
|
B %bb.2
|
|
|
|
bb.2:
|
|
INLINEASM &"", 1 /* sideeffect attdialect */, 12 /* clobber */, implicit-def early-clobber $ctr
|
|
|
|
BLR implicit $lr, implicit $rm
|
|
...
|