iridia-dxbc 0.2.0

Translate Direct3D Shader Model 4 and 5 bytecode (DXBC, fxc output) to naga modules, for WGSL or SPIR-V output
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
//! The stages that are functions, not entry points: a hull program's phases, a domain program, a vertex program that
//! writes no position (see [`iridia::stage_functions`]). What builds their arguments into registers, reads
//! the registers only they have, and returns their results.

use iridia::build::{Kind, Val, Width};
use iridia::{
    Conventions, D3dModes, FunctionSig, IoType, Program, Provenance, ShaderFormat, StageFacts, Varying,
};
use naga::{Expression as E, Handle, LocalVariable, Statement};

use super::Lift;
use super::resources::lanes_of;
use super::setup::PhaseKind;
use crate::Result;
use dxbc_reader::decode::{Operand, Register};

/// How many fork or join instances a phase may be unrolled into.
const MAX_INSTANCES: u32 = 64;

/// One output varying of a geometry program: its array local, the register local it is emitted from, the register's
/// lanes it takes and the type it is carried as.
type GsOutputLocal = (
    Handle<LocalVariable>,
    Handle<LocalVariable>,
    Vec<u8>,
    iridia::Value,
);

/// A geometry program's output so far: how many vertices it has emitted, whether the next begins a strip, and for each
/// output varying and each vertex the value emitted.
#[derive(Clone)]
pub(super) struct GsState {
    count: Handle<LocalVariable>,
    pending: Handle<LocalVariable>,
    strips: Handle<LocalVariable>,
    /// Per output varying: the array local, the register it is emitted from, its lanes and carried type.
    outputs: Vec<GsOutputLocal>,
    max: u32,
}

