Computing Bounds of SSA Values in MLIR

Matthias is joining us to give his presentation from EuroLLVM 2024.

As usual, pizza, beer, soft drinks, and snacks will be provided. This event is sponsored by NextSilicon.

Abstract: We present the MLIR `ValueBoundsConstraintSet` infrastructure, which can compute lower/upper/equality bounds of index-typed SSA values or dynamic dimension sizes of shaped values, in terms of other SSA values or as a constant. For example, this infrastructure has been used to enable vectorization of tensor IR with dynamic dimension sizes and to hoist dynamic memory allocations from loops. In this talk, we present the infrastructure's API, how to extend it with custom ops and touch upon current limitations.

Location: The event is taking place in the room G52 in the CAB building of ETH Zurich at the Zentrum campus. Enter the building through the large front door in the courtyard and take first set of stone stairs up, then walk straight through the center of the building to the back, and turn left to find room G52.