carbon-lang/toolchain/check/testdata/basics/raw_ir.carbon

// 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: compile --phase=check --dump-raw-sem-ir %s
//
// Check that raw IR dumping works as expected.
//
// AUTOUPDATE

fn Foo(n: i32) -> (i32, f64) {
  return (n + 2, 3.4);
}

// CHECK:STDOUT: ---
// CHECK:STDOUT: filename:        raw_ir.carbon
// CHECK:STDOUT: sem_ir:
// CHECK:STDOUT:   cross_reference_irs_size: 1
// CHECK:STDOUT:   functions:
// CHECK:STDOUT:     function0:       {name: name0, param_refs: block1, return_type: type3, return_slot: inst+5, body: [block4]}
// CHECK:STDOUT:   classes:         {}
// CHECK:STDOUT:   types:
// CHECK:STDOUT:     type0:           {inst: instIntegerType, value_rep: {kind: copy, type: type0}}
// CHECK:STDOUT:     type1:           {inst: inst+1, value_rep: {kind: unknown, type: type<invalid>}}
// CHECK:STDOUT:     type2:           {inst: instFloatingPointType, value_rep: {kind: copy, type: type2}}
// CHECK:STDOUT:     type3:           {inst: inst+3, value_rep: {kind: pointer, type: type4}}
// CHECK:STDOUT:     type4:           {inst: inst+6, value_rep: {kind: copy, type: type4}}
// CHECK:STDOUT:     type5:           {inst: instFunctionType, value_rep: {kind: copy, type: type5}}
// CHECK:STDOUT:   type_blocks:
// CHECK:STDOUT:     typeBlock0:
// CHECK:STDOUT:       0:               typeTypeType
// CHECK:STDOUT:       1:               typeTypeType
// CHECK:STDOUT:     typeBlock1:
// CHECK:STDOUT:       0:               type0
// CHECK:STDOUT:       1:               type2
// CHECK:STDOUT:   insts:
// CHECK:STDOUT:     inst+0:          {kind: Param, arg0: name1, type: type0}
// CHECK:STDOUT:     inst+1:          {kind: TupleType, arg0: typeBlock0, type: typeTypeType}
// CHECK:STDOUT:     inst+2:          {kind: TupleLiteral, arg0: block2, type: type1}
// CHECK:STDOUT:     inst+3:          {kind: TupleType, arg0: typeBlock1, type: typeTypeType}
// CHECK:STDOUT:     inst+4:          {kind: Converted, arg0: inst+2, arg1: inst+3, type: typeTypeType}
// CHECK:STDOUT:     inst+5:          {kind: VarStorage, arg0: nameReturnSlot, type: type3}
// CHECK:STDOUT:     inst+6:          {kind: PointerType, arg0: type3, type: typeTypeType}
// CHECK:STDOUT:     inst+7:          {kind: FunctionDecl, arg0: function0, type: type5}
// CHECK:STDOUT:     inst+8:          {kind: NameReference, arg0: name1, arg1: inst+0, type: type0}
// CHECK:STDOUT:     inst+9:          {kind: IntegerLiteral, arg0: int3, type: type0}
// CHECK:STDOUT:     inst+10:         {kind: BinaryOperatorAdd, arg0: inst+8, arg1: inst+9, type: type0}
// CHECK:STDOUT:     inst+11:         {kind: RealLiteral, arg0: real0, type: type2}
// CHECK:STDOUT:     inst+12:         {kind: TupleLiteral, arg0: block5, type: type3}
// CHECK:STDOUT:     inst+13:         {kind: TupleAccess, arg0: inst+5, arg1: member0, type: type0}
// CHECK:STDOUT:     inst+14:         {kind: InitializeFrom, arg0: inst+10, arg1: inst+13, type: type0}
// CHECK:STDOUT:     inst+15:         {kind: TupleAccess, arg0: inst+5, arg1: member1, type: type2}
// CHECK:STDOUT:     inst+16:         {kind: InitializeFrom, arg0: inst+11, arg1: inst+15, type: type2}
// CHECK:STDOUT:     inst+17:         {kind: TupleInit, arg0: block6, arg1: inst+5, type: type3}
// CHECK:STDOUT:     inst+18:         {kind: Converted, arg0: inst+12, arg1: inst+17, type: type3}
// CHECK:STDOUT:     inst+19:         {kind: ReturnExpr, arg0: inst+18}
// CHECK:STDOUT:   inst_blocks:
// CHECK:STDOUT:     block0:          {}
// CHECK:STDOUT:     block1:
// CHECK:STDOUT:       0:               inst+0
// CHECK:STDOUT:     block2:
// CHECK:STDOUT:       0:               instIntegerType
// CHECK:STDOUT:       1:               instFloatingPointType
// CHECK:STDOUT:     block3:
// CHECK:STDOUT:       0:               inst+0
// CHECK:STDOUT:       1:               inst+2
// CHECK:STDOUT:       2:               inst+4
// CHECK:STDOUT:       3:               inst+5
// CHECK:STDOUT:     block4:
// CHECK:STDOUT:       0:               inst+8
// CHECK:STDOUT:       1:               inst+9
// CHECK:STDOUT:       2:               inst+10
// CHECK:STDOUT:       3:               inst+11
// CHECK:STDOUT:       4:               inst+12
// CHECK:STDOUT:       5:               inst+13
// CHECK:STDOUT:       6:               inst+14
// CHECK:STDOUT:       7:               inst+15
// CHECK:STDOUT:       8:               inst+16
// CHECK:STDOUT:       9:               inst+17
// CHECK:STDOUT:       10:              inst+18
// CHECK:STDOUT:       11:              inst+19
// CHECK:STDOUT:     block5:
// CHECK:STDOUT:       0:               inst+10
// CHECK:STDOUT:       1:               inst+11
// CHECK:STDOUT:     block6:
// CHECK:STDOUT:       0:               inst+14
// CHECK:STDOUT:       1:               inst+16
// CHECK:STDOUT:     block7:
// CHECK:STDOUT:       0:               inst+7
// CHECK:STDOUT: ...