Add separators between files in LLVM IR dumps (#7463)

Each file dump now starts with a `; ---` comment and ends with a blank line. This makes it easier to visually scan the dump for a file of interest. The comment format is somewhat arbitrary; I chose `---` to align with the `--- filename.carbon` separator in SemIR dumps, but without the filename, because that appears on each of the next two lines already.
2026-09-24 18:50:09 +01:00 · 2026-07-07 16:31:24 +00:00
parent e1cf833c45
commit ae3c4266d4
240 changed files with 778 additions and 0 deletions
@@ -308,8 +308,10 @@ auto CompilationUnit::RunOptimize(
 auto CompilationUnit::PostLower() -> void {
  CARBON_CHECK(module_, "Must call RunLower first");
  if (options_->dump_llvm_ir && IncludeInDumps()) {
+    *driver_env_->output_stream << "; ---\n";
    module_->print(*driver_env_->output_stream, /*AAW=*/nullptr,
                   /*ShouldPreserveUseListOrder=*/true);
+    *driver_env_->output_stream << "\n";
  }
 }

@@ -26,6 +26,7 @@ fn Call() -> i32 {
  return Cpp.g();
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'foo.carbon'
 // CHECK:STDOUT: source_filename = "foo.carbon"
 // CHECK:STDOUT: target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
@@ -78,3 +79,4 @@ fn Call() -> i32 {
 // CHECK:STDOUT: !14 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
 // CHECK:STDOUT: !15 = !DILocation(line: 13, column: 10, scope: !11)
 // CHECK:STDOUT: !16 = !DILocation(line: 13, column: 3, scope: !11)
+// CHECK:STDOUT:
@@ -34,6 +34,7 @@ fn VectorizedWithOptSpeed(a: array(i32, 65536)*) {
  }
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'foo.carbon'
 // CHECK:STDOUT: source_filename = "foo.carbon"
 // CHECK:STDOUT: target triple = "x86_64-unknown-linux-gnu"
@@ -140,3 +141,4 @@ fn VectorizedWithOptSpeed(a: array(i32, 65536)*) {
 // CHECK:STDOUT: !42 = !{!43}
 // CHECK:STDOUT: !43 = !DILocalVariable(arg: 1, scope: !41, type: !7)
 // CHECK:STDOUT: !44 = !DILocation(line: 17, column: 3, scope: !41)
+// CHECK:STDOUT:
@@ -34,6 +34,7 @@ fn VectorizedWithOptSpeed(a: array(i32, 65536)*) {
  }
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'foo.carbon'
 // CHECK:STDOUT: source_filename = "foo.carbon"
 // CHECK:STDOUT: target triple = "x86_64-unknown-linux-gnu"
@@ -140,3 +141,4 @@ fn VectorizedWithOptSpeed(a: array(i32, 65536)*) {
 // CHECK:STDOUT: !42 = !{!43}
 // CHECK:STDOUT: !43 = !DILocalVariable(arg: 1, scope: !41, type: !7)
 // CHECK:STDOUT: !44 = !DILocation(line: 17, column: 3, scope: !41)
+// CHECK:STDOUT:
@@ -34,6 +34,7 @@ fn VectorizedWithOptSpeed(a: array(i32, 65536)*) {
  }
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'foo.carbon'
 // CHECK:STDOUT: source_filename = "foo.carbon"
 // CHECK:STDOUT: target triple = "x86_64-unknown-linux-gnu"
@@ -183,3 +184,4 @@ fn VectorizedWithOptSpeed(a: array(i32, 65536)*) {
 // CHECK:STDOUT: !56 = !{!57}
 // CHECK:STDOUT: !57 = !DILocalVariable(arg: 1, scope: !55, type: !7)
 // CHECK:STDOUT: !58 = !DILocation(line: 59, column: 28, scope: !55)
+// CHECK:STDOUT:
@@ -34,6 +34,7 @@ fn VectorizedWithOptSpeed(a: array(i32, 65536)*) {
  }
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'foo.carbon'
 // CHECK:STDOUT: source_filename = "foo.carbon"
 // CHECK:STDOUT:
@@ -183,3 +184,4 @@ fn VectorizedWithOptSpeed(a: array(i32, 65536)*) {
 // CHECK:STDOUT: !56 = !{!57}
 // CHECK:STDOUT: !57 = !DILocalVariable(arg: 1, scope: !55, type: !7)
 // CHECK:STDOUT: !58 = !DILocation(line: 59, column: 28, scope: !55)
+// CHECK:STDOUT:
@@ -34,6 +34,7 @@ fn VectorizedWithOptSpeed(a: array(i32, 65536)*) {
  }
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'foo.carbon'
 // CHECK:STDOUT: source_filename = "foo.carbon"
 // CHECK:STDOUT: target triple = "x86_64-unknown-linux-gnu"
@@ -158,3 +159,4 @@ fn VectorizedWithOptSpeed(a: array(i32, 65536)*) {
 // CHECK:STDOUT: !44 = !{!45}
 // CHECK:STDOUT: !45 = !DILocalVariable(arg: 1, scope: !43, type: !7)
 // CHECK:STDOUT: !46 = !DILocation(line: 17, column: 3, scope: !43)
+// CHECK:STDOUT:
@@ -102,6 +102,7 @@
 // CHECK:STDOUT:   package: <namespace> = namespace [concrete] {}
 // CHECK:STDOUT: }
 // CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = '-'
 // CHECK:STDOUT: source_filename = "-"
 // CHECK:STDOUT:
@@ -112,3 +113,4 @@
 // CHECK:STDOUT: !1 = !DIFile(filename: "-", directory: "")
 // CHECK:STDOUT: !2 = !{i32 7, !"Dwarf Version", i32 5}
 // CHECK:STDOUT: !3 = !{i32 2, !"Debug Info Version", i32 3}
+// CHECK:STDOUT:
@@ -17,6 +17,7 @@ fn F() -> i32 {
  return b;
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'var.carbon'
 // CHECK:STDOUT: source_filename = "var.carbon"
 // CHECK:STDOUT:
@@ -57,3 +58,4 @@ fn F() -> i32 {
 // CHECK:STDOUT: !12 = !{null}
 // CHECK:STDOUT: !13 = !DILocation(line: 13, column: 1, scope: !10)
 // CHECK:STDOUT: !14 = !DILocation(line: 0, scope: !10)
+// CHECK:STDOUT:
@@ -16,6 +16,7 @@ fn G() {
  var _: array((i32, i32, i32), 2) = (F(), F());
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'array_in_place.carbon'
 // CHECK:STDOUT: source_filename = "array_in_place.carbon"
 // CHECK:STDOUT:
@@ -91,3 +92,4 @@ fn G() {
 // CHECK:STDOUT: !27 = !{!28}
 // CHECK:STDOUT: !28 = !DILocalVariable(arg: 1, scope: !26, type: !22)
 // CHECK:STDOUT: !29 = !DILocation(line: 16, column: 3, scope: !26)
+// CHECK:STDOUT:
@@ -16,6 +16,7 @@ fn Run() {
  var _: array(i32, 2) = F();
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'assign_return_value.carbon'
 // CHECK:STDOUT: source_filename = "assign_return_value.carbon"
 // CHECK:STDOUT:
@@ -117,3 +118,4 @@ fn Run() {
 // CHECK:STDOUT: !30 = !{!31}
 // CHECK:STDOUT: !31 = !DILocalVariable(arg: 1, scope: !29, type: !7)
 // CHECK:STDOUT: !32 = !DILocation(line: 16, column: 3, scope: !29)
+// CHECK:STDOUT:
@@ -18,6 +18,7 @@ fn Run() {
  var _: array(i32, 3) = d;
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'base.carbon'
 // CHECK:STDOUT: source_filename = "base.carbon"
 // CHECK:STDOUT:
@@ -184,3 +185,4 @@ fn Run() {
 // CHECK:STDOUT: !49 = !{!50}
 // CHECK:STDOUT: !50 = !DILocalVariable(arg: 1, scope: !48, type: !28)
 // CHECK:STDOUT: !51 = !DILocation(line: 14, column: 3, scope: !48)
+// CHECK:STDOUT:
@@ -25,6 +25,7 @@ class A {
  }
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'field.carbon'
 // CHECK:STDOUT: source_filename = "field.carbon"
 // CHECK:STDOUT:
@@ -95,3 +96,4 @@ class A {
 // CHECK:STDOUT: !22 = !DILocation(line: 23, column: 5, scope: !19)
 // CHECK:STDOUT: !23 = !DILocation(line: 24, column: 12, scope: !19)
 // CHECK:STDOUT: !24 = !DILocation(line: 24, column: 5, scope: !19)
+// CHECK:STDOUT:
@@ -18,6 +18,7 @@ fn G() -> i32 {
  return F((1, 2, 3), 1);
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'function_param.carbon'
 // CHECK:STDOUT: source_filename = "function_param.carbon"
 // CHECK:STDOUT:
@@ -98,3 +99,4 @@ fn G() -> i32 {
 // CHECK:STDOUT: !29 = !{!30}
 // CHECK:STDOUT: !30 = !DILocalVariable(arg: 1, scope: !26, type: !8)
 // CHECK:STDOUT: !31 = !DILocation(line: 18, column: 12, scope: !26)
+// CHECK:STDOUT:
@@ -19,6 +19,7 @@ fn Get() -> ref array(i32, 4) {
  return a;
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'global_array_reference.carbon'
 // CHECK:STDOUT: source_filename = "global_array_reference.carbon"
 // CHECK:STDOUT:
@@ -62,3 +63,4 @@ fn Get() -> ref array(i32, 4) {
 // CHECK:STDOUT: !11 = !{null}
 // CHECK:STDOUT: !12 = !DILocation(line: 3, column: 1, scope: !9)
 // CHECK:STDOUT: !13 = !DILocation(line: 0, scope: !9)
+// CHECK:STDOUT:
@@ -19,6 +19,7 @@ fn F() {
  }
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'iterate.carbon'
 // CHECK:STDOUT: source_filename = "iterate.carbon"
 // CHECK:STDOUT:
@@ -363,3 +364,4 @@ fn F() {
 // CHECK:STDOUT: !134 = !{!135}
 // CHECK:STDOUT: !135 = !DILocalVariable(arg: 1, scope: !133, type: !15)
 // CHECK:STDOUT: !136 = !DILocation(line: 59, column: 28, scope: !133)
+// CHECK:STDOUT:
@@ -30,6 +30,7 @@ library "[[@TEST_NAME]]";

 var c: array(Core.Int(257), 5) = (1, 2, 3, 4, 5);

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'element_tail_padding.carbon'
 // CHECK:STDOUT: source_filename = "element_tail_padding.carbon"
 // CHECK:STDOUT:
@@ -113,6 +114,8 @@ var c: array(Core.Int(257), 5) = (1, 2, 3, 4, 5);
 // CHECK:STDOUT: !30 = !{!31}
 // CHECK:STDOUT: !31 = !DILocalVariable(arg: 1, scope: !29, type: !25)
 // CHECK:STDOUT: !32 = !DILocation(line: 9, column: 3, scope: !29)
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'constant_with_padding.carbon'
 // CHECK:STDOUT: source_filename = "constant_with_padding.carbon"
 // CHECK:STDOUT:
@@ -145,3 +148,4 @@ var c: array(Core.Int(257), 5) = (1, 2, 3, 4, 5);
 // CHECK:STDOUT: !6 = !{null}
 // CHECK:STDOUT: !7 = !DILocation(line: 3, column: 1, scope: !4)
 // CHECK:STDOUT: !8 = !DILocation(line: 0, scope: !4)
+// CHECK:STDOUT:
@@ -10,6 +10,7 @@
 // TIP: To dump output, run:
 // TIP:   bazel run //toolchain/testing:file_test -- --dump_output --file_tests=toolchain/lower/testdata/basics/empty.carbon

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'empty.carbon'
 // CHECK:STDOUT: source_filename = "empty.carbon"
 // CHECK:STDOUT:
@@ -20,3 +21,4 @@
 // CHECK:STDOUT: !1 = !DIFile(filename: "empty.carbon", directory: "")
 // CHECK:STDOUT: !2 = !{i32 7, !"Dwarf Version", i32 5}
 // CHECK:STDOUT: !3 = !{i32 2, !"Debug Info Version", i32 3}
+// CHECK:STDOUT:
@@ -23,6 +23,7 @@ fn IfEq(a: Bool(), b: Bool()) -> Bool() {
  return false;
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'bool.carbon'
 // CHECK:STDOUT: source_filename = "bool.carbon"
 // CHECK:STDOUT:
@@ -85,3 +86,4 @@ fn IfEq(a: Bool(), b: Bool()) -> Bool() {
 // CHECK:STDOUT: !24 = !DILocation(line: 22, column: 6, scope: !19)
 // CHECK:STDOUT: !25 = !DILocation(line: 22, column: 19, scope: !19)
 // CHECK:STDOUT: !26 = !DILocation(line: 23, column: 3, scope: !19)
+// CHECK:STDOUT:
@@ -19,6 +19,7 @@ fn Example() -> char {
  return c;
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'basic.carbon'
 // CHECK:STDOUT: source_filename = "basic.carbon"
 // CHECK:STDOUT:
@@ -75,3 +76,4 @@ fn Example() -> char {
 // CHECK:STDOUT: !18 = !{!19}
 // CHECK:STDOUT: !19 = !DILocalVariable(arg: 1, scope: !17, type: !7)
 // CHECK:STDOUT: !20 = !DILocation(line: 5, column: 3, scope: !17)
+// CHECK:STDOUT:
@@ -39,6 +39,7 @@ fn Test() {
  TakePointerSize(MakePointerSize((1, 2, 3, 4)));
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'std_initializer_list_make.carbon'
 // CHECK:STDOUT: source_filename = "std_initializer_list_make.carbon"
 // CHECK:STDOUT: target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
@@ -146,3 +147,4 @@ fn Test() {
 // CHECK:STDOUT: !32 = !{!33}
 // CHECK:STDOUT: !33 = !DILocalVariable(arg: 1, scope: !28, type: !31)
 // CHECK:STDOUT: !34 = !DILocation(line: 26, column: 35, scope: !28)
+// CHECK:STDOUT:
@@ -79,6 +79,7 @@ fn TestF64(a: f64, b: f64) -> f64 { return F64(a, b); }
 fn F128(a: f128, b: f128) -> f128 = "float.add";
 fn TestF128(a: f128, b: f128) -> f128 { return F128(a, b); }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'basic.carbon'
 // CHECK:STDOUT: source_filename = "basic.carbon"
 // CHECK:STDOUT:
@@ -238,6 +239,8 @@ fn TestF128(a: f128, b: f128) -> f128 { return F128(a, b); }
 // CHECK:STDOUT: !71 = !DILocalVariable(arg: 2, scope: !68, type: !7)
 // CHECK:STDOUT: !72 = !DILocation(line: 35, column: 51, scope: !68)
 // CHECK:STDOUT: !73 = !DILocation(line: 35, column: 44, scope: !68)
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'compound_assign.carbon'
 // CHECK:STDOUT: source_filename = "compound_assign.carbon"
 // CHECK:STDOUT:
@@ -313,6 +316,8 @@ fn TestF128(a: f128, b: f128) -> f128 { return F128(a, b); }
 // CHECK:STDOUT: !28 = !DILocalVariable(arg: 2, scope: !25, type: !7)
 // CHECK:STDOUT: !29 = !DILocation(line: 14, column: 34, scope: !25)
 // CHECK:STDOUT: !30 = !DILocation(line: 14, column: 1, scope: !25)
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'types.carbon'
 // CHECK:STDOUT: source_filename = "types.carbon"
 // CHECK:STDOUT:
@@ -380,3 +385,4 @@ fn TestF128(a: f128, b: f128) -> f128 { return F128(a, b); }
 // CHECK:STDOUT: !28 = !DILocalVariable(arg: 2, scope: !25, type: !7)
 // CHECK:STDOUT: !29 = !DILocation(line: 14, column: 48, scope: !25)
 // CHECK:STDOUT: !30 = !DILocation(line: 14, column: 41, scope: !25)
+// CHECK:STDOUT:
@@ -22,6 +22,7 @@ fn TestConvertF64ToF32(a: f64) -> f32 { return ConvertF64ToF32(a); }
 fn ConvertF16ToF128(a: f16) -> f128 = "float.convert";
 fn TestConvertF16ToF128(a: f16) -> f128 { return ConvertF16ToF128(a); }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'float_to_float.carbon'
 // CHECK:STDOUT: source_filename = "float_to_float.carbon"
 // CHECK:STDOUT:
@@ -73,3 +74,4 @@ fn TestConvertF16ToF128(a: f16) -> f128 { return ConvertF16ToF128(a); }
 // CHECK:STDOUT: !19 = !DILocalVariable(arg: 1, scope: !17, type: !7)
 // CHECK:STDOUT: !20 = !DILocation(line: 10, column: 50, scope: !17)
 // CHECK:STDOUT: !21 = !DILocation(line: 10, column: 43, scope: !17)
+// CHECK:STDOUT:
@@ -31,6 +31,7 @@ fn TestConvertF128ToI64(a: f128) -> i64 { return ConvertF128ToI64(a); }
 fn ConvertF128ToU64(a: f128) -> u64 = "float.convert_int";
 fn TestConvertF128ToU64(a: f128) -> u64 { return ConvertF128ToU64(a); }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'float_to_int.carbon'
 // CHECK:STDOUT: source_filename = "float_to_int.carbon"
 // CHECK:STDOUT:
@@ -128,3 +129,4 @@ fn TestConvertF128ToU64(a: f128) -> u64 { return ConvertF128ToU64(a); }
 // CHECK:STDOUT: !44 = !DILocalVariable(arg: 1, scope: !39, type: !8)
 // CHECK:STDOUT: !45 = !DILocation(line: 19, column: 50, scope: !39)
 // CHECK:STDOUT: !46 = !DILocation(line: 19, column: 43, scope: !39)
+// CHECK:STDOUT:
@@ -222,6 +222,7 @@ fn TestInt32ToUint64(a: i32) -> u64 { return Int32ToUint64(a); }
 fn TestUint32ToInt64(a: u32) -> i64 { return Uint32ToInt64(a); }
 fn TestUint32ToUint64(a: u32) -> u64 { return Uint32ToUint64(a); }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'basic.carbon'
 // CHECK:STDOUT: source_filename = "basic.carbon"
 // CHECK:STDOUT:
@@ -490,6 +491,8 @@ fn TestUint32ToUint64(a: u32) -> u64 { return Uint32ToUint64(a); }
 // CHECK:STDOUT: !124 = !DILocalVariable(arg: 2, scope: !121, type: !7)
 // CHECK:STDOUT: !125 = !DILocation(line: 59, column: 51, scope: !121)
 // CHECK:STDOUT: !126 = !DILocation(line: 59, column: 44, scope: !121)
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'compound_assign.carbon'
 // CHECK:STDOUT: source_filename = "compound_assign.carbon"
 // CHECK:STDOUT:
@@ -750,6 +753,8 @@ fn TestUint32ToUint64(a: u32) -> u64 { return Uint32ToUint64(a); }
 // CHECK:STDOUT: !105 = !DILocalVariable(arg: 2, scope: !100, type: !94)
 // CHECK:STDOUT: !106 = !DILocation(line: 50, column: 48, scope: !100)
 // CHECK:STDOUT: !107 = !DILocation(line: 50, column: 1, scope: !100)
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'mixed_shift.carbon'
 // CHECK:STDOUT: source_filename = "mixed_shift.carbon"
 // CHECK:STDOUT:
@@ -916,6 +921,8 @@ fn TestUint32ToUint64(a: u32) -> u64 { return Uint32ToUint64(a); }
 // CHECK:STDOUT: !75 = !DILocalVariable(arg: 2, scope: !72, type: !37)
 // CHECK:STDOUT: !76 = !DILocation(line: 32, column: 59, scope: !72)
 // CHECK:STDOUT: !77 = !DILocation(line: 32, column: 52, scope: !72)
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'mixed_compare.carbon'
 // CHECK:STDOUT: source_filename = "mixed_compare.carbon"
 // CHECK:STDOUT:
@@ -1087,6 +1094,8 @@ fn TestUint32ToUint64(a: u32) -> u64 { return Uint32ToUint64(a); }
 // CHECK:STDOUT: !76 = !DILocalVariable(arg: 2, scope: !73, type: !9)
 // CHECK:STDOUT: !77 = !DILocation(line: 26, column: 54, scope: !73)
 // CHECK:STDOUT: !78 = !DILocation(line: 26, column: 47, scope: !73)
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'convert.carbon'
 // CHECK:STDOUT: source_filename = "convert.carbon"
 // CHECK:STDOUT:
@@ -1265,3 +1274,4 @@ fn TestUint32ToUint64(a: u32) -> u64 { return Uint32ToUint64(a); }
 // CHECK:STDOUT: !87 = !DILocalVariable(arg: 1, scope: !83, type: !14)
 // CHECK:STDOUT: !88 = !DILocation(line: 35, column: 47, scope: !83)
 // CHECK:STDOUT: !89 = !DILocation(line: 35, column: 40, scope: !83)
+// CHECK:STDOUT:
@@ -28,6 +28,7 @@ fn IntMin() -> i32 {
  return -0x8000_0000;
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'int_literal.carbon'
 // CHECK:STDOUT: source_filename = "int_literal.carbon"
 // CHECK:STDOUT:
@@ -80,3 +81,4 @@ fn IntMin() -> i32 {
 // CHECK:STDOUT: !17 = !DILocation(line: 24, column: 3, scope: !16)
 // CHECK:STDOUT: !18 = distinct !DISubprogram(name: "IntMin", linkageName: "_CIntMin.Main", scope: null, file: !1, line: 27, type: !12, spFlags: DISPFlagDefinition, unit: !0)
 // CHECK:STDOUT: !19 = !DILocation(line: 28, column: 3, scope: !18)
+// CHECK:STDOUT:
@@ -31,6 +31,7 @@ fn TestConvertI64ToF128(a: i64) -> f128 { return ConvertI64ToF128(a); }
 fn ConvertU64ToF128(a: u64) -> f128 = "int.convert_float";
 fn TestConvertU64ToF128(a: u64) -> f128 { return ConvertU64ToF128(a); }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'int_to_float.carbon'
 // CHECK:STDOUT: source_filename = "int_to_float.carbon"
 // CHECK:STDOUT:
@@ -128,3 +129,4 @@ fn TestConvertU64ToF128(a: u64) -> f128 { return ConvertU64ToF128(a); }
 // CHECK:STDOUT: !44 = !DILocalVariable(arg: 1, scope: !39, type: !42)
 // CHECK:STDOUT: !45 = !DILocation(line: 19, column: 50, scope: !39)
 // CHECK:STDOUT: !46 = !DILocation(line: 19, column: 43, scope: !39)
+// CHECK:STDOUT:
@@ -55,6 +55,7 @@ fn PassAdapterBool() {
  TakeAdapterBool(MakeAdapterBool());
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'maybe_unformed.carbon'
 // CHECK:STDOUT: source_filename = "maybe_unformed.carbon"
 // CHECK:STDOUT:
@@ -251,3 +252,4 @@ fn PassAdapterBool() {
 // CHECK:STDOUT: !66 = !{!67}
 // CHECK:STDOUT: !67 = !DILocalVariable(arg: 1, scope: !65, type: !14)
 // CHECK:STDOUT: !68 = !DILocation(line: 55, column: 19, scope: !65)
+// CHECK:STDOUT:
@@ -16,6 +16,7 @@ fn AddMethod(self: i32, b: i32) -> i32 = "int.sadd";
 fn TestAddNonmethod(a: i32, b: i32) -> i32 { return AddNonmethod(a, b); }
 fn TestAddMethod(a: i32, b: i32) -> i32 { return a.(AddMethod)(b); }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'method_vs_nonmethod.carbon'
 // CHECK:STDOUT: source_filename = "method_vs_nonmethod.carbon"
 // CHECK:STDOUT:
@@ -57,3 +58,4 @@ fn TestAddMethod(a: i32, b: i32) -> i32 { return a.(AddMethod)(b); }
 // CHECK:STDOUT: !16 = !DILocalVariable(arg: 2, scope: !13, type: !7)
 // CHECK:STDOUT: !17 = !DILocation(line: 17, column: 50, scope: !13)
 // CHECK:STDOUT: !18 = !DILocation(line: 17, column: 43, scope: !13)
+// CHECK:STDOUT:
@@ -33,6 +33,7 @@ fn J() {
  NoOp2(I());
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'no_op.carbon'
 // CHECK:STDOUT: source_filename = "no_op.carbon"
 // CHECK:STDOUT:
@@ -95,3 +96,4 @@ fn J() {
 // CHECK:STDOUT: !13 = distinct !DISubprogram(name: "J", linkageName: "_CJ.Main", scope: null, file: !1, line: 32, type: !5, spFlags: DISPFlagDefinition, unit: !0)
 // CHECK:STDOUT: !14 = !DILocation(line: 33, column: 9, scope: !13)
 // CHECK:STDOUT: !15 = !DILocation(line: 32, column: 1, scope: !13)
+// CHECK:STDOUT:
@@ -14,6 +14,7 @@ fn AddThreeIntegers(a: i32, b: i32, c: i32) -> i32 {
  return a + b + c;
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'overloaded_operator.carbon'
 // CHECK:STDOUT: source_filename = "overloaded_operator.carbon"
 // CHECK:STDOUT:
@@ -44,3 +45,4 @@ fn AddThreeIntegers(a: i32, b: i32, c: i32) -> i32 {
 // CHECK:STDOUT: !11 = !DILocalVariable(arg: 3, scope: !4, type: !7)
 // CHECK:STDOUT: !12 = !DILocation(line: 14, column: 10, scope: !4)
 // CHECK:STDOUT: !13 = !DILocation(line: 14, column: 3, scope: !4)
+// CHECK:STDOUT:
@@ -24,6 +24,7 @@ fn Check(p: MakeUnformed(C*)) -> bool {
  return IsNull(p);
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'pointer.carbon'
 // CHECK:STDOUT: source_filename = "pointer.carbon"
 // CHECK:STDOUT:
@@ -61,3 +62,4 @@ fn Check(p: MakeUnformed(C*)) -> bool {
 // CHECK:STDOUT: !13 = !DILocalVariable(arg: 1, scope: !9, type: !7)
 // CHECK:STDOUT: !14 = !DILocation(line: 24, column: 10, scope: !9)
 // CHECK:STDOUT: !15 = !DILocation(line: 24, column: 3, scope: !9)
+// CHECK:STDOUT:
@@ -27,6 +27,7 @@ fn Main() {
  }
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'print_read.carbon'
 // CHECK:STDOUT: source_filename = "print_read.carbon"
 // CHECK:STDOUT:
@@ -89,3 +90,4 @@ fn Main() {
 // CHECK:STDOUT: !13 = !DILocation(line: 24, column: 5, scope: !4)
 // CHECK:STDOUT: !14 = !DILocation(line: 22, column: 3, scope: !4)
 // CHECK:STDOUT: !15 = !DILocation(line: 18, column: 1, scope: !4)
+// CHECK:STDOUT:
@@ -33,6 +33,7 @@ fn Uses() {
  BoolParam(false);
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'types.carbon'
 // CHECK:STDOUT: source_filename = "types.carbon"
 // CHECK:STDOUT:
@@ -67,3 +68,4 @@ fn Uses() {
 // CHECK:STDOUT: !8 = !DILocation(line: 32, column: 3, scope: !4)
 // CHECK:STDOUT: !9 = !DILocation(line: 33, column: 3, scope: !4)
 // CHECK:STDOUT: !10 = !DILocation(line: 30, column: 1, scope: !4)
+// CHECK:STDOUT:
@@ -64,6 +64,7 @@ fn TestGreater(a: u64, b: u64) -> bool { return Greater(a, b); }
 fn GreaterEq(a: u64, b: u64) -> bool = "int.greater_eq";
 fn TestGreaterEq(a: u64, b: u64) -> bool { return GreaterEq(a, b); }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'uint.carbon'
 // CHECK:STDOUT: source_filename = "uint.carbon"
 // CHECK:STDOUT:
@@ -316,3 +317,4 @@ fn TestGreaterEq(a: u64, b: u64) -> bool { return GreaterEq(a, b); }
 // CHECK:STDOUT: !115 = !DILocalVariable(arg: 2, scope: !112, type: !7)
 // CHECK:STDOUT: !116 = !DILocation(line: 65, column: 51, scope: !112)
 // CHECK:STDOUT: !117 = !DILocation(line: 65, column: 44, scope: !112)
+// CHECK:STDOUT:
@@ -22,6 +22,7 @@ fn F() {
  let unused local_vehicle: VehicleType = VehicleType.Car;
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'basic.carbon'
 // CHECK:STDOUT: source_filename = "basic.carbon"
 // CHECK:STDOUT:
@@ -59,3 +60,4 @@ fn F() {
 // CHECK:STDOUT: !7 = !DILocation(line: 21, column: 1, scope: !4)
 // CHECK:STDOUT: !8 = distinct !DISubprogram(name: "__global_init", linkageName: "_C__global_init.Main", scope: null, file: !1, type: !5, spFlags: DISPFlagDefinition, unit: !0)
 // CHECK:STDOUT: !9 = !DILocation(line: 0, scope: !8)
+// CHECK:STDOUT:
@@ -57,6 +57,7 @@ fn DoStuff(a: Int) -> Int {
  return a;
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'adapt_class.carbon'
 // CHECK:STDOUT: source_filename = "adapt_class.carbon"
 // CHECK:STDOUT:
@@ -181,6 +182,8 @@ fn DoStuff(a: Int) -> Int {
 // CHECK:STDOUT: !45 = !{!46}
 // CHECK:STDOUT: !46 = !DILocalVariable(arg: 1, scope: !44, type: !7)
 // CHECK:STDOUT: !47 = !DILocation(line: 27, column: 3, scope: !44)
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'adapt_int.carbon'
 // CHECK:STDOUT: source_filename = "adapt_int.carbon"
 // CHECK:STDOUT:
@@ -218,3 +221,4 @@ fn DoStuff(a: Int) -> Int {
 // CHECK:STDOUT: !13 = !DILocalVariable(arg: 1, scope: !11, type: !7)
 // CHECK:STDOUT: !14 = !DILocation(line: 13, column: 10, scope: !11)
 // CHECK:STDOUT: !15 = !DILocation(line: 13, column: 3, scope: !11)
+// CHECK:STDOUT:
@@ -32,6 +32,7 @@ fn Convert(p: Derived*) -> Base* {
  return p;
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'base.carbon'
 // CHECK:STDOUT: source_filename = "base.carbon"
 // CHECK:STDOUT:
@@ -102,3 +103,4 @@ fn Convert(p: Derived*) -> Base* {
 // CHECK:STDOUT: !21 = !{!22}
 // CHECK:STDOUT: !22 = !DILocalVariable(arg: 1, scope: !20, type: !7)
 // CHECK:STDOUT: !23 = !DILocation(line: 32, column: 3, scope: !20)
+// CHECK:STDOUT:
@@ -22,6 +22,7 @@ fn Run() {
  var _: C = F(c);
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'basic.carbon'
 // CHECK:STDOUT: source_filename = "basic.carbon"
 // CHECK:STDOUT:
@@ -100,3 +101,4 @@ fn Run() {
 // CHECK:STDOUT: !26 = !{!27}
 // CHECK:STDOUT: !27 = !DILocalVariable(arg: 1, scope: !25, type: !21)
 // CHECK:STDOUT: !28 = !DILocation(line: 22, column: 3, scope: !25)
+// CHECK:STDOUT:
@@ -25,6 +25,7 @@ fn DoIt() {
  Consume(w);
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'convert.carbon'
 // CHECK:STDOUT: source_filename = "convert.carbon"
 // CHECK:STDOUT:
@@ -128,3 +129,4 @@ fn DoIt() {
 // CHECK:STDOUT: !38 = !{!39}
 // CHECK:STDOUT: !39 = !DILocalVariable(arg: 1, scope: !37, type: !8)
 // CHECK:STDOUT: !40 = !DILocation(line: 24, column: 3, scope: !37)
+// CHECK:STDOUT:
@@ -68,6 +68,7 @@ fn Run() {
  var _: Use = {.a = &o, .b = {.v = 42}};
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'basic.carbon'
 // CHECK:STDOUT: source_filename = "basic.carbon"
 // CHECK:STDOUT:
@@ -160,6 +161,8 @@ fn Run() {
 // CHECK:STDOUT: !35 = !{!36}
 // CHECK:STDOUT: !36 = !DILocalVariable(arg: 1, scope: !34, type: !8)
 // CHECK:STDOUT: !37 = !DILocation(line: 14, column: 3, scope: !34)
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'inplace_init_with_nonconst.carbon'
 // CHECK:STDOUT: source_filename = "inplace_init_with_nonconst.carbon"
 // CHECK:STDOUT:
@@ -241,6 +244,8 @@ fn Run() {
 // CHECK:STDOUT: !24 = !{!25}
 // CHECK:STDOUT: !25 = !DILocalVariable(arg: 1, scope: !23, type: !15)
 // CHECK:STDOUT: !26 = !DILocation(line: 15, column: 3, scope: !23)
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'implicit_init_with_nonempty_nonconst.carbon'
 // CHECK:STDOUT: source_filename = "implicit_init_with_nonempty_nonconst.carbon"
 // CHECK:STDOUT:
@@ -346,3 +351,4 @@ fn Run() {
 // CHECK:STDOUT: !35 = !{!36}
 // CHECK:STDOUT: !36 = !DILocalVariable(arg: 1, scope: !34, type: !22)
 // CHECK:STDOUT: !37 = !DILocation(line: 17, column: 3, scope: !34)
+// CHECK:STDOUT:
@@ -19,6 +19,7 @@ class C {

 var c: C = {};

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'field_initializer.carbon'
 // CHECK:STDOUT: source_filename = "field_initializer.carbon"
 // CHECK:STDOUT:
@@ -51,3 +52,4 @@ var c: C = {};
 // CHECK:STDOUT: !6 = !{null}
 // CHECK:STDOUT: !7 = !DILocation(line: 7, column: 1, scope: !4)
 // CHECK:STDOUT: !8 = !DILocation(line: 0, scope: !4)
+// CHECK:STDOUT:
@@ -102,6 +102,7 @@ fn AccessTuple() -> (i32, i32, i32) {
  return c.GetT();
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'classes.carbon'
 // CHECK:STDOUT: source_filename = "classes.carbon"
 // CHECK:STDOUT:
@@ -112,6 +113,8 @@ fn AccessTuple() -> (i32, i32, i32) {
 // CHECK:STDOUT: !1 = !DIFile(filename: "classes.carbon", directory: "")
 // CHECK:STDOUT: !2 = !{i32 7, !"Dwarf Version", i32 5}
 // CHECK:STDOUT: !3 = !{i32 2, !"Debug Info Version", i32 3}
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'create.carbon'
 // CHECK:STDOUT: source_filename = "create.carbon"
 // CHECK:STDOUT:
@@ -157,6 +160,8 @@ fn AccessTuple() -> (i32, i32, i32) {
 // CHECK:STDOUT: !11 = distinct !DISubprogram(name: "CreateAdapter", linkageName: "_CCreateAdapter.Create", scope: null, file: !1, line: 10, type: !5, spFlags: DISPFlagDefinition, unit: !0)
 // CHECK:STDOUT: !12 = !DILocation(line: 11, column: 10, scope: !11)
 // CHECK:STDOUT: !13 = !DILocation(line: 11, column: 3, scope: !11)
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'create_generic.carbon'
 // CHECK:STDOUT: source_filename = "create_generic.carbon"
 // CHECK:STDOUT:
@@ -280,6 +285,8 @@ fn AccessTuple() -> (i32, i32, i32) {
 // CHECK:STDOUT: !45 = !DILocation(line: 53, column: 12, scope: !38)
 // CHECK:STDOUT: !46 = !DILocation(line: 53, column: 26, scope: !38)
 // CHECK:STDOUT: !47 = !DILocation(line: 53, column: 5, scope: !38)
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'access.carbon'
 // CHECK:STDOUT: source_filename = "access.carbon"
 // CHECK:STDOUT:
@@ -557,3 +564,4 @@ fn AccessTuple() -> (i32, i32, i32) {
 // CHECK:STDOUT: !99 = !DILocation(line: 59, column: 26, scope: !93)
 // CHECK:STDOUT: !100 = !DILocation(line: 59, column: 39, scope: !93)
 // CHECK:STDOUT: !101 = !DILocation(line: 59, column: 5, scope: !93)
+// CHECK:STDOUT:
@@ -27,6 +27,7 @@ fn Run() {
  C.F();
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'a.carbon'
 // CHECK:STDOUT: source_filename = "a.carbon"
 // CHECK:STDOUT:
@@ -39,6 +40,8 @@ fn Run() {
 // CHECK:STDOUT: !1 = !DIFile(filename: "a.carbon", directory: "")
 // CHECK:STDOUT: !2 = !{i32 7, !"Dwarf Version", i32 5}
 // CHECK:STDOUT: !3 = !{i32 2, !"Debug Info Version", i32 3}
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'b.carbon'
 // CHECK:STDOUT: source_filename = "b.carbon"
 // CHECK:STDOUT:
@@ -66,3 +69,4 @@ fn Run() {
 // CHECK:STDOUT: !7 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
 // CHECK:STDOUT: !8 = !DILocation(line: 4, column: 3, scope: !4)
 // CHECK:STDOUT: !9 = !DILocation(line: 3, column: 1, scope: !4)
+// CHECK:STDOUT:
@@ -22,6 +22,7 @@ fn F(p: C*) {
  (*p).Set(n);
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'method.carbon'
 // CHECK:STDOUT: source_filename = "method.carbon"
 // CHECK:STDOUT:
@@ -55,3 +56,4 @@ fn F(p: C*) {
 // CHECK:STDOUT: !10 = !DILocation(line: 21, column: 16, scope: !4)
 // CHECK:STDOUT: !11 = !DILocation(line: 22, column: 3, scope: !4)
 // CHECK:STDOUT: !12 = !DILocation(line: 20, column: 1, scope: !4)
+// CHECK:STDOUT:
@@ -25,6 +25,7 @@ fn C.Set(ref self: C) {
  self.a = 1;
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'self.carbon'
 // CHECK:STDOUT: source_filename = "self.carbon"
 // CHECK:STDOUT:
@@ -69,3 +70,4 @@ fn C.Set(ref self: C) {
 // CHECK:STDOUT: !17 = !DILocalVariable(arg: 1, scope: !13, type: !8)
 // CHECK:STDOUT: !18 = !DILocation(line: 25, column: 3, scope: !13)
 // CHECK:STDOUT: !19 = !DILocation(line: 24, column: 1, scope: !13)
+// CHECK:STDOUT:
@@ -41,6 +41,7 @@ fn Run() -> i32 {
  return Cpp.F();
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'static.carbon'
 // CHECK:STDOUT: source_filename = "static.carbon"
 // CHECK:STDOUT:
@@ -83,6 +84,8 @@ fn Run() -> i32 {
 // CHECK:STDOUT: !11 = !DILocation(line: 4, column: 10, scope: !10)
 // CHECK:STDOUT: !12 = !DILocation(line: 5, column: 10, scope: !10)
 // CHECK:STDOUT: !13 = !DILocation(line: 0, scope: !10)
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'static_export.carbon'
 // CHECK:STDOUT: source_filename = "static_export.carbon"
 // CHECK:STDOUT: target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
@@ -166,3 +169,4 @@ fn Run() -> i32 {
 // CHECK:STDOUT: !30 = !{null}
 // CHECK:STDOUT: !31 = !DILocation(line: 5, column: 10, scope: !28)
 // CHECK:STDOUT: !32 = !DILocation(line: 0, scope: !28)
+// CHECK:STDOUT:
@@ -21,6 +21,7 @@ fn F(c: C) -> i32 {
  return c.a.1;
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'value_access.carbon'
 // CHECK:STDOUT: source_filename = "value_access.carbon"
 // CHECK:STDOUT:
@@ -69,3 +70,4 @@ fn F(c: C) -> i32 {
 // CHECK:STDOUT: !10 = !DILocalVariable(arg: 1, scope: !4, type: !8)
 // CHECK:STDOUT: !11 = !DILocation(line: 21, column: 10, scope: !4)
 // CHECK:STDOUT: !12 = !DILocation(line: 21, column: 3, scope: !4)
+// CHECK:STDOUT:
@@ -212,6 +212,7 @@ fn Use() {
  p->F({});
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'classes.carbon'
 // CHECK:STDOUT: source_filename = "classes.carbon"
 // CHECK:STDOUT:
@@ -262,6 +263,8 @@ fn Use() {
 // CHECK:STDOUT: !16 = !{!17}
 // CHECK:STDOUT: !17 = !DILocalVariable(arg: 1, scope: !15, type: !7)
 // CHECK:STDOUT: !18 = !DILocation(line: 14, column: 3, scope: !15)
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'create.carbon'
 // CHECK:STDOUT: source_filename = "create.carbon"
 // CHECK:STDOUT:
@@ -407,6 +410,8 @@ fn Use() {
 // CHECK:STDOUT: !40 = !DILocalVariable(arg: 1, scope: !38, type: !18)
 // CHECK:STDOUT: !41 = !DILocation(line: 16, column: 3, scope: !38)
 // CHECK:STDOUT: !42 = !DILocation(line: 15, column: 1, scope: !38)
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'create_named_ctor.carbon'
 // CHECK:STDOUT: source_filename = "create_named_ctor.carbon"
 // CHECK:STDOUT:
@@ -509,6 +514,8 @@ fn Use() {
 // CHECK:STDOUT: !24 = !DILocation(line: 27, column: 10, scope: !23)
 // CHECK:STDOUT: !25 = !DILocation(line: 27, column: 19, scope: !23)
 // CHECK:STDOUT: !26 = !DILocation(line: 27, column: 3, scope: !23)
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'member_init.carbon'
 // CHECK:STDOUT: source_filename = "member_init.carbon"
 // CHECK:STDOUT:
@@ -618,6 +625,8 @@ fn Use() {
 // CHECK:STDOUT: !34 = !{!35}
 // CHECK:STDOUT: !35 = !DILocalVariable(arg: 1, scope: !33, type: !7)
 // CHECK:STDOUT: !36 = !DILocation(line: 13, column: 3, scope: !33)
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'member_brace_init.carbon'
 // CHECK:STDOUT: source_filename = "member_brace_init.carbon"
 // CHECK:STDOUT:
@@ -708,6 +717,8 @@ fn Use() {
 // CHECK:STDOUT: !27 = !{!28}
 // CHECK:STDOUT: !28 = !DILocalVariable(arg: 1, scope: !26, type: !14)
 // CHECK:STDOUT: !29 = !DILocation(line: 13, column: 3, scope: !26)
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'call.carbon'
 // CHECK:STDOUT: source_filename = "call.carbon"
 // CHECK:STDOUT:
@@ -745,6 +756,8 @@ fn Use() {
 // CHECK:STDOUT: !9 = !DILocalVariable(arg: 1, scope: !4, type: !7)
 // CHECK:STDOUT: !10 = !DILocation(line: 9, column: 3, scope: !4)
 // CHECK:STDOUT: !11 = !DILocation(line: 8, column: 1, scope: !4)
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'call_impl.carbon'
 // CHECK:STDOUT: source_filename = "call_impl.carbon"
 // CHECK:STDOUT:
@@ -858,6 +871,8 @@ fn Use() {
 // CHECK:STDOUT: !32 = !{!33}
 // CHECK:STDOUT: !33 = !DILocalVariable(arg: 1, scope: !31, type: !7)
 // CHECK:STDOUT: !34 = !DILocation(line: 14, column: 3, scope: !31)
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'generic_noop.carbon'
 // CHECK:STDOUT: source_filename = "generic_noop.carbon"
 // CHECK:STDOUT:
@@ -868,6 +883,8 @@ fn Use() {
 // CHECK:STDOUT: !1 = !DIFile(filename: "generic_noop.carbon", directory: "")
 // CHECK:STDOUT: !2 = !{i32 7, !"Dwarf Version", i32 5}
 // CHECK:STDOUT: !3 = !{i32 2, !"Debug Info Version", i32 3}
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'generic_use.carbon'
 // CHECK:STDOUT: source_filename = "generic_use.carbon"
 // CHECK:STDOUT:
@@ -1011,6 +1028,8 @@ fn Use() {
 // CHECK:STDOUT: !46 = !DILocalVariable(arg: 1, scope: !44, type: !15)
 // CHECK:STDOUT: !47 = !DILocation(line: 6, column: 5, scope: !44)
 // CHECK:STDOUT: !48 = !DILocation(line: 5, column: 3, scope: !44)
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'generic_base.carbon'
 // CHECK:STDOUT: source_filename = "generic_base.carbon"
 // CHECK:STDOUT:
@@ -1096,6 +1115,8 @@ fn Use() {
 // CHECK:STDOUT: !29 = !{!30}
 // CHECK:STDOUT: !30 = !DILocalVariable(arg: 1, scope: !28, type: !12)
 // CHECK:STDOUT: !31 = !DILocation(line: 5, column: 3, scope: !28)
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'thunk.carbon'
 // CHECK:STDOUT: source_filename = "thunk.carbon"
 // CHECK:STDOUT:
@@ -1267,3 +1288,4 @@ fn Use() {
 // CHECK:STDOUT: !51 = !{!52}
 // CHECK:STDOUT: !52 = !DILocalVariable(arg: 1, scope: !50, type: !7)
 // CHECK:STDOUT: !53 = !DILocation(line: 23, column: 3, scope: !50)
+// CHECK:STDOUT:
@@ -14,6 +14,7 @@
 fn F() {
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'nodebug.carbon'
 // CHECK:STDOUT: source_filename = "nodebug.carbon"
 // CHECK:STDOUT:
@@ -24,3 +25,4 @@ fn F() {
 // CHECK:STDOUT: }
 // CHECK:STDOUT:
 // CHECK:STDOUT: attributes #0 = { nounwind }
+// CHECK:STDOUT:
@@ -31,6 +31,7 @@ fn For() {
  }
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'bindings.carbon'
 // CHECK:STDOUT: source_filename = "bindings.carbon"
 // CHECK:STDOUT:
@@ -311,3 +312,4 @@ fn For() {
 // CHECK:STDOUT: !99 = !DILocation(line: 63, column: 12, scope: !94)
 // CHECK:STDOUT: !100 = !DILocation(line: 63, column: 26, scope: !94)
 // CHECK:STDOUT: !101 = !DILocation(line: 63, column: 5, scope: !94)
+// CHECK:STDOUT:
@@ -24,6 +24,7 @@ fn For() {
  }
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'break_continue.carbon'
 // CHECK:STDOUT: source_filename = "break_continue.carbon"
 // CHECK:STDOUT:
@@ -408,3 +409,4 @@ fn For() {
 // CHECK:STDOUT: !147 = !{!148}
 // CHECK:STDOUT: !148 = !DILocalVariable(arg: 1, scope: !146, type: !22)
 // CHECK:STDOUT: !149 = !DILocation(line: 59, column: 28, scope: !146)
+// CHECK:STDOUT:
@@ -24,6 +24,7 @@ fn For() {
  H();
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'for.carbon'
 // CHECK:STDOUT: source_filename = "for.carbon"
 // CHECK:STDOUT:
@@ -392,3 +393,4 @@ fn For() {
 // CHECK:STDOUT: !143 = !{!144}
 // CHECK:STDOUT: !144 = !DILocalVariable(arg: 1, scope: !142, type: !18)
 // CHECK:STDOUT: !145 = !DILocation(line: 59, column: 28, scope: !142)
+// CHECK:STDOUT:
@@ -18,6 +18,7 @@ fn Main() {
  var _: {} = Echo({});
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'empty_struct.carbon'
 // CHECK:STDOUT: source_filename = "empty_struct.carbon"
 // CHECK:STDOUT:
@@ -57,3 +58,4 @@ fn Main() {
 // CHECK:STDOUT: !9 = !DILocation(line: 18, column: 3, scope: !8)
 // CHECK:STDOUT: !10 = !DILocation(line: 18, column: 15, scope: !8)
 // CHECK:STDOUT: !11 = !DILocation(line: 17, column: 1, scope: !8)
+// CHECK:STDOUT:
@@ -18,6 +18,7 @@ fn Main() {
  var _: () = Echo(());
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'empty_tuple.carbon'
 // CHECK:STDOUT: source_filename = "empty_tuple.carbon"
 // CHECK:STDOUT:
@@ -57,3 +58,4 @@ fn Main() {
 // CHECK:STDOUT: !9 = !DILocation(line: 18, column: 3, scope: !8)
 // CHECK:STDOUT: !10 = !DILocation(line: 18, column: 15, scope: !8)
 // CHECK:STDOUT: !11 = !DILocation(line: 17, column: 1, scope: !8)
+// CHECK:STDOUT:
@@ -65,6 +65,7 @@ fn G() {
  let unused x: i32 = F();
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'ref_form_param.carbon'
 // CHECK:STDOUT: source_filename = "ref_form_param.carbon"
 // CHECK:STDOUT:
@@ -113,6 +114,8 @@ fn G() {
 // CHECK:STDOUT: !14 = !{!15}
 // CHECK:STDOUT: !15 = !DILocalVariable(arg: 1, scope: !10, type: !13)
 // CHECK:STDOUT: !16 = !DILocation(line: 6, column: 3, scope: !10)
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'var_form_param.carbon'
 // CHECK:STDOUT: source_filename = "var_form_param.carbon"
 // CHECK:STDOUT:
@@ -161,6 +164,8 @@ fn G() {
 // CHECK:STDOUT: !14 = !{!15}
 // CHECK:STDOUT: !15 = !DILocalVariable(arg: 1, scope: !10, type: !13)
 // CHECK:STDOUT: !16 = !DILocation(line: 3, column: 6, scope: !10)
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'val_form_param.carbon'
 // CHECK:STDOUT: source_filename = "val_form_param.carbon"
 // CHECK:STDOUT:
@@ -187,6 +192,8 @@ fn G() {
 // CHECK:STDOUT: !6 = !{null}
 // CHECK:STDOUT: !7 = !DILocation(line: 6, column: 3, scope: !4)
 // CHECK:STDOUT: !8 = !DILocation(line: 5, column: 1, scope: !4)
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'ref_return_form.carbon'
 // CHECK:STDOUT: source_filename = "ref_return_form.carbon"
 // CHECK:STDOUT:
@@ -213,6 +220,8 @@ fn G() {
 // CHECK:STDOUT: !6 = !{null}
 // CHECK:STDOUT: !7 = !DILocation(line: 6, column: 27, scope: !4)
 // CHECK:STDOUT: !8 = !DILocation(line: 5, column: 1, scope: !4)
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'var_return_form.carbon'
 // CHECK:STDOUT: source_filename = "var_return_form.carbon"
 // CHECK:STDOUT:
@@ -261,6 +270,8 @@ fn G() {
 // CHECK:STDOUT: !14 = !{!15}
 // CHECK:STDOUT: !15 = !DILocalVariable(arg: 1, scope: !10, type: !13)
 // CHECK:STDOUT: !16 = !DILocation(line: 6, column: 14, scope: !10)
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'val_return_form.carbon'
 // CHECK:STDOUT: source_filename = "val_return_form.carbon"
 // CHECK:STDOUT:
@@ -287,3 +298,4 @@ fn G() {
 // CHECK:STDOUT: !6 = !{null}
 // CHECK:STDOUT: !7 = !DILocation(line: 6, column: 23, scope: !4)
 // CHECK:STDOUT: !8 = !DILocation(line: 5, column: 1, scope: !4)
+// CHECK:STDOUT:
@@ -18,6 +18,7 @@ fn Main() {
  var _: i32 = Echo(1);
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'i32.carbon'
 // CHECK:STDOUT: source_filename = "i32.carbon"
 // CHECK:STDOUT:
@@ -76,3 +77,4 @@ fn Main() {
 // CHECK:STDOUT: !20 = !{!21}
 // CHECK:STDOUT: !21 = !DILocalVariable(arg: 1, scope: !17, type: !7)
 // CHECK:STDOUT: !22 = !DILocation(line: 18, column: 3, scope: !17)
+// CHECK:STDOUT:
@@ -19,6 +19,7 @@ fn Main() {
  var _: () = Bar(Foo());
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'implicit_empty_tuple_as_arg.carbon'
 // CHECK:STDOUT: source_filename = "implicit_empty_tuple_as_arg.carbon"
 // CHECK:STDOUT:
@@ -73,3 +74,4 @@ fn Main() {
 // CHECK:STDOUT: !12 = !DILocation(line: 19, column: 19, scope: !10)
 // CHECK:STDOUT: !13 = !DILocation(line: 19, column: 15, scope: !10)
 // CHECK:STDOUT: !14 = !DILocation(line: 18, column: 1, scope: !10)
+// CHECK:STDOUT:
@@ -16,6 +16,7 @@ fn Main() {
  Foo(1);
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'params_one.carbon'
 // CHECK:STDOUT: source_filename = "params_one.carbon"
 // CHECK:STDOUT:
@@ -53,3 +54,4 @@ fn Main() {
 // CHECK:STDOUT: !13 = !{null}
 // CHECK:STDOUT: !14 = !DILocation(line: 16, column: 3, scope: !11)
 // CHECK:STDOUT: !15 = !DILocation(line: 15, column: 1, scope: !11)
+// CHECK:STDOUT:
@@ -17,6 +17,7 @@ fn Main() {
  Foo(1,);
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'params_one_comma.carbon'
 // CHECK:STDOUT: source_filename = "params_one_comma.carbon"
 // CHECK:STDOUT:
@@ -56,3 +57,4 @@ fn Main() {
 // CHECK:STDOUT: !14 = !DILocation(line: 16, column: 3, scope: !11)
 // CHECK:STDOUT: !15 = !DILocation(line: 17, column: 3, scope: !11)
 // CHECK:STDOUT: !16 = !DILocation(line: 15, column: 1, scope: !11)
+// CHECK:STDOUT:
@@ -16,6 +16,7 @@ fn Main() {
  Foo(1, 2);
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'params_two.carbon'
 // CHECK:STDOUT: source_filename = "params_two.carbon"
 // CHECK:STDOUT:
@@ -54,3 +55,4 @@ fn Main() {
 // CHECK:STDOUT: !14 = !{null}
 // CHECK:STDOUT: !15 = !DILocation(line: 16, column: 3, scope: !12)
 // CHECK:STDOUT: !16 = !DILocation(line: 15, column: 1, scope: !12)
+// CHECK:STDOUT:
@@ -17,6 +17,7 @@ fn Main() {
  Foo(1, 2,);
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'params_two_comma.carbon'
 // CHECK:STDOUT: source_filename = "params_two_comma.carbon"
 // CHECK:STDOUT:
@@ -57,3 +58,4 @@ fn Main() {
 // CHECK:STDOUT: !15 = !DILocation(line: 16, column: 3, scope: !12)
 // CHECK:STDOUT: !16 = !DILocation(line: 17, column: 3, scope: !12)
 // CHECK:STDOUT: !17 = !DILocation(line: 15, column: 1, scope: !12)
+// CHECK:STDOUT:
@@ -16,6 +16,7 @@ fn Main() {
  Foo();
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'params_zero.carbon'
 // CHECK:STDOUT: source_filename = "params_zero.carbon"
 // CHECK:STDOUT:
@@ -48,3 +49,4 @@ fn Main() {
 // CHECK:STDOUT: !8 = distinct !DISubprogram(name: "Main", linkageName: "_CMain.Main", scope: null, file: !1, line: 15, type: !5, spFlags: DISPFlagDefinition, unit: !0)
 // CHECK:STDOUT: !9 = !DILocation(line: 16, column: 3, scope: !8)
 // CHECK:STDOUT: !10 = !DILocation(line: 15, column: 1, scope: !8)
+// CHECK:STDOUT:
@@ -17,6 +17,7 @@ fn Main() {
  DoNothing(ref a);
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'ref_param.carbon'
 // CHECK:STDOUT: source_filename = "ref_param.carbon"
 // CHECK:STDOUT:
@@ -73,3 +74,4 @@ fn Main() {
 // CHECK:STDOUT: !18 = !{!19}
 // CHECK:STDOUT: !19 = !DILocalVariable(arg: 1, scope: !17, type: !7)
 // CHECK:STDOUT: !20 = !DILocation(line: 16, column: 3, scope: !17)
+// CHECK:STDOUT:
@@ -19,6 +19,7 @@ fn Main() {
  Echo(ref a) = 1;
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'ref_return.carbon'
 // CHECK:STDOUT: source_filename = "ref_return.carbon"
 // CHECK:STDOUT:
@@ -79,3 +80,4 @@ fn Main() {
 // CHECK:STDOUT: !21 = !{!22}
 // CHECK:STDOUT: !22 = !DILocalVariable(arg: 1, scope: !18, type: !8)
 // CHECK:STDOUT: !23 = !DILocation(line: 18, column: 3, scope: !18)
+// CHECK:STDOUT:
@@ -18,6 +18,7 @@ fn Main() {
  var _: () = MakeImplicitEmptyTuple();
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'return_implicit.carbon'
 // CHECK:STDOUT: source_filename = "return_implicit.carbon"
 // CHECK:STDOUT:
@@ -57,3 +58,4 @@ fn Main() {
 // CHECK:STDOUT: !9 = !DILocation(line: 18, column: 3, scope: !8)
 // CHECK:STDOUT: !10 = !DILocation(line: 18, column: 15, scope: !8)
 // CHECK:STDOUT: !11 = !DILocation(line: 17, column: 1, scope: !8)
+// CHECK:STDOUT:
@@ -16,6 +16,7 @@ fn Main() {
  F({}, {.a = 1}, {.a = 2, .b = 3});
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'struct_param.carbon'
 // CHECK:STDOUT: source_filename = "struct_param.carbon"
 // CHECK:STDOUT:
@@ -56,3 +57,4 @@ fn Main() {
 // CHECK:STDOUT: !14 = !{null}
 // CHECK:STDOUT: !15 = !DILocation(line: 16, column: 3, scope: !12)
 // CHECK:STDOUT: !16 = !DILocation(line: 15, column: 1, scope: !12)
+// CHECK:STDOUT:
@@ -16,6 +16,7 @@ fn Main() {
  F((), (1,), (2, 3));
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'tuple_param.carbon'
 // CHECK:STDOUT: source_filename = "tuple_param.carbon"
 // CHECK:STDOUT:
@@ -56,3 +57,4 @@ fn Main() {
 // CHECK:STDOUT: !14 = !{null}
 // CHECK:STDOUT: !15 = !DILocation(line: 16, column: 3, scope: !12)
 // CHECK:STDOUT: !16 = !DILocation(line: 15, column: 1, scope: !12)
+// CHECK:STDOUT:
@@ -18,6 +18,7 @@ fn Main() {
  F((), (1,), (2, 3));
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'tuple_param_with_return_slot.carbon'
 // CHECK:STDOUT: source_filename = "tuple_param_with_return_slot.carbon"
 // CHECK:STDOUT:
@@ -105,3 +106,4 @@ fn Main() {
 // CHECK:STDOUT: !31 = !{!32}
 // CHECK:STDOUT: !32 = !DILocalVariable(arg: 1, scope: !28, type: !7)
 // CHECK:STDOUT: !33 = !DILocation(line: 18, column: 3, scope: !28)
+// CHECK:STDOUT:
@@ -17,6 +17,7 @@ fn Main() {
  DoNothing(a);
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'var_param.carbon'
 // CHECK:STDOUT: source_filename = "var_param.carbon"
 // CHECK:STDOUT:
@@ -75,3 +76,4 @@ fn Main() {
 // CHECK:STDOUT: !19 = !{!20}
 // CHECK:STDOUT: !20 = !DILocalVariable(arg: 1, scope: !18, type: !7)
 // CHECK:STDOUT: !21 = !DILocation(line: 16, column: 3, scope: !18)
+// CHECK:STDOUT:
@@ -18,6 +18,7 @@ class A;
 fn H(n: A);
 fn I() -> A;

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'simple.carbon'
 // CHECK:STDOUT: source_filename = "simple.carbon"
 // CHECK:STDOUT:
@@ -51,3 +52,4 @@ fn I() -> A;
 // CHECK:STDOUT: !9 = !DILocalVariable(arg: 1, scope: !4, type: !7)
 // CHECK:STDOUT: !10 = !DILocation(line: 15, column: 16, scope: !4)
 // CHECK:STDOUT: !11 = !DILocation(line: 15, column: 1, scope: !4)
+// CHECK:STDOUT:
@@ -72,6 +72,7 @@ fn InitLet() {
  G();
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'let_param.carbon'
 // CHECK:STDOUT: source_filename = "let_param.carbon"
 // CHECK:STDOUT:
@@ -134,6 +135,8 @@ fn InitLet() {
 // CHECK:STDOUT: !19 = !{!20}
 // CHECK:STDOUT: !20 = !DILocalVariable(arg: 1, scope: !18, type: !7)
 // CHECK:STDOUT: !21 = !DILocation(line: 12, column: 5, scope: !18)
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'var_param.carbon'
 // CHECK:STDOUT: source_filename = "var_param.carbon"
 // CHECK:STDOUT:
@@ -199,6 +202,8 @@ fn InitLet() {
 // CHECK:STDOUT: !19 = !{!20}
 // CHECK:STDOUT: !20 = !DILocalVariable(arg: 1, scope: !18, type: !7)
 // CHECK:STDOUT: !21 = !DILocation(line: 6, column: 6, scope: !18)
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'return_slot.carbon'
 // CHECK:STDOUT: source_filename = "return_slot.carbon"
 // CHECK:STDOUT:
@@ -292,3 +297,4 @@ fn InitLet() {
 // CHECK:STDOUT: !26 = !DILocation(line: 22, column: 14, scope: !25)
 // CHECK:STDOUT: !27 = !DILocation(line: 23, column: 3, scope: !25)
 // CHECK:STDOUT: !28 = !DILocation(line: 21, column: 1, scope: !25)
+// CHECK:STDOUT:
@@ -13,6 +13,7 @@
 fn Echo(_: {}) {
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'empty_struct.carbon'
 // CHECK:STDOUT: source_filename = "empty_struct.carbon"
 // CHECK:STDOUT:
@@ -35,3 +36,4 @@ fn Echo(_: {}) {
 // CHECK:STDOUT: !5 = !DISubroutineType(types: !6)
 // CHECK:STDOUT: !6 = !{null}
 // CHECK:STDOUT: !7 = !DILocation(line: 13, column: 1, scope: !4)
+// CHECK:STDOUT:
@@ -43,6 +43,7 @@ fn F() -> i32 {
  return MustEval(1);
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'eval.carbon'
 // CHECK:STDOUT: source_filename = "eval.carbon"
 // CHECK:STDOUT:
@@ -90,6 +91,8 @@ fn F() -> i32 {
 // CHECK:STDOUT: !17 = !DILocalVariable(arg: 1, scope: !15, type: !7)
 // CHECK:STDOUT: !18 = !DILocation(line: 16, column: 10, scope: !15)
 // CHECK:STDOUT: !19 = !DILocation(line: 16, column: 3, scope: !15)
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'musteval.carbon'
 // CHECK:STDOUT: source_filename = "musteval.carbon"
 // CHECK:STDOUT:
@@ -113,3 +116,4 @@ fn F() -> i32 {
 // CHECK:STDOUT: !6 = !{!7}
 // CHECK:STDOUT: !7 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
 // CHECK:STDOUT: !8 = !DILocation(line: 11, column: 3, scope: !4)
+// CHECK:STDOUT:
@@ -12,6 +12,7 @@

 fn Foo(_: i32) {}

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'params_one.carbon'
 // CHECK:STDOUT: source_filename = "params_one.carbon"
 // CHECK:STDOUT:
@@ -37,3 +38,4 @@ fn Foo(_: i32) {}
 // CHECK:STDOUT: !8 = !{!9}
 // CHECK:STDOUT: !9 = !DILocalVariable(arg: 1, scope: !4, type: !7)
 // CHECK:STDOUT: !10 = !DILocation(line: 13, column: 1, scope: !4)
+// CHECK:STDOUT:
@@ -12,6 +12,7 @@

 fn Foo(_: i32, _: i32) {}

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'params_two.carbon'
 // CHECK:STDOUT: source_filename = "params_two.carbon"
 // CHECK:STDOUT:
@@ -38,3 +39,4 @@ fn Foo(_: i32, _: i32) {}
 // CHECK:STDOUT: !9 = !DILocalVariable(arg: 1, scope: !4, type: !7)
 // CHECK:STDOUT: !10 = !DILocalVariable(arg: 2, scope: !4, type: !7)
 // CHECK:STDOUT: !11 = !DILocation(line: 13, column: 1, scope: !4)
+// CHECK:STDOUT:
@@ -12,6 +12,7 @@

 fn Foo() {}

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'params_zero.carbon'
 // CHECK:STDOUT: source_filename = "params_zero.carbon"
 // CHECK:STDOUT:
@@ -34,3 +35,4 @@ fn Foo() {}
 // CHECK:STDOUT: !5 = !DISubroutineType(types: !6)
 // CHECK:STDOUT: !6 = !{null}
 // CHECK:STDOUT: !7 = !DILocation(line: 13, column: 1, scope: !4)
+// CHECK:STDOUT:
@@ -13,6 +13,7 @@
 fn r#self() {}


+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'raw_name.carbon'
 // CHECK:STDOUT: source_filename = "raw_name.carbon"
 // CHECK:STDOUT:
@@ -35,3 +36,4 @@ fn r#self() {}
 // CHECK:STDOUT: !5 = !DISubroutineType(types: !6)
 // CHECK:STDOUT: !6 = !{null}
 // CHECK:STDOUT: !7 = !DILocation(line: 13, column: 1, scope: !4)
+// CHECK:STDOUT:
@@ -28,6 +28,7 @@ fn Call() {
  LetThenVar(1, {});
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'var_param.carbon'
 // CHECK:STDOUT: source_filename = "var_param.carbon"
 // CHECK:STDOUT:
@@ -191,3 +192,4 @@ fn Call() {
 // CHECK:STDOUT: !56 = !{!57}
 // CHECK:STDOUT: !57 = !DILocalVariable(arg: 1, scope: !55, type: !7)
 // CHECK:STDOUT: !58 = !DILocation(line: 20, column: 15, scope: !55)
+// CHECK:STDOUT:
@@ -29,6 +29,7 @@ fn G() {
  F(i32);
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'call.carbon'
 // CHECK:STDOUT: source_filename = "call.carbon"
 // CHECK:STDOUT:
@@ -188,3 +189,4 @@ fn G() {
 // CHECK:STDOUT: !54 = !{!55}
 // CHECK:STDOUT: !55 = !DILocalVariable(arg: 1, scope: !53, type: !22)
 // CHECK:STDOUT: !56 = !DILocation(line: 13, column: 1, scope: !53)
+// CHECK:STDOUT:
@@ -55,6 +55,7 @@ fn M() {
  let _: f64 = G(p);
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'call_basic.carbon'
 // CHECK:STDOUT: source_filename = "call_basic.carbon"
 // CHECK:STDOUT:
@@ -391,3 +392,4 @@ fn M() {
 // CHECK:STDOUT: !114 = !DILocalVariable(arg: 1, scope: !112, type: !7)
 // CHECK:STDOUT: !115 = !DILocation(line: 23, column: 10, scope: !112)
 // CHECK:STDOUT: !116 = !DILocation(line: 23, column: 3, scope: !112)
+// CHECK:STDOUT:
@@ -36,6 +36,7 @@ fn M() -> i32 {
  return m;
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'call_basic_depth.carbon'
 // CHECK:STDOUT: source_filename = "call_basic_depth.carbon"
 // CHECK:STDOUT:
@@ -143,3 +144,4 @@ fn M() -> i32 {
 // CHECK:STDOUT: !37 = !DILocalVariable(arg: 1, scope: !35, type: !7)
 // CHECK:STDOUT: !38 = !DILocation(line: 20, column: 3, scope: !35)
 // CHECK:STDOUT: !39 = !DILocation(line: 21, column: 3, scope: !35)
+// CHECK:STDOUT:
@@ -23,6 +23,7 @@ fn M() {
  F(ptr_i8);
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'call_dedup_ptr.carbon'
 // CHECK:STDOUT: source_filename = "call_dedup_ptr.carbon"
 // CHECK:STDOUT:
@@ -90,3 +91,4 @@ fn M() {
 // CHECK:STDOUT: !21 = !{!22}
 // CHECK:STDOUT: !22 = !DILocalVariable(arg: 1, scope: !17, type: !20)
 // CHECK:STDOUT: !23 = !DILocation(line: 14, column: 3, scope: !17)
+// CHECK:STDOUT:
@@ -40,6 +40,7 @@ fn M() {
  F(ptr_f64);
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'call_deref_ptr.carbon'
 // CHECK:STDOUT: source_filename = "call_deref_ptr.carbon"
 // CHECK:STDOUT:
@@ -212,3 +213,4 @@ fn M() {
 // CHECK:STDOUT: !65 = !{!66}
 // CHECK:STDOUT: !66 = !DILocalVariable(arg: 1, scope: !64, type: !24)
 // CHECK:STDOUT: !67 = !DILocation(line: 23, column: 3, scope: !64)
+// CHECK:STDOUT:
@@ -37,6 +37,7 @@ fn H() {
  G(D);
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'call_different_associated_const.carbon'
 // CHECK:STDOUT: source_filename = "call_different_associated_const.carbon"
 // CHECK:STDOUT:
@@ -94,3 +95,4 @@ fn H() {
 // CHECK:STDOUT: !13 = distinct !DISubprogram(name: "G", linkageName: "_CG.Main.1ba7ae4c6ee83247", scope: null, file: !1, line: 22, type: !5, spFlags: DISPFlagDefinition, unit: !0)
 // CHECK:STDOUT: !14 = !DILocation(line: 23, column: 3, scope: !13)
 // CHECK:STDOUT: !15 = !DILocation(line: 22, column: 1, scope: !13)
+// CHECK:STDOUT:
@@ -33,6 +33,7 @@ fn Run() {
  G(Y);
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'call_different_impls.carbon'
 // CHECK:STDOUT: source_filename = "call_different_impls.carbon"
 // CHECK:STDOUT:
@@ -109,3 +110,4 @@ fn Run() {
 // CHECK:STDOUT: !22 = distinct !DISubprogram(name: "G", linkageName: "_CG.Main.0b241ec84a68877b", scope: null, file: !1, line: 29, type: !5, spFlags: DISPFlagDefinition, unit: !0)
 // CHECK:STDOUT: !23 = !DILocation(line: 29, column: 15, scope: !22)
 // CHECK:STDOUT: !24 = !DILocation(line: 29, column: 1, scope: !22)
+// CHECK:STDOUT:
@@ -42,6 +42,7 @@ fn Run() {
  G(Y);
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'call_different_impls_with_const.carbon'
 // CHECK:STDOUT: source_filename = "call_different_impls_with_const.carbon"
 // CHECK:STDOUT:
@@ -149,3 +150,4 @@ fn Run() {
 // CHECK:STDOUT: !31 = distinct !DISubprogram(name: "G", linkageName: "_CG.Main.89fa38d00ffc0e46", scope: null, file: !1, line: 36, type: !27, spFlags: DISPFlagDefinition, unit: !0)
 // CHECK:STDOUT: !32 = !DILocation(line: 37, column: 16, scope: !31)
 // CHECK:STDOUT: !33 = !DILocation(line: 36, column: 1, scope: !31)
+// CHECK:STDOUT:
@@ -44,6 +44,7 @@ fn M(ptr_i32: i32*, ptr_f64: f64*) {
  F(ptr_f64);
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'call_different_specific.carbon'
 // CHECK:STDOUT: source_filename = "call_different_specific.carbon"
 // CHECK:STDOUT:
@@ -207,3 +208,4 @@ fn M(ptr_i32: i32*, ptr_f64: f64*) {
 // CHECK:STDOUT: !64 = !{!65}
 // CHECK:STDOUT: !65 = !DILocalVariable(arg: 1, scope: !63, type: !7)
 // CHECK:STDOUT: !66 = !DILocation(line: 30, column: 3, scope: !63)
+// CHECK:STDOUT:
@@ -43,6 +43,7 @@ fn G() {
 }


+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'call_impl_function.carbon'
 // CHECK:STDOUT: source_filename = "call_impl_function.carbon"
 // CHECK:STDOUT:
@@ -94,3 +95,4 @@ fn G() {
 // CHECK:STDOUT: !19 = !DILocalVariable(arg: 1, scope: !17, type: !7)
 // CHECK:STDOUT: !20 = !DILocation(line: 36, column: 10, scope: !17)
 // CHECK:STDOUT: !21 = !DILocation(line: 36, column: 3, scope: !17)
+// CHECK:STDOUT:
@@ -22,6 +22,7 @@ fn CallF() -> i32 {
  return c.F(n);
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'call_method.carbon'
 // CHECK:STDOUT: source_filename = "call_method.carbon"
 // CHECK:STDOUT:
@@ -109,3 +110,4 @@ fn CallF() -> i32 {
 // CHECK:STDOUT: !30 = !DILocalVariable(arg: 1, scope: !26, type: !22)
 // CHECK:STDOUT: !31 = !DILocalVariable(arg: 2, scope: !26, type: !7)
 // CHECK:STDOUT: !32 = !DILocation(line: 15, column: 5, scope: !26)
+// CHECK:STDOUT:
@@ -40,6 +40,7 @@ fn M() {
  F(c, 0);
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'call_recursive_basic.carbon'
 // CHECK:STDOUT: source_filename = "call_recursive_basic.carbon"
 // CHECK:STDOUT:
@@ -276,3 +277,4 @@ fn M() {
 // CHECK:STDOUT: !88 = !DILocation(line: 25, column: 15, scope: !80)
 // CHECK:STDOUT: !89 = !DILocation(line: 25, column: 10, scope: !80)
 // CHECK:STDOUT: !90 = !DILocation(line: 25, column: 3, scope: !80)
+// CHECK:STDOUT:
@@ -56,6 +56,7 @@ fn M() {
  A(ptr_f64, 0);
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'call_recursive_diamond.carbon'
 // CHECK:STDOUT: source_filename = "call_recursive_diamond.carbon"
 // CHECK:STDOUT:
@@ -401,3 +402,4 @@ fn M() {
 // CHECK:STDOUT: !137 = !DILocation(line: 44, column: 15, scope: !133)
 // CHECK:STDOUT: !138 = !DILocation(line: 44, column: 10, scope: !133)
 // CHECK:STDOUT: !139 = !DILocation(line: 44, column: 3, scope: !133)
+// CHECK:STDOUT:
@@ -41,6 +41,7 @@ fn Run() {
  G(Y, 0);
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'call_recursive_impl.carbon'
 // CHECK:STDOUT: source_filename = "call_recursive_impl.carbon"
 // CHECK:STDOUT:
@@ -151,3 +152,4 @@ fn Run() {
 // CHECK:STDOUT: !38 = !DILocation(line: 36, column: 15, scope: !31)
 // CHECK:STDOUT: !39 = !DILocation(line: 36, column: 10, scope: !31)
 // CHECK:STDOUT: !40 = !DILocation(line: 36, column: 3, scope: !31)
+// CHECK:STDOUT:
@@ -41,6 +41,7 @@ fn M() {
  F(ptr_f64, 0);
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'call_recursive_mutual.carbon'
 // CHECK:STDOUT: source_filename = "call_recursive_mutual.carbon"
 // CHECK:STDOUT:
@@ -285,3 +286,4 @@ fn M() {
 // CHECK:STDOUT: !95 = !DILocation(line: 29, column: 15, scope: !88)
 // CHECK:STDOUT: !96 = !DILocation(line: 29, column: 10, scope: !88)
 // CHECK:STDOUT: !97 = !DILocation(line: 29, column: 3, scope: !88)
+// CHECK:STDOUT:
@@ -31,6 +31,7 @@ fn M() {
  F(ptr_f64, ptr_bool, 0);
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'call_recursive_reorder.carbon'
 // CHECK:STDOUT: source_filename = "call_recursive_reorder.carbon"
 // CHECK:STDOUT:
@@ -153,3 +154,4 @@ fn M() {
 // CHECK:STDOUT: !44 = !DILocation(line: 19, column: 18, scope: !34)
 // CHECK:STDOUT: !45 = !DILocation(line: 19, column: 10, scope: !34)
 // CHECK:STDOUT: !46 = !DILocation(line: 19, column: 3, scope: !34)
+// CHECK:STDOUT:
@@ -52,6 +52,7 @@ fn M() {
  F(ptr_bool, ptr_bool, ptr_bool, 0);
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'call_recursive_reorder_more.carbon'
 // CHECK:STDOUT: source_filename = "call_recursive_reorder_more.carbon"
 // CHECK:STDOUT:
@@ -469,3 +470,4 @@ fn M() {
 // CHECK:STDOUT: !182 = !DILocation(line: 19, column: 21, scope: !173)
 // CHECK:STDOUT: !183 = !DILocation(line: 19, column: 10, scope: !173)
 // CHECK:STDOUT: !184 = !DILocation(line: 19, column: 3, scope: !173)
+// CHECK:STDOUT:
@@ -82,6 +82,7 @@ fn M() {
  A(ptr_f64, 0);
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'call_recursive_sccs_deep.carbon'
 // CHECK:STDOUT: source_filename = "call_recursive_sccs_deep.carbon"
 // CHECK:STDOUT:
@@ -584,3 +585,4 @@ fn M() {
 // CHECK:STDOUT: !207 = !DILocation(line: 69, column: 15, scope: !203)
 // CHECK:STDOUT: !208 = !DILocation(line: 69, column: 10, scope: !203)
 // CHECK:STDOUT: !209 = !DILocation(line: 69, column: 3, scope: !203)
+// CHECK:STDOUT:
@@ -44,6 +44,7 @@ fn M() {
  F(C);
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'call_specific_in_class.carbon'
 // CHECK:STDOUT: source_filename = "call_specific_in_class.carbon"
 // CHECK:STDOUT:
@@ -324,3 +325,4 @@ fn M() {
 // CHECK:STDOUT: !112 = !DILocalVariable(arg: 1, scope: !110, type: !7)
 // CHECK:STDOUT: !113 = !DILocalVariable(arg: 2, scope: !110, type: !7)
 // CHECK:STDOUT: !114 = !DILocation(line: 19, column: 5, scope: !110)
+// CHECK:STDOUT:
@@ -51,6 +51,7 @@ fn Run() {
  let _: i32 = Lib2CallF(1 as i32, 2 as i32);
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'lib1.carbon'
 // CHECK:STDOUT: source_filename = "lib1.carbon"
 // CHECK:STDOUT:
@@ -61,6 +62,8 @@ fn Run() {
 // CHECK:STDOUT: !1 = !DIFile(filename: "lib1.carbon", directory: "")
 // CHECK:STDOUT: !2 = !{i32 7, !"Dwarf Version", i32 5}
 // CHECK:STDOUT: !3 = !{i32 2, !"Debug Info Version", i32 3}
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'lib2.carbon'
 // CHECK:STDOUT: source_filename = "lib2.carbon"
 // CHECK:STDOUT:
@@ -71,6 +74,8 @@ fn Run() {
 // CHECK:STDOUT: !1 = !DIFile(filename: "lib2.carbon", directory: "")
 // CHECK:STDOUT: !2 = !{i32 7, !"Dwarf Version", i32 5}
 // CHECK:STDOUT: !3 = !{i32 2, !"Debug Info Version", i32 3}
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'todo_use.carbon'
 // CHECK:STDOUT: source_filename = "todo_use.carbon"
 // CHECK:STDOUT:
@@ -139,3 +144,4 @@ fn Run() {
 // CHECK:STDOUT: !29 = !DILocalVariable(arg: 1, scope: !27, type: !7)
 // CHECK:STDOUT: !30 = !DILocalVariable(arg: 2, scope: !27, type: !7)
 // CHECK:STDOUT: !31 = !DILocation(line: 5, column: 3, scope: !27)
+// CHECK:STDOUT:
@@ -56,6 +56,7 @@ fn Call() -> i32 {
  return *p;
 }

+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'indirectly_imported.carbon'
 // CHECK:STDOUT: source_filename = "indirectly_imported.carbon"
 // CHECK:STDOUT:
@@ -80,6 +81,8 @@ fn Call() -> i32 {
 // CHECK:STDOUT: !5 = !DISubroutineType(types: !6)
 // CHECK:STDOUT: !6 = !{null}
 // CHECK:STDOUT: !7 = !DILocation(line: 6, column: 1, scope: !4)
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'directly_imported.carbon'
 // CHECK:STDOUT: source_filename = "directly_imported.carbon"
 // CHECK:STDOUT:
@@ -104,6 +107,8 @@ fn Call() -> i32 {
 // CHECK:STDOUT: !5 = !DISubroutineType(types: !6)
 // CHECK:STDOUT: !6 = !{null}
 // CHECK:STDOUT: !7 = !DILocation(line: 8, column: 1, scope: !4)
+// CHECK:STDOUT:
+// CHECK:STDOUT: ; ---
 // CHECK:STDOUT: ; ModuleID = 'use.carbon'
 // CHECK:STDOUT: source_filename = "use.carbon"
 // CHECK:STDOUT:
@@ -202,3 +207,4 @@ fn Call() -> i32 {
 // CHECK:STDOUT: !35 = !DILocation(line: 9, column: 3, scope: !31)
 // CHECK:STDOUT: !36 = !DILocation(line: 10, column: 3, scope: !31)
 // CHECK:STDOUT: !37 = !DILocation(line: 11, column: 3, scope: !31)
+// CHECK:STDOUT:
--- a/Show More
+++ b/Show More