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)
f1(char a)7 void f1(char a) {}
8
9 // CHECK-LABEL: define dso_local void @f2(i8 %a)
f2(unsigned char a)10 void f2(unsigned char a) {}
11
12 // CHECK-LABEL: define dso_local void @f3(i16 %a)
f3(short a)13 void f3(short a) {}
14
15 // CHECK-LABEL: define dso_local void @f4(i16 %a)
f4(unsigned short 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)
f5(_Complex float a)22 void f5(_Complex float a) {}
23
24 // CHECK-LABEL: define dso_local void @f6({ double, double }* %a)
f6(_Complex double a)25 void f6(_Complex double a) {}
26
27 // CHECK-LABEL: define dso_local i64 @f7()
f7()28 _Complex float f7() { return 1.0; }
29
30 // CHECK-LABEL: define dso_local void @f8({ double, double }* noalias sret align 8 %agg.result)
f8()31 _Complex double f8() { return 1.0; }
32