4d629f9744
In review of bbde6b, I had originally proposed that we support the legacy text format. As review evolved, it bacame clear this had been a bad idea (too much complexity), but in order to let that patch finally move forward, I approved the change with the variant. This change undoes the variant, and updates all the tests to just use the array form.
186 lines
5.9 KiB
YAML
186 lines
5.9 KiB
YAML
# 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
|
|
hasEHContTarget: 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:
|
|
|
|
...
|