leads to partial-register definitions. To help avoid redundant
zero-extensions, also teach the h-register matching patterns that
use movzbl to match anyext as well as zext.

llvm-svn: 80099

This is a simple AliasAnalysis implementation which works by making
ScalarEvolution queries. ScalarEvolution has a more complete understanding
of arithmetic than BasicAA's collection of ad-hoc checks, so it handles
some cases that BasicAA misses, for example p[i] and p[i+1] within the
same iteration of a loop.

This is currently experimental. It may be that the main use for this pass
will be to help find cases where BasicAA can be profitably extended, or
to help in the development of the overall AliasAnalysis infrastructure,
however it's also possible that it could grow up to become a directly
useful pass.

llvm-svn: 80098

llvm-svn: 80096

printed in a deterministic order.

llvm-svn: 80095

 - I haven't really tried to find the "right" way to store the fixups or apply
   them, yet. This works, but isn't particularly elegant or fast.

 - Still no evaluation support, so we don't actually ever not turn a fixup into
   a relocation entry.

llvm-svn: 80089

llvm-svn: 80088

llvm-svn: 80086

llvm-svn: 80085

declarations if necessary.

llvm-svn: 80084

llvm-svn: 80079

llvm-svn: 80073

llvm-svn: 80070

Also, simplify some of Mach-O writer code which can now use section addresses.

llvm-svn: 80067

llvm-svn: 80065

code hints that it would be a good idea to inline
a function ("inline" keyword).  No functional change
yet; FEs do not emit this and inliner does not use it.

llvm-svn: 80063

Patch by Caroline Tice.

llvm-svn: 80061

llvm-svn: 80059

llvm-svn: 80058

the correct type.

llvm-svn: 80050

constructors.

llvm-svn: 80049

llvm-svn: 80042

the forms of ExtractElementInst and InsertElementInst that are
equivalent to clone.

llvm-svn: 80041

the array on its first access.

llvm-svn: 80040

llvm-svn: 80039

and introduce a new Instruction::isIdenticalTo which tests for full
identity, including the SubclassOptionalData flags. Also, fix the
Instruction::clone implementations to preserve the SubclassOptionalData
flags. Finally, teach several optimizations how to handle
SubclassOptionalData correctly, given these changes.

This fixes the counterintuitive behavior of isIdenticalTo not comparing
the full value, and clone not returning an identical clone, as well as
some subtle bugs that could be caused by these.

Thanks to Nick Lewycky for reporting this, and for an initial patch!

llvm-svn: 80038

of EH stuff going into there, so we can wait to add them all then.

llvm-svn: 80036

llvm-svn: 80033

llvm-svn: 80032

should be forced to 32-bits (.long) even on 64-bit architectures. Darwin wants
these bits to be 64-bits (.quad). However, other platforms may disagree.

This is just the info right now and is part of a work-in-progress which needs
this. We'll add the actual *use* of this soon.

llvm-svn: 80024

PIC16Section will move to MCSectionPIC16.

llvm-svn: 80021

will always return the same value. This isn't currently necessary,
since this code doesn't currently ever get called under circumstances
where it would matter, but it may some day.

llvm-svn: 80017

llvm-svn: 80015

llvm-svn: 80014

llvm-svn: 80012

llvm-svn: 80011

sinking code, since they are special. If the loop preheader happens
to be the entry block of a function, don't sink static allocas
out of it. This fixes PR4775.

llvm-svn: 80010

llvm-svn: 80009

llvm-svn: 80007

llvm-svn: 80006

llvm-svn: 80002