|
|
@@ -92,28 +92,33 @@ let b: i32 = Add(0x7FFFFFFF, 1);
|
|
|
// CHECK:STDOUT: --- int_add.carbon
|
|
|
// CHECK:STDOUT:
|
|
|
// CHECK:STDOUT: constants {
|
|
|
-// CHECK:STDOUT: %Int32.type: type = fn_type @Int32 [template]
|
|
|
-// CHECK:STDOUT: %Int32: %Int32.type = struct_value () [template]
|
|
|
+// CHECK:STDOUT: %.1: Core.IntLiteral = int_value 32 [template]
|
|
|
+// CHECK:STDOUT: %Int.type: type = fn_type @Int [template]
|
|
|
+// CHECK:STDOUT: %Int: %Int.type = struct_value () [template]
|
|
|
+// CHECK:STDOUT: %i32: type = int_type signed, %.1 [template]
|
|
|
// CHECK:STDOUT: %Add.type: type = fn_type @Add [template]
|
|
|
// CHECK:STDOUT: %Add: %Add.type = struct_value () [template]
|
|
|
-// CHECK:STDOUT: %.1: Core.IntLiteral = int_value 1 [template]
|
|
|
-// CHECK:STDOUT: %.2: Core.IntLiteral = int_value 2 [template]
|
|
|
-// CHECK:STDOUT: %Convert.type.2: type = fn_type @Convert.1, @ImplicitAs(i32) [template]
|
|
|
-// CHECK:STDOUT: %Convert.type.5: type = fn_type @Convert.1, @ImplicitAs(Core.IntLiteral) [template]
|
|
|
-// CHECK:STDOUT: %Convert.type.15: type = fn_type @Convert.11 [template]
|
|
|
+// CHECK:STDOUT: %.2: Core.IntLiteral = int_value 1 [template]
|
|
|
+// CHECK:STDOUT: %.3: Core.IntLiteral = int_value 2 [template]
|
|
|
+// CHECK:STDOUT: %Convert.type.2: type = fn_type @Convert.1, @ImplicitAs(%i32) [template]
|
|
|
+// CHECK:STDOUT: %Convert.type.6: type = fn_type @Convert.1, @ImplicitAs(Core.IntLiteral) [template]
|
|
|
+// CHECK:STDOUT: %Convert.type.14: type = fn_type @Convert.2, @impl.1(%.1) [template]
|
|
|
+// CHECK:STDOUT: %Convert.14: %Convert.type.14 = struct_value () [template]
|
|
|
+// CHECK:STDOUT: %.23: <witness> = interface_witness (%Convert.14) [template]
|
|
|
+// CHECK:STDOUT: %.24: <bound method> = bound_method %.2, %Convert.14 [template]
|
|
|
+// CHECK:STDOUT: %.25: <specific function> = specific_function %.24, @Convert.2(%.1) [template]
|
|
|
+// CHECK:STDOUT: %.26: %i32 = int_value 1 [template]
|
|
|
+// CHECK:STDOUT: %.27: <bound method> = bound_method %.3, %Convert.14 [template]
|
|
|
+// CHECK:STDOUT: %.28: <specific function> = specific_function %.27, @Convert.2(%.1) [template]
|
|
|
+// CHECK:STDOUT: %.29: %i32 = int_value 2 [template]
|
|
|
+// CHECK:STDOUT: %.30: %i32 = int_value 3 [template]
|
|
|
+// CHECK:STDOUT: %Convert.type.15: type = fn_type @Convert.4, @impl.3(%.1) [template]
|
|
|
// CHECK:STDOUT: %Convert.15: %Convert.type.15 = struct_value () [template]
|
|
|
-// CHECK:STDOUT: %.26: <witness> = interface_witness (%Convert.15) [template]
|
|
|
-// CHECK:STDOUT: %.27: <bound method> = bound_method %.1, %Convert.15 [template]
|
|
|
-// CHECK:STDOUT: %.28: i32 = int_value 1 [template]
|
|
|
-// CHECK:STDOUT: %.29: <bound method> = bound_method %.2, %Convert.15 [template]
|
|
|
-// CHECK:STDOUT: %.30: i32 = int_value 2 [template]
|
|
|
-// CHECK:STDOUT: %.31: i32 = int_value 3 [template]
|
|
|
-// CHECK:STDOUT: %Convert.type.16: type = fn_type @Convert.12 [template]
|
|
|
-// CHECK:STDOUT: %Convert.16: %Convert.type.16 = struct_value () [template]
|
|
|
-// CHECK:STDOUT: %.32: <witness> = interface_witness (%Convert.16) [template]
|
|
|
-// CHECK:STDOUT: %.33: <bound method> = bound_method %.31, %Convert.16 [template]
|
|
|
+// CHECK:STDOUT: %.31: <witness> = interface_witness (%Convert.15) [template]
|
|
|
+// CHECK:STDOUT: %.32: <bound method> = bound_method %.30, %Convert.15 [template]
|
|
|
+// CHECK:STDOUT: %.33: <specific function> = specific_function %.32, @Convert.4(%.1) [template]
|
|
|
// CHECK:STDOUT: %.34: Core.IntLiteral = int_value 3 [template]
|
|
|
-// CHECK:STDOUT: %.35: type = array_type %.34, i32 [template]
|
|
|
+// CHECK:STDOUT: %.35: type = array_type %.34, %i32 [template]
|
|
|
// CHECK:STDOUT: %.36: type = ptr_type %.35 [template]
|
|
|
// CHECK:STDOUT: %RuntimeCall.type: type = fn_type @RuntimeCall [template]
|
|
|
// CHECK:STDOUT: %RuntimeCall: %RuntimeCall.type = struct_value () [template]
|
|
|
@@ -121,7 +126,7 @@ let b: i32 = Add(0x7FFFFFFF, 1);
|
|
|
// CHECK:STDOUT:
|
|
|
// CHECK:STDOUT: imports {
|
|
|
// CHECK:STDOUT: %Core: <namespace> = namespace file.%Core.import, [template] {
|
|
|
-// CHECK:STDOUT: .Int32 = %import_ref.1
|
|
|
+// CHECK:STDOUT: .Int = %import_ref.1
|
|
|
// CHECK:STDOUT: .ImplicitAs = %import_ref.2
|
|
|
// CHECK:STDOUT: import Core//prelude
|
|
|
// CHECK:STDOUT: import Core//prelude/...
|
|
|
@@ -138,98 +143,109 @@ let b: i32 = Add(0x7FFFFFFF, 1);
|
|
|
// CHECK:STDOUT: }
|
|
|
// CHECK:STDOUT: %Core.import = import Core
|
|
|
// CHECK:STDOUT: %Add.decl: %Add.type = fn_decl @Add [template = constants.%Add] {
|
|
|
-// CHECK:STDOUT: %a.patt: i32 = binding_pattern a
|
|
|
-// CHECK:STDOUT: %a.param_patt: i32 = value_param_pattern %a.patt, runtime_param0
|
|
|
-// CHECK:STDOUT: %b.patt: i32 = binding_pattern b
|
|
|
-// CHECK:STDOUT: %b.param_patt: i32 = value_param_pattern %b.patt, runtime_param1
|
|
|
-// CHECK:STDOUT: %return.patt: i32 = return_slot_pattern
|
|
|
-// CHECK:STDOUT: %return.param_patt: i32 = out_param_pattern %return.patt, runtime_param2
|
|
|
+// CHECK:STDOUT: %a.patt: %i32 = binding_pattern a
|
|
|
+// CHECK:STDOUT: %a.param_patt: %i32 = value_param_pattern %a.patt, runtime_param0
|
|
|
+// CHECK:STDOUT: %b.patt: %i32 = binding_pattern b
|
|
|
+// CHECK:STDOUT: %b.param_patt: %i32 = value_param_pattern %b.patt, runtime_param1
|
|
|
+// CHECK:STDOUT: %return.patt: %i32 = return_slot_pattern
|
|
|
+// CHECK:STDOUT: %return.param_patt: %i32 = out_param_pattern %return.patt, runtime_param2
|
|
|
// CHECK:STDOUT: } {
|
|
|
-// CHECK:STDOUT: %int.make_type_32.loc2_11: init type = call constants.%Int32() [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc2_11.1: type = value_of_initializer %int.make_type_32.loc2_11 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc2_11.2: type = converted %int.make_type_32.loc2_11, %.loc2_11.1 [template = i32]
|
|
|
-// CHECK:STDOUT: %int.make_type_32.loc2_19: init type = call constants.%Int32() [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc2_19.1: type = value_of_initializer %int.make_type_32.loc2_19 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc2_19.2: type = converted %int.make_type_32.loc2_19, %.loc2_19.1 [template = i32]
|
|
|
-// CHECK:STDOUT: %int.make_type_32.loc2_27: init type = call constants.%Int32() [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc2_27.1: type = value_of_initializer %int.make_type_32.loc2_27 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc2_27.2: type = converted %int.make_type_32.loc2_27, %.loc2_27.1 [template = i32]
|
|
|
-// CHECK:STDOUT: %a.param: i32 = value_param runtime_param0
|
|
|
-// CHECK:STDOUT: %a: i32 = bind_name a, %a.param
|
|
|
-// CHECK:STDOUT: %b.param: i32 = value_param runtime_param1
|
|
|
-// CHECK:STDOUT: %b: i32 = bind_name b, %b.param
|
|
|
-// CHECK:STDOUT: %return.param: ref i32 = out_param runtime_param2
|
|
|
-// CHECK:STDOUT: %return: ref i32 = return_slot %return.param
|
|
|
+// CHECK:STDOUT: %.loc2_11.1: Core.IntLiteral = int_value 32 [template = constants.%.1]
|
|
|
+// CHECK:STDOUT: %int.make_type_signed.loc2_11: init type = call constants.%Int(%.loc2_11.1) [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc2_11.2: type = value_of_initializer %int.make_type_signed.loc2_11 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc2_11.3: type = converted %int.make_type_signed.loc2_11, %.loc2_11.2 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc2_19.1: Core.IntLiteral = int_value 32 [template = constants.%.1]
|
|
|
+// CHECK:STDOUT: %int.make_type_signed.loc2_19: init type = call constants.%Int(%.loc2_19.1) [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc2_19.2: type = value_of_initializer %int.make_type_signed.loc2_19 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc2_19.3: type = converted %int.make_type_signed.loc2_19, %.loc2_19.2 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc2_27.1: Core.IntLiteral = int_value 32 [template = constants.%.1]
|
|
|
+// CHECK:STDOUT: %int.make_type_signed.loc2_27: init type = call constants.%Int(%.loc2_27.1) [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc2_27.2: type = value_of_initializer %int.make_type_signed.loc2_27 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc2_27.3: type = converted %int.make_type_signed.loc2_27, %.loc2_27.2 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %a.param: %i32 = value_param runtime_param0
|
|
|
+// CHECK:STDOUT: %a: %i32 = bind_name a, %a.param
|
|
|
+// CHECK:STDOUT: %b.param: %i32 = value_param runtime_param1
|
|
|
+// CHECK:STDOUT: %b: %i32 = bind_name b, %b.param
|
|
|
+// CHECK:STDOUT: %return.param: ref %i32 = out_param runtime_param2
|
|
|
+// CHECK:STDOUT: %return: ref %i32 = return_slot %return.param
|
|
|
// CHECK:STDOUT: }
|
|
|
-// CHECK:STDOUT: %int.make_type_32.loc4: init type = call constants.%Int32() [template = i32]
|
|
|
+// CHECK:STDOUT: %.loc4_11.1: Core.IntLiteral = int_value 32 [template = constants.%.1]
|
|
|
+// CHECK:STDOUT: %int.make_type_signed.loc4: init type = call constants.%Int(%.loc4_11.1) [template = constants.%i32]
|
|
|
// CHECK:STDOUT: %Add.ref: %Add.type = name_ref Add, %Add.decl [template = constants.%Add]
|
|
|
-// CHECK:STDOUT: %.loc4_20.1: Core.IntLiteral = int_value 1 [template = constants.%.1]
|
|
|
-// CHECK:STDOUT: %.loc4_23.1: Core.IntLiteral = int_value 2 [template = constants.%.2]
|
|
|
-// CHECK:STDOUT: %.loc4_20.2: %Convert.type.2 = interface_witness_access constants.%.26, element0 [template = constants.%Convert.15]
|
|
|
-// CHECK:STDOUT: %.loc4_20.3: <bound method> = bound_method %.loc4_20.1, %.loc4_20.2 [template = constants.%.27]
|
|
|
-// CHECK:STDOUT: %int.convert_checked.loc4_20: init i32 = call %.loc4_20.3(%.loc4_20.1) [template = constants.%.28]
|
|
|
-// CHECK:STDOUT: %.loc4_20.4: i32 = value_of_initializer %int.convert_checked.loc4_20 [template = constants.%.28]
|
|
|
-// CHECK:STDOUT: %.loc4_20.5: i32 = converted %.loc4_20.1, %.loc4_20.4 [template = constants.%.28]
|
|
|
-// CHECK:STDOUT: %.loc4_23.2: %Convert.type.2 = interface_witness_access constants.%.26, element0 [template = constants.%Convert.15]
|
|
|
-// CHECK:STDOUT: %.loc4_23.3: <bound method> = bound_method %.loc4_23.1, %.loc4_23.2 [template = constants.%.29]
|
|
|
-// CHECK:STDOUT: %int.convert_checked.loc4_23: init i32 = call %.loc4_23.3(%.loc4_23.1) [template = constants.%.30]
|
|
|
-// CHECK:STDOUT: %.loc4_23.4: i32 = value_of_initializer %int.convert_checked.loc4_23 [template = constants.%.30]
|
|
|
-// CHECK:STDOUT: %.loc4_23.5: i32 = converted %.loc4_23.1, %.loc4_23.4 [template = constants.%.30]
|
|
|
-// CHECK:STDOUT: %int.sadd: init i32 = call %Add.ref(%.loc4_20.5, %.loc4_23.5) [template = constants.%.31]
|
|
|
-// CHECK:STDOUT: %.loc4_11.1: type = value_of_initializer %int.make_type_32.loc4 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc4_11.2: type = converted %int.make_type_32.loc4, %.loc4_11.1 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc4_19.1: %Convert.type.5 = interface_witness_access constants.%.32, element0 [template = constants.%Convert.16]
|
|
|
-// CHECK:STDOUT: %.loc4_19.2: <bound method> = bound_method %int.sadd, %.loc4_19.1 [template = constants.%.33]
|
|
|
-// CHECK:STDOUT: %.loc4_19.3: i32 = value_of_initializer %int.sadd [template = constants.%.31]
|
|
|
-// CHECK:STDOUT: %.loc4_19.4: i32 = converted %int.sadd, %.loc4_19.3 [template = constants.%.31]
|
|
|
-// CHECK:STDOUT: %int.convert_checked.loc4_19: init Core.IntLiteral = call %.loc4_19.2(%.loc4_19.4) [template = constants.%.34]
|
|
|
-// CHECK:STDOUT: %.loc4_19.5: Core.IntLiteral = value_of_initializer %int.convert_checked.loc4_19 [template = constants.%.34]
|
|
|
-// CHECK:STDOUT: %.loc4_19.6: Core.IntLiteral = converted %int.sadd, %.loc4_19.5 [template = constants.%.34]
|
|
|
-// CHECK:STDOUT: %.loc4_25: type = array_type %.loc4_19.6, i32 [template = constants.%.35]
|
|
|
+// CHECK:STDOUT: %.loc4_20.1: Core.IntLiteral = int_value 1 [template = constants.%.2]
|
|
|
+// CHECK:STDOUT: %.loc4_23.1: Core.IntLiteral = int_value 2 [template = constants.%.3]
|
|
|
+// CHECK:STDOUT: %.loc4_20.2: %Convert.type.2 = interface_witness_access constants.%.23, element0 [template = constants.%Convert.14]
|
|
|
+// CHECK:STDOUT: %.loc4_20.3: <bound method> = bound_method %.loc4_20.1, %.loc4_20.2 [template = constants.%.24]
|
|
|
+// CHECK:STDOUT: %.loc4_20.4: <specific function> = specific_function %.loc4_20.3, @Convert.2(constants.%.1) [template = constants.%.25]
|
|
|
+// CHECK:STDOUT: %int.convert_checked.loc4_20: init %i32 = call %.loc4_20.4(%.loc4_20.1) [template = constants.%.26]
|
|
|
+// CHECK:STDOUT: %.loc4_20.5: %i32 = value_of_initializer %int.convert_checked.loc4_20 [template = constants.%.26]
|
|
|
+// CHECK:STDOUT: %.loc4_20.6: %i32 = converted %.loc4_20.1, %.loc4_20.5 [template = constants.%.26]
|
|
|
+// CHECK:STDOUT: %.loc4_23.2: %Convert.type.2 = interface_witness_access constants.%.23, element0 [template = constants.%Convert.14]
|
|
|
+// CHECK:STDOUT: %.loc4_23.3: <bound method> = bound_method %.loc4_23.1, %.loc4_23.2 [template = constants.%.27]
|
|
|
+// CHECK:STDOUT: %.loc4_23.4: <specific function> = specific_function %.loc4_23.3, @Convert.2(constants.%.1) [template = constants.%.28]
|
|
|
+// CHECK:STDOUT: %int.convert_checked.loc4_23: init %i32 = call %.loc4_23.4(%.loc4_23.1) [template = constants.%.29]
|
|
|
+// CHECK:STDOUT: %.loc4_23.5: %i32 = value_of_initializer %int.convert_checked.loc4_23 [template = constants.%.29]
|
|
|
+// CHECK:STDOUT: %.loc4_23.6: %i32 = converted %.loc4_23.1, %.loc4_23.5 [template = constants.%.29]
|
|
|
+// CHECK:STDOUT: %int.sadd: init %i32 = call %Add.ref(%.loc4_20.6, %.loc4_23.6) [template = constants.%.30]
|
|
|
+// CHECK:STDOUT: %.loc4_11.2: type = value_of_initializer %int.make_type_signed.loc4 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc4_11.3: type = converted %int.make_type_signed.loc4, %.loc4_11.2 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc4_19.1: %Convert.type.6 = interface_witness_access constants.%.31, element0 [template = constants.%Convert.15]
|
|
|
+// CHECK:STDOUT: %.loc4_19.2: <bound method> = bound_method %int.sadd, %.loc4_19.1 [template = constants.%.32]
|
|
|
+// CHECK:STDOUT: %.loc4_19.3: <specific function> = specific_function %.loc4_19.2, @Convert.4(constants.%.1) [template = constants.%.33]
|
|
|
+// CHECK:STDOUT: %.loc4_19.4: %i32 = value_of_initializer %int.sadd [template = constants.%.30]
|
|
|
+// CHECK:STDOUT: %.loc4_19.5: %i32 = converted %int.sadd, %.loc4_19.4 [template = constants.%.30]
|
|
|
+// CHECK:STDOUT: %int.convert_checked.loc4_19: init Core.IntLiteral = call %.loc4_19.3(%.loc4_19.5) [template = constants.%.34]
|
|
|
+// CHECK:STDOUT: %.loc4_19.6: Core.IntLiteral = value_of_initializer %int.convert_checked.loc4_19 [template = constants.%.34]
|
|
|
+// CHECK:STDOUT: %.loc4_19.7: Core.IntLiteral = converted %int.sadd, %.loc4_19.6 [template = constants.%.34]
|
|
|
+// CHECK:STDOUT: %.loc4_25: type = array_type %.loc4_19.7, %i32 [template = constants.%.35]
|
|
|
// CHECK:STDOUT: %arr.var: ref %.35 = var arr
|
|
|
// CHECK:STDOUT: %arr: ref %.35 = bind_name arr, %arr.var
|
|
|
-// CHECK:STDOUT: %int.make_type_32.loc5: init type = call constants.%Int32() [template = i32]
|
|
|
+// CHECK:STDOUT: %.loc5_13.1: Core.IntLiteral = int_value 32 [template = constants.%.1]
|
|
|
+// CHECK:STDOUT: %int.make_type_signed.loc5: init type = call constants.%Int(%.loc5_13.1) [template = constants.%i32]
|
|
|
// CHECK:STDOUT: %.loc5_18: Core.IntLiteral = int_value 3 [template = constants.%.34]
|
|
|
-// CHECK:STDOUT: %.loc5_13.1: type = value_of_initializer %int.make_type_32.loc5 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc5_13.2: type = converted %int.make_type_32.loc5, %.loc5_13.1 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc5_19: type = array_type %.loc5_18, i32 [template = constants.%.35]
|
|
|
+// CHECK:STDOUT: %.loc5_13.2: type = value_of_initializer %int.make_type_signed.loc5 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc5_13.3: type = converted %int.make_type_signed.loc5, %.loc5_13.2 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc5_19: type = array_type %.loc5_18, %i32 [template = constants.%.35]
|
|
|
// CHECK:STDOUT: %.loc5_20: type = ptr_type %.35 [template = constants.%.36]
|
|
|
// CHECK:STDOUT: %RuntimeCall.decl: %RuntimeCall.type = fn_decl @RuntimeCall [template = constants.%RuntimeCall] {
|
|
|
-// CHECK:STDOUT: %a.patt: i32 = binding_pattern a
|
|
|
-// CHECK:STDOUT: %a.param_patt: i32 = value_param_pattern %a.patt, runtime_param0
|
|
|
-// CHECK:STDOUT: %b.patt: i32 = binding_pattern b
|
|
|
-// CHECK:STDOUT: %b.param_patt: i32 = value_param_pattern %b.patt, runtime_param1
|
|
|
-// CHECK:STDOUT: %return.patt: i32 = return_slot_pattern
|
|
|
-// CHECK:STDOUT: %return.param_patt: i32 = out_param_pattern %return.patt, runtime_param2
|
|
|
+// CHECK:STDOUT: %a.patt: %i32 = binding_pattern a
|
|
|
+// CHECK:STDOUT: %a.param_patt: %i32 = value_param_pattern %a.patt, runtime_param0
|
|
|
+// CHECK:STDOUT: %b.patt: %i32 = binding_pattern b
|
|
|
+// CHECK:STDOUT: %b.param_patt: %i32 = value_param_pattern %b.patt, runtime_param1
|
|
|
+// CHECK:STDOUT: %return.patt: %i32 = return_slot_pattern
|
|
|
+// CHECK:STDOUT: %return.param_patt: %i32 = out_param_pattern %return.patt, runtime_param2
|
|
|
// CHECK:STDOUT: } {
|
|
|
-// CHECK:STDOUT: %int.make_type_32.loc7_19: init type = call constants.%Int32() [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc7_19.1: type = value_of_initializer %int.make_type_32.loc7_19 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc7_19.2: type = converted %int.make_type_32.loc7_19, %.loc7_19.1 [template = i32]
|
|
|
-// CHECK:STDOUT: %int.make_type_32.loc7_27: init type = call constants.%Int32() [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc7_27.1: type = value_of_initializer %int.make_type_32.loc7_27 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc7_27.2: type = converted %int.make_type_32.loc7_27, %.loc7_27.1 [template = i32]
|
|
|
-// CHECK:STDOUT: %int.make_type_32.loc7_35: init type = call constants.%Int32() [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc7_35.1: type = value_of_initializer %int.make_type_32.loc7_35 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc7_35.2: type = converted %int.make_type_32.loc7_35, %.loc7_35.1 [template = i32]
|
|
|
-// CHECK:STDOUT: %a.param: i32 = value_param runtime_param0
|
|
|
-// CHECK:STDOUT: %a: i32 = bind_name a, %a.param
|
|
|
-// CHECK:STDOUT: %b.param: i32 = value_param runtime_param1
|
|
|
-// CHECK:STDOUT: %b: i32 = bind_name b, %b.param
|
|
|
-// CHECK:STDOUT: %return.param: ref i32 = out_param runtime_param2
|
|
|
-// CHECK:STDOUT: %return: ref i32 = return_slot %return.param
|
|
|
+// CHECK:STDOUT: %.loc7_19.1: Core.IntLiteral = int_value 32 [template = constants.%.1]
|
|
|
+// CHECK:STDOUT: %int.make_type_signed.loc7_19: init type = call constants.%Int(%.loc7_19.1) [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc7_19.2: type = value_of_initializer %int.make_type_signed.loc7_19 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc7_19.3: type = converted %int.make_type_signed.loc7_19, %.loc7_19.2 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc7_27.1: Core.IntLiteral = int_value 32 [template = constants.%.1]
|
|
|
+// CHECK:STDOUT: %int.make_type_signed.loc7_27: init type = call constants.%Int(%.loc7_27.1) [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc7_27.2: type = value_of_initializer %int.make_type_signed.loc7_27 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc7_27.3: type = converted %int.make_type_signed.loc7_27, %.loc7_27.2 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc7_35.1: Core.IntLiteral = int_value 32 [template = constants.%.1]
|
|
|
+// CHECK:STDOUT: %int.make_type_signed.loc7_35: init type = call constants.%Int(%.loc7_35.1) [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc7_35.2: type = value_of_initializer %int.make_type_signed.loc7_35 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc7_35.3: type = converted %int.make_type_signed.loc7_35, %.loc7_35.2 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %a.param: %i32 = value_param runtime_param0
|
|
|
+// CHECK:STDOUT: %a: %i32 = bind_name a, %a.param
|
|
|
+// CHECK:STDOUT: %b.param: %i32 = value_param runtime_param1
|
|
|
+// CHECK:STDOUT: %b: %i32 = bind_name b, %b.param
|
|
|
+// CHECK:STDOUT: %return.param: ref %i32 = out_param runtime_param2
|
|
|
+// CHECK:STDOUT: %return: ref %i32 = return_slot %return.param
|
|
|
// CHECK:STDOUT: }
|
|
|
// CHECK:STDOUT: }
|
|
|
// CHECK:STDOUT:
|
|
|
-// CHECK:STDOUT: fn @Add(%a.param_patt: i32, %b.param_patt: i32) -> i32 = "int.sadd";
|
|
|
+// CHECK:STDOUT: fn @Add(%a.param_patt: %i32, %b.param_patt: %i32) -> %i32 = "int.sadd";
|
|
|
// CHECK:STDOUT:
|
|
|
-// CHECK:STDOUT: fn @RuntimeCall(%a.param_patt: i32, %b.param_patt: i32) -> i32 {
|
|
|
+// CHECK:STDOUT: fn @RuntimeCall(%a.param_patt: %i32, %b.param_patt: %i32) -> %i32 {
|
|
|
// CHECK:STDOUT: !entry:
|
|
|
// CHECK:STDOUT: %Add.ref: %Add.type = name_ref Add, file.%Add.decl [template = constants.%Add]
|
|
|
-// CHECK:STDOUT: %a.ref: i32 = name_ref a, %a
|
|
|
-// CHECK:STDOUT: %b.ref: i32 = name_ref b, %b
|
|
|
-// CHECK:STDOUT: %int.sadd: init i32 = call %Add.ref(%a.ref, %b.ref)
|
|
|
-// CHECK:STDOUT: %.loc8_19.1: i32 = value_of_initializer %int.sadd
|
|
|
-// CHECK:STDOUT: %.loc8_19.2: i32 = converted %int.sadd, %.loc8_19.1
|
|
|
+// CHECK:STDOUT: %a.ref: %i32 = name_ref a, %a
|
|
|
+// CHECK:STDOUT: %b.ref: %i32 = name_ref b, %b
|
|
|
+// CHECK:STDOUT: %int.sadd: init %i32 = call %Add.ref(%a.ref, %b.ref)
|
|
|
+// CHECK:STDOUT: %.loc8_19.1: %i32 = value_of_initializer %int.sadd
|
|
|
+// CHECK:STDOUT: %.loc8_19.2: %i32 = converted %int.sadd, %.loc8_19.1
|
|
|
// CHECK:STDOUT: return %.loc8_19.2
|
|
|
// CHECK:STDOUT: }
|
|
|
// CHECK:STDOUT:
|
|
|
@@ -244,8 +260,10 @@ let b: i32 = Add(0x7FFFFFFF, 1);
|
|
|
// CHECK:STDOUT: --- fail_bad_decl.carbon
|
|
|
// CHECK:STDOUT:
|
|
|
// CHECK:STDOUT: constants {
|
|
|
-// CHECK:STDOUT: %Int32.type: type = fn_type @Int32 [template]
|
|
|
-// CHECK:STDOUT: %Int32: %Int32.type = struct_value () [template]
|
|
|
+// CHECK:STDOUT: %.1: Core.IntLiteral = int_value 32 [template]
|
|
|
+// CHECK:STDOUT: %Int.type: type = fn_type @Int [template]
|
|
|
+// CHECK:STDOUT: %Int: %Int.type = struct_value () [template]
|
|
|
+// CHECK:STDOUT: %i32: type = int_type signed, %.1 [template]
|
|
|
// CHECK:STDOUT: %TooFew.type: type = fn_type @TooFew [template]
|
|
|
// CHECK:STDOUT: %TooFew: %TooFew.type = struct_value () [template]
|
|
|
// CHECK:STDOUT: %TooMany.type: type = fn_type @TooMany [template]
|
|
|
@@ -256,19 +274,22 @@ let b: i32 = Add(0x7FFFFFFF, 1);
|
|
|
// CHECK:STDOUT: %BadReturnType: %BadReturnType.type = struct_value () [template]
|
|
|
// CHECK:STDOUT: %JustRight.type: type = fn_type @JustRight [template]
|
|
|
// CHECK:STDOUT: %JustRight: %JustRight.type = struct_value () [template]
|
|
|
-// CHECK:STDOUT: %.1: Core.IntLiteral = int_value 1 [template]
|
|
|
-// CHECK:STDOUT: %Convert.type.2: type = fn_type @Convert.1, @ImplicitAs(i32) [template]
|
|
|
-// CHECK:STDOUT: %Convert.type.15: type = fn_type @Convert.11 [template]
|
|
|
-// CHECK:STDOUT: %Convert.15: %Convert.type.15 = struct_value () [template]
|
|
|
-// CHECK:STDOUT: %.25: <witness> = interface_witness (%Convert.15) [template]
|
|
|
-// CHECK:STDOUT: %.26: <bound method> = bound_method %.1, %Convert.15 [template]
|
|
|
-// CHECK:STDOUT: %.27: i32 = int_value 1 [template]
|
|
|
-// CHECK:STDOUT: %.28: Core.IntLiteral = int_value 2 [template]
|
|
|
-// CHECK:STDOUT: %.29: Core.IntLiteral = int_value 3 [template]
|
|
|
-// CHECK:STDOUT: %.30: <bound method> = bound_method %.28, %Convert.15 [template]
|
|
|
-// CHECK:STDOUT: %.31: i32 = int_value 2 [template]
|
|
|
-// CHECK:STDOUT: %.32: <bound method> = bound_method %.29, %Convert.15 [template]
|
|
|
-// CHECK:STDOUT: %.33: i32 = int_value 3 [template]
|
|
|
+// CHECK:STDOUT: %.2: Core.IntLiteral = int_value 1 [template]
|
|
|
+// CHECK:STDOUT: %Convert.type.2: type = fn_type @Convert.1, @ImplicitAs(%i32) [template]
|
|
|
+// CHECK:STDOUT: %Convert.type.14: type = fn_type @Convert.2, @impl.1(%.1) [template]
|
|
|
+// CHECK:STDOUT: %Convert.14: %Convert.type.14 = struct_value () [template]
|
|
|
+// CHECK:STDOUT: %.22: <witness> = interface_witness (%Convert.14) [template]
|
|
|
+// CHECK:STDOUT: %.23: <bound method> = bound_method %.2, %Convert.14 [template]
|
|
|
+// CHECK:STDOUT: %.24: <specific function> = specific_function %.23, @Convert.2(%.1) [template]
|
|
|
+// CHECK:STDOUT: %.25: %i32 = int_value 1 [template]
|
|
|
+// CHECK:STDOUT: %.26: Core.IntLiteral = int_value 2 [template]
|
|
|
+// CHECK:STDOUT: %.27: Core.IntLiteral = int_value 3 [template]
|
|
|
+// CHECK:STDOUT: %.28: <bound method> = bound_method %.26, %Convert.14 [template]
|
|
|
+// CHECK:STDOUT: %.29: <specific function> = specific_function %.28, @Convert.2(%.1) [template]
|
|
|
+// CHECK:STDOUT: %.30: %i32 = int_value 2 [template]
|
|
|
+// CHECK:STDOUT: %.31: <bound method> = bound_method %.27, %Convert.14 [template]
|
|
|
+// CHECK:STDOUT: %.32: <specific function> = specific_function %.31, @Convert.2(%.1) [template]
|
|
|
+// CHECK:STDOUT: %.33: %i32 = int_value 3 [template]
|
|
|
// CHECK:STDOUT: %RuntimeCallTooFew.type: type = fn_type @RuntimeCallTooFew [template]
|
|
|
// CHECK:STDOUT: %RuntimeCallTooFew: %RuntimeCallTooFew.type = struct_value () [template]
|
|
|
// CHECK:STDOUT: %RuntimeCallTooMany.type: type = fn_type @RuntimeCallTooMany [template]
|
|
|
@@ -279,7 +300,7 @@ let b: i32 = Add(0x7FFFFFFF, 1);
|
|
|
// CHECK:STDOUT:
|
|
|
// CHECK:STDOUT: imports {
|
|
|
// CHECK:STDOUT: %Core: <namespace> = namespace file.%Core.import, [template] {
|
|
|
-// CHECK:STDOUT: .Int32 = %import_ref.1
|
|
|
+// CHECK:STDOUT: .Int = %import_ref.1
|
|
|
// CHECK:STDOUT: .Bool = %import_ref.2
|
|
|
// CHECK:STDOUT: .ImplicitAs = %import_ref.3
|
|
|
// CHECK:STDOUT: import Core//prelude
|
|
|
@@ -304,277 +325,306 @@ let b: i32 = Add(0x7FFFFFFF, 1);
|
|
|
// CHECK:STDOUT: }
|
|
|
// CHECK:STDOUT: %Core.import = import Core
|
|
|
// CHECK:STDOUT: %TooFew.decl: %TooFew.type = fn_decl @TooFew [template = constants.%TooFew] {
|
|
|
-// CHECK:STDOUT: %a.patt: i32 = binding_pattern a
|
|
|
-// CHECK:STDOUT: %a.param_patt: i32 = value_param_pattern %a.patt, runtime_param0
|
|
|
-// CHECK:STDOUT: %return.patt: i32 = return_slot_pattern
|
|
|
-// CHECK:STDOUT: %return.param_patt: i32 = out_param_pattern %return.patt, runtime_param1
|
|
|
+// CHECK:STDOUT: %a.patt: %i32 = binding_pattern a
|
|
|
+// CHECK:STDOUT: %a.param_patt: %i32 = value_param_pattern %a.patt, runtime_param0
|
|
|
+// CHECK:STDOUT: %return.patt: %i32 = return_slot_pattern
|
|
|
+// CHECK:STDOUT: %return.param_patt: %i32 = out_param_pattern %return.patt, runtime_param1
|
|
|
// CHECK:STDOUT: } {
|
|
|
-// CHECK:STDOUT: %int.make_type_32.loc8_14: init type = call constants.%Int32() [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc8_14.1: type = value_of_initializer %int.make_type_32.loc8_14 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc8_14.2: type = converted %int.make_type_32.loc8_14, %.loc8_14.1 [template = i32]
|
|
|
-// CHECK:STDOUT: %int.make_type_32.loc8_22: init type = call constants.%Int32() [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc8_22.1: type = value_of_initializer %int.make_type_32.loc8_22 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc8_22.2: type = converted %int.make_type_32.loc8_22, %.loc8_22.1 [template = i32]
|
|
|
-// CHECK:STDOUT: %a.param: i32 = value_param runtime_param0
|
|
|
-// CHECK:STDOUT: %a: i32 = bind_name a, %a.param
|
|
|
-// CHECK:STDOUT: %return.param: ref i32 = out_param runtime_param1
|
|
|
-// CHECK:STDOUT: %return: ref i32 = return_slot %return.param
|
|
|
+// CHECK:STDOUT: %.loc8_14.1: Core.IntLiteral = int_value 32 [template = constants.%.1]
|
|
|
+// CHECK:STDOUT: %int.make_type_signed.loc8_14: init type = call constants.%Int(%.loc8_14.1) [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc8_14.2: type = value_of_initializer %int.make_type_signed.loc8_14 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc8_14.3: type = converted %int.make_type_signed.loc8_14, %.loc8_14.2 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc8_22.1: Core.IntLiteral = int_value 32 [template = constants.%.1]
|
|
|
+// CHECK:STDOUT: %int.make_type_signed.loc8_22: init type = call constants.%Int(%.loc8_22.1) [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc8_22.2: type = value_of_initializer %int.make_type_signed.loc8_22 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc8_22.3: type = converted %int.make_type_signed.loc8_22, %.loc8_22.2 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %a.param: %i32 = value_param runtime_param0
|
|
|
+// CHECK:STDOUT: %a: %i32 = bind_name a, %a.param
|
|
|
+// CHECK:STDOUT: %return.param: ref %i32 = out_param runtime_param1
|
|
|
+// CHECK:STDOUT: %return: ref %i32 = return_slot %return.param
|
|
|
// CHECK:STDOUT: }
|
|
|
// CHECK:STDOUT: %TooMany.decl: %TooMany.type = fn_decl @TooMany [template = constants.%TooMany] {
|
|
|
-// CHECK:STDOUT: %a.patt: i32 = binding_pattern a
|
|
|
-// CHECK:STDOUT: %a.param_patt: i32 = value_param_pattern %a.patt, runtime_param0
|
|
|
-// CHECK:STDOUT: %b.patt: i32 = binding_pattern b
|
|
|
-// CHECK:STDOUT: %b.param_patt: i32 = value_param_pattern %b.patt, runtime_param1
|
|
|
-// CHECK:STDOUT: %c.patt: i32 = binding_pattern c
|
|
|
-// CHECK:STDOUT: %c.param_patt: i32 = value_param_pattern %c.patt, runtime_param2
|
|
|
-// CHECK:STDOUT: %return.patt: i32 = return_slot_pattern
|
|
|
-// CHECK:STDOUT: %return.param_patt: i32 = out_param_pattern %return.patt, runtime_param3
|
|
|
+// CHECK:STDOUT: %a.patt: %i32 = binding_pattern a
|
|
|
+// CHECK:STDOUT: %a.param_patt: %i32 = value_param_pattern %a.patt, runtime_param0
|
|
|
+// CHECK:STDOUT: %b.patt: %i32 = binding_pattern b
|
|
|
+// CHECK:STDOUT: %b.param_patt: %i32 = value_param_pattern %b.patt, runtime_param1
|
|
|
+// CHECK:STDOUT: %c.patt: %i32 = binding_pattern c
|
|
|
+// CHECK:STDOUT: %c.param_patt: %i32 = value_param_pattern %c.patt, runtime_param2
|
|
|
+// CHECK:STDOUT: %return.patt: %i32 = return_slot_pattern
|
|
|
+// CHECK:STDOUT: %return.param_patt: %i32 = out_param_pattern %return.patt, runtime_param3
|
|
|
// CHECK:STDOUT: } {
|
|
|
-// CHECK:STDOUT: %int.make_type_32.loc13_15: init type = call constants.%Int32() [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc13_15.1: type = value_of_initializer %int.make_type_32.loc13_15 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc13_15.2: type = converted %int.make_type_32.loc13_15, %.loc13_15.1 [template = i32]
|
|
|
-// CHECK:STDOUT: %int.make_type_32.loc13_23: init type = call constants.%Int32() [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc13_23.1: type = value_of_initializer %int.make_type_32.loc13_23 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc13_23.2: type = converted %int.make_type_32.loc13_23, %.loc13_23.1 [template = i32]
|
|
|
-// CHECK:STDOUT: %int.make_type_32.loc13_31: init type = call constants.%Int32() [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc13_31.1: type = value_of_initializer %int.make_type_32.loc13_31 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc13_31.2: type = converted %int.make_type_32.loc13_31, %.loc13_31.1 [template = i32]
|
|
|
-// CHECK:STDOUT: %int.make_type_32.loc13_39: init type = call constants.%Int32() [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc13_39.1: type = value_of_initializer %int.make_type_32.loc13_39 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc13_39.2: type = converted %int.make_type_32.loc13_39, %.loc13_39.1 [template = i32]
|
|
|
-// CHECK:STDOUT: %a.param: i32 = value_param runtime_param0
|
|
|
-// CHECK:STDOUT: %a: i32 = bind_name a, %a.param
|
|
|
-// CHECK:STDOUT: %b.param: i32 = value_param runtime_param1
|
|
|
-// CHECK:STDOUT: %b: i32 = bind_name b, %b.param
|
|
|
-// CHECK:STDOUT: %c.param: i32 = value_param runtime_param2
|
|
|
-// CHECK:STDOUT: %c: i32 = bind_name c, %c.param
|
|
|
-// CHECK:STDOUT: %return.param: ref i32 = out_param runtime_param3
|
|
|
-// CHECK:STDOUT: %return: ref i32 = return_slot %return.param
|
|
|
+// CHECK:STDOUT: %.loc13_15.1: Core.IntLiteral = int_value 32 [template = constants.%.1]
|
|
|
+// CHECK:STDOUT: %int.make_type_signed.loc13_15: init type = call constants.%Int(%.loc13_15.1) [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc13_15.2: type = value_of_initializer %int.make_type_signed.loc13_15 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc13_15.3: type = converted %int.make_type_signed.loc13_15, %.loc13_15.2 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc13_23.1: Core.IntLiteral = int_value 32 [template = constants.%.1]
|
|
|
+// CHECK:STDOUT: %int.make_type_signed.loc13_23: init type = call constants.%Int(%.loc13_23.1) [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc13_23.2: type = value_of_initializer %int.make_type_signed.loc13_23 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc13_23.3: type = converted %int.make_type_signed.loc13_23, %.loc13_23.2 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc13_31.1: Core.IntLiteral = int_value 32 [template = constants.%.1]
|
|
|
+// CHECK:STDOUT: %int.make_type_signed.loc13_31: init type = call constants.%Int(%.loc13_31.1) [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc13_31.2: type = value_of_initializer %int.make_type_signed.loc13_31 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc13_31.3: type = converted %int.make_type_signed.loc13_31, %.loc13_31.2 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc13_39.1: Core.IntLiteral = int_value 32 [template = constants.%.1]
|
|
|
+// CHECK:STDOUT: %int.make_type_signed.loc13_39: init type = call constants.%Int(%.loc13_39.1) [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc13_39.2: type = value_of_initializer %int.make_type_signed.loc13_39 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc13_39.3: type = converted %int.make_type_signed.loc13_39, %.loc13_39.2 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %a.param: %i32 = value_param runtime_param0
|
|
|
+// CHECK:STDOUT: %a: %i32 = bind_name a, %a.param
|
|
|
+// CHECK:STDOUT: %b.param: %i32 = value_param runtime_param1
|
|
|
+// CHECK:STDOUT: %b: %i32 = bind_name b, %b.param
|
|
|
+// CHECK:STDOUT: %c.param: %i32 = value_param runtime_param2
|
|
|
+// CHECK:STDOUT: %c: %i32 = bind_name c, %c.param
|
|
|
+// CHECK:STDOUT: %return.param: ref %i32 = out_param runtime_param3
|
|
|
+// CHECK:STDOUT: %return: ref %i32 = return_slot %return.param
|
|
|
// CHECK:STDOUT: }
|
|
|
// CHECK:STDOUT: %BadReturnType.decl: %BadReturnType.type = fn_decl @BadReturnType [template = constants.%BadReturnType] {
|
|
|
-// CHECK:STDOUT: %a.patt: i32 = binding_pattern a
|
|
|
-// CHECK:STDOUT: %a.param_patt: i32 = value_param_pattern %a.patt, runtime_param0
|
|
|
-// CHECK:STDOUT: %b.patt: i32 = binding_pattern b
|
|
|
-// CHECK:STDOUT: %b.param_patt: i32 = value_param_pattern %b.patt, runtime_param1
|
|
|
+// CHECK:STDOUT: %a.patt: %i32 = binding_pattern a
|
|
|
+// CHECK:STDOUT: %a.param_patt: %i32 = value_param_pattern %a.patt, runtime_param0
|
|
|
+// CHECK:STDOUT: %b.patt: %i32 = binding_pattern b
|
|
|
+// CHECK:STDOUT: %b.param_patt: %i32 = value_param_pattern %b.patt, runtime_param1
|
|
|
// CHECK:STDOUT: %return.patt: bool = return_slot_pattern
|
|
|
// CHECK:STDOUT: %return.param_patt: bool = out_param_pattern %return.patt, runtime_param2
|
|
|
// CHECK:STDOUT: } {
|
|
|
-// CHECK:STDOUT: %int.make_type_32.loc18_21: init type = call constants.%Int32() [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc18_21.1: type = value_of_initializer %int.make_type_32.loc18_21 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc18_21.2: type = converted %int.make_type_32.loc18_21, %.loc18_21.1 [template = i32]
|
|
|
-// CHECK:STDOUT: %int.make_type_32.loc18_29: init type = call constants.%Int32() [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc18_29.1: type = value_of_initializer %int.make_type_32.loc18_29 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc18_29.2: type = converted %int.make_type_32.loc18_29, %.loc18_29.1 [template = i32]
|
|
|
+// CHECK:STDOUT: %.loc18_21.1: Core.IntLiteral = int_value 32 [template = constants.%.1]
|
|
|
+// CHECK:STDOUT: %int.make_type_signed.loc18_21: init type = call constants.%Int(%.loc18_21.1) [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc18_21.2: type = value_of_initializer %int.make_type_signed.loc18_21 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc18_21.3: type = converted %int.make_type_signed.loc18_21, %.loc18_21.2 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc18_29.1: Core.IntLiteral = int_value 32 [template = constants.%.1]
|
|
|
+// CHECK:STDOUT: %int.make_type_signed.loc18_29: init type = call constants.%Int(%.loc18_29.1) [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc18_29.2: type = value_of_initializer %int.make_type_signed.loc18_29 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc18_29.3: type = converted %int.make_type_signed.loc18_29, %.loc18_29.2 [template = constants.%i32]
|
|
|
// CHECK:STDOUT: %bool.make_type: init type = call constants.%Bool() [template = bool]
|
|
|
// CHECK:STDOUT: %.loc18_37.1: type = value_of_initializer %bool.make_type [template = bool]
|
|
|
// CHECK:STDOUT: %.loc18_37.2: type = converted %bool.make_type, %.loc18_37.1 [template = bool]
|
|
|
-// CHECK:STDOUT: %a.param: i32 = value_param runtime_param0
|
|
|
-// CHECK:STDOUT: %a: i32 = bind_name a, %a.param
|
|
|
-// CHECK:STDOUT: %b.param: i32 = value_param runtime_param1
|
|
|
-// CHECK:STDOUT: %b: i32 = bind_name b, %b.param
|
|
|
+// CHECK:STDOUT: %a.param: %i32 = value_param runtime_param0
|
|
|
+// CHECK:STDOUT: %a: %i32 = bind_name a, %a.param
|
|
|
+// CHECK:STDOUT: %b.param: %i32 = value_param runtime_param1
|
|
|
+// CHECK:STDOUT: %b: %i32 = bind_name b, %b.param
|
|
|
// CHECK:STDOUT: %return.param: ref bool = out_param runtime_param2
|
|
|
// CHECK:STDOUT: %return: ref bool = return_slot %return.param
|
|
|
// CHECK:STDOUT: }
|
|
|
// CHECK:STDOUT: %JustRight.decl: %JustRight.type = fn_decl @JustRight [template = constants.%JustRight] {
|
|
|
-// CHECK:STDOUT: %a.patt: i32 = binding_pattern a
|
|
|
-// CHECK:STDOUT: %a.param_patt: i32 = value_param_pattern %a.patt, runtime_param0
|
|
|
-// CHECK:STDOUT: %b.patt: i32 = binding_pattern b
|
|
|
-// CHECK:STDOUT: %b.param_patt: i32 = value_param_pattern %b.patt, runtime_param1
|
|
|
-// CHECK:STDOUT: %return.patt: i32 = return_slot_pattern
|
|
|
-// CHECK:STDOUT: %return.param_patt: i32 = out_param_pattern %return.patt, runtime_param2
|
|
|
+// CHECK:STDOUT: %a.patt: %i32 = binding_pattern a
|
|
|
+// CHECK:STDOUT: %a.param_patt: %i32 = value_param_pattern %a.patt, runtime_param0
|
|
|
+// CHECK:STDOUT: %b.patt: %i32 = binding_pattern b
|
|
|
+// CHECK:STDOUT: %b.param_patt: %i32 = value_param_pattern %b.patt, runtime_param1
|
|
|
+// CHECK:STDOUT: %return.patt: %i32 = return_slot_pattern
|
|
|
+// CHECK:STDOUT: %return.param_patt: %i32 = out_param_pattern %return.patt, runtime_param2
|
|
|
// CHECK:STDOUT: } {
|
|
|
-// CHECK:STDOUT: %int.make_type_32.loc19_17: init type = call constants.%Int32() [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc19_17.1: type = value_of_initializer %int.make_type_32.loc19_17 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc19_17.2: type = converted %int.make_type_32.loc19_17, %.loc19_17.1 [template = i32]
|
|
|
-// CHECK:STDOUT: %int.make_type_32.loc19_25: init type = call constants.%Int32() [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc19_25.1: type = value_of_initializer %int.make_type_32.loc19_25 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc19_25.2: type = converted %int.make_type_32.loc19_25, %.loc19_25.1 [template = i32]
|
|
|
-// CHECK:STDOUT: %int.make_type_32.loc19_33: init type = call constants.%Int32() [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc19_33.1: type = value_of_initializer %int.make_type_32.loc19_33 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc19_33.2: type = converted %int.make_type_32.loc19_33, %.loc19_33.1 [template = i32]
|
|
|
-// CHECK:STDOUT: %a.param: i32 = value_param runtime_param0
|
|
|
-// CHECK:STDOUT: %a: i32 = bind_name a, %a.param
|
|
|
-// CHECK:STDOUT: %b.param: i32 = value_param runtime_param1
|
|
|
-// CHECK:STDOUT: %b: i32 = bind_name b, %b.param
|
|
|
-// CHECK:STDOUT: %return.param: ref i32 = out_param runtime_param2
|
|
|
-// CHECK:STDOUT: %return: ref i32 = return_slot %return.param
|
|
|
+// CHECK:STDOUT: %.loc19_17.1: Core.IntLiteral = int_value 32 [template = constants.%.1]
|
|
|
+// CHECK:STDOUT: %int.make_type_signed.loc19_17: init type = call constants.%Int(%.loc19_17.1) [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc19_17.2: type = value_of_initializer %int.make_type_signed.loc19_17 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc19_17.3: type = converted %int.make_type_signed.loc19_17, %.loc19_17.2 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc19_25.1: Core.IntLiteral = int_value 32 [template = constants.%.1]
|
|
|
+// CHECK:STDOUT: %int.make_type_signed.loc19_25: init type = call constants.%Int(%.loc19_25.1) [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc19_25.2: type = value_of_initializer %int.make_type_signed.loc19_25 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc19_25.3: type = converted %int.make_type_signed.loc19_25, %.loc19_25.2 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc19_33.1: Core.IntLiteral = int_value 32 [template = constants.%.1]
|
|
|
+// CHECK:STDOUT: %int.make_type_signed.loc19_33: init type = call constants.%Int(%.loc19_33.1) [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc19_33.2: type = value_of_initializer %int.make_type_signed.loc19_33 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc19_33.3: type = converted %int.make_type_signed.loc19_33, %.loc19_33.2 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %a.param: %i32 = value_param runtime_param0
|
|
|
+// CHECK:STDOUT: %a: %i32 = bind_name a, %a.param
|
|
|
+// CHECK:STDOUT: %b.param: %i32 = value_param runtime_param1
|
|
|
+// CHECK:STDOUT: %b: %i32 = bind_name b, %b.param
|
|
|
+// CHECK:STDOUT: %return.param: ref %i32 = out_param runtime_param2
|
|
|
+// CHECK:STDOUT: %return: ref %i32 = return_slot %return.param
|
|
|
// CHECK:STDOUT: }
|
|
|
-// CHECK:STDOUT: %int.make_type_32.loc25: init type = call constants.%Int32() [template = i32]
|
|
|
+// CHECK:STDOUT: %.loc25_15.1: Core.IntLiteral = int_value 32 [template = constants.%.1]
|
|
|
+// CHECK:STDOUT: %int.make_type_signed.loc25: init type = call constants.%Int(%.loc25_15.1) [template = constants.%i32]
|
|
|
// CHECK:STDOUT: %TooFew.ref: %TooFew.type = name_ref TooFew, %TooFew.decl [template = constants.%TooFew]
|
|
|
-// CHECK:STDOUT: %.loc25_27.1: Core.IntLiteral = int_value 1 [template = constants.%.1]
|
|
|
-// CHECK:STDOUT: %.loc25_27.2: %Convert.type.2 = interface_witness_access constants.%.25, element0 [template = constants.%Convert.15]
|
|
|
-// CHECK:STDOUT: %.loc25_27.3: <bound method> = bound_method %.loc25_27.1, %.loc25_27.2 [template = constants.%.26]
|
|
|
-// CHECK:STDOUT: %int.convert_checked.loc25: init i32 = call %.loc25_27.3(%.loc25_27.1) [template = constants.%.27]
|
|
|
-// CHECK:STDOUT: %.loc25_27.4: i32 = value_of_initializer %int.convert_checked.loc25 [template = constants.%.27]
|
|
|
-// CHECK:STDOUT: %.loc25_27.5: i32 = converted %.loc25_27.1, %.loc25_27.4 [template = constants.%.27]
|
|
|
-// CHECK:STDOUT: %TooFew.call: init i32 = call %TooFew.ref(%.loc25_27.5)
|
|
|
-// CHECK:STDOUT: %.loc25_15.1: type = value_of_initializer %int.make_type_32.loc25 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc25_15.2: type = converted %int.make_type_32.loc25, %.loc25_15.1 [template = i32]
|
|
|
+// CHECK:STDOUT: %.loc25_27.1: Core.IntLiteral = int_value 1 [template = constants.%.2]
|
|
|
+// CHECK:STDOUT: %.loc25_27.2: %Convert.type.2 = interface_witness_access constants.%.22, element0 [template = constants.%Convert.14]
|
|
|
+// CHECK:STDOUT: %.loc25_27.3: <bound method> = bound_method %.loc25_27.1, %.loc25_27.2 [template = constants.%.23]
|
|
|
+// CHECK:STDOUT: %.loc25_27.4: <specific function> = specific_function %.loc25_27.3, @Convert.2(constants.%.1) [template = constants.%.24]
|
|
|
+// CHECK:STDOUT: %int.convert_checked.loc25: init %i32 = call %.loc25_27.4(%.loc25_27.1) [template = constants.%.25]
|
|
|
+// CHECK:STDOUT: %.loc25_27.5: %i32 = value_of_initializer %int.convert_checked.loc25 [template = constants.%.25]
|
|
|
+// CHECK:STDOUT: %.loc25_27.6: %i32 = converted %.loc25_27.1, %.loc25_27.5 [template = constants.%.25]
|
|
|
+// CHECK:STDOUT: %TooFew.call: init %i32 = call %TooFew.ref(%.loc25_27.6)
|
|
|
+// CHECK:STDOUT: %.loc25_15.2: type = value_of_initializer %int.make_type_signed.loc25 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc25_15.3: type = converted %int.make_type_signed.loc25, %.loc25_15.2 [template = constants.%i32]
|
|
|
// CHECK:STDOUT: %too_few.var: ref <error> = var too_few
|
|
|
// CHECK:STDOUT: %too_few: ref <error> = bind_name too_few, %too_few.var
|
|
|
-// CHECK:STDOUT: %int.make_type_32.loc30: init type = call constants.%Int32() [template = i32]
|
|
|
+// CHECK:STDOUT: %.loc30_16.1: Core.IntLiteral = int_value 32 [template = constants.%.1]
|
|
|
+// CHECK:STDOUT: %int.make_type_signed.loc30: init type = call constants.%Int(%.loc30_16.1) [template = constants.%i32]
|
|
|
// CHECK:STDOUT: %TooMany.ref: %TooMany.type = name_ref TooMany, %TooMany.decl [template = constants.%TooMany]
|
|
|
-// CHECK:STDOUT: %.loc30_29.1: Core.IntLiteral = int_value 1 [template = constants.%.1]
|
|
|
-// CHECK:STDOUT: %.loc30_32.1: Core.IntLiteral = int_value 2 [template = constants.%.28]
|
|
|
-// CHECK:STDOUT: %.loc30_35.1: Core.IntLiteral = int_value 3 [template = constants.%.29]
|
|
|
-// CHECK:STDOUT: %.loc30_29.2: %Convert.type.2 = interface_witness_access constants.%.25, element0 [template = constants.%Convert.15]
|
|
|
-// CHECK:STDOUT: %.loc30_29.3: <bound method> = bound_method %.loc30_29.1, %.loc30_29.2 [template = constants.%.26]
|
|
|
-// CHECK:STDOUT: %int.convert_checked.loc30_29: init i32 = call %.loc30_29.3(%.loc30_29.1) [template = constants.%.27]
|
|
|
-// CHECK:STDOUT: %.loc30_29.4: i32 = value_of_initializer %int.convert_checked.loc30_29 [template = constants.%.27]
|
|
|
-// CHECK:STDOUT: %.loc30_29.5: i32 = converted %.loc30_29.1, %.loc30_29.4 [template = constants.%.27]
|
|
|
-// CHECK:STDOUT: %.loc30_32.2: %Convert.type.2 = interface_witness_access constants.%.25, element0 [template = constants.%Convert.15]
|
|
|
-// CHECK:STDOUT: %.loc30_32.3: <bound method> = bound_method %.loc30_32.1, %.loc30_32.2 [template = constants.%.30]
|
|
|
-// CHECK:STDOUT: %int.convert_checked.loc30_32: init i32 = call %.loc30_32.3(%.loc30_32.1) [template = constants.%.31]
|
|
|
-// CHECK:STDOUT: %.loc30_32.4: i32 = value_of_initializer %int.convert_checked.loc30_32 [template = constants.%.31]
|
|
|
-// CHECK:STDOUT: %.loc30_32.5: i32 = converted %.loc30_32.1, %.loc30_32.4 [template = constants.%.31]
|
|
|
-// CHECK:STDOUT: %.loc30_35.2: %Convert.type.2 = interface_witness_access constants.%.25, element0 [template = constants.%Convert.15]
|
|
|
-// CHECK:STDOUT: %.loc30_35.3: <bound method> = bound_method %.loc30_35.1, %.loc30_35.2 [template = constants.%.32]
|
|
|
-// CHECK:STDOUT: %int.convert_checked.loc30_35: init i32 = call %.loc30_35.3(%.loc30_35.1) [template = constants.%.33]
|
|
|
-// CHECK:STDOUT: %.loc30_35.4: i32 = value_of_initializer %int.convert_checked.loc30_35 [template = constants.%.33]
|
|
|
-// CHECK:STDOUT: %.loc30_35.5: i32 = converted %.loc30_35.1, %.loc30_35.4 [template = constants.%.33]
|
|
|
-// CHECK:STDOUT: %TooMany.call: init i32 = call %TooMany.ref(%.loc30_29.5, %.loc30_32.5, %.loc30_35.5)
|
|
|
-// CHECK:STDOUT: %.loc30_16.1: type = value_of_initializer %int.make_type_32.loc30 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc30_16.2: type = converted %int.make_type_32.loc30, %.loc30_16.1 [template = i32]
|
|
|
+// CHECK:STDOUT: %.loc30_29.1: Core.IntLiteral = int_value 1 [template = constants.%.2]
|
|
|
+// CHECK:STDOUT: %.loc30_32.1: Core.IntLiteral = int_value 2 [template = constants.%.26]
|
|
|
+// CHECK:STDOUT: %.loc30_35.1: Core.IntLiteral = int_value 3 [template = constants.%.27]
|
|
|
+// CHECK:STDOUT: %.loc30_29.2: %Convert.type.2 = interface_witness_access constants.%.22, element0 [template = constants.%Convert.14]
|
|
|
+// CHECK:STDOUT: %.loc30_29.3: <bound method> = bound_method %.loc30_29.1, %.loc30_29.2 [template = constants.%.23]
|
|
|
+// CHECK:STDOUT: %.loc30_29.4: <specific function> = specific_function %.loc30_29.3, @Convert.2(constants.%.1) [template = constants.%.24]
|
|
|
+// CHECK:STDOUT: %int.convert_checked.loc30_29: init %i32 = call %.loc30_29.4(%.loc30_29.1) [template = constants.%.25]
|
|
|
+// CHECK:STDOUT: %.loc30_29.5: %i32 = value_of_initializer %int.convert_checked.loc30_29 [template = constants.%.25]
|
|
|
+// CHECK:STDOUT: %.loc30_29.6: %i32 = converted %.loc30_29.1, %.loc30_29.5 [template = constants.%.25]
|
|
|
+// CHECK:STDOUT: %.loc30_32.2: %Convert.type.2 = interface_witness_access constants.%.22, element0 [template = constants.%Convert.14]
|
|
|
+// CHECK:STDOUT: %.loc30_32.3: <bound method> = bound_method %.loc30_32.1, %.loc30_32.2 [template = constants.%.28]
|
|
|
+// CHECK:STDOUT: %.loc30_32.4: <specific function> = specific_function %.loc30_32.3, @Convert.2(constants.%.1) [template = constants.%.29]
|
|
|
+// CHECK:STDOUT: %int.convert_checked.loc30_32: init %i32 = call %.loc30_32.4(%.loc30_32.1) [template = constants.%.30]
|
|
|
+// CHECK:STDOUT: %.loc30_32.5: %i32 = value_of_initializer %int.convert_checked.loc30_32 [template = constants.%.30]
|
|
|
+// CHECK:STDOUT: %.loc30_32.6: %i32 = converted %.loc30_32.1, %.loc30_32.5 [template = constants.%.30]
|
|
|
+// CHECK:STDOUT: %.loc30_35.2: %Convert.type.2 = interface_witness_access constants.%.22, element0 [template = constants.%Convert.14]
|
|
|
+// CHECK:STDOUT: %.loc30_35.3: <bound method> = bound_method %.loc30_35.1, %.loc30_35.2 [template = constants.%.31]
|
|
|
+// CHECK:STDOUT: %.loc30_35.4: <specific function> = specific_function %.loc30_35.3, @Convert.2(constants.%.1) [template = constants.%.32]
|
|
|
+// CHECK:STDOUT: %int.convert_checked.loc30_35: init %i32 = call %.loc30_35.4(%.loc30_35.1) [template = constants.%.33]
|
|
|
+// CHECK:STDOUT: %.loc30_35.5: %i32 = value_of_initializer %int.convert_checked.loc30_35 [template = constants.%.33]
|
|
|
+// CHECK:STDOUT: %.loc30_35.6: %i32 = converted %.loc30_35.1, %.loc30_35.5 [template = constants.%.33]
|
|
|
+// CHECK:STDOUT: %TooMany.call: init %i32 = call %TooMany.ref(%.loc30_29.6, %.loc30_32.6, %.loc30_35.6)
|
|
|
+// CHECK:STDOUT: %.loc30_16.2: type = value_of_initializer %int.make_type_signed.loc30 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc30_16.3: type = converted %int.make_type_signed.loc30, %.loc30_16.2 [template = constants.%i32]
|
|
|
// CHECK:STDOUT: %too_many.var: ref <error> = var too_many
|
|
|
// CHECK:STDOUT: %too_many: ref <error> = bind_name too_many, %too_many.var
|
|
|
-// CHECK:STDOUT: %int.make_type_32.loc35: init type = call constants.%Int32() [template = i32]
|
|
|
+// CHECK:STDOUT: %.loc35_23.1: Core.IntLiteral = int_value 32 [template = constants.%.1]
|
|
|
+// CHECK:STDOUT: %int.make_type_signed.loc35: init type = call constants.%Int(%.loc35_23.1) [template = constants.%i32]
|
|
|
// CHECK:STDOUT: %BadReturnType.ref: %BadReturnType.type = name_ref BadReturnType, %BadReturnType.decl [template = constants.%BadReturnType]
|
|
|
-// CHECK:STDOUT: %.loc35_42.1: Core.IntLiteral = int_value 1 [template = constants.%.1]
|
|
|
-// CHECK:STDOUT: %.loc35_45.1: Core.IntLiteral = int_value 2 [template = constants.%.28]
|
|
|
-// CHECK:STDOUT: %.loc35_42.2: %Convert.type.2 = interface_witness_access constants.%.25, element0 [template = constants.%Convert.15]
|
|
|
-// CHECK:STDOUT: %.loc35_42.3: <bound method> = bound_method %.loc35_42.1, %.loc35_42.2 [template = constants.%.26]
|
|
|
-// CHECK:STDOUT: %int.convert_checked.loc35_42: init i32 = call %.loc35_42.3(%.loc35_42.1) [template = constants.%.27]
|
|
|
-// CHECK:STDOUT: %.loc35_42.4: i32 = value_of_initializer %int.convert_checked.loc35_42 [template = constants.%.27]
|
|
|
-// CHECK:STDOUT: %.loc35_42.5: i32 = converted %.loc35_42.1, %.loc35_42.4 [template = constants.%.27]
|
|
|
-// CHECK:STDOUT: %.loc35_45.2: %Convert.type.2 = interface_witness_access constants.%.25, element0 [template = constants.%Convert.15]
|
|
|
-// CHECK:STDOUT: %.loc35_45.3: <bound method> = bound_method %.loc35_45.1, %.loc35_45.2 [template = constants.%.30]
|
|
|
-// CHECK:STDOUT: %int.convert_checked.loc35_45: init i32 = call %.loc35_45.3(%.loc35_45.1) [template = constants.%.31]
|
|
|
-// CHECK:STDOUT: %.loc35_45.4: i32 = value_of_initializer %int.convert_checked.loc35_45 [template = constants.%.31]
|
|
|
-// CHECK:STDOUT: %.loc35_45.5: i32 = converted %.loc35_45.1, %.loc35_45.4 [template = constants.%.31]
|
|
|
-// CHECK:STDOUT: %BadReturnType.call: init bool = call %BadReturnType.ref(%.loc35_42.5, %.loc35_45.5)
|
|
|
-// CHECK:STDOUT: %.loc35_23.1: type = value_of_initializer %int.make_type_32.loc35 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc35_23.2: type = converted %int.make_type_32.loc35, %.loc35_23.1 [template = i32]
|
|
|
+// CHECK:STDOUT: %.loc35_42.1: Core.IntLiteral = int_value 1 [template = constants.%.2]
|
|
|
+// CHECK:STDOUT: %.loc35_45.1: Core.IntLiteral = int_value 2 [template = constants.%.26]
|
|
|
+// CHECK:STDOUT: %.loc35_42.2: %Convert.type.2 = interface_witness_access constants.%.22, element0 [template = constants.%Convert.14]
|
|
|
+// CHECK:STDOUT: %.loc35_42.3: <bound method> = bound_method %.loc35_42.1, %.loc35_42.2 [template = constants.%.23]
|
|
|
+// CHECK:STDOUT: %.loc35_42.4: <specific function> = specific_function %.loc35_42.3, @Convert.2(constants.%.1) [template = constants.%.24]
|
|
|
+// CHECK:STDOUT: %int.convert_checked.loc35_42: init %i32 = call %.loc35_42.4(%.loc35_42.1) [template = constants.%.25]
|
|
|
+// CHECK:STDOUT: %.loc35_42.5: %i32 = value_of_initializer %int.convert_checked.loc35_42 [template = constants.%.25]
|
|
|
+// CHECK:STDOUT: %.loc35_42.6: %i32 = converted %.loc35_42.1, %.loc35_42.5 [template = constants.%.25]
|
|
|
+// CHECK:STDOUT: %.loc35_45.2: %Convert.type.2 = interface_witness_access constants.%.22, element0 [template = constants.%Convert.14]
|
|
|
+// CHECK:STDOUT: %.loc35_45.3: <bound method> = bound_method %.loc35_45.1, %.loc35_45.2 [template = constants.%.28]
|
|
|
+// CHECK:STDOUT: %.loc35_45.4: <specific function> = specific_function %.loc35_45.3, @Convert.2(constants.%.1) [template = constants.%.29]
|
|
|
+// CHECK:STDOUT: %int.convert_checked.loc35_45: init %i32 = call %.loc35_45.4(%.loc35_45.1) [template = constants.%.30]
|
|
|
+// CHECK:STDOUT: %.loc35_45.5: %i32 = value_of_initializer %int.convert_checked.loc35_45 [template = constants.%.30]
|
|
|
+// CHECK:STDOUT: %.loc35_45.6: %i32 = converted %.loc35_45.1, %.loc35_45.5 [template = constants.%.30]
|
|
|
+// CHECK:STDOUT: %BadReturnType.call: init bool = call %BadReturnType.ref(%.loc35_42.6, %.loc35_45.6)
|
|
|
+// CHECK:STDOUT: %.loc35_23.2: type = value_of_initializer %int.make_type_signed.loc35 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc35_23.3: type = converted %int.make_type_signed.loc35, %.loc35_23.2 [template = constants.%i32]
|
|
|
// CHECK:STDOUT: %bad_return_type.var: ref <error> = var bad_return_type
|
|
|
// CHECK:STDOUT: %bad_return_type: ref <error> = bind_name bad_return_type, %bad_return_type.var
|
|
|
-// CHECK:STDOUT: %int.make_type_32.loc44: init type = call constants.%Int32() [template = i32]
|
|
|
+// CHECK:STDOUT: %.loc44_16.1: Core.IntLiteral = int_value 32 [template = constants.%.1]
|
|
|
+// CHECK:STDOUT: %int.make_type_signed.loc44: init type = call constants.%Int(%.loc44_16.1) [template = constants.%i32]
|
|
|
// CHECK:STDOUT: %JustRight.ref: %JustRight.type = name_ref JustRight, %JustRight.decl [template = constants.%JustRight]
|
|
|
-// CHECK:STDOUT: %.loc44_31: Core.IntLiteral = int_value 1 [template = constants.%.1]
|
|
|
-// CHECK:STDOUT: %.loc44_34: Core.IntLiteral = int_value 2 [template = constants.%.28]
|
|
|
-// CHECK:STDOUT: %.loc44_37: Core.IntLiteral = int_value 3 [template = constants.%.29]
|
|
|
-// CHECK:STDOUT: %.loc44_16.1: type = value_of_initializer %int.make_type_32.loc44 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc44_16.2: type = converted %int.make_type_32.loc44, %.loc44_16.1 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc44_39: type = array_type <error>, i32 [template = <error>]
|
|
|
+// CHECK:STDOUT: %.loc44_31: Core.IntLiteral = int_value 1 [template = constants.%.2]
|
|
|
+// CHECK:STDOUT: %.loc44_34: Core.IntLiteral = int_value 2 [template = constants.%.26]
|
|
|
+// CHECK:STDOUT: %.loc44_37: Core.IntLiteral = int_value 3 [template = constants.%.27]
|
|
|
+// CHECK:STDOUT: %.loc44_16.2: type = value_of_initializer %int.make_type_signed.loc44 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc44_16.3: type = converted %int.make_type_signed.loc44, %.loc44_16.2 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc44_39: type = array_type <error>, %i32 [template = <error>]
|
|
|
// CHECK:STDOUT: %bad_call.var: ref <error> = var bad_call
|
|
|
// CHECK:STDOUT: %bad_call: ref <error> = bind_name bad_call, %bad_call.var
|
|
|
// CHECK:STDOUT: %RuntimeCallTooFew.decl: %RuntimeCallTooFew.type = fn_decl @RuntimeCallTooFew [template = constants.%RuntimeCallTooFew] {
|
|
|
-// CHECK:STDOUT: %a.patt: i32 = binding_pattern a
|
|
|
-// CHECK:STDOUT: %a.param_patt: i32 = value_param_pattern %a.patt, runtime_param0
|
|
|
-// CHECK:STDOUT: %return.patt: i32 = return_slot_pattern
|
|
|
-// CHECK:STDOUT: %return.param_patt: i32 = out_param_pattern %return.patt, runtime_param1
|
|
|
+// CHECK:STDOUT: %a.patt: %i32 = binding_pattern a
|
|
|
+// CHECK:STDOUT: %a.param_patt: %i32 = value_param_pattern %a.patt, runtime_param0
|
|
|
+// CHECK:STDOUT: %return.patt: %i32 = return_slot_pattern
|
|
|
+// CHECK:STDOUT: %return.param_patt: %i32 = out_param_pattern %return.patt, runtime_param1
|
|
|
// CHECK:STDOUT: } {
|
|
|
-// CHECK:STDOUT: %int.make_type_32.loc46_25: init type = call constants.%Int32() [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc46_25.1: type = value_of_initializer %int.make_type_32.loc46_25 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc46_25.2: type = converted %int.make_type_32.loc46_25, %.loc46_25.1 [template = i32]
|
|
|
-// CHECK:STDOUT: %int.make_type_32.loc46_33: init type = call constants.%Int32() [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc46_33.1: type = value_of_initializer %int.make_type_32.loc46_33 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc46_33.2: type = converted %int.make_type_32.loc46_33, %.loc46_33.1 [template = i32]
|
|
|
-// CHECK:STDOUT: %a.param: i32 = value_param runtime_param0
|
|
|
-// CHECK:STDOUT: %a: i32 = bind_name a, %a.param
|
|
|
-// CHECK:STDOUT: %return.param: ref i32 = out_param runtime_param1
|
|
|
-// CHECK:STDOUT: %return: ref i32 = return_slot %return.param
|
|
|
+// CHECK:STDOUT: %.loc46_25.1: Core.IntLiteral = int_value 32 [template = constants.%.1]
|
|
|
+// CHECK:STDOUT: %int.make_type_signed.loc46_25: init type = call constants.%Int(%.loc46_25.1) [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc46_25.2: type = value_of_initializer %int.make_type_signed.loc46_25 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc46_25.3: type = converted %int.make_type_signed.loc46_25, %.loc46_25.2 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc46_33.1: Core.IntLiteral = int_value 32 [template = constants.%.1]
|
|
|
+// CHECK:STDOUT: %int.make_type_signed.loc46_33: init type = call constants.%Int(%.loc46_33.1) [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc46_33.2: type = value_of_initializer %int.make_type_signed.loc46_33 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc46_33.3: type = converted %int.make_type_signed.loc46_33, %.loc46_33.2 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %a.param: %i32 = value_param runtime_param0
|
|
|
+// CHECK:STDOUT: %a: %i32 = bind_name a, %a.param
|
|
|
+// CHECK:STDOUT: %return.param: ref %i32 = out_param runtime_param1
|
|
|
+// CHECK:STDOUT: %return: ref %i32 = return_slot %return.param
|
|
|
// CHECK:STDOUT: }
|
|
|
// CHECK:STDOUT: %RuntimeCallTooMany.decl: %RuntimeCallTooMany.type = fn_decl @RuntimeCallTooMany [template = constants.%RuntimeCallTooMany] {
|
|
|
-// CHECK:STDOUT: %a.patt: i32 = binding_pattern a
|
|
|
-// CHECK:STDOUT: %a.param_patt: i32 = value_param_pattern %a.patt, runtime_param0
|
|
|
-// CHECK:STDOUT: %b.patt: i32 = binding_pattern b
|
|
|
-// CHECK:STDOUT: %b.param_patt: i32 = value_param_pattern %b.patt, runtime_param1
|
|
|
-// CHECK:STDOUT: %c.patt: i32 = binding_pattern c
|
|
|
-// CHECK:STDOUT: %c.param_patt: i32 = value_param_pattern %c.patt, runtime_param2
|
|
|
-// CHECK:STDOUT: %return.patt: i32 = return_slot_pattern
|
|
|
-// CHECK:STDOUT: %return.param_patt: i32 = out_param_pattern %return.patt, runtime_param3
|
|
|
+// CHECK:STDOUT: %a.patt: %i32 = binding_pattern a
|
|
|
+// CHECK:STDOUT: %a.param_patt: %i32 = value_param_pattern %a.patt, runtime_param0
|
|
|
+// CHECK:STDOUT: %b.patt: %i32 = binding_pattern b
|
|
|
+// CHECK:STDOUT: %b.param_patt: %i32 = value_param_pattern %b.patt, runtime_param1
|
|
|
+// CHECK:STDOUT: %c.patt: %i32 = binding_pattern c
|
|
|
+// CHECK:STDOUT: %c.param_patt: %i32 = value_param_pattern %c.patt, runtime_param2
|
|
|
+// CHECK:STDOUT: %return.patt: %i32 = return_slot_pattern
|
|
|
+// CHECK:STDOUT: %return.param_patt: %i32 = out_param_pattern %return.patt, runtime_param3
|
|
|
// CHECK:STDOUT: } {
|
|
|
-// CHECK:STDOUT: %int.make_type_32.loc50_26: init type = call constants.%Int32() [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc50_26.1: type = value_of_initializer %int.make_type_32.loc50_26 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc50_26.2: type = converted %int.make_type_32.loc50_26, %.loc50_26.1 [template = i32]
|
|
|
-// CHECK:STDOUT: %int.make_type_32.loc50_34: init type = call constants.%Int32() [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc50_34.1: type = value_of_initializer %int.make_type_32.loc50_34 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc50_34.2: type = converted %int.make_type_32.loc50_34, %.loc50_34.1 [template = i32]
|
|
|
-// CHECK:STDOUT: %int.make_type_32.loc50_42: init type = call constants.%Int32() [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc50_42.1: type = value_of_initializer %int.make_type_32.loc50_42 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc50_42.2: type = converted %int.make_type_32.loc50_42, %.loc50_42.1 [template = i32]
|
|
|
-// CHECK:STDOUT: %int.make_type_32.loc50_50: init type = call constants.%Int32() [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc50_50.1: type = value_of_initializer %int.make_type_32.loc50_50 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc50_50.2: type = converted %int.make_type_32.loc50_50, %.loc50_50.1 [template = i32]
|
|
|
-// CHECK:STDOUT: %a.param: i32 = value_param runtime_param0
|
|
|
-// CHECK:STDOUT: %a: i32 = bind_name a, %a.param
|
|
|
-// CHECK:STDOUT: %b.param: i32 = value_param runtime_param1
|
|
|
-// CHECK:STDOUT: %b: i32 = bind_name b, %b.param
|
|
|
-// CHECK:STDOUT: %c.param: i32 = value_param runtime_param2
|
|
|
-// CHECK:STDOUT: %c: i32 = bind_name c, %c.param
|
|
|
-// CHECK:STDOUT: %return.param: ref i32 = out_param runtime_param3
|
|
|
-// CHECK:STDOUT: %return: ref i32 = return_slot %return.param
|
|
|
+// CHECK:STDOUT: %.loc50_26.1: Core.IntLiteral = int_value 32 [template = constants.%.1]
|
|
|
+// CHECK:STDOUT: %int.make_type_signed.loc50_26: init type = call constants.%Int(%.loc50_26.1) [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc50_26.2: type = value_of_initializer %int.make_type_signed.loc50_26 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc50_26.3: type = converted %int.make_type_signed.loc50_26, %.loc50_26.2 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc50_34.1: Core.IntLiteral = int_value 32 [template = constants.%.1]
|
|
|
+// CHECK:STDOUT: %int.make_type_signed.loc50_34: init type = call constants.%Int(%.loc50_34.1) [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc50_34.2: type = value_of_initializer %int.make_type_signed.loc50_34 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc50_34.3: type = converted %int.make_type_signed.loc50_34, %.loc50_34.2 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc50_42.1: Core.IntLiteral = int_value 32 [template = constants.%.1]
|
|
|
+// CHECK:STDOUT: %int.make_type_signed.loc50_42: init type = call constants.%Int(%.loc50_42.1) [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc50_42.2: type = value_of_initializer %int.make_type_signed.loc50_42 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc50_42.3: type = converted %int.make_type_signed.loc50_42, %.loc50_42.2 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc50_50.1: Core.IntLiteral = int_value 32 [template = constants.%.1]
|
|
|
+// CHECK:STDOUT: %int.make_type_signed.loc50_50: init type = call constants.%Int(%.loc50_50.1) [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc50_50.2: type = value_of_initializer %int.make_type_signed.loc50_50 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc50_50.3: type = converted %int.make_type_signed.loc50_50, %.loc50_50.2 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %a.param: %i32 = value_param runtime_param0
|
|
|
+// CHECK:STDOUT: %a: %i32 = bind_name a, %a.param
|
|
|
+// CHECK:STDOUT: %b.param: %i32 = value_param runtime_param1
|
|
|
+// CHECK:STDOUT: %b: %i32 = bind_name b, %b.param
|
|
|
+// CHECK:STDOUT: %c.param: %i32 = value_param runtime_param2
|
|
|
+// CHECK:STDOUT: %c: %i32 = bind_name c, %c.param
|
|
|
+// CHECK:STDOUT: %return.param: ref %i32 = out_param runtime_param3
|
|
|
+// CHECK:STDOUT: %return: ref %i32 = return_slot %return.param
|
|
|
// CHECK:STDOUT: }
|
|
|
// CHECK:STDOUT: %RuntimeCallBadReturnType.decl: %RuntimeCallBadReturnType.type = fn_decl @RuntimeCallBadReturnType [template = constants.%RuntimeCallBadReturnType] {
|
|
|
-// CHECK:STDOUT: %a.patt: i32 = binding_pattern a
|
|
|
-// CHECK:STDOUT: %a.param_patt: i32 = value_param_pattern %a.patt, runtime_param0
|
|
|
-// CHECK:STDOUT: %b.patt: i32 = binding_pattern b
|
|
|
-// CHECK:STDOUT: %b.param_patt: i32 = value_param_pattern %b.patt, runtime_param1
|
|
|
+// CHECK:STDOUT: %a.patt: %i32 = binding_pattern a
|
|
|
+// CHECK:STDOUT: %a.param_patt: %i32 = value_param_pattern %a.patt, runtime_param0
|
|
|
+// CHECK:STDOUT: %b.patt: %i32 = binding_pattern b
|
|
|
+// CHECK:STDOUT: %b.param_patt: %i32 = value_param_pattern %b.patt, runtime_param1
|
|
|
// CHECK:STDOUT: %return.patt: bool = return_slot_pattern
|
|
|
// CHECK:STDOUT: %return.param_patt: bool = out_param_pattern %return.patt, runtime_param2
|
|
|
// CHECK:STDOUT: } {
|
|
|
-// CHECK:STDOUT: %int.make_type_32.loc54_32: init type = call constants.%Int32() [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc54_32.1: type = value_of_initializer %int.make_type_32.loc54_32 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc54_32.2: type = converted %int.make_type_32.loc54_32, %.loc54_32.1 [template = i32]
|
|
|
-// CHECK:STDOUT: %int.make_type_32.loc54_40: init type = call constants.%Int32() [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc54_40.1: type = value_of_initializer %int.make_type_32.loc54_40 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc54_40.2: type = converted %int.make_type_32.loc54_40, %.loc54_40.1 [template = i32]
|
|
|
+// CHECK:STDOUT: %.loc54_32.1: Core.IntLiteral = int_value 32 [template = constants.%.1]
|
|
|
+// CHECK:STDOUT: %int.make_type_signed.loc54_32: init type = call constants.%Int(%.loc54_32.1) [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc54_32.2: type = value_of_initializer %int.make_type_signed.loc54_32 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc54_32.3: type = converted %int.make_type_signed.loc54_32, %.loc54_32.2 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc54_40.1: Core.IntLiteral = int_value 32 [template = constants.%.1]
|
|
|
+// CHECK:STDOUT: %int.make_type_signed.loc54_40: init type = call constants.%Int(%.loc54_40.1) [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc54_40.2: type = value_of_initializer %int.make_type_signed.loc54_40 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc54_40.3: type = converted %int.make_type_signed.loc54_40, %.loc54_40.2 [template = constants.%i32]
|
|
|
// CHECK:STDOUT: %bool.make_type: init type = call constants.%Bool() [template = bool]
|
|
|
// CHECK:STDOUT: %.loc54_48.1: type = value_of_initializer %bool.make_type [template = bool]
|
|
|
// CHECK:STDOUT: %.loc54_48.2: type = converted %bool.make_type, %.loc54_48.1 [template = bool]
|
|
|
-// CHECK:STDOUT: %a.param: i32 = value_param runtime_param0
|
|
|
-// CHECK:STDOUT: %a: i32 = bind_name a, %a.param
|
|
|
-// CHECK:STDOUT: %b.param: i32 = value_param runtime_param1
|
|
|
-// CHECK:STDOUT: %b: i32 = bind_name b, %b.param
|
|
|
+// CHECK:STDOUT: %a.param: %i32 = value_param runtime_param0
|
|
|
+// CHECK:STDOUT: %a: %i32 = bind_name a, %a.param
|
|
|
+// CHECK:STDOUT: %b.param: %i32 = value_param runtime_param1
|
|
|
+// CHECK:STDOUT: %b: %i32 = bind_name b, %b.param
|
|
|
// CHECK:STDOUT: %return.param: ref bool = out_param runtime_param2
|
|
|
// CHECK:STDOUT: %return: ref bool = return_slot %return.param
|
|
|
// CHECK:STDOUT: }
|
|
|
// CHECK:STDOUT: }
|
|
|
// CHECK:STDOUT:
|
|
|
-// CHECK:STDOUT: fn @TooFew(%a.param_patt: i32) -> i32;
|
|
|
+// CHECK:STDOUT: fn @TooFew(%a.param_patt: %i32) -> %i32;
|
|
|
// CHECK:STDOUT:
|
|
|
-// CHECK:STDOUT: fn @TooMany(%a.param_patt: i32, %b.param_patt: i32, %c.param_patt: i32) -> i32;
|
|
|
+// CHECK:STDOUT: fn @TooMany(%a.param_patt: %i32, %b.param_patt: %i32, %c.param_patt: %i32) -> %i32;
|
|
|
// CHECK:STDOUT:
|
|
|
-// CHECK:STDOUT: fn @BadReturnType(%a.param_patt: i32, %b.param_patt: i32) -> bool;
|
|
|
+// CHECK:STDOUT: fn @BadReturnType(%a.param_patt: %i32, %b.param_patt: %i32) -> bool;
|
|
|
// CHECK:STDOUT:
|
|
|
-// CHECK:STDOUT: fn @JustRight(%a.param_patt: i32, %b.param_patt: i32) -> i32 = "int.sadd";
|
|
|
+// CHECK:STDOUT: fn @JustRight(%a.param_patt: %i32, %b.param_patt: %i32) -> %i32 = "int.sadd";
|
|
|
// CHECK:STDOUT:
|
|
|
-// CHECK:STDOUT: fn @RuntimeCallTooFew(%a.param_patt: i32) -> i32 {
|
|
|
+// CHECK:STDOUT: fn @RuntimeCallTooFew(%a.param_patt: %i32) -> %i32 {
|
|
|
// CHECK:STDOUT: !entry:
|
|
|
// CHECK:STDOUT: %TooFew.ref: %TooFew.type = name_ref TooFew, file.%TooFew.decl [template = constants.%TooFew]
|
|
|
-// CHECK:STDOUT: %a.ref: i32 = name_ref a, %a
|
|
|
-// CHECK:STDOUT: %TooFew.call: init i32 = call %TooFew.ref(%a.ref)
|
|
|
-// CHECK:STDOUT: %.loc47_19.1: i32 = value_of_initializer %TooFew.call
|
|
|
-// CHECK:STDOUT: %.loc47_19.2: i32 = converted %TooFew.call, %.loc47_19.1
|
|
|
+// CHECK:STDOUT: %a.ref: %i32 = name_ref a, %a
|
|
|
+// CHECK:STDOUT: %TooFew.call: init %i32 = call %TooFew.ref(%a.ref)
|
|
|
+// CHECK:STDOUT: %.loc47_19.1: %i32 = value_of_initializer %TooFew.call
|
|
|
+// CHECK:STDOUT: %.loc47_19.2: %i32 = converted %TooFew.call, %.loc47_19.1
|
|
|
// CHECK:STDOUT: return %.loc47_19.2
|
|
|
// CHECK:STDOUT: }
|
|
|
// CHECK:STDOUT:
|
|
|
-// CHECK:STDOUT: fn @RuntimeCallTooMany(%a.param_patt: i32, %b.param_patt: i32, %c.param_patt: i32) -> i32 {
|
|
|
+// CHECK:STDOUT: fn @RuntimeCallTooMany(%a.param_patt: %i32, %b.param_patt: %i32, %c.param_patt: %i32) -> %i32 {
|
|
|
// CHECK:STDOUT: !entry:
|
|
|
// CHECK:STDOUT: %TooMany.ref: %TooMany.type = name_ref TooMany, file.%TooMany.decl [template = constants.%TooMany]
|
|
|
-// CHECK:STDOUT: %a.ref: i32 = name_ref a, %a
|
|
|
-// CHECK:STDOUT: %b.ref: i32 = name_ref b, %b
|
|
|
-// CHECK:STDOUT: %c.ref: i32 = name_ref c, %c
|
|
|
-// CHECK:STDOUT: %TooMany.call: init i32 = call %TooMany.ref(%a.ref, %b.ref, %c.ref)
|
|
|
-// CHECK:STDOUT: %.loc51_26.1: i32 = value_of_initializer %TooMany.call
|
|
|
-// CHECK:STDOUT: %.loc51_26.2: i32 = converted %TooMany.call, %.loc51_26.1
|
|
|
+// CHECK:STDOUT: %a.ref: %i32 = name_ref a, %a
|
|
|
+// CHECK:STDOUT: %b.ref: %i32 = name_ref b, %b
|
|
|
+// CHECK:STDOUT: %c.ref: %i32 = name_ref c, %c
|
|
|
+// CHECK:STDOUT: %TooMany.call: init %i32 = call %TooMany.ref(%a.ref, %b.ref, %c.ref)
|
|
|
+// CHECK:STDOUT: %.loc51_26.1: %i32 = value_of_initializer %TooMany.call
|
|
|
+// CHECK:STDOUT: %.loc51_26.2: %i32 = converted %TooMany.call, %.loc51_26.1
|
|
|
// CHECK:STDOUT: return %.loc51_26.2
|
|
|
// CHECK:STDOUT: }
|
|
|
// CHECK:STDOUT:
|
|
|
-// CHECK:STDOUT: fn @RuntimeCallBadReturnType(%a.param_patt: i32, %b.param_patt: i32) -> bool {
|
|
|
+// CHECK:STDOUT: fn @RuntimeCallBadReturnType(%a.param_patt: %i32, %b.param_patt: %i32) -> bool {
|
|
|
// CHECK:STDOUT: !entry:
|
|
|
// CHECK:STDOUT: %BadReturnType.ref: %BadReturnType.type = name_ref BadReturnType, file.%BadReturnType.decl [template = constants.%BadReturnType]
|
|
|
-// CHECK:STDOUT: %a.ref: i32 = name_ref a, %a
|
|
|
-// CHECK:STDOUT: %b.ref: i32 = name_ref b, %b
|
|
|
+// CHECK:STDOUT: %a.ref: %i32 = name_ref a, %a
|
|
|
+// CHECK:STDOUT: %b.ref: %i32 = name_ref b, %b
|
|
|
// CHECK:STDOUT: %BadReturnType.call: init bool = call %BadReturnType.ref(%a.ref, %b.ref)
|
|
|
// CHECK:STDOUT: %.loc55_29.1: bool = value_of_initializer %BadReturnType.call
|
|
|
// CHECK:STDOUT: %.loc55_29.2: bool = converted %BadReturnType.call, %.loc55_29.1
|
|
|
@@ -584,29 +634,34 @@ let b: i32 = Add(0x7FFFFFFF, 1);
|
|
|
// CHECK:STDOUT: --- fail_overflow.carbon
|
|
|
// CHECK:STDOUT:
|
|
|
// CHECK:STDOUT: constants {
|
|
|
-// CHECK:STDOUT: %Int32.type: type = fn_type @Int32 [template]
|
|
|
-// CHECK:STDOUT: %Int32: %Int32.type = struct_value () [template]
|
|
|
+// CHECK:STDOUT: %.1: Core.IntLiteral = int_value 32 [template]
|
|
|
+// CHECK:STDOUT: %Int.type: type = fn_type @Int [template]
|
|
|
+// CHECK:STDOUT: %Int: %Int.type = struct_value () [template]
|
|
|
+// CHECK:STDOUT: %i32: type = int_type signed, %.1 [template]
|
|
|
// CHECK:STDOUT: %Add.type: type = fn_type @Add [template]
|
|
|
// CHECK:STDOUT: %Add: %Add.type = struct_value () [template]
|
|
|
-// CHECK:STDOUT: %.1: Core.IntLiteral = int_value 2147483647 [template]
|
|
|
-// CHECK:STDOUT: %.2: Core.IntLiteral = int_value 0 [template]
|
|
|
-// CHECK:STDOUT: %Convert.type.2: type = fn_type @Convert.1, @ImplicitAs(i32) [template]
|
|
|
-// CHECK:STDOUT: %Convert.type.15: type = fn_type @Convert.11 [template]
|
|
|
-// CHECK:STDOUT: %Convert.15: %Convert.type.15 = struct_value () [template]
|
|
|
-// CHECK:STDOUT: %.26: <witness> = interface_witness (%Convert.15) [template]
|
|
|
-// CHECK:STDOUT: %.27: <bound method> = bound_method %.1, %Convert.15 [template]
|
|
|
-// CHECK:STDOUT: %.28: i32 = int_value 2147483647 [template]
|
|
|
-// CHECK:STDOUT: %.29: <bound method> = bound_method %.2, %Convert.15 [template]
|
|
|
-// CHECK:STDOUT: %.30: i32 = int_value 0 [template]
|
|
|
-// CHECK:STDOUT: %.31: Core.IntLiteral = int_value 1 [template]
|
|
|
-// CHECK:STDOUT: %.32: <bound method> = bound_method %.31, %Convert.15 [template]
|
|
|
-// CHECK:STDOUT: %.33: i32 = int_value 1 [template]
|
|
|
-// CHECK:STDOUT: %.34: i32 = int_value -2147483648 [template]
|
|
|
+// CHECK:STDOUT: %.2: Core.IntLiteral = int_value 2147483647 [template]
|
|
|
+// CHECK:STDOUT: %.3: Core.IntLiteral = int_value 0 [template]
|
|
|
+// CHECK:STDOUT: %Convert.type.2: type = fn_type @Convert.1, @ImplicitAs(%i32) [template]
|
|
|
+// CHECK:STDOUT: %Convert.type.14: type = fn_type @Convert.2, @impl.1(%.1) [template]
|
|
|
+// CHECK:STDOUT: %Convert.14: %Convert.type.14 = struct_value () [template]
|
|
|
+// CHECK:STDOUT: %.23: <witness> = interface_witness (%Convert.14) [template]
|
|
|
+// CHECK:STDOUT: %.24: <bound method> = bound_method %.2, %Convert.14 [template]
|
|
|
+// CHECK:STDOUT: %.25: <specific function> = specific_function %.24, @Convert.2(%.1) [template]
|
|
|
+// CHECK:STDOUT: %.26: %i32 = int_value 2147483647 [template]
|
|
|
+// CHECK:STDOUT: %.27: <bound method> = bound_method %.3, %Convert.14 [template]
|
|
|
+// CHECK:STDOUT: %.28: <specific function> = specific_function %.27, @Convert.2(%.1) [template]
|
|
|
+// CHECK:STDOUT: %.29: %i32 = int_value 0 [template]
|
|
|
+// CHECK:STDOUT: %.30: Core.IntLiteral = int_value 1 [template]
|
|
|
+// CHECK:STDOUT: %.31: <bound method> = bound_method %.30, %Convert.14 [template]
|
|
|
+// CHECK:STDOUT: %.32: <specific function> = specific_function %.31, @Convert.2(%.1) [template]
|
|
|
+// CHECK:STDOUT: %.33: %i32 = int_value 1 [template]
|
|
|
+// CHECK:STDOUT: %.34: %i32 = int_value -2147483648 [template]
|
|
|
// CHECK:STDOUT: }
|
|
|
// CHECK:STDOUT:
|
|
|
// CHECK:STDOUT: imports {
|
|
|
// CHECK:STDOUT: %Core: <namespace> = namespace file.%Core.import, [template] {
|
|
|
-// CHECK:STDOUT: .Int32 = %import_ref.1
|
|
|
+// CHECK:STDOUT: .Int = %import_ref.1
|
|
|
// CHECK:STDOUT: .ImplicitAs = %import_ref.2
|
|
|
// CHECK:STDOUT: import Core//prelude
|
|
|
// CHECK:STDOUT: import Core//prelude/...
|
|
|
@@ -622,75 +677,84 @@ let b: i32 = Add(0x7FFFFFFF, 1);
|
|
|
// CHECK:STDOUT: }
|
|
|
// CHECK:STDOUT: %Core.import = import Core
|
|
|
// CHECK:STDOUT: %Add.decl: %Add.type = fn_decl @Add [template = constants.%Add] {
|
|
|
-// CHECK:STDOUT: %a.patt: i32 = binding_pattern a
|
|
|
-// CHECK:STDOUT: %a.param_patt: i32 = value_param_pattern %a.patt, runtime_param0
|
|
|
-// CHECK:STDOUT: %b.patt: i32 = binding_pattern b
|
|
|
-// CHECK:STDOUT: %b.param_patt: i32 = value_param_pattern %b.patt, runtime_param1
|
|
|
-// CHECK:STDOUT: %return.patt: i32 = return_slot_pattern
|
|
|
-// CHECK:STDOUT: %return.param_patt: i32 = out_param_pattern %return.patt, runtime_param2
|
|
|
+// CHECK:STDOUT: %a.patt: %i32 = binding_pattern a
|
|
|
+// CHECK:STDOUT: %a.param_patt: %i32 = value_param_pattern %a.patt, runtime_param0
|
|
|
+// CHECK:STDOUT: %b.patt: %i32 = binding_pattern b
|
|
|
+// CHECK:STDOUT: %b.param_patt: %i32 = value_param_pattern %b.patt, runtime_param1
|
|
|
+// CHECK:STDOUT: %return.patt: %i32 = return_slot_pattern
|
|
|
+// CHECK:STDOUT: %return.param_patt: %i32 = out_param_pattern %return.patt, runtime_param2
|
|
|
// CHECK:STDOUT: } {
|
|
|
-// CHECK:STDOUT: %int.make_type_32.loc4_11: init type = call constants.%Int32() [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc4_11.1: type = value_of_initializer %int.make_type_32.loc4_11 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc4_11.2: type = converted %int.make_type_32.loc4_11, %.loc4_11.1 [template = i32]
|
|
|
-// CHECK:STDOUT: %int.make_type_32.loc4_19: init type = call constants.%Int32() [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc4_19.1: type = value_of_initializer %int.make_type_32.loc4_19 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc4_19.2: type = converted %int.make_type_32.loc4_19, %.loc4_19.1 [template = i32]
|
|
|
-// CHECK:STDOUT: %int.make_type_32.loc4_27: init type = call constants.%Int32() [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc4_27.1: type = value_of_initializer %int.make_type_32.loc4_27 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc4_27.2: type = converted %int.make_type_32.loc4_27, %.loc4_27.1 [template = i32]
|
|
|
-// CHECK:STDOUT: %a.param: i32 = value_param runtime_param0
|
|
|
-// CHECK:STDOUT: %a: i32 = bind_name a, %a.param
|
|
|
-// CHECK:STDOUT: %b.param: i32 = value_param runtime_param1
|
|
|
-// CHECK:STDOUT: %b: i32 = bind_name b, %b.param
|
|
|
-// CHECK:STDOUT: %return.param: ref i32 = out_param runtime_param2
|
|
|
-// CHECK:STDOUT: %return: ref i32 = return_slot %return.param
|
|
|
+// CHECK:STDOUT: %.loc4_11.1: Core.IntLiteral = int_value 32 [template = constants.%.1]
|
|
|
+// CHECK:STDOUT: %int.make_type_signed.loc4_11: init type = call constants.%Int(%.loc4_11.1) [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc4_11.2: type = value_of_initializer %int.make_type_signed.loc4_11 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc4_11.3: type = converted %int.make_type_signed.loc4_11, %.loc4_11.2 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc4_19.1: Core.IntLiteral = int_value 32 [template = constants.%.1]
|
|
|
+// CHECK:STDOUT: %int.make_type_signed.loc4_19: init type = call constants.%Int(%.loc4_19.1) [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc4_19.2: type = value_of_initializer %int.make_type_signed.loc4_19 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc4_19.3: type = converted %int.make_type_signed.loc4_19, %.loc4_19.2 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc4_27.1: Core.IntLiteral = int_value 32 [template = constants.%.1]
|
|
|
+// CHECK:STDOUT: %int.make_type_signed.loc4_27: init type = call constants.%Int(%.loc4_27.1) [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc4_27.2: type = value_of_initializer %int.make_type_signed.loc4_27 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc4_27.3: type = converted %int.make_type_signed.loc4_27, %.loc4_27.2 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %a.param: %i32 = value_param runtime_param0
|
|
|
+// CHECK:STDOUT: %a: %i32 = bind_name a, %a.param
|
|
|
+// CHECK:STDOUT: %b.param: %i32 = value_param runtime_param1
|
|
|
+// CHECK:STDOUT: %b: %i32 = bind_name b, %b.param
|
|
|
+// CHECK:STDOUT: %return.param: ref %i32 = out_param runtime_param2
|
|
|
+// CHECK:STDOUT: %return: ref %i32 = return_slot %return.param
|
|
|
// CHECK:STDOUT: }
|
|
|
-// CHECK:STDOUT: %int.make_type_32.loc6: init type = call constants.%Int32() [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc6_8.1: type = value_of_initializer %int.make_type_32.loc6 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc6_8.2: type = converted %int.make_type_32.loc6, %.loc6_8.1 [template = i32]
|
|
|
-// CHECK:STDOUT: %int.make_type_32.loc10: init type = call constants.%Int32() [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc10_8.1: type = value_of_initializer %int.make_type_32.loc10 [template = i32]
|
|
|
-// CHECK:STDOUT: %.loc10_8.2: type = converted %int.make_type_32.loc10, %.loc10_8.1 [template = i32]
|
|
|
+// CHECK:STDOUT: %.loc6_8.1: Core.IntLiteral = int_value 32 [template = constants.%.1]
|
|
|
+// CHECK:STDOUT: %int.make_type_signed.loc6: init type = call constants.%Int(%.loc6_8.1) [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc6_8.2: type = value_of_initializer %int.make_type_signed.loc6 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc6_8.3: type = converted %int.make_type_signed.loc6, %.loc6_8.2 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc10_8.1: Core.IntLiteral = int_value 32 [template = constants.%.1]
|
|
|
+// CHECK:STDOUT: %int.make_type_signed.loc10: init type = call constants.%Int(%.loc10_8.1) [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc10_8.2: type = value_of_initializer %int.make_type_signed.loc10 [template = constants.%i32]
|
|
|
+// CHECK:STDOUT: %.loc10_8.3: type = converted %int.make_type_signed.loc10, %.loc10_8.2 [template = constants.%i32]
|
|
|
// CHECK:STDOUT: }
|
|
|
// CHECK:STDOUT:
|
|
|
-// CHECK:STDOUT: fn @Add(%a.param_patt: i32, %b.param_patt: i32) -> i32 = "int.sadd";
|
|
|
+// CHECK:STDOUT: fn @Add(%a.param_patt: %i32, %b.param_patt: %i32) -> %i32 = "int.sadd";
|
|
|
// CHECK:STDOUT:
|
|
|
// CHECK:STDOUT: fn @__global_init() {
|
|
|
// CHECK:STDOUT: !entry:
|
|
|
// CHECK:STDOUT: %Add.ref.loc6: %Add.type = name_ref Add, file.%Add.decl [template = constants.%Add]
|
|
|
-// CHECK:STDOUT: %.loc6_18.1: Core.IntLiteral = int_value 2147483647 [template = constants.%.1]
|
|
|
-// CHECK:STDOUT: %.loc6_30.1: Core.IntLiteral = int_value 0 [template = constants.%.2]
|
|
|
-// CHECK:STDOUT: %.loc6_18.2: %Convert.type.2 = interface_witness_access constants.%.26, element0 [template = constants.%Convert.15]
|
|
|
-// CHECK:STDOUT: %.loc6_18.3: <bound method> = bound_method %.loc6_18.1, %.loc6_18.2 [template = constants.%.27]
|
|
|
-// CHECK:STDOUT: %int.convert_checked.loc6_18: init i32 = call %.loc6_18.3(%.loc6_18.1) [template = constants.%.28]
|
|
|
-// CHECK:STDOUT: %.loc6_18.4: i32 = value_of_initializer %int.convert_checked.loc6_18 [template = constants.%.28]
|
|
|
-// CHECK:STDOUT: %.loc6_18.5: i32 = converted %.loc6_18.1, %.loc6_18.4 [template = constants.%.28]
|
|
|
-// CHECK:STDOUT: %.loc6_30.2: %Convert.type.2 = interface_witness_access constants.%.26, element0 [template = constants.%Convert.15]
|
|
|
-// CHECK:STDOUT: %.loc6_30.3: <bound method> = bound_method %.loc6_30.1, %.loc6_30.2 [template = constants.%.29]
|
|
|
-// CHECK:STDOUT: %int.convert_checked.loc6_30: init i32 = call %.loc6_30.3(%.loc6_30.1) [template = constants.%.30]
|
|
|
-// CHECK:STDOUT: %.loc6_30.4: i32 = value_of_initializer %int.convert_checked.loc6_30 [template = constants.%.30]
|
|
|
-// CHECK:STDOUT: %.loc6_30.5: i32 = converted %.loc6_30.1, %.loc6_30.4 [template = constants.%.30]
|
|
|
-// CHECK:STDOUT: %int.sadd.loc6: init i32 = call %Add.ref.loc6(%.loc6_18.5, %.loc6_30.5) [template = constants.%.28]
|
|
|
-// CHECK:STDOUT: %.loc6_32.1: i32 = value_of_initializer %int.sadd.loc6 [template = constants.%.28]
|
|
|
-// CHECK:STDOUT: %.loc6_32.2: i32 = converted %int.sadd.loc6, %.loc6_32.1 [template = constants.%.28]
|
|
|
-// CHECK:STDOUT: %a: i32 = bind_name a, %.loc6_32.2
|
|
|
+// CHECK:STDOUT: %.loc6_18.1: Core.IntLiteral = int_value 2147483647 [template = constants.%.2]
|
|
|
+// CHECK:STDOUT: %.loc6_30.1: Core.IntLiteral = int_value 0 [template = constants.%.3]
|
|
|
+// CHECK:STDOUT: %.loc6_18.2: %Convert.type.2 = interface_witness_access constants.%.23, element0 [template = constants.%Convert.14]
|
|
|
+// CHECK:STDOUT: %.loc6_18.3: <bound method> = bound_method %.loc6_18.1, %.loc6_18.2 [template = constants.%.24]
|
|
|
+// CHECK:STDOUT: %.loc6_18.4: <specific function> = specific_function %.loc6_18.3, @Convert.2(constants.%.1) [template = constants.%.25]
|
|
|
+// CHECK:STDOUT: %int.convert_checked.loc6_18: init %i32 = call %.loc6_18.4(%.loc6_18.1) [template = constants.%.26]
|
|
|
+// CHECK:STDOUT: %.loc6_18.5: %i32 = value_of_initializer %int.convert_checked.loc6_18 [template = constants.%.26]
|
|
|
+// CHECK:STDOUT: %.loc6_18.6: %i32 = converted %.loc6_18.1, %.loc6_18.5 [template = constants.%.26]
|
|
|
+// CHECK:STDOUT: %.loc6_30.2: %Convert.type.2 = interface_witness_access constants.%.23, element0 [template = constants.%Convert.14]
|
|
|
+// CHECK:STDOUT: %.loc6_30.3: <bound method> = bound_method %.loc6_30.1, %.loc6_30.2 [template = constants.%.27]
|
|
|
+// CHECK:STDOUT: %.loc6_30.4: <specific function> = specific_function %.loc6_30.3, @Convert.2(constants.%.1) [template = constants.%.28]
|
|
|
+// CHECK:STDOUT: %int.convert_checked.loc6_30: init %i32 = call %.loc6_30.4(%.loc6_30.1) [template = constants.%.29]
|
|
|
+// CHECK:STDOUT: %.loc6_30.5: %i32 = value_of_initializer %int.convert_checked.loc6_30 [template = constants.%.29]
|
|
|
+// CHECK:STDOUT: %.loc6_30.6: %i32 = converted %.loc6_30.1, %.loc6_30.5 [template = constants.%.29]
|
|
|
+// CHECK:STDOUT: %int.sadd.loc6: init %i32 = call %Add.ref.loc6(%.loc6_18.6, %.loc6_30.6) [template = constants.%.26]
|
|
|
+// CHECK:STDOUT: %.loc6_32.1: %i32 = value_of_initializer %int.sadd.loc6 [template = constants.%.26]
|
|
|
+// CHECK:STDOUT: %.loc6_32.2: %i32 = converted %int.sadd.loc6, %.loc6_32.1 [template = constants.%.26]
|
|
|
+// CHECK:STDOUT: %a: %i32 = bind_name a, %.loc6_32.2
|
|
|
// CHECK:STDOUT: %Add.ref.loc10: %Add.type = name_ref Add, file.%Add.decl [template = constants.%Add]
|
|
|
-// CHECK:STDOUT: %.loc10_18.1: Core.IntLiteral = int_value 2147483647 [template = constants.%.1]
|
|
|
-// CHECK:STDOUT: %.loc10_30.1: Core.IntLiteral = int_value 1 [template = constants.%.31]
|
|
|
-// CHECK:STDOUT: %.loc10_18.2: %Convert.type.2 = interface_witness_access constants.%.26, element0 [template = constants.%Convert.15]
|
|
|
-// CHECK:STDOUT: %.loc10_18.3: <bound method> = bound_method %.loc10_18.1, %.loc10_18.2 [template = constants.%.27]
|
|
|
-// CHECK:STDOUT: %int.convert_checked.loc10_18: init i32 = call %.loc10_18.3(%.loc10_18.1) [template = constants.%.28]
|
|
|
-// CHECK:STDOUT: %.loc10_18.4: i32 = value_of_initializer %int.convert_checked.loc10_18 [template = constants.%.28]
|
|
|
-// CHECK:STDOUT: %.loc10_18.5: i32 = converted %.loc10_18.1, %.loc10_18.4 [template = constants.%.28]
|
|
|
-// CHECK:STDOUT: %.loc10_30.2: %Convert.type.2 = interface_witness_access constants.%.26, element0 [template = constants.%Convert.15]
|
|
|
-// CHECK:STDOUT: %.loc10_30.3: <bound method> = bound_method %.loc10_30.1, %.loc10_30.2 [template = constants.%.32]
|
|
|
-// CHECK:STDOUT: %int.convert_checked.loc10_30: init i32 = call %.loc10_30.3(%.loc10_30.1) [template = constants.%.33]
|
|
|
-// CHECK:STDOUT: %.loc10_30.4: i32 = value_of_initializer %int.convert_checked.loc10_30 [template = constants.%.33]
|
|
|
-// CHECK:STDOUT: %.loc10_30.5: i32 = converted %.loc10_30.1, %.loc10_30.4 [template = constants.%.33]
|
|
|
-// CHECK:STDOUT: %int.sadd.loc10: init i32 = call %Add.ref.loc10(%.loc10_18.5, %.loc10_30.5) [template = constants.%.34]
|
|
|
-// CHECK:STDOUT: %.loc10_32.1: i32 = value_of_initializer %int.sadd.loc10 [template = constants.%.34]
|
|
|
-// CHECK:STDOUT: %.loc10_32.2: i32 = converted %int.sadd.loc10, %.loc10_32.1 [template = constants.%.34]
|
|
|
-// CHECK:STDOUT: %b: i32 = bind_name b, %.loc10_32.2
|
|
|
+// CHECK:STDOUT: %.loc10_18.1: Core.IntLiteral = int_value 2147483647 [template = constants.%.2]
|
|
|
+// CHECK:STDOUT: %.loc10_30.1: Core.IntLiteral = int_value 1 [template = constants.%.30]
|
|
|
+// CHECK:STDOUT: %.loc10_18.2: %Convert.type.2 = interface_witness_access constants.%.23, element0 [template = constants.%Convert.14]
|
|
|
+// CHECK:STDOUT: %.loc10_18.3: <bound method> = bound_method %.loc10_18.1, %.loc10_18.2 [template = constants.%.24]
|
|
|
+// CHECK:STDOUT: %.loc10_18.4: <specific function> = specific_function %.loc10_18.3, @Convert.2(constants.%.1) [template = constants.%.25]
|
|
|
+// CHECK:STDOUT: %int.convert_checked.loc10_18: init %i32 = call %.loc10_18.4(%.loc10_18.1) [template = constants.%.26]
|
|
|
+// CHECK:STDOUT: %.loc10_18.5: %i32 = value_of_initializer %int.convert_checked.loc10_18 [template = constants.%.26]
|
|
|
+// CHECK:STDOUT: %.loc10_18.6: %i32 = converted %.loc10_18.1, %.loc10_18.5 [template = constants.%.26]
|
|
|
+// CHECK:STDOUT: %.loc10_30.2: %Convert.type.2 = interface_witness_access constants.%.23, element0 [template = constants.%Convert.14]
|
|
|
+// CHECK:STDOUT: %.loc10_30.3: <bound method> = bound_method %.loc10_30.1, %.loc10_30.2 [template = constants.%.31]
|
|
|
+// CHECK:STDOUT: %.loc10_30.4: <specific function> = specific_function %.loc10_30.3, @Convert.2(constants.%.1) [template = constants.%.32]
|
|
|
+// CHECK:STDOUT: %int.convert_checked.loc10_30: init %i32 = call %.loc10_30.4(%.loc10_30.1) [template = constants.%.33]
|
|
|
+// CHECK:STDOUT: %.loc10_30.5: %i32 = value_of_initializer %int.convert_checked.loc10_30 [template = constants.%.33]
|
|
|
+// CHECK:STDOUT: %.loc10_30.6: %i32 = converted %.loc10_30.1, %.loc10_30.5 [template = constants.%.33]
|
|
|
+// CHECK:STDOUT: %int.sadd.loc10: init %i32 = call %Add.ref.loc10(%.loc10_18.6, %.loc10_30.6) [template = constants.%.34]
|
|
|
+// CHECK:STDOUT: %.loc10_32.1: %i32 = value_of_initializer %int.sadd.loc10 [template = constants.%.34]
|
|
|
+// CHECK:STDOUT: %.loc10_32.2: %i32 = converted %int.sadd.loc10, %.loc10_32.1 [template = constants.%.34]
|
|
|
+// CHECK:STDOUT: %b: %i32 = bind_name b, %.loc10_32.2
|
|
|
// CHECK:STDOUT: return
|
|
|
// CHECK:STDOUT: }
|
|
|
// CHECK:STDOUT:
|