it turns out that isWeak() was basically dead anyway.  Kill off SectionInfo :-/

llvm-svn: 77812

Additional AuroraUX header path.

llvm-svn: 77811

don't use isWeak anymore.

llvm-svn: 77810

fix a layering violation by moving SectionKind out to its own header.

llvm-svn: 77808

Minor whitespace tidiness.

llvm-svn: 77807

Fix typos in comments.

llvm-svn: 77806

with the previous refactoring, fixme fixed!

llvm-svn: 77805

update for API change.

llvm-svn: 77804

Change SectionKind to be a property that is true of a *section*, it
should have no state that is specific to particular globals in the
section.  In this case, it means the removal of the "isWeak" and
"ExplicitSection" bits.  MCSection uses the new form of SectionKind.

To handle isWeak, I introduced a new SectionInfo class, which is
SectionKind + isWeak, and it is used by the part of the code generator
that does classification of a specific global.

The ExplicitSection disappears.  It is moved onto MCSection as a new
"IsDirective" bit.  Since the Name of a section is either a section
or directive, it makes sense to keep this bit in MCSection.  Ultimately
the creator of MCSection should canonicalize (e.g.) .text to whatever
the actual section is.

llvm-svn: 77803

Don't error on C++ linkage; if we don't support that, there are
serious issues :)

llvm-svn: 77800

add a note about the build bots

llvm-svn: 77796

Minor code cleanups.

llvm-svn: 77795

Print the target flags as an int instead of a char, as they aren't
actually characters.

llvm-svn: 77794

Use the default copy ctor and copy-assignment operators.

llvm-svn: 77793

Add nounwind to this test.

llvm-svn: 77792

Add newline at end of file to remove gcc warning.

llvm-svn: 77791

Remove now empty unit test directory.

llvm-svn: 77790

daniel says it's fine to nuke this.

llvm-svn: 77789

update for new api

llvm-svn: 77788

All MCSections are now required to have a SectionKind.

llvm-svn: 77787

Add temp C++ include path for AuroraUX; patch by Edward O'Callaghan.

llvm-svn: 77786

Hack to make this test work on platforms which aren't Macs.  Fixing this
myself because I'm getting tired of seeing the red buildbots, which have
been red since 5:30PM PDT last night.

Proposed supplement to developer policy: committers should make sure to
be around to watch for buildbot failures after committing.

llvm-svn: 77785

lit: Add internal script execution.
 - Off by default, you can test it with the --no-sh argument.

 - For me it works for all but 3 tests, but there a number of FIXMEs and QOI
   issues:
     o Redirection isn't completely accurate -- in practice it can't portably
       be, but I would like to error out if someone writes something which isn't
       going to work. This is the source of the 3 test failures.

     o Some pipe configurations have the potential to deadlock.

     o It is significantly slower when multithreaded. I believe this is due to
       locking happening under the hood, there is probably some kind of solution
       but I haven't investigated yet.

     o Log output is ugly.

llvm-svn: 77784

lit: Two more sh lex/parse bugs (but its so simple!)
 - Empty arguments weren't handled correctly.
 - Escapes outside quoted strings weren't handled.

llvm-svn: 77783

This is a fairly large patch, which resulted from a cascade of changes
made to RegionStore (and related classes) in order to handle some
analyzer failures involving casts and manipulation of symbolic memory.

The root of the change is in StoreManager::CastRegion().  Instead of
using ad hoc heuristics to decide when to layer an ElementRegion on a
casted MemRegion, we now always layer an ElementRegion when the cast
type is different than the original type of the region.  This carries
the current cast information associated with a region around without
resorting to the error prone recording of "casted types" in GRState.

Along with this new policy of layering ElementRegions, I added a new
algorithm to strip away existing ElementRegions when they simply
represented casts of a base memory object.  This algorithm computes
the raw "byte offset" that an ElementRegion represents from the base
region, and allows the new ElementRegion to be based off that offset.
The added benefit is that this naturally handles a series of casts of
a MemRegion without building up a set of redundant ElementRegions
(thus canonicalizing the region view).

Other related changes that cascaded from this one (as tests were
failing in RegionStore):

- Revamped RegionStoreManager::InvalidateRegion() to completely remove
  all bindings and default values from a region and all subregions.
  Now invalidated fields are not bound directly to new symbolic
  values; instead the base region has a "default" symbol value from
  which "derived symbols" can be created.  The main advantage of this
  approach is that it allows us to invalidate a region hierarchy and
  then lazily instantiate new values no matter how deep the hierarchy
  went (i.e., regardless of the number of field accesses,
  e.g. x->f->y->z->...).  The previous approach did not do this.

- Slightly reworked RegionStoreManager::RemoveDeadBindings() to also
  incorporate live symbols and live regions that do not have direct
  bindings but also have "default values" used for lazy instantiation.
  The changes to 'InvalidateRegion' revealed that these were necessary
  in order to achieve lazy instantiation of values in the region store
  with those bindings being removed too early.

- The changes to InvalidateRegion() and RemoveDeadBindings() revealed
  a serious bug in 'getSubRegionMap()' where not all region -> subregion
  relationships involved in actually bindings (explicit and implicit)
  were being recorded.  This has been fixed by using a worklist algorithm
  to iteratively fill in the region map.

