llvm-svn: 86672

being generated.

Add the most derived vtable pointer to the VTT.

llvm-svn: 86671

of a computation.  This fixes some infinite loops when dealing with TD that
has no native types.

llvm-svn: 86670

This is a pretty minimal test case;  I'll make a better one later.

llvm-svn: 86669

llvm-svn: 86668

memory just like a store" with bug fixed (partial-overwrite.ll is the
regression test).

llvm-svn: 86667

llvm-svn: 86666

When trying to assign a regular string literal to an Objective-C 'id' type or a pointer to an NSString, emit a code insertion hint that turns it into an Objective-C string. For example:

@class NSString;

@interface Test
+ (void)test:(NSString *)string;
@end

void g(NSString *a);

void f() {
  NSString *a = "Foo";
  g("Foo");
  [Test test:"Foo"];
}

will produce

t.m:10:17: warning: incompatible pointer types initializing 'char [4]', expected 'NSString *'
  NSString *a = "Foo";
                ^~~~~
                @
t.m:11:5: warning: incompatible pointer types passing 'char [4]', expected 'NSString *'
  g("Foo");
    ^~~~~
    @
t.m:12:14: warning: incompatible pointer types sending 'char [4]', expected 'NSString *'
  [Test test:"Foo"];
             ^~~~~
             @
3 diagnostics generated.

llvm-svn: 86665

llvm-svn: 86664

llvm-svn: 86663

llvm-svn: 86662

llvm-svn: 86661

the argument is not an expression.

llvm-svn: 86660

If a function with a default argument is redefined and the new function also has a defualt argument then add a fixit hint that removes the default argument. Fixes PR5444.

llvm-svn: 86659

llvm-svn: 86658

llvm-svn: 86657

llvm-svn: 86656

llvm-svn: 86655

llvm-svn: 86654

llvm-svn: 86653

region, so that arithmetic within a memory chunk is allowed.

llvm-svn: 86652

llvm-svn: 86651

Start implementing VTTs.  WIP.

llvm-svn: 86650

getBaseRegion will be used in another method.

llvm-svn: 86649

llvm-svn: 86648

llvm-svn: 86647

just one level deep.  On the testcase we go from getting this:

F1:                                               ; preds = %T2
  %F = and i1 true, %cond                         ; <i1> [#uses=1]
  br i1 %F, label %X, label %Y

to a fully threaded:

F1:                                               ; preds = %T2
  br label %Y


This changes gets us to the point where we're forming (too many) switch 
instructions on doug's strswitch testcase.

llvm-svn: 86646

llvm-svn: 86645

releases.

llvm-svn: 86644

llvm-svn: 86643

llvm-svn: 86642

llvm-svn: 86641

llvm-svn: 86640

llvm-svn: 86639

Patch by Victor Zverovich!

llvm-svn: 86638

except that the result may not be a constant.  Switch jump threading to 
use it so that it gets things like (X & 0) -> 0, which occur when phi preds
are deleted and the remaining phi pred was a zero.

llvm-svn: 86637

This patch forbids implicit conversion of DenseMap::const_iterator to
DenseMap::iterator which was possible because DenseMapIterator inherited
(publicly) from DenseMapConstIterator. Conversion the other way around is now
allowed as one may expect.

The template DenseMapConstIterator is removed and the template parameter
IsConst which specifies whether the iterator is constant is added to
DenseMapIterator.

Actually IsConst parameter is not necessary since the constness can be
determined from KeyT but this is not relevant to the fix and can be addressed
later.

Patch by Victor Zverovich!

llvm-svn: 86636

llvm-svn: 86635

llvm-svn: 86634

llvm-svn: 86633