; ModuleID = 'sockex1_kern.bc'
source_filename = "sockex1_kern.bc"
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-pc-linux-gnu"

%struct.bpf_map_def = type { i32, i32, i32, i32, i32 }
%struct.bpf_flow_keys = type { i64 }
%struct.__sk_buff = type { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, [5 x i32], i32, i32, i32, i32 }

@my_map = global %struct.bpf_map_def { i32 2, i32 4, i32 8, i32 256, i32 0 }, section "maps", align 4, !dbg !0
@bpf_prog1.flow_mask_array = private unnamed_addr constant [2 x %struct.bpf_flow_keys] [%struct.bpf_flow_keys { i64 57005 }, %struct.bpf_flow_keys { i64 4444 }], align 16
@_license = global [4 x i8] c"GPL\00", section "license", align 1, !dbg !30
@llvm.used = appending global [3 x i8*] [i8* getelementptr inbounds ([4 x i8], [4 x i8]* @_license, i32 0, i32 0), i8* bitcast (i32 (%struct.__sk_buff*)* @bpf_prog1 to i8*), i8* bitcast (%struct.bpf_map_def* @my_map to i8*)], section "llvm.metadata"

; Function Attrs: nounwind uwtable
define i32 @bpf_prog1(%struct.__sk_buff* %skb) #0 section "socket1" !dbg !34 {
  %index = alloca i32, align 4
  %flow_mask_array = alloca [2 x %struct.bpf_flow_keys], align 16
  tail call void @llvm.dbg.value(metadata %struct.__sk_buff* %skb, i64 0, metadata !64, metadata !76), !dbg !77
  %1 = bitcast i32* %index to i8*, !dbg !78
  call void @llvm.lifetime.start(i64 4, i8* %1) #4, !dbg !78
  %2 = bitcast %struct.__sk_buff* %skb to i8*, !dbg !79
  %3 = tail call i64 @llvm.bpf.load.byte(i8* %2, i64 23), !dbg !80
  %4 = trunc i64 %3 to i32, !dbg !82
  tail call void @llvm.dbg.value(metadata i32 %4, i64 0, metadata !65, metadata !76), !dbg !83
  store i32 %4, i32* %index, align 4, !dbg !83, !tbaa !84
  %5 = bitcast [2 x %struct.bpf_flow_keys]* %flow_mask_array to i8*, !dbg !88
  call void @llvm.lifetime.start(i64 16, i8* %5) #4, !dbg !88
  tail call void @llvm.dbg.declare(metadata [2 x %struct.bpf_flow_keys]* %flow_mask_array, metadata !69, metadata !76), !dbg !89
  call void @llvm.memcpy.p0i8.p0i8.i64(i8* %5, i8* bitcast ([2 x %struct.bpf_flow_keys]* @bpf_prog1.flow_mask_array to i8*), i64 16, i32 16, i1 false), !dbg !90
  %6 = getelementptr inbounds %struct.__sk_buff, %struct.__sk_buff* %skb, i64 0, i32 1, !dbg !91
  %7 = load i32, i32* %6, align 4, !dbg !91, !tbaa !93
  %8 = icmp eq i32 %7, 4, !dbg !95
  br i1 %8, label %9, label %13, !dbg !96

; <label>:9:                                      ; preds = %0
  %10 = getelementptr inbounds [2 x %struct.bpf_flow_keys], [2 x %struct.bpf_flow_keys]* %flow_mask_array, i64 0, i64 1, i32 0, !dbg !97
  %11 = bitcast i64* %10 to i8*, !dbg !98
  %12 = call i32 inttoptr (i64 2 to i32 (i8*, i8*, i8*, i64)*)(i8* nonnull bitcast (%struct.bpf_map_def* @my_map to i8*), i8* %1, i8* %11, i64 0) #4, !dbg !99
  br label %13, !dbg !100

; <label>:13:                                     ; preds = %0, %9
  call void @llvm.lifetime.end(i64 16, i8* %5) #4, !dbg !101
  call void @llvm.lifetime.end(i64 4, i8* %1) #4, !dbg !102
  ret i32 0, !dbg !101
}

