103 lines · plain
1; RUN: opt -O2 -mtriple=bpf-pc-linux %s | llvm-dis > %t12; RUN: llc -o - %t1 | FileCheck %s3; RUN: opt -passes='default<O2>' -mtriple=bpf-pc-linux %s | llvm-dis > %t14; RUN: llc -o - %t1 | FileCheck %s5;6; Source:7; struct s1 { int a; int b; } __attribute__((preserve_access_index));8; int foo(struct s1 *arg) { return arg->a; }9; int bar(struct s1 *arg) { return arg->a; }10; Compilation flag:11; clang -target bpf -O2 -S -emit-llvm -g -Xclang -disable-llvm-passes test.c12 13%struct.s1 = type { i32, i32 }14 15; Function Attrs: nounwind16define dso_local i32 @foo(ptr %arg) !dbg !7 {17entry:18 %arg.addr = alloca ptr, align 819 store ptr %arg, ptr %arg.addr, align 8, !tbaa !1820 call void @llvm.dbg.declare(metadata ptr %arg.addr, metadata !17, metadata !DIExpression()), !dbg !2221 %0 = load ptr, ptr %arg.addr, align 8, !dbg !23, !tbaa !1822 %1 = call ptr @llvm.preserve.struct.access.index.p0.p0.s1s(ptr elementtype(%struct.s1) %0, i32 0, i32 0), !dbg !24, !llvm.preserve.access.index !1223 %2 = load i32, ptr %1, align 4, !dbg !24, !tbaa !2524 ret i32 %2, !dbg !2825}26 27; Function Attrs: nounwind readnone speculatable willreturn28declare void @llvm.dbg.declare(metadata, metadata, metadata)29 30; Function Attrs: nounwind readnone31declare ptr @llvm.preserve.struct.access.index.p0.p0.s1s(ptr, i32 immarg, i32 immarg)32 33; Function Attrs: nounwind34define dso_local i32 @bar(ptr %arg) !dbg !29 {35entry:36 %arg.addr = alloca ptr, align 837 store ptr %arg, ptr %arg.addr, align 8, !tbaa !1838 call void @llvm.dbg.declare(metadata ptr %arg.addr, metadata !31, metadata !DIExpression()), !dbg !3239 %0 = load ptr, ptr %arg.addr, align 8, !dbg !33, !tbaa !1840 %1 = call ptr @llvm.preserve.struct.access.index.p0.p0.s1s(ptr elementtype(%struct.s1) %0, i32 0, i32 0), !dbg !34, !llvm.preserve.access.index !1241 %2 = load i32, ptr %1, align 4, !dbg !34, !tbaa !2542 ret i32 %2, !dbg !3543}44 45; CHECK: .long 1 # BTF_KIND_STRUCT(id = 2)46 47; CHECK: .ascii "s1" # string offset=148; CHECK: .ascii ".text" # string offset=2049; CHECK: .ascii "0:0" # string offset=2650 51; CHECK: .long 16 # FieldReloc52; CHECK-NEXT: .long 20 # Field reloc section string offset=2053; CHECK-NEXT: .long 254; CHECK-NEXT: .long .Ltmp{{[0-9]+}}55; CHECK-NEXT: .long 256; CHECK-NEXT: .long 2657; CHECK-NEXT: .long 058; CHECK-NEXT: .long .Ltmp{{[0-9]+}}59; CHECK-NEXT: .long 260; CHECK-NEXT: .long 2661; CHECK-NEXT: .long 062 63!llvm.dbg.cu = !{!0}64!llvm.module.flags = !{!3, !4, !5}65!llvm.ident = !{!6}66 67!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 12.0.0 (https://github.com/llvm/llvm-project.git 2f40e20613758b3e11a15494c09f4b6973673d6b)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, splitDebugInlining: false, nameTableKind: None)68!1 = !DIFile(filename: "test.c", directory: "/tmp/home/yhs/work/tests/core")69!2 = !{}70!3 = !{i32 7, !"Dwarf Version", i32 4}71!4 = !{i32 2, !"Debug Info Version", i32 3}72!5 = !{i32 1, !"wchar_size", i32 4}73!6 = !{!"clang version 12.0.0 (https://github.com/llvm/llvm-project.git 2f40e20613758b3e11a15494c09f4b6973673d6b)"}74!7 = distinct !DISubprogram(name: "foo", scope: !1, file: !1, line: 2, type: !8, scopeLine: 2, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !16)75!8 = !DISubroutineType(types: !9)76!9 = !{!10, !11}77!10 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)78!11 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !12, size: 64)79!12 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "s1", file: !1, line: 1, size: 64, elements: !13)80!13 = !{!14, !15}81!14 = !DIDerivedType(tag: DW_TAG_member, name: "a", scope: !12, file: !1, line: 1, baseType: !10, size: 32)82!15 = !DIDerivedType(tag: DW_TAG_member, name: "b", scope: !12, file: !1, line: 1, baseType: !10, size: 32, offset: 32)83!16 = !{!17}84!17 = !DILocalVariable(name: "arg", arg: 1, scope: !7, file: !1, line: 2, type: !11)85!18 = !{!19, !19, i64 0}86!19 = !{!"any pointer", !20, i64 0}87!20 = !{!"omnipotent char", !21, i64 0}88!21 = !{!"Simple C/C++ TBAA"}89!22 = !DILocation(line: 2, column: 20, scope: !7)90!23 = !DILocation(line: 2, column: 34, scope: !7)91!24 = !DILocation(line: 2, column: 39, scope: !7)92!25 = !{!26, !27, i64 0}93!26 = !{!"s1", !27, i64 0, !27, i64 4}94!27 = !{!"int", !20, i64 0}95!28 = !DILocation(line: 2, column: 27, scope: !7)96!29 = distinct !DISubprogram(name: "bar", scope: !1, file: !1, line: 3, type: !8, scopeLine: 3, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !30)97!30 = !{!31}98!31 = !DILocalVariable(name: "arg", arg: 1, scope: !29, file: !1, line: 3, type: !11)99!32 = !DILocation(line: 3, column: 20, scope: !29)100!33 = !DILocation(line: 3, column: 34, scope: !29)101!34 = !DILocation(line: 3, column: 39, scope: !29)102!35 = !DILocation(line: 3, column: 27, scope: !29)103