| analysis | PAG/WWW specification | test data |
|---|---|---|
| faint variables analysis | 1: Solution 1
2: Solution 2 |
1: test
2: test |
| detection of signs analysis | 1: Solution 1
2: Solution 2 3: Solution 3 |
1: test
2: 3: test |
| parity analysis | 1: Solution 1
2:Solution 2 3: Solution 3 |
1:
2: 3: |
| constant propagation analysis | 1: Solution 1
2: Solution 2 |
1:
2: |
| upwards exposed uses analysis | 1: Solution 1
2: Solution 2 |
1:
2: test |
| copy propagation analysis | 1: Solution 1
2: Solution 2 3: Solution 3 |
1:
test
2: 3: |
| dominator analysis | 1: Solution 1
2: Solution 2 3: Solution 3 |
1:
2: 3: |