109 lines · plain
1; RUN: opt -O2 -mtriple=bpf-pc-linux %s | llvm-dis > %t12; RUN: llc %t1 -o - | FileCheck %s3; Source:4; struct t1 {5; long a;6; };7; struct t2 {8; long a;9; long b;10; };11; __attribute__((always_inline))12; static long foo1(struct t2 a1, struct t1 a2, struct t1 a3, struct t1 a4,13; struct t1 a5, struct t2 a6) {14; return a1.a + a2.a + a3.a + a4.a + a5.a + a6.a;15; }16; long foo2(struct t2 a1, struct t2 a2, struct t1 a3) {17; return foo1(a1, a3, a3, a3, a3, a2);18; }19; Compilation flags:20; clang -target bpf -O2 -S -emit-llvm -Xclang -disable-llvm-passes t.c21 22%struct.t2 = type { i64, i64 }23%struct.t1 = type { i64 }24 25; Function Attrs: nounwind26define dso_local i64 @foo2([2 x i64] %a1.coerce, [2 x i64] %a2.coerce, i64 %a3.coerce) #0 {27entry:28 %a1 = alloca %struct.t2, align 829 %a2 = alloca %struct.t2, align 830 %a3 = alloca %struct.t1, align 831 store [2 x i64] %a1.coerce, ptr %a1, align 832 store [2 x i64] %a2.coerce, ptr %a2, align 833 %coerce.dive = getelementptr inbounds %struct.t1, ptr %a3, i32 0, i32 034 store i64 %a3.coerce, ptr %coerce.dive, align 835 %0 = load [2 x i64], ptr %a1, align 836 %coerce.dive1 = getelementptr inbounds %struct.t1, ptr %a3, i32 0, i32 037 %1 = load i64, ptr %coerce.dive1, align 838 %coerce.dive2 = getelementptr inbounds %struct.t1, ptr %a3, i32 0, i32 039 %2 = load i64, ptr %coerce.dive2, align 840 %coerce.dive3 = getelementptr inbounds %struct.t1, ptr %a3, i32 0, i32 041 %3 = load i64, ptr %coerce.dive3, align 842 %coerce.dive4 = getelementptr inbounds %struct.t1, ptr %a3, i32 0, i32 043 %4 = load i64, ptr %coerce.dive4, align 844 %5 = load [2 x i64], ptr %a2, align 845 %call = call i64 @foo1([2 x i64] %0, i64 %1, i64 %2, i64 %3, i64 %4, [2 x i64] %5)46 ret i64 %call47; CHECK: r0 = r348; CHECK-NEXT: r0 += r149; CHECK-NEXT: r5 <<= 250; CHECK-NEXT: r0 += r551; CHECK-NEXT: exit52}53 54; Function Attrs: alwaysinline nounwind55define internal i64 @foo1([2 x i64] %a1.coerce, i64 %a2.coerce, i64 %a3.coerce, i64 %a4.coerce, i64 %a5.coerce, [2 x i64] %a6.coerce) #1 {56entry:57 %a1 = alloca %struct.t2, align 858 %a2 = alloca %struct.t1, align 859 %a3 = alloca %struct.t1, align 860 %a4 = alloca %struct.t1, align 861 %a5 = alloca %struct.t1, align 862 %a6 = alloca %struct.t2, align 863 store [2 x i64] %a1.coerce, ptr %a1, align 864 %coerce.dive = getelementptr inbounds %struct.t1, ptr %a2, i32 0, i32 065 store i64 %a2.coerce, ptr %coerce.dive, align 866 %coerce.dive1 = getelementptr inbounds %struct.t1, ptr %a3, i32 0, i32 067 store i64 %a3.coerce, ptr %coerce.dive1, align 868 %coerce.dive2 = getelementptr inbounds %struct.t1, ptr %a4, i32 0, i32 069 store i64 %a4.coerce, ptr %coerce.dive2, align 870 %coerce.dive3 = getelementptr inbounds %struct.t1, ptr %a5, i32 0, i32 071 store i64 %a5.coerce, ptr %coerce.dive3, align 872 store [2 x i64] %a6.coerce, ptr %a6, align 873 %a = getelementptr inbounds %struct.t2, ptr %a1, i32 0, i32 074 %0 = load i64, ptr %a, align 8, !tbaa !375 %a7 = getelementptr inbounds %struct.t1, ptr %a2, i32 0, i32 076 %1 = load i64, ptr %a7, align 8, !tbaa !877 %add = add nsw i64 %0, %178 %a8 = getelementptr inbounds %struct.t1, ptr %a3, i32 0, i32 079 %2 = load i64, ptr %a8, align 8, !tbaa !880 %add9 = add nsw i64 %add, %281 %a10 = getelementptr inbounds %struct.t1, ptr %a4, i32 0, i32 082 %3 = load i64, ptr %a10, align 8, !tbaa !883 %add11 = add nsw i64 %add9, %384 %a12 = getelementptr inbounds %struct.t1, ptr %a5, i32 0, i32 085 %4 = load i64, ptr %a12, align 8, !tbaa !886 %add13 = add nsw i64 %add11, %487 %a14 = getelementptr inbounds %struct.t2, ptr %a6, i32 0, i32 088 %5 = load i64, ptr %a14, align 8, !tbaa !389 %add15 = add nsw i64 %add13, %590 ret i64 %add1591}92 93attributes #0 = { nounwind "frame-pointer"="all" "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" }94attributes #1 = { alwaysinline nounwind "frame-pointer"="all" "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" }95 96!llvm.module.flags = !{!0, !1}97!llvm.ident = !{!2}98 99!0 = !{i32 1, !"wchar_size", i32 4}100!1 = !{i32 7, !"frame-pointer", i32 2}101!2 = !{!"clang version 16.0.0 (https://github.com/llvm/llvm-project.git 9385660f4ca87d074410a84df89faca313afcb5a)"}102!3 = !{!4, !5, i64 0}103!4 = !{!"t2", !5, i64 0, !5, i64 8}104!5 = !{!"long", !6, i64 0}105!6 = !{!"omnipotent char", !7, i64 0}106!7 = !{!"Simple C/C++ TBAA"}107!8 = !{!9, !5, i64 0}108!9 = !{!"t1", !5, i64 0}109