- Added special support to RegionStoreManager::Bind()/Retrieve() to handle
  OSAtomicCompareAndSwap in light of the new 'CastRegion' changes and the
  layering of ElementRegions.

- Fixed a bug in SymbolReaper::isLive() where derived symbols were not
  being marked live if the symbol they were derived from was also live.
  This fix was critical for getting lazy instantiation in RegionStore
  to work.

- Tidied up the implementation of ValueManager::getXXXSymbolVal() methods
  to use SymbolManager::canSymbolicate() to decide whether or not a
  symbol should be symbolicated.

- 'test/Analysis/misc-ps-xfail.m' now passes; that test case has been
  moved to 'test/Analysis/misc-ps.m'.

- Tweaked some pretty-printing of MemRegions, and implemented
  'ElementRegion::getRawOffset()' for use with the CastRegion changes.

llvm-svn: 77782

Workaround a couple of Darwin assembler bugs.

llvm-svn: 77781

Ok, ok, I give in. Fix tests for unused result warning.

llvm-svn: 77780

Temporarily disable out-of-bounds checking.  The current checking logic will not work quite right with the changes I'm about to commit.

llvm-svn: 77779

Use %S, not `pwd`, and enable a line that *does* work.
 - Doug, please check.

llvm-svn: 77778

lit: Fix two sh lexing bugs.
 - '\\\\' inside a "..." string becomes '\\'.
 - The '<' token wasn't being recognized.

llvm-svn: 77777

'unset' isn't needed in these tests anymore, we always run with a controlled
environment.

llvm-svn: 77776

Give MachineFunctionAnalysis a destructor so it can verify that
that it released its allocated memory.

llvm-svn: 77775

Delete a redundant variable.

llvm-svn: 77774

lit: Fix a name lookup problem, which only occurred on a race condition. This is
why dynamic binding sucks.

llvm-svn: 77773

lit: Pull a few more variables into the TestingConfig object.

llvm-svn: 77772

Minor code simplifications.

llvm-svn: 77769

Minor code simplifications.

llvm-svn: 77768

Avoid a problem with ulimit on Solaris & friends, patch by Edward O'Callaghan!

llvm-svn: 77767

lit: Don't use threads when only running one test, or with -j 1.

llvm-svn: 77766

MultiTestRunner: Add 'sh' parsing to ShUtil.

llvm-svn: 77765

Split t2MOVCCs since some assemblers do not recognize mov shifted register alias with predicate.

llvm-svn: 77764

More warnings for unused expressions.

llvm-svn: 77763

Make default ctor for ImmutableSet::iterator public.

llvm-svn: 77762

llvm-mc: More quoted identifier support.

llvm-svn: 77761

SelectionDAGISel no longer needs to check hasAvailableExternallyLinkage,
as it is now a MachineFunctionPass, and MachineFunctionPass now handles
this.

llvm-svn: 77760

Make UnreachableMachineBlockElim preserve MachineDominatorTree and
MachineLoopInfo.

llc now runs MachineLoopInfo and MachineDominatorTree only twice, instead
of three times.

llvm-svn: 77759

The X86 maximal stack alignment calculator preserves the CFG. Also,
be more careful about the return value of runOnMachineFunction.

llvm-svn: 77758

X86 floating-point passes don't modify the CFG.

llvm-svn: 77757

Fix Thumb2 function call isel. Thumb1 and Thumb2 should share the same
instructions for calls since BL and BLX are always 32-bit long and BX is always
16-bit long.

Also, we should be using BLX to call external function stubs.

llvm-svn: 77756

Use setPreservesAll in X86CodeEmitter.

llvm-svn: 77755

Use setPreservesAll and setPreservesCFG in CodeGen passes.

llvm-svn: 77754

SelectionDAGISel does not "preserve all", since it makes lots of changes
to the MachineFunction.

llvm-svn: 77753

Use a range insert instead of an explicit loop.

llvm-svn: 77752

Add beginnigs of rtti generation, wire up more of -fno-exceptions.

llvm-svn: 77751

llvm-mc: Add -triple, and fix some typos

llvm-svn: 77750

llvm-mc: Fix .s output to quote section & symbol names when necessary.

llvm-svn: 77749

Privatize all but one of the remaining constant tables.

llvm-svn: 77748

Allow target intrinsics that return multiple values, i.e., struct types,
in SelectionDAGLowering::visitTargetIntrinsic.

This removes a bit of special-case code for vector types.  After staring
at it for a while, I managed to convince myself that it is not necessary.
The only case where TLI.getValueType() differs from MVT::getMVT is for iPTR,
so this code could potentially make a difference for a vector of pointers.
But, it looks like that is not supported.  Calling TLI.getValueType() on
a vector of pointers leads to the following sequence of calls:

TargetLowering::getValueType
MVT::getMVT
MVT::getVectorVT(iPTR, num elements)
MVT::getExtendedVectorVT
MVT::getTypeForMVT for iPTR
assertion fails "Type is not extended!"

