DaMatrix wrote: Okay, so I should remove all the logic for handling combinations of `undef` and `poison`, and instead assume that the lookup table values will always be either a `ConstantInt` or a `poison`? https://github.com/llvm/llvm-project/pull/94990