Function of CorrelatedValuePropagation pass

Hi,

I am working on some changes to LazyValueInfo and I wanted to see how it was used in existing passes.
Currently I can see that Jump Threading and Correlated Value Propagation are the 2 passes that use LazyValueInfo.

However on the LLVM docs page of passes (http://llvm.org/docs/Passes.html), Correlated Value Propagation is not mentioned as a pass.
Does this mean that the pass is deprecated or just a mistake ?

Thanks

Aditya V Kamath
Undergraduate Student,
IIT Hyderabad ODF Medak,
Yeddumailaram,
Hyderabad 502205

From: "Aditya Kamath" <cs11b001+llvmdev@iith.ac.in>
To: llvmdev@cs.uiuc.edu
Sent: Friday, March 20, 2015 6:06:09 AM
Subject: [LLVMdev] Function of CorrelatedValuePropagation pass

Hi,

I am working on some changes to LazyValueInfo and I wanted to see how
it was used in existing passes.
Currently I can see that Jump Threading and Correlated Value
Propagation are the 2 passes that use LazyValueInfo.

However on the LLVM docs page of passes (
http://llvm.org/docs/Passes.html ), Correlated Value Propagation is
not mentioned as a pass.
Does this mean that the pass is deprecated or just a mistake ?

That web page is out of date. If you want to see what passes are actively in use, I recommend looking at how the default optimization pipeline is setup (PassManagerBuilder::populateModulePassManager in lib/Transforms/IPO/PassManagerBuilder.cpp).

-Hal

Right. The option for opt would be -correlated-propagation and its
implementation is in lib/Transform/Scalar.

Joerg