Session Type
Technical Talk
Date & Time
Wednesday, November 9, 2022, 5:30 PM - 6:00 PM
Automated translation validation for an LLVM backend
We developed an automated bug-finding tool for LLVM’s AArch64 backend. Our prototype, ARM-TV, builds on Alive2, a bounded translation validator for LLVM’s optimization passes. Using ARM-TV, we have discovered and reported 17 new miscompilation bugs in the SelectionDAG and GlobalISel backends, most of which have been fixed. In this talk, we will describe the current state of our prototype and our plans for enhancing the tool.
Location Name
Monterey - Lower Level