llvm-svn: 45624

for remat, but can't due to an RA bug.

llvm-svn: 45623

llvm-svn: 45622

llvm-svn: 45621

isReallySideEffectFree and isReallyTriviallyReMaterializable.  Why is a load from
a global considered side-effect-free but not rematable?

llvm-svn: 45620

llvm-svn: 45618

llvm-svn: 45617

llvm-svn: 45616

in a foreach-statement which is illegal (but not yet caught) .

llvm-svn: 45615

llvm-svn: 45614

llvm-svn: 45613

things that are not equality comparisons, for example:
   (2147479553+4096)-2147479553 < 0    !=   (2147479553+4096) < 2147479553

llvm-svn: 45612

with the rest of the Objective-C serialization code.

llvm-svn: 45609

llvm-svn: 45608

llvm-svn: 45607

llvm-svn: 45606

llvm-svn: 45605

llvm-svn: 45604

llvm-svn: 45603

llvm-svn: 45602

llvm-svn: 45601

it explicitly for vectors.  This allows us to unnest some code.

llvm-svn: 45600

stripping down to canonical types early.

llvm-svn: 45599

llvm-svn: 45598

llvm-svn: 45597

preserved.

llvm-svn: 45596

llvm-svn: 45595

llvm-svn: 45594

llvm-svn: 45593

llvm-svn: 45591

it from several places.  This merges the diagnostics, making them more
uniform and fewer in number. This also simplifies and cleans up the code.

Some highlights:
1. This removes a bunch of very-similar diagnostics.
2. This renames AssignmentCheckResult -> AssignConvertType
3. This merges PointerFromInt + IntFromPointer which were always treated the same.
4. This updates a bunch of test cases that have minor changes to the produced diagnostics.

llvm-svn: 45589

since they didn't actually need to be bitfields,
though they are marked as such).

llvm-svn: 45588

llvm-svn: 45587

llvm-svn: 45585

llvm-svn: 45583

llvm-svn: 45581

llvm-svn: 45580

llvm-svn: 45576

llvm-svn: 45575

llvm-svn: 45574