blob: a23e3337a540e7381d75d81325d2771a4b7d2242 [file] [log] [blame]
# RUN: llc -mtriple=mipsel-unknown-linux-gnu -mattr=+micromips -mcpu=mips32r2 \
# RUN: -verify-machineinstrs -run-pass micromips-reduce-size \
# RUN: %s -o - | FileCheck %s
--- |
define void @f1(i32* %adr, i32 %val) { ret void }
define void @f2(i32* %adr, i32 %val) { ret void }
define void @f3(i32* %adr, i32 %val) { ret void }
define void @f4(i32* %adr, i32 %val) { ret void }
declare i32* @f()
; Function Attrs: nounwind
declare void @llvm.stackprotector(i8*, i8**)
...
---
# CHECK-LABEL: name: f1
# CHECK: SWP_MM
# CHECK: LWP_MM
name: f1
alignment: 2
exposesReturnsTwice: false
legalized: false
regBankSelected: false
selected: false
tracksRegLiveness: true
registers:
liveins:
- { reg: '$a0', virtual-reg: '' }
- { reg: '$a1', virtual-reg: '' }
frameInfo:
isFrameAddressTaken: false
isReturnAddressTaken: false
hasStackMap: false
hasPatchPoint: false
stackSize: 32
offsetAdjustment: 0
maxAlignment: 4
adjustsStack: true
hasCalls: true
stackProtector: ''
maxCallFrameSize: 16
hasOpaqueSPAdjustment: false
hasVAStart: false
hasMustTailInVarArgFunc: false
savePoint: ''
restorePoint: ''
fixedStack:
stack:
- { id: 0, name: '', type: spill-slot, offset: -4, size: 4, alignment: 4,
stack-id: 0, callee-saved-register: '$ra', callee-saved-restored: true,
debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
- { id: 1, name: '', type: spill-slot, offset: -8, size: 4, alignment: 4,
stack-id: 0, callee-saved-register: '$s1', callee-saved-restored: true,
debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
- { id: 2, name: '', type: spill-slot, offset: -12, size: 4, alignment: 4,
stack-id: 0, callee-saved-register: '$s0', callee-saved-restored: true,
debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
constants:
body: |
bb.0:
liveins: $a0, $a1, $ra, $s1, $s0
$sp = ADDiu $sp, -32
CFI_INSTRUCTION def_cfa_offset 32
SW killed $ra, $sp, 28 :: (store 4 into %stack.0)
SW killed $s1, $sp, 24 :: (store 4 into %stack.1)
SW killed $s0, $sp, 20 :: (store 4 into %stack.2)
CFI_INSTRUCTION offset $ra_64, -4
CFI_INSTRUCTION offset $s1_64, -8
CFI_INSTRUCTION offset $s0_64, -12
$s1 = MOVE16_MM $a1
$s0 = MOVE16_MM $a0
JAL @f, csr_o32, implicit-def dead $ra, implicit-def $sp, implicit-def dead $v0
SW16_MM killed renamable $s1, killed renamable $s0, 0 :: (store 4 into %ir.adr)
$v0 = LI16_MM 0
$s0 = LW $sp, 20 :: (load 4 from %stack.2)
$s1 = LW $sp, 24 :: (load 4 from %stack.1)
$ra = LW $sp, 28 :: (load 4 from %stack.0)
$sp = ADDiu $sp, 32
PseudoReturn undef $ra, implicit killed $v0
...
---
# CHECK-LABEL: name: f2
# CHECK: SWP_MM
# CHECK: LWP_MM
name: f2
alignment: 2
exposesReturnsTwice: false
legalized: false
regBankSelected: false
selected: false
tracksRegLiveness: true
registers:
liveins:
- { reg: '$a0', virtual-reg: '' }
- { reg: '$a1', virtual-reg: '' }
frameInfo:
isFrameAddressTaken: false
isReturnAddressTaken: false
hasStackMap: false
hasPatchPoint: false
stackSize: 32
offsetAdjustment: 0
maxAlignment: 4
adjustsStack: true
hasCalls: true
stackProtector: ''
maxCallFrameSize: 16
hasOpaqueSPAdjustment: false
hasVAStart: false
hasMustTailInVarArgFunc: false
savePoint: ''
restorePoint: ''
fixedStack:
stack:
- { id: 0, name: '', type: spill-slot, offset: -4, size: 4, alignment: 4,
stack-id: 0, callee-saved-register: '$ra', callee-saved-restored: true,
debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
- { id: 1, name: '', type: spill-slot, offset: -8, size: 4, alignment: 4,
stack-id: 0, callee-saved-register: '$s1', callee-saved-restored: true,
debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
- { id: 2, name: '', type: spill-slot, offset: -12, size: 4, alignment: 4,
stack-id: 0, callee-saved-register: '$s0', callee-saved-restored: true,
debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
constants:
body: |
bb.0:
liveins: $a0, $a1, $ra, $s1, $s0
$sp = ADDiu $sp, -32
CFI_INSTRUCTION def_cfa_offset 32
SW killed $ra, $sp, 28 :: (store 4 into %stack.0)
SW_MM killed $s1, $sp, 24 :: (store 4 into %stack.1)
SW_MM killed $s0, $sp, 20 :: (store 4 into %stack.2)
CFI_INSTRUCTION offset $ra_64, -4
CFI_INSTRUCTION offset $s1_64, -8
CFI_INSTRUCTION offset $s0_64, -12
$s1 = MOVE16_MM $a1
$s0 = MOVE16_MM $a0
JAL @f, csr_o32, implicit-def dead $ra, implicit-def $sp, implicit-def dead $v0
SW16_MM killed renamable $s1, killed renamable $s0, 0 :: (store 4 into %ir.adr)
$v0 = LI16_MM 0
$s0 = LW_MM $sp, 20 :: (load 4 from %stack.2)
$s1 = LW_MM $sp, 24 :: (load 4 from %stack.1)
$ra = LW $sp, 28 :: (load 4 from %stack.0)
$sp = ADDiu $sp, 32
PseudoReturn undef $ra, implicit killed $v0
...
---
# CHECK-LABEL: name: f3
# CHECK: SWP_MM
# CHECK: LWP_MM
name: f3
alignment: 2
exposesReturnsTwice: false
legalized: false
regBankSelected: false
selected: false
tracksRegLiveness: true
registers:
liveins:
- { reg: '$a0', virtual-reg: '' }
- { reg: '$a1', virtual-reg: '' }
frameInfo:
isFrameAddressTaken: false
isReturnAddressTaken: false
hasStackMap: false
hasPatchPoint: false
stackSize: 32
offsetAdjustment: 0
maxAlignment: 4
adjustsStack: true
hasCalls: true
stackProtector: ''
maxCallFrameSize: 16
hasOpaqueSPAdjustment: false
hasVAStart: false
hasMustTailInVarArgFunc: false
savePoint: ''
restorePoint: ''
fixedStack:
stack:
- { id: 0, name: '', type: spill-slot, offset: -4, size: 4, alignment: 4,
stack-id: 0, callee-saved-register: '$ra', callee-saved-restored: true,
debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
- { id: 1, name: '', type: spill-slot, offset: -8, size: 4, alignment: 4,
stack-id: 0, callee-saved-register: '$s1', callee-saved-restored: true,
debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
- { id: 2, name: '', type: spill-slot, offset: -12, size: 4, alignment: 4,
stack-id: 0, callee-saved-register: '$s0', callee-saved-restored: true,
debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
constants:
body: |
bb.0:
liveins: $a0, $a1, $ra, $s1, $s0
$sp = ADDiu $sp, -32
CFI_INSTRUCTION def_cfa_offset 32
SW killed $ra, $sp, 28 :: (store 4 into %stack.0)
SW_MM killed $s1, $sp, 24 :: (store 4 into %stack.1)
SW killed $s0, $sp, 20 :: (store 4 into %stack.2)
CFI_INSTRUCTION offset $ra_64, -4
CFI_INSTRUCTION offset $s1_64, -8
CFI_INSTRUCTION offset $s0_64, -12
$s1 = MOVE16_MM $a1
$s0 = MOVE16_MM $a0
JAL @f, csr_o32, implicit-def dead $ra, implicit-def $sp, implicit-def dead $v0
SW16_MM killed renamable $s1, killed renamable $s0, 0 :: (store 4 into %ir.adr)
$v0 = LI16_MM 0
$s0 = LW_MM $sp, 20 :: (load 4 from %stack.2)
$s1 = LW $sp, 24 :: (load 4 from %stack.1)
$ra = LW $sp, 28 :: (load 4 from %stack.0)
$sp = ADDiu $sp, 32
PseudoReturn undef $ra, implicit killed $v0
...
---
# CHECK-LABEL: name: f4
# CHECK: SWP_MM
# CHECK: LWP_MM
name: f4
alignment: 2
exposesReturnsTwice: false
legalized: false
regBankSelected: false
selected: false
tracksRegLiveness: true
registers:
liveins:
- { reg: '$a0', virtual-reg: '' }
- { reg: '$a1', virtual-reg: '' }
frameInfo:
isFrameAddressTaken: false
isReturnAddressTaken: false
hasStackMap: false
hasPatchPoint: false
stackSize: 32
offsetAdjustment: 0
maxAlignment: 4
adjustsStack: true
hasCalls: true
stackProtector: ''
maxCallFrameSize: 16
hasOpaqueSPAdjustment: false
hasVAStart: false
hasMustTailInVarArgFunc: false
savePoint: ''
restorePoint: ''
fixedStack:
stack:
- { id: 0, name: '', type: spill-slot, offset: -4, size: 4, alignment: 4,
stack-id: 0, callee-saved-register: '$ra', callee-saved-restored: true,
debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
- { id: 1, name: '', type: spill-slot, offset: -8, size: 4, alignment: 4,
stack-id: 0, callee-saved-register: '$s1', callee-saved-restored: true,
debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
- { id: 2, name: '', type: spill-slot, offset: -12, size: 4, alignment: 4,
stack-id: 0, callee-saved-register: '$s0', callee-saved-restored: true,
debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
constants:
body: |
bb.0:
liveins: $a0, $a1, $ra, $s1, $s0
$sp = ADDiu $sp, -32
CFI_INSTRUCTION def_cfa_offset 32
SW killed $ra, $sp, 28 :: (store 4 into %stack.0)
SW killed $s1, $sp, 24 :: (store 4 into %stack.1)
SW_MM killed $s0, $sp, 20 :: (store 4 into %stack.2)
CFI_INSTRUCTION offset $ra_64, -4
CFI_INSTRUCTION offset $s1_64, -8
CFI_INSTRUCTION offset $s0_64, -12
$s1 = MOVE16_MM $a1
$s0 = MOVE16_MM $a0
JAL @f, csr_o32, implicit-def dead $ra, implicit-def $sp, implicit-def dead $v0
SW16_MM killed renamable $s1, killed renamable $s0, 0 :: (store 4 into %ir.adr)
$v0 = LI16_MM 0
$s0 = LW $sp, 20 :: (load 4 from %stack.2)
$s1 = LW_MM $sp, 24 :: (load 4 from %stack.1)
$ra = LW $sp, 28 :: (load 4 from %stack.0)
$sp = ADDiu $sp, 32
PseudoReturn undef $ra, implicit killed $v0
...