290 lines
9.7 KiB
Plaintext
290 lines
9.7 KiB
Plaintext
|
# 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: 4
|
||
|
|
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: default, 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: default, 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: default, 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: 4
|
||
|
|
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: default, 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: default, 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: default, 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: 4
|
||
|
|
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: default, 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: default, 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: default, 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: 4
|
||
|
|
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: default, 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: default, 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: default, 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
|
||
|
|
|
||
|
|
...
|
||
|
|
|