llvm-svn: 43462

llvm-svn: 43461

llvm-svn: 43460

constant to an unsigned int.  We now just directly assign the literal 0.

llvm-svn: 43459

slightly more succinct.

Introduced VariableArrayType* within StmtIteratorBase to (soon)
support iteration over the size expressions of variable length arrays.

llvm-svn: 43455

llvm-svn: 43454

Moved a dependent predicate in an if statement to be an assertion
within the if statement body.

llvm-svn: 43453

llvm-svn: 43452

should emit warnings.

llvm-svn: 43451

"x == x" and "x != x".  We emit a warning for these since they always evaluate
to a constant value and often indicate a logical error.

Added test case for this check.

llvm-svn: 43450

an unimplemented work  and continue.

llvm-svn: 43449

(x) == x  is the treated the same as x == x.

llvm-svn: 43448

errors for cases such as "x == x".

Added test case to test this feature.

llvm-svn: 43447

llvm-svn: 43446

llvm-svn: 43445

llvm-svn: 43444

llvm-svn: 43443

don't model their dependences on allocas correctly.  This fixes
PR1745.

llvm-svn: 43442

llvm-svn: 43441

if statements.  This implements Sema/if-empty-body.c:f3, silencing
a bogus secondary warning.  It also improve the location info for
the nullstmts created for recovery purposes.

llvm-svn: 43440

llvm-svn: 43439

Add a first attempt at dominator information for MBB's.  Use with caution: this has been tested to compile.  It has not yet been confirmed to generate correct analysis.

llvm-svn: 43438

eat the terminating ;.  Fix one place where it did, allowing this
to compile without error:

struct x {
 int a;
 union {
  int b;
  float c;
 };

 int d;
};

This reduces diagnostics on PR1750 from 33 to 27.

llvm-svn: 43437

one bogus error on PR1750.

llvm-svn: 43436

PR1750

llvm-svn: 43435

to parse stuff like:

asm volatile("1:  rex64/fxrstor (%[fx])\n\t"
       "2:\n"
       ".section .fixup,\"ax\"\n"
       "3:  movl $-1,%[err]\n"
       "    jmp  2b\n"
       ".previous\n"
       ".section __ex_table,\"a\"\n"
       "   .align 8\n"
       "   .quad  1b,3b\n"
       ".previous"
       : [err] "=r" (err)
       : [fx] "cdaSDb" (fx), "m" (*fx), "0" (0));

This reduces # diagnostics on PR1750 from 49 to 37.

llvm-svn: 43434

resolving a crash on a .i file in PR1750.  We now generate 49 errors on the
.i file in that bug.

llvm-svn: 43433

typeof(type) and typeof(expr) correctly.  Now provide a single point of
contact (Type::getDesugaredType) for doing the shallow stripping we need.

llvm-svn: 43432

now.  It conflicts with clang's -pedantic flag.

llvm-svn: 43431

b/h/w/k/q inline asm memory modifiers, which are just ignored.  This fixes
PR1748 and CodeGen/X86/2007-10-28-inlineasm-q-modifier.ll

llvm-svn: 43430

llvm-svn: 43429

llvm-svn: 43428

zero-length fields better.

llvm-svn: 43427

can have uses too.  Wouldn't it be nice if invoke didn't exist? :)

llvm-svn: 43426

pointers that were not backpatched (previously checked the wrong invariant).

llvm-svn: 43425

llvm-svn: 43424

llvm-svn: 43423

eager backpatching instead of waithing until all objects have been
deserialized.  This allows us to reduce the memory footprint needed
for backpatching.

llvm-svn: 43422

of offset and the alignment of ptr if these are both powers of
2.  While the ptr alignment is guaranteed to be a power of 2,
there is no reason to think that offset is.  For example, if
offset is 12 (the size of a long double on x86-32 linux) and
the alignment of ptr is 8, then the alignment of ptr+offset
will in general be 4, not 8.  Introduce a function MinAlign,
lifted from gcc, for computing the minimum guaranteed alignment.
I've tried to fix up everywhere under lib/CodeGen/SelectionDAG/.
I also changed some places that weren't wrong (because both values
were a power of 2), as a defensive change against people copying
and pasting the code.
Hopefully someone who cares about alignment will review the rest
of LLVM and fix up the remaining places.  Since I'm on x86 I'm
not very motivated to do this myself...

llvm-svn: 43421

llvm-svn: 43420