| // Test returning a single element aggregate value containing a double. |
| // RUN: %clang_cc1 -no-opaque-pointers -triple i686-linux %s -emit-llvm -o - | FileCheck %s --check-prefix=X86_32 |
| // RUN: %clang_cc1 -no-opaque-pointers %s -emit-llvm -o - |
| |
| struct X { |
| double D; |
| }; |
| |
| struct Y { |
| struct X x; |
| }; |
| |
| struct Y bar(void); |
| |
| void foo(struct Y *P) { |
| *P = bar(); |
| } |
| |
| struct Y bar(void) { |
| struct Y a; |
| a.x.D = 0; |
| return a; |
| } |
| |
| |
| // X86_32: define{{.*}} void @foo(%struct.Y* noundef %P) |
| // X86_32: call void @bar(%struct.Y* sret(%struct.Y) align 4 %{{[^),]*}}) |
| |
| // X86_32: define{{.*}} void @bar(%struct.Y* noalias sret(%struct.Y) align 4 %{{[^,)]*}}) |
| // X86_32: ret void |
