From 4f215a6d2894182f90328e2aa213f92d8e479ec7 Mon Sep 17 00:00:00 2001 From: Robin Voetter Date: Tue, 19 Sep 2023 20:26:22 +0200 Subject: spirv: air unwrap_errunion_payload --- src/codegen/spirv.zig | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) (limited to 'src/codegen') diff --git a/src/codegen/spirv.zig b/src/codegen/spirv.zig index da8fbb8556..c46be03548 100644 --- a/src/codegen/spirv.zig +++ b/src/codegen/spirv.zig @@ -1732,6 +1732,7 @@ pub const DeclGen = struct { .unreach, .trap => return self.airUnreach(), .unwrap_errunion_err => try self.airErrUnionErr(inst), + .unwrap_errunion_payload => try self.airErrUnionPayload(inst), .wrap_errunion_err => try self.airWrapErrUnionErr(inst), .is_null => try self.airIsNull(inst, .is_null), @@ -3185,6 +3186,21 @@ pub const DeclGen = struct { return try self.extractField(Type.anyerror, operand_id, eu_layout.errorFieldIndex()); } + fn airErrUnionPayload(self: *DeclGen, inst: Air.Inst.Index) !?IdRef { + if (self.liveness.isUnused(inst)) return null; + + const ty_op = self.air.instructions.items(.data)[inst].ty_op; + const operand_id = try self.resolve(ty_op.operand); + const payload_ty = self.typeOfIndex(inst); + const eu_layout = self.errorUnionLayout(payload_ty); + + if (!eu_layout.payload_has_bits) { + return null; // No error possible. + } + + return try self.extractField(payload_ty, operand_id, eu_layout.payloadFieldIndex()); + } + fn airWrapErrUnionErr(self: *DeclGen, inst: Air.Inst.Index) !?IdRef { if (self.liveness.isUnused(inst)) return null; -- cgit v1.2.3