maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/llvm/test/CodeGen/X86/inreg.ll

47 lines
1.1 KiB
LLVM
Raw Normal View History

When a return struct pointer is passed in registers, the called has nothing to pop. llvm-svn: 160725
2012-07-25 21:41:10 +08:00
; RUN: llc < %s -mtriple=i686-pc-linux -mcpu=corei7 | FileCheck --check-prefix=DAG %s
; RUN: llc < %s -mtriple=i686-pc-linux -mcpu=corei7 -O0 | FileCheck --check-prefix=FAST %s
In order to correctly compile struct s { double x1; float x2; }; __attribute__((regparm(3))) struct s f(int a, int b, int c); void g(void) { f(41, 42, 43); } We need to be able to represent passing the address of s to f (sret) in a register (inreg). Turns out that all that is needed is to not mark them as mutually incompatible. llvm-svn: 160695
2012-07-25 05:40:17 +08:00
When a return struct pointer is passed in registers, the called has nothing to pop. llvm-svn: 160725
2012-07-25 21:41:10 +08:00
%struct.s1 = type { double, float }
In order to correctly compile struct s { double x1; float x2; }; __attribute__((regparm(3))) struct s f(int a, int b, int c); void g(void) { f(41, 42, 43); } We need to be able to represent passing the address of s to f (sret) in a register (inreg). Turns out that all that is needed is to not mark them as mutually incompatible. llvm-svn: 160695
2012-07-25 05:40:17 +08:00
When a return struct pointer is passed in registers, the called has nothing to pop. llvm-svn: 160725
2012-07-25 21:41:10 +08:00
define void @g1() nounwind {
In order to correctly compile struct s { double x1; float x2; }; __attribute__((regparm(3))) struct s f(int a, int b, int c); void g(void) { f(41, 42, 43); } We need to be able to represent passing the address of s to f (sret) in a register (inreg). Turns out that all that is needed is to not mark them as mutually incompatible. llvm-svn: 160695
2012-07-25 05:40:17 +08:00
entry:
When a return struct pointer is passed in registers, the called has nothing to pop. llvm-svn: 160725
2012-07-25 21:41:10 +08:00
%tmp = alloca %struct.s1, align 4
call void @f(%struct.s1* inreg sret %tmp, i32 inreg 41, i32 inreg 42, i32 43)
In order to correctly compile struct s { double x1; float x2; }; __attribute__((regparm(3))) struct s f(int a, int b, int c); void g(void) { f(41, 42, 43); } We need to be able to represent passing the address of s to f (sret) in a register (inreg). Turns out that all that is needed is to not mark them as mutually incompatible. llvm-svn: 160695
2012-07-25 05:40:17 +08:00
ret void
When a return struct pointer is passed in registers, the called has nothing to pop. llvm-svn: 160725
2012-07-25 21:41:10 +08:00
; DAG: g1:
; DAG: subl $[[AMT:.*]], %esp
; DAG-NEXT: $43, (%esp)
; DAG-NEXT: leal 16(%esp), %eax
; DAG-NEXT: movl $41, %edx
; DAG-NEXT: movl $42, %ecx
; DAG-NEXT: calll f
; DAG-NEXT: addl $[[AMT]], %esp
; DAG-NEXT: ret
; FAST: g1:
; FAST: subl $[[AMT:.*]], %esp
; FAST-NEXT: leal 8(%esp), %eax
; FAST-NEXT: movl $41, %edx
; FAST-NEXT: movl $42, %ecx
; FAST: $43, (%esp)
; FAST: calll f
; FAST-NEXT: addl $[[AMT]], %esp
; FAST: ret
In order to correctly compile struct s { double x1; float x2; }; __attribute__((regparm(3))) struct s f(int a, int b, int c); void g(void) { f(41, 42, 43); } We need to be able to represent passing the address of s to f (sret) in a register (inreg). Turns out that all that is needed is to not mark them as mutually incompatible. llvm-svn: 160695
2012-07-25 05:40:17 +08:00
}
When a return struct pointer is passed in registers, the called has nothing to pop. llvm-svn: 160725
2012-07-25 21:41:10 +08:00
declare void @f(%struct.s1* inreg sret, i32 inreg, i32 inreg, i32)
%struct.s2 = type {}
define void @g2(%struct.s2* inreg sret %agg.result) nounwind {
entry:
ret void
; DAG: g2
; DAG-NOT: ret $4
; DAG: .size g2
; FAST: g2
; FAST-NOT: ret $4
; FAST: .size g2
}