Finish migrating VMCore to StringRef/Twine based APIs.

llvm-svn: 77051

Ok, "most clients should be unaffected" was a lie. Add notes on upgrading.

llvm-svn: 77050

Initial update to VMCore to use Twines for string arguments.
 - The only meat here is in Value.{h,cpp} the rest is essential 'const
   std::string &' -> 'const Twine &'.

llvm-svn: 77048

Semantic checking for main().

Fix some invalid main() methods in the test suite that were nicely
exposed by the new checks.

llvm-svn: 77047

Flesh out the QualifierSet API.

llvm-svn: 77046

Fix 80-col violations.

llvm-svn: 77045

Move ExtractElementInst to ::Create instead of new. Update all uses.

llvm-svn: 77044

Update to new syntax.

llvm-svn: 77043

Rewrite examples to use DEBUG instead of DOUT.

llvm-svn: 77042

80 col violation.

llvm-svn: 77041

Tweak svn:ignore

llvm-svn: 77040

Convert a few more things to use raw_ostream.

llvm-svn: 77039

More work on the constant struct builder. We can now convert the struct to a packed struct when necessary.

llvm-svn: 77038

Get rid of a couple of unnecessary getOpcode calls.

llvm-svn: 77035

Teach ScalarEvolution to make use of no-overflow flags when
analyzing add recurrences.

llvm-svn: 77034

Convert a few more uses of llvm/Support/Streams.h to raw_ostream.

llvm-svn: 77033

Instead of eagerly creating new SCEVs to replace all SCEVs that are
affected after a PHI node has been analyzed, just remove affected
SCEVs from the Scalars map, so that they'll be (lazily) recreated as
needed. This avoids creating SCEV objects that aren't actually needed.

Also, rewrite the associated def-use walking code to be non-recursive
and to continue traversing past Instructions that don't have an
entry in the Scalars map.

llvm-svn: 77032

I've lost my mind. PR4572 has not been fixed.

llvm-svn: 77031

Some code refactoring per Daniel's feedback.

llvm-svn: 77030

Make AliasAnalysis and related classes use
getAnalysisIfAvailable<TargetData>().

llvm-svn: 77028

One more getName -> getNameStr

llvm-svn: 77027

Another TODO.

llvm-svn: 77026

Add a missing ilist_node.h #include to SparseBitVector, and add a very short
test for it. The test is by no means complete, but it tests the problem I was
fixing.

llvm-svn: 77025

Change Thumb2 jumptable codegen to one that uses two level jumps:

