1 // REQUIRES: bpf-registered-target 2 // RUN: %clang_cc1 -triple bpf -O2 -emit-llvm -disable-llvm-passes %s -o - | FileCheck %s 3 4 union t1 {}; 5 union t2 { 6 int a; 7 long b; 8 }; 9 union t3 { 10 struct { 11 int a; 12 long b; 13 }; 14 long c; 15 }; 16 union t4 { 17 struct { 18 long a; 19 long b; 20 long c; 21 }; 22 long d; 23 }; 24 foo1(union t1 arg1,union t2 arg2)25int foo1(union t1 arg1, union t2 arg2) { 26 // CHECK: define dso_local i32 @foo1(i64 %arg2.coerce) 27 return arg2.a; 28 } 29 foo2(union t3 arg1,union t4 arg2)30int foo2(union t3 arg1, union t4 arg2) { 31 // CHECK: define dso_local i32 @foo2([2 x i64] %arg1.coerce, ptr noundef byval(%union.t4) align 8 %arg2) 32 return arg1.a + arg2.a; 33 34 } 35 foo3(void)36int foo3(void) { 37 union t1 tmp1 = {}; 38 union t2 tmp2 = {}; 39 union t3 tmp3 = {}; 40 union t4 tmp4 = {}; 41 return foo1(tmp1, tmp2) + foo2(tmp3, tmp4); 42 // CHECK: call i32 @foo1(i64 %{{[a-zA-Z0-9]+}}) 43 // CHECK: call i32 @foo2([2 x i64] %{{[a-zA-Z0-9]+}}, ptr noundef byval(%union.t4) align 8 %tmp4) 44 } 45