Displaying 1 result from an estimated 1 matches for "scevunknonw".
Did you mean:
scev_unknown
2013 Jul 02
0
[LLVMdev] SCEV update problem
...aspect of SCEV regarding to the problem are:
a1) SCEV is *NOT* self-contained.
At least SCEVUnknown points to an llvm::Instruction.
a2) SCEV must be in sync with IR.
One way to sync them is to delete invalidate SCEV, and force SE
to recompute
based on most recent IR. SCEVUnknonw is invalidated if its
corresponding
llvm::Instruction is deleted. However, it dose not invalidate
those SCEVs that
depends on it as well.
a3) SCEV is hierarchically structured.
So, if a SCEVUnknown is invalidated, the compiler needs to figure
out who depends
on t...