Showing cs.PLShow all
3 papers · 1 filter
cs.PL2022
Copy Propagation subsumes Constant Propagation
Sreekala S., Vineeth Paleri
Constant propagation and copy propagation are code transformations that may avoid some load operations and can enable other optimizations. In literature, constant and copy propagat…
cs.PL2013
A Simple Algorithm for Global Value Numbering
Nabizath Saleena, Vineeth Paleri
Global Value Numbering(GVN) is a method for detecting redundant computations in programs. Here, we introduce the problem of Global Value Numbering in its original form, as conceive…
cs.PL2013
A Note on "A polynomial-time algorithm for global value numbering"
Saleena Nabeezath, Vineeth Paleri
Global Value Numbering(GVN) is a popular method for detecting redundant computations. A polynomial time algorithm for GVN is presented by Gulwani and Necula(2006). Here we present…