microsoft/compiler: Emit const accesses as load_deref
authorJesse Natalie <jenatali@microsoft.com>
Fri, 19 May 2023 15:57:03 +0000 (08:57 -0700)
committerMarge Bot <emma+marge@anholt.net>
Tue, 13 Jun 2023 00:43:36 +0000 (00:43 +0000)
commitf9b0382fafcfabbb8028b9cbfdfb6cb077c2dc4c
treeb66671d32afa2e70d6c93abb59f420cb3cbeaf66
parent572e02a3b79f7ad3780a42bfc4dfc8b9a9216c25
microsoft/compiler: Emit const accesses as load_deref

There's a few changes in here that are very inter-related.

First, we stop lowering load_deref on shader_temp to load_ptr_dxil,
and just leave it as load_deref. In order for that to work, we need
the derefs to be in a shape that's acceptable to DXIL, so the only
current producer of shader_temp loads (the CLC frontend) needs to
run some lowering passes on them first.

The DXIL backend is augmented to just write out deref indices while
walking a deref chain, which will get combined in the load op into
a GEP instruction. For non-mesh/raytracing shaders, these are required
to be single-level scalar arrays, but the complexity here is preparation
for when we don't need to do that anymore.

Additionally, the const lookups are changed from using a hash table
to just putting an index on the variable.

All of this together is enough to enable the authored-forever-ago test
which uses indirect array access into a const packed struct. The
load_ptr_dxil handling didn't deal with packed structs / unaligned
accesses, but now that we're in a logical address space with derefs
instead of physical, there's no alignment to deal with anymore and
the fact that it's packed goes out the window.

This removes one custom DXIL intrinsic.

Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/23173>
src/compiler/nir/nir_intrinsics.py
src/microsoft/clc/clc_compiler.c
src/microsoft/clc/clc_compiler_test.cpp
src/microsoft/compiler/dxil_nir.c
src/microsoft/compiler/nir_to_dxil.c