llvm/test/Transforms/Mem2Reg/dbg_declare_to_value_conversions.ll

   1 ; RUN: opt < %s -passes='mem2reg' -S | FileCheck %s
   2 ; RUN: opt < %s -passes='mem2reg' -S --try-experimental-debuginfo-iterators | FileCheck %s
   3 target datalayout = "e-p:64:64"
   4
   5 ; An intrinsic without any expressions should always be converted.
   6 define i64 @foo0(i64 %arg) {
   7   %arg.addr = alloca i64
   8   store i64 %arg, ptr %arg.addr
   9   call void @llvm.dbg.declare(metadata ptr %arg.addr, metadata !26, metadata !DIExpression()), !dbg !40
  10   ; CHECK-LABEL: @foo0
  11   ; CHECK-SAME:    (i64 [[arg:%.*]])
  12   ; CHECK-NEXT:    #dbg_value(i64 [[arg]], {{.*}}, !DIExpression(),
  13   %val = load i64, ptr %arg.addr
  14   ret i64 %val
  15 }
  16
  17 ; An intrinsic with a single deref operator should be converted preserving the deref.
  18 define i32 @foo1(ptr %arg) {
  19   %arg.indirect_addr = alloca ptr
  20   store ptr %arg, ptr %arg.indirect_addr
  21   call void @llvm.dbg.declare(metadata ptr %arg.indirect_addr, metadata !25, metadata !DIExpression(DW_OP_deref)), !dbg !40
  22   ; CHECK-LABEL: @foo1
  23   ; CHECK-SAME:    (ptr [[arg:%.*]])
  24   ; CHECK-NEXT:    #dbg_value(ptr [[arg]], {{.*}}, !DIExpression(DW_OP_deref),
  25   %val = load i32, ptr %arg
  26   ret i32 %val
  27 }
  28
  29
  30 ; An intrinsic with multiple operators should cause us to conservatively bail.
  31 define i32 @foo2(ptr %arg) {
  32   %arg.indirect_addr = alloca ptr
  33   store ptr %arg, ptr %arg.indirect_addr
  34   call void @llvm.dbg.declare(metadata ptr %arg.indirect_addr, metadata !25, metadata !DIExpression(DW_OP_deref, DW_OP_plus_uconst, 2)), !dbg !40
  35   ; CHECK-LABEL: @foo2
  36   ; CHECK-NEXT:     #dbg_value(ptr poison, {{.*}}, !DIExpression(DW_OP_deref, DW_OP_plus_uconst, 2),
  37   %val = load i32, ptr %arg
  38   ret i32 %val
  39 }
  40
  41 declare void @llvm.dbg.declare(metadata, metadata, metadata)
  42
  43 !llvm.module.flags = !{!1, !2}
  44 !llvm.dbg.cu = !{!7}
  45
  46 !1 = !{i32 7, !"Dwarf Version", i32 4}
  47 !2 = !{i32 2, !"Debug Info Version", i32 3}
  48 !3 = !DIBasicType(name: "wide type", size: 512)
  49 !4 = !DIBasicType(name: "ptr sized type", size: 64)
  50 !7 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus_14, file: !8, producer: "clang", emissionKind: FullDebug)
  51 !8 = !DIFile(filename: "test.ll", directory: "")
  52 !10 = distinct !DISubprogram(name: "blah", linkageName: "blah", scope: !8, file: !8, line: 7, unit: !7)
  53 !25 = !DILocalVariable(name: "blah", arg: 1, scope: !10, file: !8, line: 7, type:!3)
  54 !26 = !DILocalVariable(name: "ptr sized var", arg: 1, scope: !10, file: !8, line: 7, type:!4)
  55 !40 = !DILocation(line: 7, column: 35, scope: !10)