Session Type
Technical Talk
Date & Time
Thursday, April 11, 2024, 4:15 PM - 4:45 PM
Name
Efficient Data-Flow Analysis on Region-Based Control Flow in MLIR
Location Name
Ballroom
Abstract/s
Sparse Conditional Constant Propagation (SCCP) is a data-flow analysis based optimization that simultaneously removes dead code while propagating constants along the control-flow graph of a program. In this talk, we present an efficient SCCP algorithm based on a structured region-based control flow model in MLIR for the Mojo programming language. The new algorithm can guarantee the best case of runtime, easy to debug, and can be equally applied to other types of data-flow analyses.
Speakers
Moderator
Ivan Radanov Ivanov