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