Bump version to 19.1.0-rc3
[llvm-project.git] / llvm / test / Transforms / Mem2Reg / dbg_declare_to_value_conversions.ll
blob721405bca091927d8f41a3cc00e8bb16a8d4fe00
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"
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
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
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 undef, {{.*}}, !DIExpression(DW_OP_deref, DW_OP_plus_uconst, 2),
37   %val = load i32, ptr %arg
38   ret i32 %val
41 declare void @llvm.dbg.declare(metadata, metadata, metadata)
43 !llvm.module.flags = !{!1, !2}
44 !llvm.dbg.cu = !{!7}
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)