| ... | ... | @@ -650,7 +650,7 @@ fn genBody(self: *Self, body: []const Air.Inst.Index) InnerError!void { |
| 650 | 650 | .optional_payload => @panic("TODO try self.airOptionalPayload(inst)"), |
| 651 | 651 | .optional_payload_ptr => @panic("TODO try self.airOptionalPayloadPtr(inst)"), |
| 652 | 652 | .optional_payload_ptr_set => @panic("TODO try self.airOptionalPayloadPtrSet(inst)"), |
| 653 | | .unwrap_errunion_err => @panic("TODO try self.airUnwrapErrErr(inst)"), |
| 653 | .unwrap_errunion_err => try self.airUnwrapErrErr(inst), |
| 654 | 654 | .unwrap_errunion_payload => try self.airUnwrapErrPayload(inst), |
| 655 | 655 | .unwrap_errunion_err_ptr => @panic("TODO try self.airUnwrapErrErrPtr(inst)"), |
| 656 | 656 | .unwrap_errunion_payload_ptr=> @panic("TODO try self.airUnwrapErrPayloadPtr(inst)"), |
| ... | ... | @@ -1465,6 +1465,19 @@ fn airSwitch(self: *Self, inst: Air.Inst.Index) !void { |
| 1465 | 1465 | return self.fail("TODO implement switch for {}", .{self.target.cpu.arch}); |
| 1466 | 1466 | } |
| 1467 | 1467 | |
| 1468 | fn airUnwrapErrErr(self: *Self, inst: Air.Inst.Index) !void { |
| 1469 | const ty_op = self.air.instructions.items(.data)[inst].ty_op; |
| 1470 | const result: MCValue = if (self.liveness.isUnused(inst)) .dead else result: { |
| 1471 | const error_union_ty = self.air.typeOf(ty_op.operand); |
| 1472 | const payload_ty = error_union_ty.errorUnionPayload(); |
| 1473 | const mcv = try self.resolveInst(ty_op.operand); |
| 1474 | if (!payload_ty.hasRuntimeBits()) break :result mcv; |
| 1475 | |
| 1476 | return self.fail("TODO implement unwrap error union error for non-empty payloads", .{}); |
| 1477 | }; |
| 1478 | return self.finishAir(inst, result, .{ ty_op.operand, .none, .none }); |
| 1479 | } |
| 1480 | |
| 1468 | 1481 | fn airUnwrapErrPayload(self: *Self, inst: Air.Inst.Index) !void { |
| 1469 | 1482 | const ty_op = self.air.instructions.items(.data)[inst].ty_op; |
| 1470 | 1483 | const result: MCValue = if (self.liveness.isUnused(inst)) .dead else result: { |