We present a TableGen-based DSL for expressing InstCombine rewrite rules that generates C++ implementations, lit tests, and Alive2 pairs from a single source, providing confidence that rewrites are both semantically correct and faithfully implemented. Our goal with this talk is to present early results, discuss possible steps forward, and generate enthusiasm for adopting this kind of technology within LLVM. Instead of a monolithic, all-or-nothing pass, this approach opens the door to a customizable, modular rewrite engine with principled verification, target-specific specialization, and the potential to reduce both maintenance burden and compile-time cost.