Verifying Peephole Rewriting In SSA Compiler IRs Siddharth Bhat, Alex Keizer, Chris Hughes, Andrés Goens, Tobias Grosser Jan 1, 2024 PDF Cite Add the full text or supplementary notes for the publication here using Markdown formatting.