Name: Computing Bounds of SSA Values in MLIR
Start: 2024-05-14T18:45:00+02:00
End: 2024-05-14T22:00:00+02:00
Location: ETHZ CAB

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.

Johannes de Fine Licht

Tobias Gysi

Theodoros Theodoridis

lorenzo chelini

Matthias Springer

Compiler Social Zürich

LLVM Project

Technology

Open Source

Software Development

C & C++

Programming Languages

Computer Programming

Compilers

Matthias is a deep learning compiler engineer at NVIDIA Switzerland. He was previously a senior software engineer at Google Switzerland, where he was working on MLIR and MLIR-based compilers. He is interested in code generation, domain-specific languages (DSLs), programming models and memory access optimizations for SIMD/GPU architectures.



Computing Bounds of SSA Values in MLIR

ETHZ CAB

Share

Compiler Social Zürich

Computing Bounds of SSA Values in MLIR

Compiler Social Zürich

Details

Members are also interested in