mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2025-01-31 12:41:49 +01:00
[ARM] Unrestrict Armv8-a IT when at minsize
IT blocks with more than one instruction were performance deprecated in Armv8 but that doesn't mean we should follow that advise when optimising for size. Differential Revision: https://reviews.llvm.org/D85638
This commit is contained in:
Sam Parker
parent
73d127e3f5
commit
3100a6e21e
@ -2161,7 +2161,12 @@ ARMBaseInstrInfo::extraSizeToPredicateInstructions(const MachineFunction &MF,
|
||||
// Thumb2 needs a 2-byte IT instruction to predicate up to 4 instructions.
|
||||
// ARM has a condition code field in every predicable instruction, using it
|
||||
// doesn't change code size.
|
||||
return Subtarget.isThumb2() ? divideCeil(NumInsts, 4) * 2 : 0;
|
||||
if (!Subtarget.isThumb2())
|
||||
return 0;
|
||||
|
||||
// It's possible that the size of the IT is restricted to a single block.
|
||||
unsigned MaxInsts = Subtarget.restrictIT() ? 1 : 4;
|
||||
return divideCeil(NumInsts, MaxInsts) * 2;
|
||||
}
|
||||
|
||||
unsigned
|
||||
|
||||
@ -237,7 +237,7 @@ void ARMSubtarget::initSubtargetFeatures(StringRef CPU, StringRef FS) {
|
||||
|
||||
switch (IT) {
|
||||
case DefaultIT:
|
||||
RestrictIT = hasV8Ops();
|
||||
RestrictIT = hasV8Ops() && !hasMinSize();
|
||||
break;
|
||||
case RestrictedIT:
|
||||
RestrictIT = true;
|
||||
|
||||
@ -1,5 +1,6 @@
|
||||
# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
|
||||
# RUN: llc -mtriple=thumbv7 -run-pass=if-converter %s -o - | FileCheck %s
|
||||
# RUN: llc -mtriple=thumbv7 -run-pass=if-converter %s -o - | FileCheck %s --check-prefix=CHECK-V7
|
||||
# RUN: llc -mtriple=thumbv8 -run-pass=if-converter %s -o - | FileCheck %s --check-prefix=CHECK-V8
|
||||
--- |
|
||||
define void @test_nosize() {
|
||||
%c0 = icmp sgt i64 0, 0
|
||||
@ -155,34 +156,71 @@ callSites: []
|
||||
constants: []
|
||||
machineFunctionInfo: {}
|
||||
body: |
|
||||
; CHECK-LABEL: name: test_nosize
|
||||
; CHECK: bb.0 (%ir-block.0):
|
||||
; CHECK: successors: %bb.2(0x40000000), %bb.1(0x40000000)
|
||||
; CHECK: liveins: $lr, $r7
|
||||
; CHECK: renamable $r0 = t2MOVi 1, 14 /* CC::al */, $noreg, $noreg
|
||||
; CHECK: t2CMPri killed renamable $r0, 0, 14 /* CC::al */, $noreg, implicit-def $cpsr
|
||||
; CHECK: tTAILJMPdND @extfunc, 1 /* CC::ne */, killed $cpsr, implicit $sp, implicit $sp
|
||||
; CHECK: $sp = frame-setup t2STMDB_UPD $sp, 14 /* CC::al */, $noreg, killed $r7, killed $lr
|
||||
; CHECK: frame-setup CFI_INSTRUCTION def_cfa_offset 8
|
||||
; CHECK: frame-setup CFI_INSTRUCTION offset $lr, -4
|
||||
; CHECK: frame-setup CFI_INSTRUCTION offset $r7, -8
|
||||
; CHECK: renamable $r0 = t2MOVi 0, 14 /* CC::al */, $noreg, $noreg
|
||||
; CHECK: t2CMPri killed renamable $r0, 0, 14 /* CC::al */, $noreg, implicit-def $cpsr
|
||||
; CHECK: t2Bcc %bb.2, 1 /* CC::ne */, killed $cpsr
|
||||
; CHECK: bb.1.b2:
|
||||
; CHECK: successors: %bb.3(0x80000000)
|
||||
; CHECK: tBL 14 /* CC::al */, $noreg, @extfunc, csr_aapcs, implicit-def dead $lr, implicit $sp, implicit-def $sp, implicit-def $r0
|
||||
; CHECK: t2B %bb.3, 14 /* CC::al */, $noreg
|
||||
; CHECK: bb.2.b3:
|
||||
; CHECK: successors: %bb.3(0x80000000)
|
||||
; CHECK: renamable $r0 = t2LDRi12 undef renamable $r0, 0, 14 /* CC::al */, $noreg :: (load 4 from `i32* undef`)
|
||||
; CHECK: renamable $r0 = t2ANDri killed renamable $r0, 256, 14 /* CC::al */, $noreg, $noreg
|
||||
; CHECK: bb.3.b5:
|
||||
; CHECK: liveins: $r0
|
||||
; CHECK: t2CMPri killed renamable $r0, 0, 14 /* CC::al */, $noreg, implicit-def $cpsr
|
||||
; CHECK: $sp = t2LDMIA_UPD $sp, 14 /* CC::al */, $noreg, def $r7, def $lr
|
||||
; CHECK: tBX_RET 0 /* CC::eq */, killed $cpsr
|
||||
; CHECK: tTAILJMPdND @extfunc, 14 /* CC::al */, $noreg, implicit $sp, implicit $sp
|
||||
; CHECK-V7-LABEL: name: test_nosize
|
||||
; CHECK-V7: bb.0 (%ir-block.0):
|
||||
; CHECK-V7: successors: %bb.2(0x40000000), %bb.1(0x40000000)
|
||||
; CHECK-V7: liveins: $lr, $r7
|
||||
; CHECK-V7: renamable $r0 = t2MOVi 1, 14 /* CC::al */, $noreg, $noreg
|
||||
; CHECK-V7: t2CMPri killed renamable $r0, 0, 14 /* CC::al */, $noreg, implicit-def $cpsr
|
||||
; CHECK-V7: tTAILJMPdND @extfunc, 1 /* CC::ne */, killed $cpsr, implicit $sp, implicit $sp
|
||||
; CHECK-V7: $sp = frame-setup t2STMDB_UPD $sp, 14 /* CC::al */, $noreg, killed $r7, killed $lr
|
||||
; CHECK-V7: frame-setup CFI_INSTRUCTION def_cfa_offset 8
|
||||
; CHECK-V7: frame-setup CFI_INSTRUCTION offset $lr, -4
|
||||
; CHECK-V7: frame-setup CFI_INSTRUCTION offset $r7, -8
|
||||
; CHECK-V7: renamable $r0 = t2MOVi 0, 14 /* CC::al */, $noreg, $noreg
|
||||
; CHECK-V7: t2CMPri killed renamable $r0, 0, 14 /* CC::al */, $noreg, implicit-def $cpsr
|
||||
; CHECK-V7: t2Bcc %bb.2, 1 /* CC::ne */, killed $cpsr
|
||||
; CHECK-V7: bb.1.b2:
|
||||
; CHECK-V7: successors: %bb.3(0x80000000)
|
||||
; CHECK-V7: tBL 14 /* CC::al */, $noreg, @extfunc, csr_aapcs, implicit-def dead $lr, implicit $sp, implicit-def $sp, implicit-def $r0
|
||||
; CHECK-V7: t2B %bb.3, 14 /* CC::al */, $noreg
|
||||
; CHECK-V7: bb.2.b3:
|
||||
; CHECK-V7: successors: %bb.3(0x80000000)
|
||||
; CHECK-V7: renamable $r0 = t2LDRi12 undef renamable $r0, 0, 14 /* CC::al */, $noreg :: (load 4 from `i32* undef`)
|
||||
; CHECK-V7: renamable $r0 = t2ANDri killed renamable $r0, 256, 14 /* CC::al */, $noreg, $noreg
|
||||
; CHECK-V7: bb.3.b5:
|
||||
; CHECK-V7: liveins: $r0
|
||||
; CHECK-V7: t2CMPri killed renamable $r0, 0, 14 /* CC::al */, $noreg, implicit-def $cpsr
|
||||
; CHECK-V7: $sp = t2LDMIA_UPD $sp, 14 /* CC::al */, $noreg, def $r7, def $lr
|
||||
; CHECK-V7: tBX_RET 0 /* CC::eq */, killed $cpsr
|
||||
; CHECK-V7: tTAILJMPdND @extfunc, 14 /* CC::al */, $noreg, implicit $sp, implicit $sp
|
||||
; CHECK-V8-LABEL: name: test_nosize
|
||||
; CHECK-V8: bb.0 (%ir-block.0):
|
||||
; CHECK-V8: successors: %bb.1(0x50000000), %bb.6(0x30000000)
|
||||
; CHECK-V8: liveins: $lr, $r7
|
||||
; CHECK-V8: renamable $r0 = t2MOVi 1, 14 /* CC::al */, $noreg, $noreg
|
||||
; CHECK-V8: t2CMPri killed renamable $r0, 0, 14 /* CC::al */, $noreg, implicit-def $cpsr
|
||||
; CHECK-V8: t2Bcc %bb.6, 1 /* CC::ne */, killed $cpsr
|
||||
; CHECK-V8: bb.1.b1:
|
||||
; CHECK-V8: successors: %bb.3(0x40000000), %bb.2(0x40000000)
|
||||
; CHECK-V8: liveins: $r7, $lr
|
||||
; CHECK-V8: $sp = frame-setup t2STMDB_UPD $sp, 14 /* CC::al */, $noreg, killed $r7, killed $lr
|
||||
; CHECK-V8: frame-setup CFI_INSTRUCTION def_cfa_offset 8
|
||||
; CHECK-V8: frame-setup CFI_INSTRUCTION offset $lr, -4
|
||||
; CHECK-V8: frame-setup CFI_INSTRUCTION offset $r7, -8
|
||||
; CHECK-V8: renamable $r0 = t2MOVi 0, 14 /* CC::al */, $noreg, $noreg
|
||||
; CHECK-V8: t2CMPri killed renamable $r0, 0, 14 /* CC::al */, $noreg, implicit-def $cpsr
|
||||
; CHECK-V8: t2Bcc %bb.3, 1 /* CC::ne */, killed $cpsr
|
||||
; CHECK-V8: bb.2.b2:
|
||||
; CHECK-V8: successors: %bb.4(0x80000000)
|
||||
; CHECK-V8: tBL 14 /* CC::al */, $noreg, @extfunc, csr_aapcs, implicit-def dead $lr, implicit $sp, implicit-def $sp, implicit-def $r0
|
||||
; CHECK-V8: t2B %bb.4, 14 /* CC::al */, $noreg
|
||||
; CHECK-V8: bb.3.b3:
|
||||
; CHECK-V8: successors: %bb.4(0x80000000)
|
||||
; CHECK-V8: renamable $r0 = t2LDRi12 undef renamable $r0, 0, 14 /* CC::al */, $noreg :: (load 4 from `i32* undef`)
|
||||
; CHECK-V8: renamable $r0 = t2ANDri killed renamable $r0, 256, 14 /* CC::al */, $noreg, $noreg
|
||||
; CHECK-V8: bb.4.b5:
|
||||
; CHECK-V8: successors: %bb.5(0x30000000), %bb.6(0x50000000)
|
||||
; CHECK-V8: liveins: $r0
|
||||
; CHECK-V8: t2CMPri killed renamable $r0, 0, 14 /* CC::al */, $noreg, implicit-def $cpsr
|
||||
; CHECK-V8: $sp = t2LDMIA_UPD $sp, 14 /* CC::al */, $noreg, def $r7, def $lr
|
||||
; CHECK-V8: t2Bcc %bb.6, 1 /* CC::ne */, killed $cpsr
|
||||
; CHECK-V8: bb.5.b8:
|
||||
; CHECK-V8: liveins: $lr, $r7
|
||||
; CHECK-V8: tBX_RET 14 /* CC::al */, $noreg
|
||||
; CHECK-V8: bb.6.b7:
|
||||
; CHECK-V8: liveins: $lr, $r7
|
||||
; CHECK-V8: tTAILJMPdND @extfunc, 14 /* CC::al */, $noreg, implicit $sp, implicit $sp
|
||||
bb.0 (%ir-block.0):
|
||||
successors: %bb.1(0x50000000), %bb.6(0x30000000)
|
||||
liveins: $lr, $r7
|
||||
@ -277,43 +315,80 @@ callSites: []
|
||||
constants: []
|
||||
machineFunctionInfo: {}
|
||||
body: |
|
||||
; CHECK-LABEL: name: test_optsize
|
||||
; CHECK: bb.0 (%ir-block.0):
|
||||
; CHECK: successors: %bb.1(0x50000000), %bb.6(0x30000000)
|
||||
; CHECK: liveins: $lr, $r7
|
||||
; CHECK: renamable $r0 = t2MOVi 1, 14 /* CC::al */, $noreg, $noreg
|
||||
; CHECK: t2CMPri killed renamable $r0, 0, 14 /* CC::al */, $noreg, implicit-def $cpsr
|
||||
; CHECK: t2Bcc %bb.6, 1 /* CC::ne */, killed $cpsr
|
||||
; CHECK: bb.1.b1:
|
||||
; CHECK: successors: %bb.3(0x40000000), %bb.2(0x40000000)
|
||||
; CHECK: liveins: $r7, $lr
|
||||
; CHECK: $sp = frame-setup t2STMDB_UPD $sp, 14 /* CC::al */, $noreg, killed $r7, killed $lr
|
||||
; CHECK: frame-setup CFI_INSTRUCTION def_cfa_offset 8
|
||||
; CHECK: frame-setup CFI_INSTRUCTION offset $lr, -4
|
||||
; CHECK: frame-setup CFI_INSTRUCTION offset $r7, -8
|
||||
; CHECK: renamable $r0 = t2MOVi 0, 14 /* CC::al */, $noreg, $noreg
|
||||
; CHECK: t2CMPri killed renamable $r0, 0, 14 /* CC::al */, $noreg, implicit-def $cpsr
|
||||
; CHECK: t2Bcc %bb.3, 1 /* CC::ne */, killed $cpsr
|
||||
; CHECK: bb.2.b2:
|
||||
; CHECK: successors: %bb.4(0x80000000)
|
||||
; CHECK: tBL 14 /* CC::al */, $noreg, @extfunc, csr_aapcs, implicit-def dead $lr, implicit $sp, implicit-def $sp, implicit-def $r0
|
||||
; CHECK: t2B %bb.4, 14 /* CC::al */, $noreg
|
||||
; CHECK: bb.3.b3:
|
||||
; CHECK: successors: %bb.4(0x80000000)
|
||||
; CHECK: renamable $r0 = t2LDRi12 undef renamable $r0, 0, 14 /* CC::al */, $noreg :: (load 4 from `i32* undef`)
|
||||
; CHECK: renamable $r0 = t2ANDri killed renamable $r0, 256, 14 /* CC::al */, $noreg, $noreg
|
||||
; CHECK: bb.4.b5:
|
||||
; CHECK: successors: %bb.5(0x30000000), %bb.6(0x50000000)
|
||||
; CHECK: liveins: $r0
|
||||
; CHECK: t2CMPri killed renamable $r0, 0, 14 /* CC::al */, $noreg, implicit-def $cpsr
|
||||
; CHECK: $sp = t2LDMIA_UPD $sp, 14 /* CC::al */, $noreg, def $r7, def $lr
|
||||
; CHECK: t2Bcc %bb.6, 1 /* CC::ne */, killed $cpsr
|
||||
; CHECK: bb.5.b8:
|
||||
; CHECK: liveins: $lr, $r7
|
||||
; CHECK: tBX_RET 14 /* CC::al */, $noreg
|
||||
; CHECK: bb.6.b7:
|
||||
; CHECK: liveins: $lr, $r7
|
||||
; CHECK: tTAILJMPdND @extfunc, 14 /* CC::al */, $noreg, implicit $sp, implicit $sp
|
||||
; CHECK-V7-LABEL: name: test_optsize
|
||||
; CHECK-V7: bb.0 (%ir-block.0):
|
||||
; CHECK-V7: successors: %bb.1(0x50000000), %bb.6(0x30000000)
|
||||
; CHECK-V7: liveins: $lr, $r7
|
||||
; CHECK-V7: renamable $r0 = t2MOVi 1, 14 /* CC::al */, $noreg, $noreg
|
||||
; CHECK-V7: t2CMPri killed renamable $r0, 0, 14 /* CC::al */, $noreg, implicit-def $cpsr
|
||||
; CHECK-V7: t2Bcc %bb.6, 1 /* CC::ne */, killed $cpsr
|
||||
; CHECK-V7: bb.1.b1:
|
||||
; CHECK-V7: successors: %bb.3(0x40000000), %bb.2(0x40000000)
|
||||
; CHECK-V7: liveins: $r7, $lr
|
||||
; CHECK-V7: $sp = frame-setup t2STMDB_UPD $sp, 14 /* CC::al */, $noreg, killed $r7, killed $lr
|
||||
; CHECK-V7: frame-setup CFI_INSTRUCTION def_cfa_offset 8
|
||||
; CHECK-V7: frame-setup CFI_INSTRUCTION offset $lr, -4
|
||||
; CHECK-V7: frame-setup CFI_INSTRUCTION offset $r7, -8
|
||||
; CHECK-V7: renamable $r0 = t2MOVi 0, 14 /* CC::al */, $noreg, $noreg
|
||||
; CHECK-V7: t2CMPri killed renamable $r0, 0, 14 /* CC::al */, $noreg, implicit-def $cpsr
|
||||
; CHECK-V7: t2Bcc %bb.3, 1 /* CC::ne */, killed $cpsr
|
||||
; CHECK-V7: bb.2.b2:
|
||||
; CHECK-V7: successors: %bb.4(0x80000000)
|
||||
; CHECK-V7: tBL 14 /* CC::al */, $noreg, @extfunc, csr_aapcs, implicit-def dead $lr, implicit $sp, implicit-def $sp, implicit-def $r0
|
||||
; CHECK-V7: t2B %bb.4, 14 /* CC::al */, $noreg
|
||||
; CHECK-V7: bb.3.b3:
|
||||
; CHECK-V7: successors: %bb.4(0x80000000)
|
||||
; CHECK-V7: renamable $r0 = t2LDRi12 undef renamable $r0, 0, 14 /* CC::al */, $noreg :: (load 4 from `i32* undef`)
|
||||
; CHECK-V7: renamable $r0 = t2ANDri killed renamable $r0, 256, 14 /* CC::al */, $noreg, $noreg
|
||||
; CHECK-V7: bb.4.b5:
|
||||
; CHECK-V7: successors: %bb.5(0x30000000), %bb.6(0x50000000)
|
||||
; CHECK-V7: liveins: $r0
|
||||
; CHECK-V7: t2CMPri killed renamable $r0, 0, 14 /* CC::al */, $noreg, implicit-def $cpsr
|
||||
; CHECK-V7: $sp = t2LDMIA_UPD $sp, 14 /* CC::al */, $noreg, def $r7, def $lr
|
||||
; CHECK-V7: t2Bcc %bb.6, 1 /* CC::ne */, killed $cpsr
|
||||
; CHECK-V7: bb.5.b8:
|
||||
; CHECK-V7: liveins: $lr, $r7
|
||||
; CHECK-V7: tBX_RET 14 /* CC::al */, $noreg
|
||||
; CHECK-V7: bb.6.b7:
|
||||
; CHECK-V7: liveins: $lr, $r7
|
||||
; CHECK-V7: tTAILJMPdND @extfunc, 14 /* CC::al */, $noreg, implicit $sp, implicit $sp
|
||||
; CHECK-V8-LABEL: name: test_optsize
|
||||
; CHECK-V8: bb.0 (%ir-block.0):
|
||||
; CHECK-V8: successors: %bb.1(0x50000000), %bb.6(0x30000000)
|
||||
; CHECK-V8: liveins: $lr, $r7
|
||||
; CHECK-V8: renamable $r0 = t2MOVi 1, 14 /* CC::al */, $noreg, $noreg
|
||||
; CHECK-V8: t2CMPri killed renamable $r0, 0, 14 /* CC::al */, $noreg, implicit-def $cpsr
|
||||
; CHECK-V8: t2Bcc %bb.6, 1 /* CC::ne */, killed $cpsr
|
||||
; CHECK-V8: bb.1.b1:
|
||||
; CHECK-V8: successors: %bb.3(0x40000000), %bb.2(0x40000000)
|
||||
; CHECK-V8: liveins: $r7, $lr
|
||||
; CHECK-V8: $sp = frame-setup t2STMDB_UPD $sp, 14 /* CC::al */, $noreg, killed $r7, killed $lr
|
||||
; CHECK-V8: frame-setup CFI_INSTRUCTION def_cfa_offset 8
|
||||
; CHECK-V8: frame-setup CFI_INSTRUCTION offset $lr, -4
|
||||
; CHECK-V8: frame-setup CFI_INSTRUCTION offset $r7, -8
|
||||
; CHECK-V8: renamable $r0 = t2MOVi 0, 14 /* CC::al */, $noreg, $noreg
|
||||
; CHECK-V8: t2CMPri killed renamable $r0, 0, 14 /* CC::al */, $noreg, implicit-def $cpsr
|
||||
; CHECK-V8: t2Bcc %bb.3, 1 /* CC::ne */, killed $cpsr
|
||||
; CHECK-V8: bb.2.b2:
|
||||
; CHECK-V8: successors: %bb.4(0x80000000)
|
||||
; CHECK-V8: tBL 14 /* CC::al */, $noreg, @extfunc, csr_aapcs, implicit-def dead $lr, implicit $sp, implicit-def $sp, implicit-def $r0
|
||||
; CHECK-V8: t2B %bb.4, 14 /* CC::al */, $noreg
|
||||
; CHECK-V8: bb.3.b3:
|
||||
; CHECK-V8: successors: %bb.4(0x80000000)
|
||||
; CHECK-V8: renamable $r0 = t2LDRi12 undef renamable $r0, 0, 14 /* CC::al */, $noreg :: (load 4 from `i32* undef`)
|
||||
; CHECK-V8: renamable $r0 = t2ANDri killed renamable $r0, 256, 14 /* CC::al */, $noreg, $noreg
|
||||
; CHECK-V8: bb.4.b5:
|
||||
; CHECK-V8: successors: %bb.5(0x30000000), %bb.6(0x50000000)
|
||||
; CHECK-V8: liveins: $r0
|
||||
; CHECK-V8: t2CMPri killed renamable $r0, 0, 14 /* CC::al */, $noreg, implicit-def $cpsr
|
||||
; CHECK-V8: $sp = t2LDMIA_UPD $sp, 14 /* CC::al */, $noreg, def $r7, def $lr
|
||||
; CHECK-V8: t2Bcc %bb.6, 1 /* CC::ne */, killed $cpsr
|
||||
; CHECK-V8: bb.5.b8:
|
||||
; CHECK-V8: liveins: $lr, $r7
|
||||
; CHECK-V8: tBX_RET 14 /* CC::al */, $noreg
|
||||
; CHECK-V8: bb.6.b7:
|
||||
; CHECK-V8: liveins: $lr, $r7
|
||||
; CHECK-V8: tTAILJMPdND @extfunc, 14 /* CC::al */, $noreg, implicit $sp, implicit $sp
|
||||
bb.0 (%ir-block.0):
|
||||
successors: %bb.1(0x50000000), %bb.6(0x30000000)
|
||||
liveins: $lr, $r7
|
||||
@ -408,43 +483,80 @@ callSites: []
|
||||
constants: []
|
||||
machineFunctionInfo: {}
|
||||
body: |
|
||||
; CHECK-LABEL: name: test_minsize
|
||||
; CHECK: bb.0 (%ir-block.0):
|
||||
; CHECK: successors: %bb.1(0x50000000), %bb.6(0x30000000)
|
||||
; CHECK: liveins: $lr, $r7
|
||||
; CHECK: renamable $r0 = t2MOVi 1, 14 /* CC::al */, $noreg, $noreg
|
||||
; CHECK: t2CMPri killed renamable $r0, 0, 14 /* CC::al */, $noreg, implicit-def $cpsr
|
||||
; CHECK: t2Bcc %bb.6, 1 /* CC::ne */, killed $cpsr
|
||||
; CHECK: bb.1.b1:
|
||||
; CHECK: successors: %bb.3(0x40000000), %bb.2(0x40000000)
|
||||
; CHECK: liveins: $r7, $lr
|
||||
; CHECK: $sp = frame-setup t2STMDB_UPD $sp, 14 /* CC::al */, $noreg, killed $r7, killed $lr
|
||||
; CHECK: frame-setup CFI_INSTRUCTION def_cfa_offset 8
|
||||
; CHECK: frame-setup CFI_INSTRUCTION offset $lr, -4
|
||||
; CHECK: frame-setup CFI_INSTRUCTION offset $r7, -8
|
||||
; CHECK: renamable $r0 = t2MOVi 0, 14 /* CC::al */, $noreg, $noreg
|
||||
; CHECK: t2CMPri killed renamable $r0, 0, 14 /* CC::al */, $noreg, implicit-def $cpsr
|
||||
; CHECK: t2Bcc %bb.3, 1 /* CC::ne */, killed $cpsr
|
||||
; CHECK: bb.2.b2:
|
||||
; CHECK: successors: %bb.4(0x80000000)
|
||||
; CHECK: tBL 14 /* CC::al */, $noreg, @extfunc, csr_aapcs, implicit-def dead $lr, implicit $sp, implicit-def $sp, implicit-def $r0
|
||||
; CHECK: t2B %bb.4, 14 /* CC::al */, $noreg
|
||||
; CHECK: bb.3.b3:
|
||||
; CHECK: successors: %bb.4(0x80000000)
|
||||
; CHECK: renamable $r0 = t2LDRi12 undef renamable $r0, 0, 14 /* CC::al */, $noreg :: (load 4 from `i32* undef`)
|
||||
; CHECK: renamable $r0 = t2ANDri killed renamable $r0, 256, 14 /* CC::al */, $noreg, $noreg
|
||||
; CHECK: bb.4.b5:
|
||||
; CHECK: successors: %bb.5(0x30000000), %bb.6(0x50000000)
|
||||
; CHECK: liveins: $r0
|
||||
; CHECK: t2CMPri killed renamable $r0, 0, 14 /* CC::al */, $noreg, implicit-def $cpsr
|
||||
; CHECK: $sp = t2LDMIA_UPD $sp, 14 /* CC::al */, $noreg, def $r7, def $lr
|
||||
; CHECK: t2Bcc %bb.6, 1 /* CC::ne */, killed $cpsr
|
||||
; CHECK: bb.5.b8:
|
||||
; CHECK: liveins: $lr, $r7
|
||||
; CHECK: tBX_RET 14 /* CC::al */, $noreg
|
||||
; CHECK: bb.6.b7:
|
||||
; CHECK: liveins: $lr, $r7
|
||||
; CHECK: tTAILJMPdND @extfunc, 14 /* CC::al */, $noreg, implicit $sp, implicit $sp
|
||||
; CHECK-V7-LABEL: name: test_minsize
|
||||
; CHECK-V7: bb.0 (%ir-block.0):
|
||||
; CHECK-V7: successors: %bb.1(0x50000000), %bb.6(0x30000000)
|
||||
; CHECK-V7: liveins: $lr, $r7
|
||||
; CHECK-V7: renamable $r0 = t2MOVi 1, 14 /* CC::al */, $noreg, $noreg
|
||||
; CHECK-V7: t2CMPri killed renamable $r0, 0, 14 /* CC::al */, $noreg, implicit-def $cpsr
|
||||
; CHECK-V7: t2Bcc %bb.6, 1 /* CC::ne */, killed $cpsr
|
||||
; CHECK-V7: bb.1.b1:
|
||||
; CHECK-V7: successors: %bb.3(0x40000000), %bb.2(0x40000000)
|
||||
; CHECK-V7: liveins: $r7, $lr
|
||||
; CHECK-V7: $sp = frame-setup t2STMDB_UPD $sp, 14 /* CC::al */, $noreg, killed $r7, killed $lr
|
||||
; CHECK-V7: frame-setup CFI_INSTRUCTION def_cfa_offset 8
|
||||
; CHECK-V7: frame-setup CFI_INSTRUCTION offset $lr, -4
|
||||
; CHECK-V7: frame-setup CFI_INSTRUCTION offset $r7, -8
|
||||
; CHECK-V7: renamable $r0 = t2MOVi 0, 14 /* CC::al */, $noreg, $noreg
|
||||
; CHECK-V7: t2CMPri killed renamable $r0, 0, 14 /* CC::al */, $noreg, implicit-def $cpsr
|
||||
; CHECK-V7: t2Bcc %bb.3, 1 /* CC::ne */, killed $cpsr
|
||||
; CHECK-V7: bb.2.b2:
|
||||
; CHECK-V7: successors: %bb.4(0x80000000)
|
||||
; CHECK-V7: tBL 14 /* CC::al */, $noreg, @extfunc, csr_aapcs, implicit-def dead $lr, implicit $sp, implicit-def $sp, implicit-def $r0
|
||||
; CHECK-V7: t2B %bb.4, 14 /* CC::al */, $noreg
|
||||
; CHECK-V7: bb.3.b3:
|
||||
; CHECK-V7: successors: %bb.4(0x80000000)
|
||||
; CHECK-V7: renamable $r0 = t2LDRi12 undef renamable $r0, 0, 14 /* CC::al */, $noreg :: (load 4 from `i32* undef`)
|
||||
; CHECK-V7: renamable $r0 = t2ANDri killed renamable $r0, 256, 14 /* CC::al */, $noreg, $noreg
|
||||
; CHECK-V7: bb.4.b5:
|
||||
; CHECK-V7: successors: %bb.5(0x30000000), %bb.6(0x50000000)
|
||||
; CHECK-V7: liveins: $r0
|
||||
; CHECK-V7: t2CMPri killed renamable $r0, 0, 14 /* CC::al */, $noreg, implicit-def $cpsr
|
||||
; CHECK-V7: $sp = t2LDMIA_UPD $sp, 14 /* CC::al */, $noreg, def $r7, def $lr
|
||||
; CHECK-V7: t2Bcc %bb.6, 1 /* CC::ne */, killed $cpsr
|
||||
; CHECK-V7: bb.5.b8:
|
||||
; CHECK-V7: liveins: $lr, $r7
|
||||
; CHECK-V7: tBX_RET 14 /* CC::al */, $noreg
|
||||
; CHECK-V7: bb.6.b7:
|
||||
; CHECK-V7: liveins: $lr, $r7
|
||||
; CHECK-V7: tTAILJMPdND @extfunc, 14 /* CC::al */, $noreg, implicit $sp, implicit $sp
|
||||
; CHECK-V8-LABEL: name: test_minsize
|
||||
; CHECK-V8: bb.0 (%ir-block.0):
|
||||
; CHECK-V8: successors: %bb.1(0x50000000), %bb.6(0x30000000)
|
||||
; CHECK-V8: liveins: $lr, $r7
|
||||
; CHECK-V8: renamable $r0 = t2MOVi 1, 14 /* CC::al */, $noreg, $noreg
|
||||
; CHECK-V8: t2CMPri killed renamable $r0, 0, 14 /* CC::al */, $noreg, implicit-def $cpsr
|
||||
; CHECK-V8: t2Bcc %bb.6, 1 /* CC::ne */, killed $cpsr
|
||||
; CHECK-V8: bb.1.b1:
|
||||
; CHECK-V8: successors: %bb.3(0x40000000), %bb.2(0x40000000)
|
||||
; CHECK-V8: liveins: $r7, $lr
|
||||
; CHECK-V8: $sp = frame-setup t2STMDB_UPD $sp, 14 /* CC::al */, $noreg, killed $r7, killed $lr
|
||||
; CHECK-V8: frame-setup CFI_INSTRUCTION def_cfa_offset 8
|
||||
; CHECK-V8: frame-setup CFI_INSTRUCTION offset $lr, -4
|
||||
; CHECK-V8: frame-setup CFI_INSTRUCTION offset $r7, -8
|
||||
; CHECK-V8: renamable $r0 = t2MOVi 0, 14 /* CC::al */, $noreg, $noreg
|
||||
; CHECK-V8: t2CMPri killed renamable $r0, 0, 14 /* CC::al */, $noreg, implicit-def $cpsr
|
||||
; CHECK-V8: t2Bcc %bb.3, 1 /* CC::ne */, killed $cpsr
|
||||
; CHECK-V8: bb.2.b2:
|
||||
; CHECK-V8: successors: %bb.4(0x80000000)
|
||||
; CHECK-V8: tBL 14 /* CC::al */, $noreg, @extfunc, csr_aapcs, implicit-def dead $lr, implicit $sp, implicit-def $sp, implicit-def $r0
|
||||
; CHECK-V8: t2B %bb.4, 14 /* CC::al */, $noreg
|
||||
; CHECK-V8: bb.3.b3:
|
||||
; CHECK-V8: successors: %bb.4(0x80000000)
|
||||
; CHECK-V8: renamable $r0 = t2LDRi12 undef renamable $r0, 0, 14 /* CC::al */, $noreg :: (load 4 from `i32* undef`)
|
||||
; CHECK-V8: renamable $r0 = t2ANDri killed renamable $r0, 256, 14 /* CC::al */, $noreg, $noreg
|
||||
; CHECK-V8: bb.4.b5:
|
||||
; CHECK-V8: successors: %bb.5(0x30000000), %bb.6(0x50000000)
|
||||
; CHECK-V8: liveins: $r0
|
||||
; CHECK-V8: t2CMPri killed renamable $r0, 0, 14 /* CC::al */, $noreg, implicit-def $cpsr
|
||||
; CHECK-V8: $sp = t2LDMIA_UPD $sp, 14 /* CC::al */, $noreg, def $r7, def $lr
|
||||
; CHECK-V8: t2Bcc %bb.6, 1 /* CC::ne */, killed $cpsr
|
||||
; CHECK-V8: bb.5.b8:
|
||||
; CHECK-V8: liveins: $lr, $r7
|
||||
; CHECK-V8: tBX_RET 14 /* CC::al */, $noreg
|
||||
; CHECK-V8: bb.6.b7:
|
||||
; CHECK-V8: liveins: $lr, $r7
|
||||
; CHECK-V8: tTAILJMPdND @extfunc, 14 /* CC::al */, $noreg, implicit $sp, implicit $sp
|
||||
bb.0 (%ir-block.0):
|
||||
successors: %bb.1(0x50000000), %bb.6(0x30000000)
|
||||
liveins: $lr, $r7
|
||||
|
||||
@ -1,4 +1,5 @@
|
||||
# RUN: llc %s -o - -run-pass=if-converter -debug-only=if-converter 2>%t| FileCheck %s
|
||||
# RUN: llc -mtriple=thumbv8a-unknown-linux-gnueabi %s -o - -run-pass=if-converter -debug-only=if-converter | FileCheck %s
|
||||
# RUN: llc -mtriple=thumbv7-unknown-linux-gnueabi %s -o - -run-pass=if-converter -debug-only=if-converter 2>%t| FileCheck %s
|
||||
# RUN: FileCheck %s < %t --check-prefix=DEBUG
|
||||
# REQUIRES: asserts
|
||||
|
||||
@ -9,7 +10,6 @@
|
||||
# instructions, and selection of the CB(N)Z instructions.
|
||||
|
||||
--- |
|
||||
target triple = "thumbv7-unknown-linux-gnueabi"
|
||||
|
||||
define void @fn1() minsize {
|
||||
entry:
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user