Before:
      adr r12, #LJTI3_0_0
      ldr pc, [r12, +r0, lsl #2]
LJTI3_0_0:
      .long    LBB3_24
      .long    LBB3_30
      .long    LBB3_31
      .long    LBB3_32

After:
      adr r12, #LJTI3_0_0
      add pc, r12, +r0, lsl #2
LJTI3_0_0:
      b.w    LBB3_24
      b.w    LBB3_30
      b.w    LBB3_31
      b.w    LBB3_32

This has several advantages.
1. This will make it easier to optimize this to a TBB / TBH instruction +
   (smaller) table.
2. This eliminate the need for ugly asm printer hack to force the address
   into thumb addresses (bit 0 is one).
3. Same codegen for pic and non-pic.
4. This eliminate the need to align the table so constantpool island pass
   won't have to over-estimate the size.

Based on my calculation, the later is probably slightly faster as well since
ldr pc with shifter address is very slow. That is, it should be a win as long
as the HW implementation can do a reasonable job of branch predict the second
branch.

llvm-svn: 77024

MemoryObject - Abstract base class for contiguous addressable memory.
  Necessary for cases in which the memory is in another process, in a
  file, or on a remote machine.

The primary use for this is the llvm-mc disassemblers, so that they
can be targeted at arbitrary objects, not just in-process memory.

llvm-svn: 77023

Whoops, did not mean to check this in.

llvm-svn: 77022

More work on the constant struct builder. We now try to layout all constant structs but throw away the result.

llvm-svn: 77021

Remove a duplicated test.

llvm-svn: 77020

More migration to raw_ostream, the water has dried up around the iostream hole.
 - Some clients which used DOUT have moved to DEBUG. We are deprecating the
   "magic" DOUT behavior which avoided calling printing functions when the
   statement was disabled. In addition to being unnecessary magic, it had the
   downside of leaving code in -Asserts builds, and of hiding potentially
   unnecessary computations.

llvm-svn: 77019

ARM code emitter can't handle Thumb2 instructions yet. So don't even try.

llvm-svn: 77018

Tweak, raw_ostream is a ostream, not iostream replacement

llvm-svn: 77017

Fix build for GCC 4.0?

llvm-svn: 77016

Fix compile with 4.4 (I hope?); PR4617.

llvm-svn: 77015

Forward-declare raw_ostream.

llvm-svn: 77014

Update for LLVM API change.

llvm-svn: 77012

Revert the ConstantInt constructors back to their 2.5 forms where possible, thanks to contexts-on-types.  More to come.

llvm-svn: 77011

CodingStandards: Emphasize use of raw_ostream more.
 - Chris, please approve.

llvm-svn: 77010

AliasAnalysis wants sizes in address-units, not bits.

llvm-svn: 77009

Forgot this test earlier.

llvm-svn: 77007

Fix these tests.

llvm-svn: 77006

Fix assert assembling zero-argument constant GEP.

There's still a strict-aliasing violation here, but I don't feel like
dealing with that right now...

llvm-svn: 77005

Uh. It would be useful to actually print the operand.

llvm-svn: 77004

Template instantiation for static data members that are defined out-of-line.

Note that this also fixes a bug that affects non-template code, where we
were not treating out-of-line static data members are "file-scope" variables,
and therefore not checking their initializers.

llvm-svn: 77002

Fixes broken test by accident.

llvm-svn: 77001

More Sema check for constructor's member initializer along
with type conversion to fix ir-gen crash.

llvm-svn: 77000

fix some predicates

llvm-svn: 76999

In the "use of floating point variable as loop counter" check, check
if the DeclRefExpr is a float, not just either argument.

llvm-svn: 76998

change SectionKindForGlobal from being a public (and
previously virtual) function to being a static function
in the .cpp file.

llvm-svn: 76997

Have 'clang --analyze' run syntactic static analysis security checks.

llvm-svn: 76996

Disable my constant island pass optimization (to make use soimm more effectively). It caused infinite looping on lencod.

llvm-svn: 76995

Move insertps tests to sse41 combo test file, convert to filecheck
format and add an extract/insert test.

llvm-svn: 76994

make SectionKindForGlobal target independent, and therefore non-virtual.
It's classifications now include elf-specific discriminators.  Targets
that don't have these features (like darwin and pecoff) simply treat
data.rel like data, etc.

llvm-svn: 76993

Fix 80-col violations, reflow a few comments and zap some extra
whitespace at ends of lines.

llvm-svn: 76992

Add a workaround for Darwin assembler bug where it's not setting the thumb bit in Thumb2 jumptable entries. We now pass Olden.

llvm-svn: 76991

we already know the sectionkind when invoking SelectSectionForGlobal,
pass it in instead of recomputing it.

llvm-svn: 76990

make SectionForGlobal non-virtual, add a hook for pic16 to do its "address=" hack.

llvm-svn: 76989

Fix this condition I accidentally inverted.

llvm-svn: 76988

Add support for promoting SETCC operations.

llvm-svn: 76987

Make sure thumb2 jumptable entries are aligned.

llvm-svn: 76986

Fix a release build warning.

llvm-svn: 76985

Clean up.

llvm-svn: 76984

Replace use of std::set with SmallPtrSet.

llvm-svn: 76983

Convert several more passes to use getAnalysisIfAvailable<TargetData>()
instead of getAnalysis<TargetData>().

llvm-svn: 76982

Add specific classes for Add, Sub, and Mul, for convenience.

llvm-svn: 76981

More work toward initialization of objects
in constructors.

llvm-svn: 76980

Allow front-end 'isa' access on object's of type 'id'.
Enhance test case to cover 'isa' access on interface types (clang produces an error, GCC produces a warning).

Still need back-end CodeGen for ObjCIsaExpr.

llvm-svn: 76979

Don't use getLLVMFieldNo for bitfields when constructing the ivar layout maps for GC.

llvm-svn: 76978

start refactoring pic16 section selection logic.

llvm-svn: 76977

move ELF-specific code into ELFTargetAsmInfo.

llvm-svn: 76976

tidy up

llvm-svn: 76975

split the ELF-specific section flag inference-from-name code out
into its own helper function.

llvm-svn: 76974

make SectionFlagsForGlobal a private static function instead of a public
virtual one.

llvm-svn: 76973

move a method up in the file, GV is always non-null, so remove a check.

llvm-svn: 76972

There is no need to pass the name into  lib/Target/TargetAsmInfo.cpp
when we have a global with no section explicitly specified.

llvm-svn: 76971

remove a use of SectionFlagsForGlobal.

llvm-svn: 76970

Check in a half finished new constant struct builder (Obviously not used yet).

llvm-svn: 76969

Another getName -> getNameStr

llvm-svn: 76967

More move to raw_ostream.

llvm-svn: 76966

Move more to raw_ostream, provide support for writing MachineBasicBlock,
LiveInterval, etc to raw_ostream.

llvm-svn: 76965

Move more to raw_ostream.

llvm-svn: 76964

Move to raw_ostream.

llvm-svn: 76963

Switch to getNameStr().

llvm-svn: 76962

Allow llvm_report_error to accept a Twine.

llvm-svn: 76961

Remove unused member functions.

llvm-svn: 76960

Fix declaration of obc_enumerationMutation function, for GNU runtime.

llvm-svn: 76959

Fix constructor types

llvm-svn: 76958

Update CMake

llvm-svn: 76957

Add Twine ADT.
 - Not currently used.

llvm-svn: 76956

Add doxygen comments and simplify expression.

llvm-svn: 76955

Convert a test to FileCheck.

llvm-svn: 76954

hoist section name uniquing logic up to the top-level SectionForGlobal
implementation, eliminating a dupe.

llvm-svn: 76953

Implement getSectionPrefixForUniqueGlobal to return null, indicating that
darwin does it's own unique and special and wonderful thing.

llvm-svn: 76952

reduce indentation

llvm-svn: 76951

simplify code by making special case more obvious

llvm-svn: 76950

the 'isWeakForLinker' code is common between functions and globals, hoist it
and simplify some other code.

llvm-svn: 76949

Replace UniqueSectionForGlobal with getSectionPrefixForUniqueGlobal.
The later doesn't depend on any crazy LLVM IR stuff, and this
pulls the concatenation of prefix with GV name (the root problem behind
PR4584) out one level.

llvm-svn: 76948

Introduce a new variant type 'TryResult' to represent the result of
TryEvaluateBool instead of using a raw 'int'.  This avoids any
confusion of how 'int' converts to bool, and makes the resultant code
easier to read.

Condense a bunch of 'addSuccessor()' calls in 'if ... else' to use the
ternary operator instead.

llvm-svn: 76947

document SectionFlags::Named better and make it more easily greppable by
eliminating isNamed.

llvm-svn: 76946

fix indentation.

llvm-svn: 76945

use section flags more correctly.

llvm-svn: 76944