|How to decide on the meet operator in Data-flow Analysis? email@example.com (Vivek B) (2010-03-14)|
|Re: How to decide on the meet operator in Data-flow Analysis? firstname.lastname@example.org (Patryk Zadarnowski) (2010-03-15)|
|From:||Vivek B <email@example.com>|
|Date:||Sun, 14 Mar 2010 10:18:21 -0700 (PDT)|
|Posted-Date:||15 Mar 2010 01:08:36 EDT|
In an iterative data flow analysis the solution obtained will be less
than or equal to the IDEAL solution
If I am trying to solve the problem in two different approaches -
using two different meet operators (^)
1. where meet operator is U (union)
2. where the meet operator is (intersection)
then the meet over path solutions, MOP1 and MOP2, obtained are both
less than or equal to IDEAL. (being conservative)
MOP1 <= IDEAL
MOP2 <= IDEAL
How can I know which among MOP1 and MOP2 gives a superior result?
Is there a formal way to decide which meet operator has to be used ?
Return to the
Search the comp.compilers archives again.