isLCSSAForm failed

[Neal_N_Wang]

Hi folk,

I have a Module pass. I tested the pass against the following code.

./gcc.dg/20030721-1.c
extern void abort(void);

void foo(int) attribute((noinline));

void foo(int i)
{
abort();
}

int main()
{
int i;
int first= 0;
int last= 0;

while (last<3) {
last = first;

while (first<=last) {
first++;

for (i=0;i<3;i++)
last++;

if (last>10)
return 0;
}

foo(first);
}

return 0;
}

[Eli_Friedman1]

My first guess is that your pass is claiming to preserve dominance
information when it doesn't... try passing -mllvm -verify-dom-info to
llvm-gcc.

-Eli