hockyy wrote: There are some tests that fail when I tried to make it strictly reject every unary. we can try to run canonicalize before it to see whether ir will get folded before running specialization https://github.com/llvm/llvm-project/pull/198725