| 1 | // RUN: %clang_cc1 -w -triple x86_64-pc-win32 -emit-llvm -o - %s | FileCheck %s |
|---|
| 2 | |
|---|
| 3 | // To be ABI compatible with code generated by MSVC, there shouldn't be any |
|---|
| 4 | // sign/zero extensions on types smaller than 64bit. |
|---|
| 5 | |
|---|
| 6 | // CHECK-LABEL: define dso_local void @f1(i8 %a) |
|---|
| 7 | void f1(char a) {} |
|---|
| 8 | |
|---|
| 9 | // CHECK-LABEL: define dso_local void @f2(i8 %a) |
|---|
| 10 | void f2(unsigned char a) {} |
|---|
| 11 | |
|---|
| 12 | // CHECK-LABEL: define dso_local void @f3(i16 %a) |
|---|
| 13 | void f3(short a) {} |
|---|
| 14 | |
|---|
| 15 | // CHECK-LABEL: define dso_local void @f4(i16 %a) |
|---|
| 16 | void f4(unsigned short a) {} |
|---|
| 17 | |
|---|
| 18 | // For ABI compatibility with ICC, _Complex should be passed/returned |
|---|
| 19 | // as if it were a struct with two elements. |
|---|
| 20 | |
|---|
| 21 | // CHECK-LABEL: define dso_local void @f5(i64 %a.coerce) |
|---|
| 22 | void f5(_Complex float a) {} |
|---|
| 23 | |
|---|
| 24 | // CHECK-LABEL: define dso_local void @f6({ double, double }* %a) |
|---|
| 25 | void f6(_Complex double a) {} |
|---|
| 26 | |
|---|
| 27 | // CHECK-LABEL: define dso_local i64 @f7() |
|---|
| 28 | _Complex float f7() { return 1.0; } |
|---|
| 29 | |
|---|
| 30 | // CHECK-LABEL: define dso_local void @f8({ double, double }* noalias sret %agg.result) |
|---|
| 31 | _Complex double f8() { return 1.0; } |
|---|
| 32 | |
|---|