CC 2026
Sat 31 January - Sun 1 February 2026 Sydney, Australia
co-located with HPCA/CGO/PPoPP/CC 2026
Sun 1 Feb 2026 11:26 - 11:52 at Coogee - Analysis Chair(s): Ajitha Rajan

With version 17, LLVM finalized the transition to opaque pointer types, eliminating explicit pointee‑type information from the Intermediate Representation (IR). Thus, starting from LLVM 17, each pointer type is represented in IR by the unique type ptr. Despite eliminating redundant pointer bitcasts and consequently reducing IR size and compile time, this change disrupts analyses that have reason to rely on pointee-type information, forcing existing compiler projects to depend on outdated LLVM versions. This information can in fact be insightful in fields like approximate computing, where the compiler can apply non-conservative optimizations, or in passes that require it to make analyses and transformations that do not impact the correctness of the program. To address this problem, we present a new Type Deduction Analysis pass that reconstructs transparent pointer types directly from opaque‑pointer IR. Moreover, we illustrate two different case-studies on existing LLVM projects, namely TAFFO and ASPIS, that demonstrate the need for pointee-type information in LLVM compilers.

Sun 1 Feb

Displayed time zone: Hobart change

11:00 - 12:45
AnalysisMain Conference at Coogee
Chair(s): Ajitha Rajan The University of Edinburgh
11:00
26m
Talk
HORIZON: Estimating Alias Analysis Precision Bounds and Their Impact on Performance
Main Conference
Khushboo Chitre IIIT Delhi, Piyus Kedia IIIT Delhi, Rahul Purandare University of Nebraska-Lincoln
11:26
26m
Talk
Type Deduction Analysis: Reconstructing Transparent Pointer Types in LLVM-IR
Main Conference
Niccolò Nicolosi Politecnico di Milano, Gabriele Magnani Politecnico di Milano, Emilio Corigliano Politecnico di Milano, Davide Baroffio Politecnico di Milano, Federico Reghenzani Politecnico di Milano, Giovanni Agosta Politecnico di Milano, Italy
11:52
26m
Talk
Compact Representation and Interleaved Solving for Scalable Constraint-Based Points-to Analysis
Main Conference
Ramya Kasaraneni IIT Madras, V Krishna Nandivada IIT Madras
12:18
26m
Talk
Practical MHP Analysis for Java
Main Conference
Samuel Moses IIT Madras, V Krishna Nandivada IIT Madras