| ... | @@ -12435,16 +12435,70 @@ fn coerceInMemoryAllowed(dest_ty: Type, src_ty: Type, dest_is_mut: bool, target: | ... | @@ -12435,16 +12435,70 @@ fn coerceInMemoryAllowed(dest_ty: Type, src_ty: Type, dest_is_mut: bool, target: |
| 12435 | return coerceInMemoryAllowedPtrs(dest_ty, src_ty, dest_ty, src_ty, dest_is_mut, target); | 12435 | return coerceInMemoryAllowedPtrs(dest_ty, src_ty, dest_ty, src_ty, dest_is_mut, target); |
| 12436 | } | 12436 | } |
| 12437 | | 12437 | |
| | 12438 | // Functions |
| | 12439 | if (dest_ty.zigTypeTag() == .Fn and src_ty.zigTypeTag() == .Fn) { |
| | 12440 | return coerceInMemoryAllowedFns(dest_ty, src_ty, target); |
| | 12441 | } |
| | 12442 | |
| 12438 | // TODO: arrays | 12443 | // TODO: arrays |
| 12439 | // TODO: non-pointer-like optionals | 12444 | // TODO: non-pointer-like optionals |
| 12440 | // TODO: error unions | 12445 | // TODO: error unions |
| 12441 | // TODO: error sets | 12446 | // TODO: error sets |
| 12442 | // TODO: functions | | |
| 12443 | // TODO: vectors | 12447 | // TODO: vectors |
| 12444 | | 12448 | |
| 12445 | return .no_match; | 12449 | return .no_match; |
| 12446 | } | 12450 | } |
| 12447 | | 12451 | |
| | 12452 | fn coerceInMemoryAllowedFns( |
| | 12453 | dest_ty: Type, |
| | 12454 | src_ty: Type, |
| | 12455 | target: std.Target, |
| | 12456 | ) InMemoryCoercionResult { |
| | 12457 | const dest_info = dest_ty.fnInfo(); |
| | 12458 | const src_info = src_ty.fnInfo(); |
| | 12459 | |
| | 12460 | if (dest_info.is_var_args != src_info.is_var_args) { |
| | 12461 | return .no_match; |
| | 12462 | } |
| | 12463 | |
| | 12464 | if (dest_info.is_generic != src_info.is_generic) { |
| | 12465 | return .no_match; |
| | 12466 | } |
| | 12467 | |
| | 12468 | if (!src_info.return_type.isNoReturn()) { |
| | 12469 | const rt = coerceInMemoryAllowed(dest_info.return_type, src_info.return_type, false, target); |
| | 12470 | if (rt == .no_match) { |
| | 12471 | return rt; |
| | 12472 | } |
| | 12473 | } |
| | 12474 | |
| | 12475 | if (dest_info.param_types.len != src_info.param_types.len) { |
| | 12476 | return .no_match; |
| | 12477 | } |
| | 12478 | |
| | 12479 | for (dest_info.param_types) |dest_param_ty, i| { |
| | 12480 | const src_param_ty = src_info.param_types[i]; |
| | 12481 | |
| | 12482 | if (dest_info.comptime_params[i] != src_info.comptime_params[i]) { |
| | 12483 | return .no_match; |
| | 12484 | } |
| | 12485 | |
| | 12486 | // TODO: nolias |
| | 12487 | |
| | 12488 | // Note: Cast direction is reversed here. |
| | 12489 | const param = coerceInMemoryAllowed(src_param_ty, dest_param_ty, false, target); |
| | 12490 | if (param == .no_match) { |
| | 12491 | return param; |
| | 12492 | } |
| | 12493 | } |
| | 12494 | |
| | 12495 | if (dest_info.cc != src_info.cc) { |
| | 12496 | return .no_match; |
| | 12497 | } |
| | 12498 | |
| | 12499 | return .ok; |
| | 12500 | } |
| | 12501 | |
| 12448 | fn coerceInMemoryAllowedPtrs( | 12502 | fn coerceInMemoryAllowedPtrs( |
| 12449 | dest_ty: Type, | 12503 | dest_ty: Type, |
| 12450 | src_ty: Type, | 12504 | src_ty: Type, |
Robin Voetter <robin@voetter.nl> 2021-11-22 02:22:16+01:00
src