dwblaikie wrote: Please include a test case (& perhaps soem motivation - are there any targets that actually have non-byte-size types? Perhaps we should disallow that in the verifier instead?) https://github.com/llvm/llvm-project/pull/69741