impl Lift<'_> {
    /// The varyings the current function's result is made of: the outputs, or a hull program's patch constants.
    pub(super) fn result_varyings(&self) -> Vec<Varying> {
        match (&self.sig, &self.setup.interface.facts) {
            (Some(sig), StageFacts::Hull(h)) if sig.name == "patch_constant" => h.patch_constants.clone(),
            _ => self.setup.interface.outputs.clone(),
        }
    }

    /// An array of `count` registers of four raw lanes, as a local.
    fn register_array(&mut self, name: &str, count: u32) -> Option<Handle<LocalVariable>> {
        let len = std::num::NonZeroU32::new(count)?;
        let u4 = self.u4();
        let ty = self.b.ty(naga::TypeInner::Array {
            base: u4,
            size: naga::ArraySize::Constant(len),
            stride: 16,
        });
        Some(self.b.local(name, ty))
    }

    /// Store `value` in lane `lane` of register `index` of the register array `array` (a constant position).
    fn store_register_lane(&mut self, array: Handle<LocalVariable>, index: u32, lane: u8, value: Val) {
        let pointer = self.b.local_ptr(array);
        let register = self.b.app(E::AccessIndex { base: pointer, index });
        let target = self.b.app(E::AccessIndex {
            base: register,
            index: u32::from(lane),
        });
        self.b.store(target, value);
    }

    /// The registers per control point of a list of varyings: one past the highest register.
    fn registers_of(list: &[Varying]) -> u32 {
        list.iter()
            .filter_map(|v| v.provenance.d3d.map(|d| d.register))
            .filter(|r| *r != u32::MAX)
            .map(|r| r.saturating_add(1))
            .max()
            .unwrap_or(0)
    }

    /// A local of four raw lanes whose first lane is `value`.
    fn id_local(&mut self, name: &str, value: Val) -> Handle<LocalVariable> {
        let u4 = self.u4();
        let local = self.b.local(name, u4);
        let bits = self.b.bitcast_to(value, Kind::U);
        let pointer = self.b.local_ptr(local);
        let target = self.b.app(E::AccessIndex {
            base: pointer,
            index: 0,
        });
        self.b.store(target, bits);
        local
    }

    /// The function's arguments become the registers the instructions read.
    fn prologue_function(&mut self, sig: &FunctionSig) -> Result<()> {
        let decl = match self.b.declare_function(sig) {
            Ok(d) => d,
            Err(detail) => return self.refuse(detail),
        };
        self.result_type = decl.result;
        self.pending_decl = Some(decl);
        let facts = self.setup.interface.facts.clone();
        let inputs = self.setup.interface.inputs.clone();
        let outputs = self.setup.interface.outputs.clone();
        let (points, out_points) = match &facts {
            StageFacts::Hull(h) => (h.input_control_points, h.output_control_points),
            StageFacts::Domain(d) => (d.input_control_points, 0),
            StageFacts::Geometry(g) => (g.input.vertices(), 0),
            _ => (0, 0),
        };
        // the input control points as one array of registers, `registers` to a point
        if points > 0 {
            let registers = Self::registers_of(&inputs);
            if let Some(array) = self.register_array("vicp", points.saturating_mul(registers)) {
                self.control_points = Some((array, registers));
            }
        }
        if out_points > 0 && sig.name == "patch_constant" {
            let registers = Self::registers_of(&outputs);
            if let Some(array) = self.register_array("vocp", out_points.saturating_mul(registers)) {
                self.output_points = Some((array, registers));
            }
        }
        if let StageFacts::Domain(d) = &facts {
            let registers = Self::registers_of(&d.patch_constants);
            self.patch_in = self.register_array("vpc", registers);
        }
        if let StageFacts::Geometry(g) = &facts {
            self.start_geometry(g.max_vertices)?;
        }
        for (index, item) in sig.arguments.iter().enumerate() {
            let Ok(argument) = u32::try_from(index) else {
                return self.refuse("more than 4294967295 arguments");
            };
            let expr = self.b.app(E::FunctionArgument(argument));
            match (item.name.as_str(), item.ty) {
                ("SV_GSInstanceID", IoType::Value(v)) => {
                    let value = Val {
                        expr,
                        kind: Kind::of(v.scalar),
                        width: Width::One,
                    };
                    self.gs_instance = Some(self.id_local("vGSInstanceID", value));
                }
                ("SV_OutputControlPointID", IoType::Value(v)) => {
                    let value = Val {
                        expr,
                        kind: Kind::of(v.scalar),
                        width: Width::One,
                    };
                    self.point_id = Some(self.id_local("vOutputControlPointID", value));
                }
                ("SV_PrimitiveID", IoType::Value(v)) => {
                    let value = Val {
                        expr,
                        kind: Kind::of(v.scalar),
                        width: Width::One,
                    };
                    self.primitive_id = Some(self.id_local("vPrim", value));
                }
                ("SV_DomainLocation", IoType::Value(v)) => {
                    let u4 = self.u4();
                    let local = self.b.local("vDomain", u4);
                    let value = Val {
                        expr,
                        kind: Kind::of(v.scalar),
                        width: match Width::try_from(v.width) {
                            Ok(width) => width,
                            Err(e) => return self.refuse(format!("SV_DomainLocation of {e}")),
                        },
                    };
                    let pointer = self.b.local_ptr(local);
                    for lane in value.width.lanes() {
                        let component = self.b.lane(value, lane);
                        let bits = self.b.bitcast_to(component, Kind::U);
                        let target = self.b.app(E::AccessIndex {
                            base: pointer,
                            index: u32::from(lane),
                        });
                        self.b.store(target, bits);
                    }
                    self.domain_point = Some(local);
                }
                _ => {
                    if let Some(varying) = item.varying {
                        self.unpack_argument(item, expr, varying)?;
                    }
                }
            }
        }
        Ok(())
    }

    /// One argument that carries a varying: its lanes go to the register the varying places them in.
    fn unpack_argument(&mut self, item: &iridia::FnItem, expr: Handle<E>, varying: usize) -> Result<()> {
        let facts = self.setup.interface.facts.clone();
        let is_patch_constant =
            matches!(&facts, StageFacts::Domain(_)) && !matches!(item.ty, IoType::Array(..));
        let (v, array) = if is_patch_constant {
            let StageFacts::Domain(d) = &facts else {
                return self.refuse("patch constants of a program that is no domain program");
            };
            (
                d.patch_constants.get(varying).cloned(),
                self.patch_in.map(|a| (a, 0)),
            )
        } else if item.name.starts_with("out_") {
            (
                self.setup.interface.outputs.get(varying).cloned(),
                self.output_points,
            )
        } else {
            (
                self.setup.interface.inputs.get(varying).cloned(),
                self.control_points,
            )
        };
        let Some(v) = v else {
            return self.refuse(format!(
                "{} names varying {varying}, which the interface does not have",
                item.name
            ));
        };
        // a system value the signature does not place in a register has none
        let Some(d3d) = v.provenance.d3d.filter(|d| d.register != u32::MAX) else {
            return Ok(());
        };
        let bits_of = |lift: &mut Self, base: Handle<E>, carried: iridia::Value| -> Result<Val> {
            let width = match Width::try_from(carried.width) {
                Ok(width) => width,
                Err(e) => return lift.refuse(format!("a varying of {e}")),
            };
            let value = Val {
                expr: base,
                kind: Kind::of(carried.scalar),
                width,
            };
            Ok(if value.kind == Kind::B {
                let ones = lift.b.lit_u(u32::MAX);
                let zero = lift.b.lit_u(0);
                lift.b.select(value, ones, zero)
            } else {
                lift.b.bitcast(value, Kind::U)
            })
        };
        match item.ty {
            IoType::Array(carried, n) => {
                let Some((array, registers)) = array else {
                    return Ok(());
                };
                for point in 0..n {
                    let element = self.b.app(E::AccessIndex {
                        base: expr,
                        index: point,
                    });
                    let bits = bits_of(self, element, carried)?;
                    for (j, lane) in lanes_of(d3d.mask).into_iter().enumerate() {
                        let component = self.b.lane(bits, super::operands::lane_u8(j));
                        self.store_register_lane(
                            array,
                            point.saturating_mul(registers).saturating_add(d3d.register),
                            lane,
                            component,
                        );
                    }
                }
            }
            IoType::Value(carried) => {
                let bits = bits_of(self, expr, carried)?;
                if is_patch_constant {
                    if let Some((array, _)) = array {
                        for (j, lane) in lanes_of(d3d.mask).into_iter().enumerate() {
                            let component = self.b.lane(bits, super::operands::lane_u8(j));
                            self.store_register_lane(array, d3d.register, lane, component);
                        }
                    }
                } else if let Some(&local) = self.inputs.get(&d3d.register) {
                    // a vertex program's input: its register `v<n>`
                    let pointer = self.b.local_ptr(local);
                    for (j, lane) in lanes_of(d3d.mask).into_iter().enumerate() {
                        let component = self.b.lane(bits, super::operands::lane_u8(j));
                        let target = self.b.app(E::AccessIndex {
                            base: pointer,
                            index: u32::from(lane),
                        });
                        self.b.store(target, component);
                    }
                }
            }
            IoType::ClipDistances(_) => return self.refuse("clip distances as an argument"),
            IoType::Memory => return self.refuse("a pointer as an argument"),
        }
        Ok(())
    }

    /// A geometry program's output locals: an array per output varying, the count, the strip starts.
    fn start_geometry(&mut self, max: u32) -> Result<()> {
        let one = std::num::NonZeroU32::new(max).expect("verified with the facts");
        let u1 = self.b.ty_of(Kind::U, Width::One);
        let strips_ty = self.b.ty(naga::TypeInner::Array {
            base: u1,
            size: naga::ArraySize::Constant(one),
            stride: 4,
        });
        let count = self.b.local("emitted", u1);
        let pending = self.b.local("strip_pending", u1);
        let strips = self.b.local("strip_starts", strips_ty);
        let (zero, first) = (self.b.lit_u(0), self.b.lit_u(1));
        let pointer = self.b.local_ptr(count);
        self.b.store(pointer, zero);
        let pointer = self.b.local_ptr(pending);
        self.b.store(pointer, first);
        let mut outputs = Vec::new();
        let sig = self.sig.clone().expect("a stage function");
        for (i, v) in self.setup.interface.outputs.clone().into_iter().enumerate() {
            let Some(d3d) = v.provenance.d3d else {
                return self.refuse("an output without a register");
            };
            let Some(&register) = self.outputs.get(&d3d.register) else {
                return self.refuse("an output register that is not declared");
            };
            let Some(IoType::Array(carried, _)) =
                sig.result.iter().find(|r| r.varying == Some(i)).map(|r| r.ty)
            else {
                return self.refuse("an output without its result array");
            };
            let ty = self
                .b
                .io_array(carried, max)
                .map_err(|d| crate::error(self.word, d))?;
            let array = self
                .b
                .local(&format!("emit_{}", Program::varying_name(&v.label)), ty);
            let lanes = match v.system {
                Some(iridia::SystemValue::ClipPosition) => vec![0, 1, 2, 3],
                _ => lanes_of(d3d.mask),
            };
            outputs.push((array, register, lanes, carried));
        }
        self.gs = Some(GsState {
            count,
            pending,
            strips,
            outputs,
            max,
        });
        Ok(())
    }

    /// `emit`: the output registers become the next vertex (past the most vertices, nothing).
    pub(super) fn emit_vertex(&mut self) -> Result<()> {
        let Some(gs) = self.gs.clone() else {
            return self.refuse("a vertex emitted outside a geometry program");
        };
        let count = {
            let p = self.b.local_ptr(gs.count);
            self.b.load(p, Kind::U, Width::One)
        };
        let max = self.b.lit_u(gs.max);
        let inside = self.b.binary(naga::BinaryOperator::Less, count, max);
        self.b.when(inside, |b| {
            let index = {
                let p = b.local_ptr(gs.count);
                b.load(p, Kind::U, Width::One)
            };
            for (array, register, lanes, carried) in &gs.outputs {
                let p = b.local_ptr(*register);
                let row = b.load(p, Kind::U, Width::Four);
                let picked = b.swizzle(row, lanes);
                let value = b.bitcast(picked, Kind::of(carried.scalar));
                let a = b.local_ptr(*array);
                let target = b.app(E::Access {
                    base: a,
                    index: index.expr,
                });
                b.store(target, value);
            }
            let pending = {
                let p = b.local_ptr(gs.pending);
                b.load(p, Kind::U, Width::One)
            };
            let s = b.local_ptr(gs.strips);
            let target = b.app(E::Access {
                base: s,
                index: index.expr,
            });
            b.store(target, pending);
            let zero = b.lit_u(0);
            let p = b.local_ptr(gs.pending);
            b.store(p, zero);
            let one = b.lit_u(1);
            let next = b.binary(naga::BinaryOperator::Add, index, one);
            let p = b.local_ptr(gs.count);
            b.store(p, next);
        });
        Ok(())
    }

    /// `cut`: the next vertex begins a strip.
    pub(super) fn cut_strip(&mut self) -> Result<()> {
        let Some(gs) = self.gs.clone() else {
            return self.refuse("a strip cut outside a geometry program");
        };
        let one = self.b.lit_u(1);
        let p = self.b.local_ptr(gs.pending);
        self.b.store(p, one);
        Ok(())
    }

    /// The geometry program's result: the emitted vertices, how many, and where strips start.
    fn geometry_epilogue(&mut self) -> Result<()> {
        let result = self.result_type.expect("a geometry program returns its vertices");
        let gs = self.gs.clone().expect("a geometry program");
        let mut parts = Vec::new();
        for (array, ..) in &gs.outputs {
            let p = self.b.local_ptr(*array);
            parts.push(self.b.load(p, Kind::U, Width::One).expr);
        }
        let p = self.b.local_ptr(gs.count);
        parts.push(self.b.load(p, Kind::U, Width::One).expr);
        let p = self.b.local_ptr(gs.strips);
        parts.push(self.b.load(p, Kind::U, Width::One).expr);
        let composed = self.b.app(E::Compose {
            ty: result,
            components: parts,
        });
        self.b.push(Statement::Return {
            value: Some(composed),
        });
        Ok(())
    }

    /// Pack the result registers into the function's result structure and return it.
    pub(super) fn function_epilogue(&mut self) -> Result<()> {
        if self.gs.is_some() {
            return self.geometry_epilogue();
        }
        let Some(result) = self.result_type else {
            self.b.push(Statement::Return { value: None });
            return Ok(());
        };
        let sig = self.sig.clone().expect("a stage function");
        let varyings = self.result_varyings();
        let mut parts = Vec::new();
        for item in &sig.result {
            let (IoType::Value(carried), Some(index)) = (item.ty, item.varying) else {
                return self.refuse("a result that is not a varying's value");
            };
            let Some(v) = varyings.get(index) else {
                return self.refuse(format!(
                    "{} names varying {index}, which the interface does not have",
                    item.name
                ));
            };
            let Some(d3d) = v.provenance.d3d else {
                return self.refuse(format!("{} has no register", item.name));
            };
            let Some(&local) = self.outputs.get(&d3d.register) else {
                return self.refuse(format!("{} has no register {}", item.name, d3d.register));
            };
            let lanes: Vec<u8> = match v.system {
                Some(iridia::SystemValue::ClipPosition) => vec![0, 1, 2, 3],
                _ => lanes_of(d3d.mask),
            };
            let p = self.b.local_ptr(local);
            let row = self.b.load(p, Kind::U, Width::Four);
            let picked = self.b.swizzle(row, &lanes);
            parts.push(self.b.bitcast(picked, Kind::of(carried.scalar)).expr);
        }
        let composed = self.b.app(E::Compose {
            ty: result,
            components: parts,
        });
        self.b.push(Statement::Return {
            value: Some(composed),
        });
        Ok(())
    }

    /// The local of a fork or join phase's instance number, made the first time it is needed.
    fn instance_local(&mut self, kind: PhaseKind) -> Handle<LocalVariable> {
        let existing = if kind == PhaseKind::Fork {
            self.fork_id
        } else {
            self.join_id
        };
        if let Some(local) = existing {
            return local;
        }
        let u4 = self.u4();
        let name = if kind == PhaseKind::Fork {
            "vForkInstanceID"
        } else {
            "vJoinInstanceID"
        };
        let local = self.b.local(name, u4);
        if kind == PhaseKind::Fork {
            self.fork_id = Some(local);
        } else {
            self.join_id = Some(local);
        }
        local
    }

    /// Lift one function of the program as the module's function `sig`.
    pub(super) fn run_function(&mut self, sig: &FunctionSig) -> Result<()> {
        self.sig = Some(sig.clone());
        self.frames.clear();
        self.returned = false;
        self.declare_locals();
        self.prologue_function(sig)?;
        if matches!(self.setup.interface.facts, StageFacts::Hull(_)) {
            // the control-point phase is `main`; the fork and join phases are the patch constants, each instance of a
            // phase unrolled with its number
            self.in_phase = true;
            for phase in self.setup.phases.clone() {
                if (sig.name == "main") != (phase.kind == PhaseKind::ControlPoint) {
                    continue;
                }
                let instances = if phase.kind == PhaseKind::ControlPoint {
                    1
                } else {
                    phase.instances
                };
                if instances > MAX_INSTANCES {
                    return self.refuse(format!("a hull phase of {instances} instances"));
                }
                for instance in 0..instances {
                    if phase.kind != PhaseKind::ControlPoint {
                        let local = self.instance_local(phase.kind);
                        let n = self.b.lit_u(instance);
                        let pointer = self.b.local_ptr(local);
                        let target = self.b.app(E::AccessIndex {
                            base: pointer,
                            index: 0,
                        });
                        self.b.store(target, n);
                    }
                    self.returned = false;
                    self.body_range(phase.words.clone())?;
                    if !self.frames.is_empty() {
                        return self.refuse("a hull phase that ends inside control flow");
                    }
                }
            }
            self.in_phase = false;
            self.function_epilogue()?;
        } else {
            self.body_range(0..usize::MAX)?;
            self.check_closed()?;
            if !self.returned {
                self.function_epilogue()?;
            }
        }
        let decl = self.pending_decl.take().expect("declared in the prologue");
        self.b
            .end_function(sig.name, decl)
            .map_err(|detail| crate::error(self.word, detail))?;
        Ok(())
    }

    pub(super) fn finish_functions(mut self, target: String) -> Result<Program> {
        self.b.check().map_err(|detail| crate::error(self.word, detail))?;
        let stage = self.setup.interface.stage;
        let word = self.word;
        let module = self
            .b
            .finish_functions()
            .map_err(|detail| crate::error(word, detail))?;
        let mut limit_notes = iridia::compute_limit_notes(&module);
        let interface = self.setup.interface.clone();
        limit_notes.extend(iridia::interface_notes(&interface));
        Ok(Program {
            module,
            stage,
            entry: "main".into(),
            interface: self.setup.interface,
            bindings: self.resources.bound,
            conventions: Conventions::D3D,
            modes: D3dModes::ALL,
            provenance: Provenance {
                format: ShaderFormat::Dxbc,
                target,
                lifter: "iridia-dxbc".into(),
                lifter_version: super::LIFTER_VERSION,
                // the hash of the bytes, which `lift` sets
                source_hash: None,
                instruction_count: Some(iridia::InstructionCount {
                    count: self.decoded.instructions.len() as u64,
                    unit: iridia::InstructionUnit::DxbcInstructions,
                }),
            },
            notes: self.notes.into_iter().chain(limit_notes).collect(),
        })
    }

    /// The register a control-point operand names: `v[point][register]` or `vocp[point][register]`.
    pub(super) fn control_point_register(&mut self, op: &Operand, output: bool) -> Result<Val> {
        let array = if output {
            self.output_points
        } else {
            self.control_points
        };
        let Some((array, registers)) = array else {
            return self.refuse("a control point is read where the function has none");
        };
        if op.indices.len() != 2 || self.index_of(op, 1)?.relative.is_some() {
            return self.refuse("a control point register indexed by a register");
        }
        let point = self.index_expr(&self.index_of(op, 0)?.clone())?;
        let stride = self.b.lit_u(registers);
        let base = self.b.binary(naga::BinaryOperator::Multiply, point, stride);
        let register = self.b.lit_u(self.index_of(op, 1)?.base);
        let at = self.b.binary(naga::BinaryOperator::Add, base, register);
        let pointer = self.b.local_ptr(array);
        let element = self.b.app(E::Access {
            base: pointer,
            index: at.expr,
        });
        Ok(self.b.load(element, Kind::U, Width::Four))
    }

    /// The register `vpc[register]` of a domain program's patch constants.
    pub(super) fn patch_constant_register(&mut self, op: &Operand) -> Result<Val> {
        let Some(array) = self.patch_in else {
            return self.refuse("a patch constant is read where the function has none");
        };
        let index = self.index_expr(&self.index_of(op, 0)?.clone())?;
        let pointer = self.b.local_ptr(array);
        let element = self.b.app(E::Access {
            base: pointer,
            index: index.expr,
        });
        Ok(self.b.load(element, Kind::U, Width::Four))
    }

    /// A register that is one local of four lanes: `vDomain`, `vOutputControlPointID`, the phase numbers.
    pub(super) fn id_register(&mut self, register: Register) -> Result<Val> {
        let local = match register {
            Register::InputDomainPoint => self.domain_point,
            Register::OutputControlPointId => self.point_id,
            Register::GsInstanceId => self.gs_instance,
            Register::ForkInstanceId => self.fork_id,
            _ => self.join_id,
        };
        let Some(local) = local else {
            return self.refuse(format!("{register:?} is used where the function has none"));
        };
        let p = self.b.local_ptr(local);
        Ok(self.b.load(p, Kind::U, Width::Four))
    }
}