Home | History | Annotate | Download | only in X86
      1 ; RUN: llc -filetype=obj -O0 < %s
      2 ; Test that we handle DBG_VALUEs in a register without crashing.
      3 ;
      4 ; Generated from clang with -fsanitize=address:
      5 ; struct A {
      6 ;   A();
      7 ;   A(const A&);
      8 ; };
      9 ;
     10 ; A func(int) {
     11 ;   A a;
     12 ;   return a;
     13 ; }
     14 
     15 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
     16 target triple = "x86_64-unknown-linux-gnu"
     17 
     18 %struct.A = type { i8 }
     19 
     20 @__asan_mapping_offset = linkonce_odr constant i64 2147450880
     21 @__asan_mapping_scale = linkonce_odr constant i64 3
     22 @llvm.global_ctors = appending global [1 x { i32, void ()* }] [{ i32, void ()* } { i32 1, void ()* @asan.module_ctor }]
     23 @__asan_gen_ = private unnamed_addr constant [16 x i8] c"1 32 4 5 .addr \00", align 1
     24 
     25 ; Function Attrs: sanitize_address uwtable
     26 define void @_Z4funci(%struct.A* noalias sret %agg.result, i32) #0 "stack-protector-buffer-size"="1" !dbg !4 {
     27 entry:
     28   %MyAlloca = alloca [96 x i8], align 32
     29   %1 = ptrtoint [96 x i8]* %MyAlloca to i64
     30   %2 = add i64 %1, 32
     31   %3 = inttoptr i64 %2 to i32*
     32   %4 = inttoptr i64 %1 to i64*
     33   store i64 1102416563, i64* %4
     34   %5 = add i64 %1, 8
     35   %6 = inttoptr i64 %5 to i64*
     36   store i64 ptrtoint ([16 x i8]* @__asan_gen_ to i64), i64* %6
     37   %7 = add i64 %1, 16
     38   %8 = inttoptr i64 %7 to i64*
     39   store i64 ptrtoint (void (%struct.A*, i32)* @_Z4funci to i64), i64* %8
     40   %9 = lshr i64 %1, 3
     41   %10 = add i64 %9, 2147450880
     42   %11 = inttoptr i64 %10 to i32*
     43   store i32 -235802127, i32* %11
     44   %12 = add i64 %10, 4
     45   %13 = inttoptr i64 %12 to i32*
     46   store i32 -185273340, i32* %13
     47   %14 = add i64 %10, 8
     48   %15 = inttoptr i64 %14 to i32*
     49   store i32 -202116109, i32* %15
     50   %16 = ptrtoint i32* %3 to i64
     51   %17 = lshr i64 %16, 3
     52   %18 = add i64 %17, 2147450880
     53   %19 = inttoptr i64 %18 to i8*
     54   %20 = load i8, i8* %19
     55   %21 = icmp ne i8 %20, 0
     56   call void @llvm.dbg.declare(metadata i32* %3, metadata !23, metadata !28), !dbg !DILocation(scope: !4)
     57   br i1 %21, label %22, label %28
     58 
     59 ; <label>:22                                      ; preds = %entry
     60   %23 = and i64 %16, 7
     61   %24 = add i64 %23, 3
     62   %25 = trunc i64 %24 to i8
     63   %26 = icmp sge i8 %25, %20
     64   br i1 %26, label %27, label %28
     65 
     66 ; <label>:27                                      ; preds = %22
     67   call void @__asan_report_store4(i64 %16)
     68   call void asm sideeffect "", ""()
     69   unreachable
     70 
     71 ; <label>:28                                      ; preds = %22, %entry
     72   store i32 %0, i32* %3, align 4
     73   call void @llvm.dbg.declare(metadata %struct.A* %agg.result, metadata !24, metadata !DIExpression(DW_OP_deref)), !dbg !25
     74   call void @_ZN1AC1Ev(%struct.A* %agg.result), !dbg !25
     75   store i64 1172321806, i64* %4, !dbg !26
     76   %29 = inttoptr i64 %10 to i32*, !dbg !26
     77   store i32 0, i32* %29, !dbg !26
     78   %30 = add i64 %10, 4, !dbg !26
     79   %31 = inttoptr i64 %30 to i32*, !dbg !26
     80   store i32 0, i32* %31, !dbg !26
     81   %32 = add i64 %10, 8, !dbg !26
     82   %33 = inttoptr i64 %32 to i32*, !dbg !26
     83   store i32 0, i32* %33, !dbg !26
     84   ret void, !dbg !26
     85 }
     86 
     87 ; Function Attrs: nounwind readnone
     88 declare void @llvm.dbg.declare(metadata, metadata, metadata) #1
     89 
     90 declare void @_ZN1AC1Ev(%struct.A*) #2
     91 
     92 define internal void @asan.module_ctor()  "stack-protector-buffer-size"="1" {
     93   call void @__asan_init_v3()
     94   %1 = load volatile i64, i64* @__asan_mapping_offset
     95   %2 = load volatile i64, i64* @__asan_mapping_scale
     96   ret void
     97 }
     98 
     99 declare void @__asan_init_v3()
    100 
    101 declare void @__asan_report_load1(i64)
    102 
    103 declare void @__asan_report_load2(i64)
    104 
    105 declare void @__asan_report_load4(i64)
    106 
    107 declare void @__asan_report_load8(i64)
    108 
    109 declare void @__asan_report_load16(i64)
    110 
    111 declare void @__asan_report_store1(i64)
    112 
    113 declare void @__asan_report_store2(i64)
    114 
    115 declare void @__asan_report_store4(i64)
    116 
    117 declare void @__asan_report_store8(i64)
    118 
    119 declare void @__asan_report_store16(i64)
    120 
    121 declare void @__asan_report_load_n(i64, i64)
    122 
    123 declare void @__asan_report_store_n(i64, i64)
    124 
    125 declare void @__asan_handle_no_return()
    126 
    127 declare i64 @__asan_stack_malloc(i64, i64)
    128 
    129 declare void @__asan_stack_free(i64, i64, i64)
    130 
    131 declare void @__asan_poison_stack_memory(i64, i64)
    132 
    133 declare void @__asan_unpoison_stack_memory(i64, i64)
    134 
    135 declare void @__asan_before_dynamic_init(i64)
    136 
    137 declare void @__asan_after_dynamic_init()
    138 
    139 declare void @__asan_register_globals(i64, i64)
    140 
    141 declare void @__asan_unregister_globals(i64, i64)
    142 
    143 attributes #0 = { sanitize_address uwtable "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf"="true" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "ssp-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
    144 attributes #1 = { nounwind readnone }
    145 attributes #2 = { "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf"="true" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "ssp-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
    146 
    147 !llvm.dbg.cu = !{!0}
    148 !llvm.module.flags = !{!22, !27}
    149 
    150 !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, producer: "clang version 3.4 ", isOptimized: false, emissionKind: FullDebug, file: !1, enums: !2, retainedTypes: !2, globals: !2, imports: !2)
    151 !1 = !DIFile(filename: "crash.cpp", directory: "/tmp")
    152 !2 = !{}
    153 !4 = distinct !DISubprogram(name: "func", linkageName: "_Z4funci", line: 6, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, unit: !0, scopeLine: 6, file: !1, scope: !5, type: !6, variables: !2)
    154 !5 = !DIFile(filename: "crash.cpp", directory: "/tmp")
    155 !6 = !DISubroutineType(types: !7)
    156 !7 = !{!8, !21}
    157 !8 = !DICompositeType(tag: DW_TAG_structure_type, name: "A", line: 1, size: 8, align: 8, file: !1, elements: !9)
    158 !9 = !{!10, !15}
    159 !10 = !DISubprogram(name: "A", line: 2, isLocal: false, isDefinition: false, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, scopeLine: 2, file: !1, scope: !8, type: !11)
    160 !11 = !DISubroutineType(types: !12)
    161 !12 = !{null, !13}
    162 !13 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 64, align: 64, flags: DIFlagArtificial | DIFlagObjectPointer, baseType: !8)
    163 !15 = !DISubprogram(name: "A", line: 3, isLocal: false, isDefinition: false, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, scopeLine: 3, file: !1, scope: !8, type: !16)
    164 !16 = !DISubroutineType(types: !17)
    165 !17 = !{null, !13, !18}
    166 !18 = !DIDerivedType(tag: DW_TAG_reference_type, baseType: !19)
    167 !19 = !DIDerivedType(tag: DW_TAG_const_type, baseType: !8)
    168 !21 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
    169 !22 = !{i32 2, !"Dwarf Version", i32 3}
    170 !23 = !DILocalVariable(name: "", line: 6, arg: 1, scope: !4, file: !5, type: !21)
    171 !24 = !DILocalVariable(name: "a", line: 7, scope: !4, file: !5, type: !8)
    172 !25 = !DILocation(line: 7, scope: !4)
    173 !26 = !DILocation(line: 8, scope: !4)
    174 !27 = !{i32 1, !"Debug Info Version", i32 3}
    175 !28 = !DIExpression(DW_OP_deref)
    176