45 lines · c
1// REQUIRES: bpf-registered-target2// RUN: %clang_cc1 -triple bpf -O2 -emit-llvm -disable-llvm-passes %s -o - | FileCheck %s3 4union t1 {};5union t2 {6 int a;7 long b;8};9union t3 {10 struct {11 int a;12 long b;13 };14 long c;15};16union t4 {17 struct {18 long a;19 long b;20 long c;21 };22 long d;23};24 25int foo1(union t1 arg1, union t2 arg2) {26// CHECK: define dso_local i32 @foo1(i64 %arg2.coerce)27 return arg2.a;28}29 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 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