Infer Storage Classes by "specializing" SPIR-V modules "generic" over them.#414

Merged

eddyb merged 16 commits intoEmbarkStudios:mainfrom LykenSol:specializer

Feb 22, 2021

+3,065-412

Commits on Feb 19, 2021

spirv_type_constraints: don't limit InstSig inputs to value operands.
eddyb
committed
spirv_type_constraints: make the pat! macro more flexible.
eddyb
committed
spirv_type_constraints: support storage class equality constraints.
eddyb
committed
Introduce a "specializer" pass with "generic"s, inference and monomorphization-like expansion.
eddyb
committed
Infer storage classes using the specializer, replacing special pointer types.
eddyb
committed
Remove #[spirv(really_unsafe_ignore_bitcasts)].
eddyb
committed
specialize: remove double % after gfx-rs/rspirv#184 .
eddyb
committed
specializer: deduplicate between InferOperandList's two variants.
eddyb
committed
specializer: show function names in SPECIALIZER_DEBUG output.
eddyb
committed
specializer: support IndexComposite patterns (for e.g. OpAccessChain).
eddyb
committed
spirv_type_constraints: account for OpUCount{Leading,Trailing}ZerosINTEL usage.
eddyb
committed