Many program analysis techniques depend on capturing the control dependencies of the program. Most existing control dependence algorithms either compute intraprocedural control dependencies only, or they compute control dependence relations that are not precise in general including nonterminating systems. Weak control closure (WCC) subsumes all known nontermination insensitive control dependence relations, including those that are appropriate for nonterminating systems. In this paper, we provide the first formal development of an algorithm to compute the WCC for interprocedural programs capturing the weak form of interprocedural control dependencies. The method is widely applicable due to the generality of WCC. Theorems on the theoretical results of soundness, precision, and the worst-case complexity of our method are also included. We have compared our algorithm with a WCC computation algorithm based on a state-of-the-art interprocedural control dependence computation algorithm. The latter algorithm loses soundness, and we improve the precision by 15.21% on all our experimental benchmarks. This empirical evidence suggests that our algorithm is more effective for any client application of WCC requiring interprocedural program analysis.
Tue 5 AprDisplayed time zone: Eastern Time (US & Canada) change
12:50 - 13:50 | Session 2: Compiler TheoryCC Research Papers at CC Virtual Room Chair(s): EunJung (EJ) Park Qualcomm, USA | ||
12:50 15mPaper | Graph Transformations for Register-Pressure-Aware Instruction Scheduling CC Research Papers Ghassan Shobaki California State University, Sacramento, Justin Bassett California State University Sacramento, Mark Heffernan Google, Austin Kerbow AMD DOI | ||
13:05 15mPaper | Caviar: An E-Graph Based TRS for Automatic Code Optimization CC Research Papers Smail Kourta New York University Abu Dhabi, Adel Abderahmane NAMANI , Fatima Benbouzid-Si Tayeb École nationale supérieure d'informatique, Kim Hazelwood Facebook, Chris Cummins Facebook, Hugh Leather Facebook, Riyadh Baghdadi NYU Abu Dhabi DOI | ||
13:20 15mPaper | On the Computation of Interprocedural Weak Control Closure CC Research Papers DOI | ||
13:35 15mPaper | Seamless Deductive Inference via Macros CC Research Papers Arash Sahebolamri , Thomas Gilray University of Alabama at Birmingham, Kristopher Micinski Syracuse University DOI |