; Function Attrs: nounwind readnone
declare void @llvm.dbg.declare(metadata, metadata, metadata) #1

; Function Attrs: argmemonly nounwind
declare void @llvm.lifetime.start(i64, i8* nocapture) #2

; Function Attrs: nounwind readonly
declare i64 @llvm.bpf.load.byte(i8*, i64) #3

; Function Attrs: argmemonly nounwind
declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture writeonly, i8* nocapture readonly, i64, i32, i1) #2

; Function Attrs: argmemonly nounwind
declare void @llvm.lifetime.end(i64, i8* nocapture) #2

; Function Attrs: nounwind readnone
declare void @llvm.dbg.value(metadata, i64, metadata, metadata) #1

attributes #0 = { nounwind uwtable "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2" "unsafe-fp-math"="false" "use-soft-float"="false" }
attributes #1 = { nounwind readnone }
attributes #2 = { argmemonly nounwind }
attributes #3 = { nounwind readonly }
attributes #4 = { nounwind }

!llvm.dbg.cu = !{!2}
!llvm.module.flags = !{!31, !32}
!llvm.ident = !{!33}

!0 = distinct !DIGlobalVariableExpression(var: !1)
!1 = !DIGlobalVariable(name: "my_map", scope: !2, file: !3, line: 11, type: !22, isLocal: false, isDefinition: true)
!2 = distinct !DICompileUnit(language: DW_LANG_C99, file: !3, producer: "clang version 3.8.0-2ubuntu4 (tags/RELEASE_380/final)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !4, globals: !5)
!3 = !DIFile(filename: "/root/net-next/samples/bpf/sockex1_kern.c", directory: "/root/net-next")
!4 = !{}
!5 = !{!6, !7, !13}
!6 = distinct !DIGlobalVariableExpression(var: !1)
!7 = distinct !DIGlobalVariableExpression(var: !8)
!8 = !DIGlobalVariable(name: "_license", scope: !2, file: !3, line: 43, type: !9, isLocal: false, isDefinition: true)
!9 = !DICompositeType(tag: DW_TAG_array_type, baseType: !10, size: 32, align: 8, elements: !11)
!10 = !DIBasicType(name: "char", size: 8, align: 8, encoding: DW_ATE_signed_char)
!11 = !{!12}
!12 = !DISubrange(count: 4)
!13 = distinct !DIGlobalVariableExpression(var: !14)
!14 = !DIGlobalVariable(name: "bpf_map_update_elem", scope: !2, file: !15, line: 13, type: !16, isLocal: true, isDefinition: true)
!15 = !DIFile(filename: "/root/net-next/samples/bpf/bpf_helpers.h", directory: "/root/net-next")
!16 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !17, size: 64, align: 64)
!17 = !DISubroutineType(types: !18)
!18 = !{!19, !20, !20, !20, !21}
!19 = !DIBasicType(name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
!20 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: null, size: 64, align: 64)
!21 = !DIBasicType(name: "long long unsigned int", size: 64, align: 64, encoding: DW_ATE_unsigned)
!22 = !DICompositeType(tag: DW_TAG_structure_type, name: "bpf_map_def", file: !15, line: 77, size: 160, align: 32, elements: !23)
!23 = !{!24, !26, !27, !28, !29}
!24 = !DIDerivedType(tag: DW_TAG_member, name: "type", scope: !22, file: !15, line: 78, baseType: !25, size: 32, align: 32)
!25 = !DIBasicType(name: "unsigned int", size: 32, align: 32, encoding: DW_ATE_unsigned)
!26 = !DIDerivedType(tag: DW_TAG_member, name: "key_size", scope: !22, file: !15, line: 79, baseType: !25, size: 32, align: 32, offset: 32)
!27 = !DIDerivedType(tag: DW_TAG_member, name: "value_size", scope: !22, file: !15, line: 80, baseType: !25, size: 32, align: 32, offset: 64)
!28 = !DIDerivedType(tag: DW_TAG_member, name: "max_entries", scope: !22, file: !15, line: 81, baseType: !25, size: 32, align: 32, offset: 96)
!29 = !DIDerivedType(tag: DW_TAG_member, name: "map_flags", scope: !22, file: !15, line: 82, baseType: !25, size: 32, align: 32, offset: 128)
!30 = distinct !DIGlobalVariableExpression(var: !8)
!31 = !{i32 2, !"Dwarf Version", i32 4}
!32 = !{i32 2, !"Debug Info Version", i32 3}
!33 = !{!"clang version 3.8.0-2ubuntu4 (tags/RELEASE_380/final)"}
!34 = distinct !DISubprogram(name: "bpf_prog1", scope: !3, file: !3, line: 19, type: !35, isLocal: false, isDefinition: true, scopeLine: 20, flags: DIFlagPrototyped, isOptimized: true, unit: !2, variables: !63)
!35 = !DISubroutineType(types: !36)
!36 = !{!19, !37}
!37 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !38, size: 64, align: 64)
!38 = !DICompositeType(tag: DW_TAG_structure_type, name: "__sk_buff", file: !39, line: 559, size: 672, align: 32, elements: !40)
!39 = !DIFile(filename: "./include/uapi/linux/bpf.h", directory: "/root/net-next")
!40 = !{!41, !44, !45, !46, !47, !48, !49, !50, !51, !52, !53, !54, !55, !59, !60, !61, !62}
!41 = !DIDerivedType(tag: DW_TAG_member, name: "len", scope: !38, file: !39, line: 560, baseType: !42, size: 32, align: 32)
!42 = !DIDerivedType(tag: DW_TAG_typedef, name: "__u32", file: !43, line: 26, baseType: !25)
!43 = !DIFile(filename: "./include/uapi/asm-generic/int-ll64.h", directory: "/root/net-next")
!44 = !DIDerivedType(tag: DW_TAG_member, name: "pkt_type", scope: !38, file: !39, line: 561, baseType: !42, size: 32, align: 32, offset: 32)
!45 = !DIDerivedType(tag: DW_TAG_member, name: "mark", scope: !38, file: !39, line: 562, baseType: !42, size: 32, align: 32, offset: 64)
!46 = !DIDerivedType(tag: DW_TAG_member, name: "queue_mapping", scope: !38, file: !39, line: 563, baseType: !42, size: 32, align: 32, offset: 96)
!47 = !DIDerivedType(tag: DW_TAG_member, name: "protocol", scope: !38, file: !39, line: 564, baseType: !42, size: 32, align: 32, offset: 128)
!48 = !DIDerivedType(tag: DW_TAG_member, name: "vlan_present", scope: !38, file: !39, line: 565, baseType: !42, size: 32, align: 32, offset: 160)
!49 = !DIDerivedType(tag: DW_TAG_member, name: "vlan_tci", scope: !38, file: !39, line: 566, baseType: !42, size: 32, align: 32, offset: 192)
!50 = !DIDerivedType(tag: DW_TAG_member, name: "vlan_proto", scope: !38, file: !39, line: 567, baseType: !42, size: 32, align: 32, offset: 224)
!51 = !DIDerivedType(tag: DW_TAG_member, name: "priority", scope: !38, file: !39, line: 568, baseType: !42, size: 32, align: 32, offset: 256)
!52 = !DIDerivedType(tag: DW_TAG_member, name: "ingress_ifindex", scope: !38, file: !39, line: 569, baseType: !42, size: 32, align: 32, offset: 288)
!53 = !DIDerivedType(tag: DW_TAG_member, name: "ifindex", scope: !38, file: !39, line: 570, baseType: !42, size: 32, align: 32, offset: 320)
!54 = !DIDerivedType(tag: DW_TAG_member, name: "tc_index", scope: !38, file: !39, line: 571, baseType: !42, size: 32, align: 32, offset: 352)
!55 = !DIDerivedType(tag: DW_TAG_member, name: "cb", scope: !38, file: !39, line: 572, baseType: !56, size: 160, align: 32, offset: 384)
!56 = !DICompositeType(tag: DW_TAG_array_type, baseType: !42, size: 160, align: 32, elements: !57)
!57 = !{!58}
!58 = !DISubrange(count: 5)
!59 = !DIDerivedType(tag: DW_TAG_member, name: "hash", scope: !38, file: !39, line: 573, baseType: !42, size: 32, align: 32, offset: 544)
!60 = !DIDerivedType(tag: DW_TAG_member, name: "tc_classid", scope: !38, file: !39, line: 574, baseType: !42, size: 32, align: 32, offset: 576)
!61 = !DIDerivedType(tag: DW_TAG_member, name: "data", scope: !38, file: !39, line: 575, baseType: !42, size: 32, align: 32, offset: 608)
!62 = !DIDerivedType(tag: DW_TAG_member, name: "data_end", scope: !38, file: !39, line: 576, baseType: !42, size: 32, align: 32, offset: 640)
!63 = !{!64, !65, !66, !69}
!64 = !DILocalVariable(name: "skb", arg: 1, scope: !34, file: !3, line: 19, type: !37)
!65 = !DILocalVariable(name: "index", scope: !34, file: !3, line: 21, type: !19)
!66 = !DILocalVariable(name: "value", scope: !34, file: !3, line: 22, type: !67)
!67 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !68, size: 64, align: 64)
!68 = !DIBasicType(name: "long int", size: 64, align: 64, encoding: DW_ATE_signed)
!69 = !DILocalVariable(name: "flow_mask_array", scope: !34, file: !3, line: 30, type: !70)
!70 = !DICompositeType(tag: DW_TAG_array_type, baseType: !71, size: 128, align: 64, elements: !74)
!71 = !DICompositeType(tag: DW_TAG_structure_type, name: "bpf_flow_keys", file: !3, line: 7, size: 64, align: 64, elements: !72)
!72 = !{!73}
!73 = !DIDerivedType(tag: DW_TAG_member, name: "src", scope: !71, file: !3, line: 8, baseType: !68, size: 64, align: 64)
!74 = !{!75}
!75 = !DISubrange(count: 2)
!76 = !DIExpression()
!77 = !DILocation(line: 19, column: 33, scope: !34)
!78 = !DILocation(line: 21, column: 2, scope: !34)
!79 = !DILocation(line: 21, column: 24, scope: !34)
!80 = !DILocation(line: 21, column: 14, scope: !81)
!81 = !DILexicalBlockFile(scope: !34, file: !3, discriminator: 1)
!82 = !DILocation(line: 21, column: 14, scope: !34)
!83 = !DILocation(line: 21, column: 6, scope: !34)
!84 = !{!85, !85, i64 0}
!85 = !{!"int", !86, i64 0}
!86 = !{!"omnipotent char", !87, i64 0}
!87 = !{!"Simple C/C++ TBAA"}
!88 = !DILocation(line: 30, column: 4, scope: !34)
!89 = !DILocation(line: 30, column: 25, scope: !34)
!90 = !DILocation(line: 30, column: 25, scope: !81)
!91 = !DILocation(line: 36, column: 11, scope: !92)
!92 = distinct !DILexicalBlock(scope: !34, file: !3, line: 36, column: 6)
!93 = !{!94, !85, i64 4}
!94 = !{!"__sk_buff", !85, i64 0, !85, i64 4, !85, i64 8, !85, i64 12, !85, i64 16, !85, i64 20, !85, i64 24, !85, i64 28, !85, i64 32, !85, i64 36, !85, i64 40, !85, i64 44, !86, i64 48, !85, i64 68, !85, i64 72, !85, i64 76, !85, i64 80}
!95 = !DILocation(line: 36, column: 20, scope: !92)
!96 = !DILocation(line: 36, column: 6, scope: !34)
!97 = !DILocation(line: 39, column: 63, scope: !34)
!98 = !DILocation(line: 39, column: 42, scope: !34)
!99 = !DILocation(line: 39, column: 5, scope: !34)
!100 = !DILocation(line: 41, column: 2, scope: !34)
!101 = !DILocation(line: 42, column: 1, scope: !34)
!102 = !DILocation(line: 42, column: 1, scope: !103)
!103 = !DILexicalBlockFile(scope: !34, file: !3, discriminator: 2)