1; RUN: llvm-dis < %s.bc | FileCheck %s
2; RUN: verify-uselistorder < %s.bc
3
4; Test upgrading from bitcode without a this adjustment record. It will fill in
5; an implicit zero thisAdjustment, so it will not be present in the output.
6
7; CHECK: DISubprogram(name: "f",
8; CHECK-NOT: thisAdjustment
9; CHECK-SAME: ){{$}}
10
11target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128"
12target triple = "x86_64-pc-windows-msvc19.0.23918"
13
14; Function Attrs: nounwind uwtable
15define void @f() !dbg !7 {
16entry:
17  ret void, !dbg !10
18}
19
20!llvm.dbg.cu = !{!0}
21!llvm.module.flags = !{!4}
22
23!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, emissionKind: FullDebug)
24!1 = !DIFile(filename: "t.cpp", directory: "D:\5Csrc\5Cllvm\5Cbuild")
25!2 = !{}
26!4 = !{i32 2, !"Debug Info Version", i32 3}
27!7 = distinct !DISubprogram(name: "f", linkageName: "\01?f@@YAXXZ", scope: !1, file: !1, line: 1, type: !8, isLocal: false, isDefinition: true, scopeLine: 1, flags: DIFlagPrototyped, isOptimized: false, unit: !0, variables: !2)
28!8 = !DISubroutineType(types: !9)
29!9 = !{null}
30!10 = !DILocation(line: 1, column: 11, scope: !7)
31