[LLVMdev] Scalar evolution question

[Joshua Cranmer]

For a pass that we're implementing, we want to do symbolic evaluation of 
LLVM values as if certain intrinsics were given constants. The scalar 
evolution pass already lets us compute these values for loop iterations, 
but it still doesn't let us do it if the SCEV in question corresponds to 
an IntrinsicInst. It seems that the easiest way to do this is to modify 
the IR to replace the intrinsic with the constant in question, but this 
also requires that we undo this modification; is there an easier way to 
do this?

-- 
Joshua Cranmer
News submodule owner
DXR coauthor