[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Instrumentation / HWAddressSanitizer / dbg-declare-tag-offset.ll
blobb81fa1fd68a01483ae5740432f2e69451b77603a
1 ; RUN: opt -hwasan -S -o - %s | FileCheck %s
3 target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
4 target triple = "aarch64--linux-android"
6 declare void @g(i8**, i8**, i8**, i8**, i8**, i8**)
8 define void @f() sanitize_hwaddress !dbg !6 {
9 entry:
10   %nodebug0 = alloca i8*
11   %nodebug1 = alloca i8*
12   %nodebug2 = alloca i8*
13   %nodebug3 = alloca i8*
14   %a = alloca i8*
15   %b = alloca i8*
16   ; CHECK: @llvm.dbg.declare{{.*}} !DIExpression(DW_OP_LLVM_tag_offset, 32)
17   call void @llvm.dbg.declare(metadata i8** %a, metadata !12, metadata !DIExpression()), !dbg !14
18   ; CHECK: @llvm.dbg.declare{{.*}} !DIExpression(DW_OP_LLVM_tag_offset, 32)
19   call void @llvm.dbg.declare(metadata i8** %a, metadata !12, metadata !DIExpression()), !dbg !14
20   ; CHECK: @llvm.dbg.declare{{.*}} !DIExpression(DW_OP_LLVM_tag_offset, 96)
21   call void @llvm.dbg.declare(metadata i8** %b, metadata !13, metadata !DIExpression()), !dbg !14
22   ; CHECK: @llvm.dbg.declare{{.*}} !DIExpression(DW_OP_LLVM_tag_offset, 96)
23   call void @llvm.dbg.declare(metadata i8** %b, metadata !13, metadata !DIExpression()), !dbg !14
24   call void @g(i8** %nodebug0, i8** %nodebug1, i8** %nodebug2, i8** %nodebug3, i8** %a, i8** %b)
25   ret void, !dbg !15
28 declare void @llvm.dbg.declare(metadata, metadata, metadata)
30 !llvm.dbg.cu = !{!0}
31 !llvm.module.flags = !{!3, !4}
32 !llvm.ident = !{!5}
34 !0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !2)
35 !1 = !DIFile(filename: "x.c", directory: "/")
36 !2 = !{}
37 !3 = !{i32 2, !"Dwarf Version", i32 4}
38 !4 = !{i32 2, !"Debug Info Version", i32 3}
39 !5 = !{!"clang"}
40 !6 = distinct !DISubprogram(name: "f", scope: !1, file: !1, line: 1, type: !7, isLocal: false, isDefinition: true, scopeLine: 1, flags:
41 DIFlagPrototyped, isOptimized: false, unit: !0, retainedNodes: !2)
42 !7 = !DISubroutineType(types: !8)
43 !8 = !{null, !9}
44 !9 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !10, size: 64)
45 !10 = !DIDerivedType(tag: DW_TAG_const_type, baseType: !11)
46 !11 = !DIBasicType(name: "char", size: 8, encoding: DW_ATE_signed_char)
47 !12 = !DILocalVariable(name: "a", scope: !6, file: !1, line: 1, type: !9)
48 !13 = !DILocalVariable(name: "b", scope: !6, file: !1, line: 1, type: !9)
49 !14 = !DILocation(line: 1, column: 29, scope: !6)
50 !15 = !DILocation(line: 1, column: 37, scope: !6)