So, unless I'm really missing something, this bit of code is irrelevant to
the current version of LLVM, which is consistent with the fact that I don't
see this code in other similar places.

llvm-svn: 77747

Add a warning.

llvm-svn: 77746

llvm-mc: A few more parsing / match tweaks.
 - Operands which are just a label should be parsed as immediates, not memory
   operands (from the assembler perspective).

 - Match a few more flavors of immediates.

 - Distinguish match functions for memory operands which don't take a segment
   register.

 - We match the .s for "hello world" now!

llvm-svn: 77745

t2BR_JT is mov pc, it's 2 byte long, not 4.

llvm-svn: 77744

Thumb2 movcc need .w suffix.

llvm-svn: 77743

add some comments on how this is *supposed* to work.  We don't
need the PreferredEHDataFormat hook, but I have yet-more refactoring to
do before I can zap it.

llvm-svn: 77742

rearrange a conditional.  Even if this weren't #if 0'd out, this would
have no functionality change.

llvm-svn: 77741

Simplify operand padding by keying off tabs in the asm stream.  If
padding is disabled, tabs get replaced by spaces except in the case of
the first operand, where the tab is output to line up the operands after
the mnemonics.

Add some better comments and eliminate redundant code.

Fix some testcases to not assume tabs.

llvm-svn: 77740

llvm-mc: Support quoted identifiers.
 - Uses MCAsmToken::getIdentifier which returns the (sub)string representing the
   meaningfull contents a string or identifier token.

 - Directives aren't done yet.

llvm-svn: 77739

Remove the old struct builder code.

llvm-svn: 77738

And now we can generate a simple vtable.  Still a work in progress...

llvm-svn: 77737

PreferredEHDataFormat is always call with data and global, but this whole
thing is #if0'd out anyway.  Just simplify the code by reducing the interface.
Not deleting this is essential for Bill's continuing happiness.

llvm-svn: 77736

Move code from EmitUnion directly into the function that handles cast-to-union.

llvm-svn: 77735

Fix unit tests.

llvm-svn: 77734

Move the metadata constructors back to 2.5 syntax.

llvm-svn: 77733

Use the struct builder for unions.

llvm-svn: 77732

Fixup spacing and 80-col violations.

llvm-svn: 77731

Update unittest for LLVM API change.

llvm-svn: 77730

LibCallAliasAnalysis doesn't use TargetData.

llvm-svn: 77729

llvm-mc/X86: Sketch match functions for immediates and memory operands.

Also, change scale value to always be 1 when unspecified to machine MachineInst
encoding.

llvm-svn: 77728

Make TargetData optional in MemoryDependenceAnalysis.

llvm-svn: 77727

move emitUsedDirectiveFor to TargetLoweringObjectFile and rename it to
indicate that it is a predicate, not an emitter.  This eliminates TAI
dependencies on Mangler and GlobalValue.

llvm-svn: 77726

Remove an unnecessary header.

llvm-svn: 77725

remove the PPCLinuxTargetAsmInfo implementation of PreferredEHDataFormat,
because it just calls the default impl.

Remove the PPCDarwinTargetAsmInfo version of PreferredEHDataFormat because
it just returns DW_EH_PE_absptr unless on 10.6.  However, 10.6 doesn't support
PPC, so the default impl is just fine.

llvm-svn: 77724

remove a pointless override.

llvm-svn: 77723

Update for LLVM API change.

llvm-svn: 77722

Move a few more APIs back to 2.5 forms.  The only remaining ones left to change back are
metadata related, which I'm waiting on to avoid conflicting with Devang.

llvm-svn: 77721

Fix GVN's debug output, now that operator<< on Value* doesn't print
a trailing newline.

llvm-svn: 77719

Whitespace and 80-col cleanup.

llvm-svn: 77718

- Convert the rest of the DOUTs to DEBUG+errs().
- One formatting change.

No intended functionality change.

llvm-svn: 77717

PR4662: Fix a crash introduced by the recent LLVMContext changes.

llvm-svn: 77716

Fix a typo in a comment.

llvm-svn: 77715

Adjust unit test for the MCSection changes.

llvm-svn: 77714

For a CXXOperatorCallExpr, fix the order that StmtLocResolver uses to check subexpressions.

llvm-svn: 77713

Delete spurious semicolons.

llvm-svn: 77712

Fix build.

llvm-svn: 77711

Update CMake files.

llvm-svn: 77709

switch off of 'Section' onto MCSection.  We're not properly using
MCSection subclasses yet, but this is a step in the right direction.

llvm-svn: 77708

Make the recanonicalization-for-an-out-of-line-definition test case a bit trickier

llvm-svn: 77707

Remove Annotation.h, which is no longer used in the LLVM tree.

llvm-svn: 77706

Until we have a "ALIGN" pseudo instruction, have asm printer emitted a .align
to ensure the instruction that follows a TBB (when the number of table entries
is odd) is 2-byte aligned.
Patch by Sandeep Patel.

llvm-svn: 77705

MachineFunction no longer needs Annotation.

llvm-svn: 77704

Allow one to update the type representation of the declaration specifiers. Will be used by an upcoming commit.

llvm-svn: 77703