Displaying 1 result from an estimated 1 matches for "__bb1_executed".
2020 Jan 03
10
Writing loop transformations on the right representation is more productive
...nt i = 0; i < n; i += 1)
if (c)
foo(i);
for (int i = 0; i < n; i += 1)
if (c)
bar(i);
In the loop tree, control flow is represented through predicates of
the statements. In a first step, it is represented as
for (int i = 0; i < n; i += 1) {
bool __BB1_executed = 0;
{ if (c) foo(i); __BB1_executed = 1; }
{ if (__BB1_executed) bar(i); }
}
The predicates (`c` and `__BB1_executed`) can be separated into a
"necessary condition" (`c` must be true before `foo` can be executed)
and a "sufficient condition" (if `c` is true, `f...