167 lines · plain
1; RUN: llc -mtriple=bpf -mcpu=v4 < %s | FileCheck -check-prefixes=CHECK %s2 3; Verify that BPFMISimplifyPatchable::checkADDrr correctly rewrites4; load instructions with sign extension.5;6; Generated from the following source code:7; struct t {8; signed char sb;9; signed short sh;10; signed int sw;11; } __attribute__((preserve_access_index));12;13; extern void cs(signed long);14;15; void buz(volatile struct t *t) {16; cs(t->sb);17; cs(t->sh);18; cs(t->sw);19; }20;21; Using the following command:22; clang -g -O2 -S -emit-llvm --target=bpf t.c -o t.ll23 24@"llvm.t:0:0$0:0" = external global i64, !llvm.preserve.access.index !0 #025@"llvm.t:0:2$0:1" = external global i64, !llvm.preserve.access.index !0 #026@"llvm.t:0:4$0:2" = external global i64, !llvm.preserve.access.index !0 #027 28; Function Attrs: nounwind29define dso_local void @buz(ptr noundef %t) local_unnamed_addr #1 !dbg !16 {30entry:31 call void @llvm.dbg.value(metadata ptr %t, metadata !22, metadata !DIExpression()), !dbg !2332 %0 = load i64, ptr @"llvm.t:0:0$0:0", align 833 %1 = getelementptr i8, ptr %t, i64 %034 %2 = tail call ptr @llvm.bpf.passthrough.p0.p0(i32 0, ptr %1)35 %3 = load volatile i8, ptr %2, align 4, !dbg !24, !tbaa !2536 %conv = sext i8 %3 to i64, !dbg !3137 tail call void @cs(i64 noundef %conv) #5, !dbg !3238 %4 = load i64, ptr @"llvm.t:0:2$0:1", align 839 %5 = getelementptr i8, ptr %t, i64 %440 %6 = tail call ptr @llvm.bpf.passthrough.p0.p0(i32 1, ptr %5)41 %7 = load volatile i16, ptr %6, align 2, !dbg !33, !tbaa !3442 %conv1 = sext i16 %7 to i64, !dbg !3543 tail call void @cs(i64 noundef %conv1) #5, !dbg !3644 %8 = load i64, ptr @"llvm.t:0:4$0:2", align 845 %9 = getelementptr i8, ptr %t, i64 %846 %10 = tail call ptr @llvm.bpf.passthrough.p0.p0(i32 2, ptr %9)47 %11 = load volatile i32, ptr %10, align 4, !dbg !37, !tbaa !3848 %conv2 = sext i32 %11 to i64, !dbg !3949 tail call void @cs(i64 noundef %conv2) #5, !dbg !4050 ret void, !dbg !4151}52 53; CHECK: buz:54; CHECK: prologue_end55; CHECK-NEXT: .Ltmp[[LABEL_SB:.*]]:56; CHECK-NEXT: .Ltmp57; CHECK-NEXT: r1 = *(s8 *)(r6 + 0)58; CHECK-NEXT: .loc59; CHECK-NEXT: .Ltmp60; CHECK-NEXT: call cs61; CHECK-NEXT: .Ltmp62; CHECK-NEXT: .loc63; CHECK-NEXT: .Ltmp[[LABEL_SH:.*]]:64; CHECK-NEXT: .Ltmp65; CHECK-NEXT: r1 = *(s16 *)(r6 + 2)66; CHECK-NEXT: .loc67; CHECK-NEXT: .Ltmp68; CHECK-NEXT: call cs69; CHECK-NEXT: .Ltmp70; CHECK-NEXT: .loc71; CHECK-NEXT: .Ltmp[[LABEL_SW:.*]]:72; CHECK-NEXT: .Ltmp73; CHECK-NEXT: r1 = *(s32 *)(r6 + 4)74; CHECK-NEXT: .loc75; CHECK-NEXT: .Ltmp76; CHECK-NEXT: call cs77 78; CHECK: .section .BTF79; CHECK: .long [[T:.*]] # BTF_KIND_STRUCT(id = [[ID:.*]])80 81; CHECK: .byte 116 # string offset=[[T]]82; CHECK: .ascii "0:0" # string offset=[[STR_SB:.*]]83; CHECK: .ascii "0:1" # string offset=[[STR_SH:.*]]84; CHECK: .ascii "0:2" # string offset=[[STR_SW:.*]]85 86; CHECK: # FieldReloc87; CHECK: .long .Ltmp[[LABEL_SB]]88; CHECK-NEXT: .long [[ID]]89; CHECK-NEXT: .long [[STR_SB]]90; CHECK-NEXT: .long 091; CHECK: .long .Ltmp[[LABEL_SH]]92; CHECK-NEXT: .long [[ID]]93; CHECK-NEXT: .long [[STR_SH]]94; CHECK-NEXT: .long 095; CHECK: .long .Ltmp[[LABEL_SW]]96; CHECK-NEXT: .long [[ID]]97; CHECK-NEXT: .long [[STR_SW]]98; CHECK-NEXT: .long 099 100declare !dbg !42 dso_local void @cs(i64 noundef) local_unnamed_addr #2101 102; Function Attrs: nofree nosync nounwind memory(none)103declare ptr @llvm.bpf.passthrough.p0.p0(i32, ptr) #3104 105; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)106declare void @llvm.dbg.value(metadata, metadata, metadata) #4107 108attributes #0 = { "btf_ama" }109attributes #1 = { nounwind "frame-pointer"="all" "no-trapping-math"="true" "stack-protector-buffer-size"="8" }110attributes #2 = { "frame-pointer"="all" "no-trapping-math"="true" "stack-protector-buffer-size"="8" }111attributes #3 = { nofree nosync nounwind memory(none) }112attributes #4 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }113attributes #5 = { nounwind }114 115!llvm.dbg.cu = !{!9}116!llvm.module.flags = !{!10, !11, !12, !13, !14}117!llvm.ident = !{!15}118 119!0 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "t", file: !1, line: 1, size: 64, elements: !2)120!1 = !DIFile(filename: "some.file", directory: "/some/dir", checksumkind: CSK_MD5, checksum: "2316ba0d3e8def5d297ad400e78b1782")121!2 = !{!3, !5, !7}122!3 = !DIDerivedType(tag: DW_TAG_member, name: "sb", scope: !0, file: !1, line: 6, baseType: !4, size: 8)123!4 = !DIBasicType(name: "signed char", size: 8, encoding: DW_ATE_signed_char)124!5 = !DIDerivedType(tag: DW_TAG_member, name: "sh", scope: !0, file: !1, line: 7, baseType: !6, size: 16, offset: 16)125!6 = !DIBasicType(name: "short", size: 16, encoding: DW_ATE_signed)126!7 = !DIDerivedType(tag: DW_TAG_member, name: "sw", scope: !0, file: !1, line: 8, baseType: !8, size: 32, offset: 32)127!8 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)128!9 = distinct !DICompileUnit(language: DW_LANG_C11, file: !1, producer: "clang version 18.0.0 (/home/eddy/work/llvm-project/clang 3810f2eb4382d5e2090ce5cd47f45379cb453c35)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, splitDebugInlining: false, nameTableKind: None)129!10 = !{i32 7, !"Dwarf Version", i32 5}130!11 = !{i32 2, !"Debug Info Version", i32 3}131!12 = !{i32 1, !"wchar_size", i32 4}132!13 = !{i32 7, !"frame-pointer", i32 2}133!14 = !{i32 7, !"debug-info-assignment-tracking", i1 true}134!15 = !{!"clang version 18.0.0 (/home/eddy/work/llvm-project/clang 3810f2eb4382d5e2090ce5cd47f45379cb453c35)"}135!16 = distinct !DISubprogram(name: "buz", scope: !1, file: !1, line: 27, type: !17, scopeLine: 27, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !9, retainedNodes: !21)136!17 = !DISubroutineType(types: !18)137!18 = !{null, !19}138!19 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !20, size: 64)139!20 = !DIDerivedType(tag: DW_TAG_volatile_type, baseType: !0)140!21 = !{!22}141!22 = !DILocalVariable(name: "t", arg: 1, scope: !16, file: !1, line: 27, type: !19)142!23 = !DILocation(line: 0, scope: !16)143!24 = !DILocation(line: 28, column: 9, scope: !16)144!25 = !{!26, !27, i64 0}145!26 = !{!"t", !27, i64 0, !29, i64 2, !30, i64 4}146!27 = !{!"omnipotent char", !28, i64 0}147!28 = !{!"Simple C/C++ TBAA"}148!29 = !{!"short", !27, i64 0}149!30 = !{!"int", !27, i64 0}150!31 = !DILocation(line: 28, column: 6, scope: !16)151!32 = !DILocation(line: 28, column: 3, scope: !16)152!33 = !DILocation(line: 29, column: 9, scope: !16)153!34 = !{!26, !29, i64 2}154!35 = !DILocation(line: 29, column: 6, scope: !16)155!36 = !DILocation(line: 29, column: 3, scope: !16)156!37 = !DILocation(line: 30, column: 9, scope: !16)157!38 = !{!26, !30, i64 4}158!39 = !DILocation(line: 30, column: 6, scope: !16)159!40 = !DILocation(line: 30, column: 3, scope: !16)160!41 = !DILocation(line: 31, column: 1, scope: !16)161!42 = !DISubprogram(name: "cs", scope: !1, file: !1, line: 11, type: !43, flags: DIFlagPrototyped, spFlags: DISPFlagOptimized, retainedNodes: !46)162!43 = !DISubroutineType(types: !44)163!44 = !{null, !45}164!45 = !DIBasicType(name: "long", size: 64, encoding: DW_ATE_signed)165!46 = !{!47}166!47 = !DILocalVariable(arg: 1, scope: !42, file: !1, line: 11, type: !45)167