summaryrefslogtreecommitdiffstats
path: root/test/CodeGen/Mips/cconv/reserved-space.ll
blob: b36f89ecc1152182cf221b7a28d2f033cca4fd38 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
; RUN: llc -march=mips < %s | FileCheck --check-prefix=ALL --check-prefix=O32 %s
; RUN: llc -march=mipsel < %s | FileCheck --check-prefix=ALL --check-prefix=O32 %s

; RUN-TODO: llc -march=mips64 -mattr=-n64,+o32 < %s | FileCheck --check-prefix=ALL --check-prefix=O32 %s
; RUN-TODO: llc -march=mips64el -mattr=-n64,+o32 < %s | FileCheck --check-prefix=ALL --check-prefix=O32 %s

; RUN: llc -march=mips64 -mattr=-n64,+n32 < %s | FileCheck --check-prefix=ALL --check-prefix=N32 %s
; RUN: llc -march=mips64el -mattr=-n64,+n32 < %s | FileCheck --check-prefix=ALL --check-prefix=N32 %s

; RUN: llc -march=mips64 -mattr=-n64,+n64 < %s | FileCheck --check-prefix=ALL --check-prefix=N64 %s
; RUN: llc -march=mips64el -mattr=-n64,+n64 < %s | FileCheck --check-prefix=ALL --check-prefix=N64 %s

; Test that O32 correctly reserved space for the four arguments, even when
; there aren't any as per section 5 of MD00305 (MIPS ABIs Described).

declare void @foo() nounwind;

define void @reserved_space() nounwind {
entry:
        tail call void @foo()
        ret void
}

; ALL-LABEL: reserved_space:
; O32:           addiu $sp, $sp, -24
; O32:           sw $ra, 20($sp)
; O32:           lw $ra, 20($sp)
; O32:           addiu $sp, $sp, 24
; Despite pointers being 32-bit wide on N32, the return pointer is saved as a
; 64-bit pointer. I've yet to find a documentation reference for this quirk but
; this behaviour matches GCC so I have considered it to be correct.
; N32:           addiu $sp, $sp, -16
; N32:           sd $ra, 8($sp)
; N32:           ld $ra, 8($sp)
; N32:           addiu $sp, $sp, 16
; N64:           daddiu $sp, $sp, -16
; N64:           sd $ra, 8($sp)
; N64:           ld $ra, 8($sp)
; N64:           daddiu $sp, $sp, 16