// Part of the Carbon Language project, under the Apache License v2.0 with LLVM
// Exceptions. See /LICENSE for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
// ARGS: --include-diagnostic-kind compile --no-prelude-import --phase=check --dump-raw-sem-ir %s
//
// Check that raw IR dumping works as expected.
//
// AUTOUPDATE
// TIP: To test this file alone, run:
// TIP:   bazel test //toolchain/testing:file_test --test_arg=--file_tests=toolchain/driver/testdata/compile/raw_ir.carbon
// TIP: To dump output, run:
// TIP:   bazel run //toolchain/testing:file_test -- --dump_output --file_tests=toolchain/driver/testdata/compile/raw_ir.carbon

fn Foo[T:! type](n: T) -> (T, ()) {
  return (n, ());
}

// CHECK:STDOUT: ---
// CHECK:STDOUT: filename:        raw_ir.carbon
// CHECK:STDOUT: sem_ir:
// CHECK:STDOUT:   import_irs:
// CHECK:STDOUT:     ir0:             {decl_id: inst<none>, is_export: false}
// CHECK:STDOUT:   import_ir_insts: {}
// CHECK:STDOUT:   name_scopes:
// CHECK:STDOUT:     name_scope0:     {inst: inst12, parent_scope: name_scope<none>, has_error: false, extended_scopes: [], names: {name0: inst36}}
// CHECK:STDOUT:   entity_names:
// CHECK:STDOUT:     entity_name0:    {name: name1, parent_scope: name_scope<none>, index: comp_time_bind0}
// CHECK:STDOUT:     entity_name1:    {name: name2, parent_scope: name_scope<none>, index: comp_time_bind<none>}
// CHECK:STDOUT:   functions:
// CHECK:STDOUT:     function0:       {name: name0, parent_scope: name_scope0, return_slot_pattern: inst31, body: [inst_block16]}
// CHECK:STDOUT:   classes:         {}
// CHECK:STDOUT:   generics:
// CHECK:STDOUT:     generic0:        {decl: inst36, bindings: inst_block12}
// CHECK:STDOUT:   specifics:
// CHECK:STDOUT:     specific0:       {generic: generic0, args: inst_block13}
// CHECK:STDOUT:   struct_type_fields:
// CHECK:STDOUT:     struct_type_fields0: {}
// CHECK:STDOUT:   types:
// CHECK:STDOUT:     'type(TypeType)':  {kind: copy, type: type(TypeType)}
// CHECK:STDOUT:     'type(Error)':     {kind: copy, type: type(Error)}
// CHECK:STDOUT:     'type(inst(NamespaceType))': {kind: copy, type: type(inst(NamespaceType))}
// CHECK:STDOUT:     'type(inst40)':    {kind: none, type: type(inst23)}
// CHECK:STDOUT:     'type(inst23)':    {kind: none, type: type(inst23)}
// CHECK:STDOUT:     'type(symbolic_constant0)': {kind: copy, type: type(symbolic_constant0)}
// CHECK:STDOUT:     'type(symbolic_constant2)': {kind: pointer, type: type(symbolic_constant6)}
// CHECK:STDOUT:     'type(symbolic_constant6)': {kind: copy, type: type(symbolic_constant6)}
// CHECK:STDOUT:     'type(inst(WitnessType))': {kind: copy, type: type(inst(WitnessType))}
// CHECK:STDOUT:     'type(symbolic_constant3)': {kind: copy, type: type(symbolic_constant3)}
// CHECK:STDOUT:     'type(symbolic_constant5)': {kind: pointer, type: type(symbolic_constant6)}
// CHECK:STDOUT:   type_blocks:
// CHECK:STDOUT:     type_block0:     {}
// CHECK:STDOUT:     type_block1:
// CHECK:STDOUT:       0:               type(TypeType)
// CHECK:STDOUT:       1:               type(inst23)
// CHECK:STDOUT:     type_block2:
// CHECK:STDOUT:       0:               type(symbolic_constant0)
// CHECK:STDOUT:       1:               type(inst23)
// CHECK:STDOUT:     type_block3:
// CHECK:STDOUT:       0:               type(symbolic_constant3)
// CHECK:STDOUT:       1:               type(inst23)
// CHECK:STDOUT:   insts:
// CHECK:STDOUT:     inst12:          {kind: Namespace, arg0: name_scope0, arg1: inst<none>, type: type(inst(NamespaceType))}
// CHECK:STDOUT:     inst13:          {kind: BindSymbolicName, arg0: entity_name0, arg1: inst32, type: type(TypeType)}
// CHECK:STDOUT:     inst14:          {kind: BindSymbolicName, arg0: entity_name0, arg1: inst<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst15:          {kind: SymbolicBindingPattern, arg0: entity_name0, type: type(TypeType)}
// CHECK:STDOUT:     inst16:          {kind: SymbolicBindingPattern, arg0: entity_name0, type: type(TypeType)}
// CHECK:STDOUT:     inst17:          {kind: ValueParamPattern, arg0: inst15, arg1: runtime_param<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst18:          {kind: NameRef, arg0: name1, arg1: inst13, type: type(TypeType)}
// CHECK:STDOUT:     inst19:          {kind: BindName, arg0: entity_name1, arg1: inst33, type: type(symbolic_constant3)}
// CHECK:STDOUT:     inst20:          {kind: BindingPattern, arg0: entity_name1, type: type(symbolic_constant3)}
// CHECK:STDOUT:     inst21:          {kind: ValueParamPattern, arg0: inst20, arg1: runtime_param0, type: type(symbolic_constant3)}
// CHECK:STDOUT:     inst22:          {kind: NameRef, arg0: name1, arg1: inst13, type: type(TypeType)}
// CHECK:STDOUT:     inst23:          {kind: TupleType, arg0: type_block0, type: type(TypeType)}
// CHECK:STDOUT:     inst24:          {kind: TupleLiteral, arg0: inst_block_empty, type: type(inst23)}
// CHECK:STDOUT:     inst25:          {kind: TupleType, arg0: type_block1, type: type(TypeType)}
// CHECK:STDOUT:     inst26:          {kind: TupleLiteral, arg0: inst_block8, type: type(inst25)}
// CHECK:STDOUT:     inst27:          {kind: Converted, arg0: inst24, arg1: inst23, type: type(TypeType)}
// CHECK:STDOUT:     inst28:          {kind: TupleType, arg0: type_block2, type: type(TypeType)}
// CHECK:STDOUT:     inst29:          {kind: Converted, arg0: inst26, arg1: inst28, type: type(TypeType)}
// CHECK:STDOUT:     inst30:          {kind: ReturnSlotPattern, arg0: inst26, type: type(symbolic_constant5)}
// CHECK:STDOUT:     inst31:          {kind: OutParamPattern, arg0: inst30, arg1: runtime_param1, type: type(symbolic_constant5)}
// CHECK:STDOUT:     inst32:          {kind: ValueParam, arg0: runtime_param<none>, arg1: name1, type: type(TypeType)}
// CHECK:STDOUT:     inst33:          {kind: ValueParam, arg0: runtime_param0, arg1: name2, type: type(symbolic_constant3)}
// CHECK:STDOUT:     inst34:          {kind: OutParam, arg0: runtime_param1, arg1: name(ReturnSlot), type: type(symbolic_constant5)}
// CHECK:STDOUT:     inst35:          {kind: ReturnSlot, arg0: inst26, arg1: inst34, type: type(symbolic_constant5)}
// CHECK:STDOUT:     inst36:          {kind: FunctionDecl, arg0: function0, arg1: inst_block11, type: type(inst40)}
// CHECK:STDOUT:     inst37:          {kind: BindSymbolicName, arg0: entity_name0, arg1: inst<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst38:          {kind: SymbolicBindingPattern, arg0: entity_name0, type: type(TypeType)}
// CHECK:STDOUT:     inst39:          {kind: TupleType, arg0: type_block3, type: type(TypeType)}
// CHECK:STDOUT:     inst40:          {kind: FunctionType, arg0: function0, arg1: specific<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst41:          {kind: StructValue, arg0: inst_block_empty, type: type(inst40)}
// CHECK:STDOUT:     inst42:          {kind: PointerType, arg0: type(symbolic_constant2), type: type(TypeType)}
// CHECK:STDOUT:     inst43:          {kind: RequireCompleteType, arg0: type(symbolic_constant2), type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst44:          {kind: RequireCompleteType, arg0: type(symbolic_constant2), type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst45:          {kind: RequireCompleteType, arg0: type(symbolic_constant3), type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst46:          {kind: RequireCompleteType, arg0: type(symbolic_constant0), type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst47:          {kind: NameRef, arg0: name2, arg1: inst19, type: type(symbolic_constant3)}
// CHECK:STDOUT:     inst48:          {kind: TupleLiteral, arg0: inst_block_empty, type: type(inst23)}
// CHECK:STDOUT:     inst49:          {kind: TupleLiteral, arg0: inst_block17, type: type(symbolic_constant5)}
// CHECK:STDOUT:     inst50:          {kind: RequireCompleteType, arg0: type(symbolic_constant5), type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst51:          {kind: TupleAccess, arg0: inst35, arg1: element0, type: type(symbolic_constant3)}
// CHECK:STDOUT:     inst52:          {kind: RequireCompleteType, arg0: type(symbolic_constant0), type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst53:          {kind: InitializeFrom, arg0: inst47, arg1: inst51, type: type(symbolic_constant3)}
// CHECK:STDOUT:     inst54:          {kind: TupleAccess, arg0: inst35, arg1: element1, type: type(inst23)}
// CHECK:STDOUT:     inst55:          {kind: TupleInit, arg0: inst_block_empty, arg1: inst54, type: type(inst23)}
// CHECK:STDOUT:     inst56:          {kind: TupleValue, arg0: inst_block_empty, type: type(inst23)}
// CHECK:STDOUT:     inst57:          {kind: Converted, arg0: inst48, arg1: inst55, type: type(inst23)}
// CHECK:STDOUT:     inst58:          {kind: TupleInit, arg0: inst_block18, arg1: inst35, type: type(symbolic_constant5)}
// CHECK:STDOUT:     inst59:          {kind: Converted, arg0: inst49, arg1: inst58, type: type(symbolic_constant5)}
// CHECK:STDOUT:     inst60:          {kind: ReturnExpr, arg0: inst59, arg1: inst35}
// CHECK:STDOUT:     inst61:          {kind: RequireCompleteType, arg0: type(symbolic_constant5), type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst62:          {kind: RequireCompleteType, arg0: type(symbolic_constant3), type: type(inst(WitnessType))}
// CHECK:STDOUT:   constant_values:
// CHECK:STDOUT:     inst12:          template_constant(inst12)
// CHECK:STDOUT:     inst13:          symbolic_constant3
// CHECK:STDOUT:     inst14:          symbolic_constant0
// CHECK:STDOUT:     inst15:          symbolic_constant4
// CHECK:STDOUT:     inst16:          symbolic_constant1
// CHECK:STDOUT:     inst17:          symbolic_constant4
// CHECK:STDOUT:     inst18:          symbolic_constant3
// CHECK:STDOUT:     inst22:          symbolic_constant3
// CHECK:STDOUT:     inst23:          template_constant(inst23)
// CHECK:STDOUT:     inst25:          template_constant(inst25)
// CHECK:STDOUT:     inst27:          template_constant(inst23)
// CHECK:STDOUT:     inst28:          symbolic_constant2
// CHECK:STDOUT:     inst29:          symbolic_constant5
// CHECK:STDOUT:     inst36:          template_constant(inst41)
// CHECK:STDOUT:     inst37:          symbolic_constant3
// CHECK:STDOUT:     inst38:          symbolic_constant4
// CHECK:STDOUT:     inst39:          symbolic_constant5
// CHECK:STDOUT:     inst40:          template_constant(inst40)
// CHECK:STDOUT:     inst41:          template_constant(inst41)
// CHECK:STDOUT:     inst42:          symbolic_constant6
// CHECK:STDOUT:     inst43:          symbolic_constant9
// CHECK:STDOUT:     inst44:          symbolic_constant7
// CHECK:STDOUT:     inst45:          symbolic_constant10
// CHECK:STDOUT:     inst46:          symbolic_constant8
// CHECK:STDOUT:     inst50:          symbolic_constant9
// CHECK:STDOUT:     inst52:          symbolic_constant10
// CHECK:STDOUT:     inst55:          template_constant(inst56)
// CHECK:STDOUT:     inst56:          template_constant(inst56)
// CHECK:STDOUT:     inst57:          template_constant(inst56)
// CHECK:STDOUT:     inst61:          symbolic_constant9
// CHECK:STDOUT:     inst62:          symbolic_constant10
// CHECK:STDOUT:   symbolic_constants:
// CHECK:STDOUT:     symbolic_constant0: {inst: inst14, generic: generic<none>, index: generic_inst<none>, .Self: false}
// CHECK:STDOUT:     symbolic_constant1: {inst: inst16, generic: generic<none>, index: generic_inst<none>, .Self: false}
// CHECK:STDOUT:     symbolic_constant2: {inst: inst28, generic: generic<none>, index: generic_inst<none>, .Self: false}
// CHECK:STDOUT:     symbolic_constant3: {inst: inst14, generic: generic0, index: generic_inst_in_decl0, .Self: false}
// CHECK:STDOUT:     symbolic_constant4: {inst: inst16, generic: generic0, index: generic_inst_in_decl1, .Self: false}
// CHECK:STDOUT:     symbolic_constant5: {inst: inst28, generic: generic0, index: generic_inst_in_decl2, .Self: false}
// CHECK:STDOUT:     symbolic_constant6: {inst: inst42, generic: generic<none>, index: generic_inst<none>, .Self: false}
// CHECK:STDOUT:     symbolic_constant7: {inst: inst44, generic: generic<none>, index: generic_inst<none>, .Self: false}
// CHECK:STDOUT:     symbolic_constant8: {inst: inst46, generic: generic<none>, index: generic_inst<none>, .Self: false}
// CHECK:STDOUT:     symbolic_constant9: {inst: inst44, generic: generic0, index: generic_inst_in_def0, .Self: false}
// CHECK:STDOUT:     symbolic_constant10: {inst: inst46, generic: generic0, index: generic_inst_in_def1, .Self: false}
// CHECK:STDOUT:   inst_blocks:
// CHECK:STDOUT:     inst_block_empty: {}
// CHECK:STDOUT:     exports:
// CHECK:STDOUT:       0:               inst36
// CHECK:STDOUT:     import_refs:     {}
// CHECK:STDOUT:     global_init:     {}
// CHECK:STDOUT:     inst_block4:     {}
// CHECK:STDOUT:     inst_block5:
// CHECK:STDOUT:       0:               inst17
// CHECK:STDOUT:     inst_block6:
// CHECK:STDOUT:       0:               inst18
// CHECK:STDOUT:     inst_block7:
// CHECK:STDOUT:       0:               inst21
// CHECK:STDOUT:     inst_block8:
// CHECK:STDOUT:       0:               inst22
// CHECK:STDOUT:       1:               inst24
// CHECK:STDOUT:     inst_block9:
// CHECK:STDOUT:       0:               inst33
// CHECK:STDOUT:       1:               inst34
// CHECK:STDOUT:     inst_block10:
// CHECK:STDOUT:       0:               inst15
// CHECK:STDOUT:       1:               inst17
// CHECK:STDOUT:       2:               inst20
// CHECK:STDOUT:       3:               inst21
// CHECK:STDOUT:       4:               inst30
// CHECK:STDOUT:       5:               inst31
// CHECK:STDOUT:     inst_block11:
// CHECK:STDOUT:       0:               inst22
// CHECK:STDOUT:       1:               inst24
// CHECK:STDOUT:       2:               inst26
// CHECK:STDOUT:       3:               inst27
// CHECK:STDOUT:       4:               inst29
// CHECK:STDOUT:       5:               inst32
// CHECK:STDOUT:       6:               inst13
// CHECK:STDOUT:       7:               inst33
// CHECK:STDOUT:       8:               inst18
// CHECK:STDOUT:       9:               inst19
// CHECK:STDOUT:       10:              inst34
// CHECK:STDOUT:       11:              inst35
// CHECK:STDOUT:     inst_block12:
// CHECK:STDOUT:       0:               inst13
// CHECK:STDOUT:     inst_block13:
// CHECK:STDOUT:       0:               inst14
// CHECK:STDOUT:     inst_block14:
// CHECK:STDOUT:       0:               inst37
// CHECK:STDOUT:       1:               inst38
// CHECK:STDOUT:       2:               inst39
// CHECK:STDOUT:     inst_block15:
// CHECK:STDOUT:       0:               inst14
// CHECK:STDOUT:       1:               inst14
// CHECK:STDOUT:       2:               inst28
// CHECK:STDOUT:     inst_block16:
// CHECK:STDOUT:       0:               inst47
// CHECK:STDOUT:       1:               inst48
// CHECK:STDOUT:       2:               inst49
// CHECK:STDOUT:       3:               inst51
// CHECK:STDOUT:       4:               inst53
// CHECK:STDOUT:       5:               inst54
// CHECK:STDOUT:       6:               inst55
// CHECK:STDOUT:       7:               inst57
// CHECK:STDOUT:       8:               inst58
// CHECK:STDOUT:       9:               inst59
// CHECK:STDOUT:       10:              inst60
// CHECK:STDOUT:     inst_block17:
// CHECK:STDOUT:       0:               inst47
// CHECK:STDOUT:       1:               inst48
// CHECK:STDOUT:     inst_block18:
// CHECK:STDOUT:       0:               inst53
// CHECK:STDOUT:       1:               inst57
// CHECK:STDOUT:     inst_block19:
// CHECK:STDOUT:       0:               inst61
// CHECK:STDOUT:       1:               inst62
// CHECK:STDOUT:     inst_block20:
// CHECK:STDOUT:       0:               inst12
// CHECK:STDOUT:       1:               inst36
// CHECK:STDOUT: ...