Displaying 4 results from an estimated 4 matches for "deadinstelimination".
2018 May 07
2
Preservation of CallGraph (by BasicBlockPass, FunctionPass)
...6 @f1()
ret void
}
attributes #0 = { nounwind readnone }
;----------------------------------------------------------------
then %call1 will be removed by the Dead Instruction Elimination pass. I.e. that pass is not preserving the CallGraph!
Dead Instruction Elimination is a BasicBlockPass, and DeadInstElimination::getAnalysisUsage is doing setPreservesCFG() (even though that should be implicit for a BasicBlockPass afaik).
When reading the description of BasicBlockPass it seems to be legal to remove calls, and that should not impact the CFG, right? But it will impact the CallGraph.
I believe that when the F...
2018 May 07
0
Preservation of CallGraph (by BasicBlockPass, FunctionPass)
...}
>
> ;----------------------------------------------------------------
>
>
>
> then %call1 will be removed by the Dead Instruction Elimination pass. I.e.
> that pass is not preserving the CallGraph!
>
>
>
> Dead Instruction Elimination is a BasicBlockPass, and
> DeadInstElimination::getAnalysisUsage is doing setPreservesCFG() (even
> though that should be implicit for a BasicBlockPass afaik).
>
> When reading the description of BasicBlockPass it seems to be legal to
> remove calls, and that should not impact the CFG, right? But it will impact
> the CallGraph.
&...
2018 May 08
2
Preservation of CallGraph (by BasicBlockPass, FunctionPass)
...---------------------------
> >
> >
> >
> > then %call1 will be removed by the Dead Instruction Elimination pass. I.e.
> > that pass is not preserving the CallGraph!
> >
> >
> >
> > Dead Instruction Elimination is a BasicBlockPass, and
> > DeadInstElimination::getAnalysisUsage is doing setPreservesCFG() (even
> > though that should be implicit for a BasicBlockPass afaik).
> >
> > When reading the description of BasicBlockPass it seems to be legal to
> > remove calls, and that should not impact the CFG, right? But it will impact
&...
2018 May 08
0
Preservation of CallGraph (by BasicBlockPass, FunctionPass)
...t;
> > >
> > > then %call1 will be removed by the Dead Instruction Elimination pass.
> I.e.
> > > that pass is not preserving the CallGraph!
> > >
> > >
> > >
> > > Dead Instruction Elimination is a BasicBlockPass, and
> > > DeadInstElimination::getAnalysisUsage is doing setPreservesCFG() (even
> > > though that should be implicit for a BasicBlockPass afaik).
> > >
> > > When reading the description of BasicBlockPass it seems to be legal to
> > > remove calls, and that should not impact the CFG, right?...