1// RUN: %clang_cc1 -triple wasm32-unknown-unknown %s -emit-llvm -o - \
2// RUN:   | FileCheck %s -check-prefix=WEBASSEMBLY32
3// RUN: %clang_cc1 -triple wasm64-unknown-unknown %s -emit-llvm -o - \
4// RUN:   | FileCheck %s -check-prefix=WEBASSEMBLY64
5
6// Basic argument/attribute tests for WebAssembly
7
8// WEBASSEMBLY32: define void @f0(i32 %i, i32 %j, i64 %k, double %l, fp128 %m)
9// WEBASSEMBLY64: define void @f0(i32 %i, i64 %j, i64 %k, double %l, fp128 %m)
10void f0(int i, long j, long long k, double l, long double m) {}
11
12typedef struct {
13  int aa;
14  int bb;
15} s1;
16// Structs should be passed byval and not split up.
17// WEBASSEMBLY32: define void @f1(%struct.s1* byval align 4 %i)
18// WEBASSEMBLY64: define void @f1(%struct.s1* byval align 4 %i)
19void f1(s1 i) {}
20
21typedef struct {
22  int cc;
23} s2;
24// Single-element structs should be returned as the one element.
25// WEBASSEMBLY32: define i32 @f2()
26// WEBASSEMBLY64: define i32 @f2()
27s2 f2() {
28  s2 foo;
29  return foo;
30}
31
32typedef struct {
33  int cc;
34  int dd;
35} s3;
36// Structs should be returned sret and not simplified by the frontend.
37// WEBASSEMBLY32: define void @f3(%struct.s3* noalias sret %agg.result)
38// WEBASSEMBLY64: define void @f3(%struct.s3* noalias sret %agg.result)
39s3 f3() {
40  s3 foo;
41  return foo;
42}
43
44// WEBASSEMBLY32: define void @f4(i64 %i)
45// WEBASSEMBLY64: define void @f4(i64 %i)
46void f4(long long i) {}
47
48// i8/i16 should be signext, i32 and higher should not.
49// WEBASSEMBLY32: define void @f5(i8 signext %a, i16 signext %b)
50// WEBASSEMBLY64: define void @f5(i8 signext %a, i16 signext %b)
51void f5(char a, short b) {}
52
53// WEBASSEMBLY32: define void @f6(i8 zeroext %a, i16 zeroext %b)
54// WEBASSEMBLY64: define void @f6(i8 zeroext %a, i16 zeroext %b)
55void f6(unsigned char a, unsigned short b) {}
56
57
58enum my_enum {
59  ENUM1,
60  ENUM2,
61  ENUM3,
62};
63// Enums should be treated as the underlying i32.
64// WEBASSEMBLY32: define void @f7(i32 %a)
65// WEBASSEMBLY64: define void @f7(i32 %a)
66void f7(enum my_enum a) {}
67
68enum my_big_enum {
69  ENUM4 = 0xFFFFFFFFFFFFFFFF,
70};
71// Big enums should be treated as the underlying i64.
72// WEBASSEMBLY32: define void @f8(i64 %a)
73// WEBASSEMBLY64: define void @f8(i64 %a)
74void f8(enum my_big_enum a) {}
75
76union simple_union {
77  int a;
78  char b;
79};
80// Unions should be passed as byval structs.
81// WEBASSEMBLY32: define void @f9(%union.simple_union* byval align 4 %s)
82// WEBASSEMBLY64: define void @f9(%union.simple_union* byval align 4 %s)
83void f9(union simple_union s) {}
84
85typedef struct {
86  int b4 : 4;
87  int b3 : 3;
88  int b8 : 8;
89} bitfield1;
90// Bitfields should be passed as byval structs.
91// WEBASSEMBLY32: define void @f10(%struct.bitfield1* byval align 4 %bf1)
92// WEBASSEMBLY64: define void @f10(%struct.bitfield1* byval align 4 %bf1)
93void f10(bitfield1 bf1) {}
94