ARM IAS: refactor unwind context

Move the unwinding context for the ARM IAS into a helper class.  This is purely
a structural refactoring.  A follow up change allows for recording additional
depth to improve diagnostics.

llvm-svn: 198664

ARM Streamer: print out tag names

If using verbose asm, print out the friendly name of the tag if possible.

llvm-svn: 198663

ARM IAS: improve .eabi_attribute handling

Parse tag names as well as expressions.  The former is part of the
specification, the latter is for improved compatibility with the GNU assembler.
Fix attribute value handling to be comformant to the specification.

llvm-svn: 198662

MCParser: introduce Note and use it for ARM AsmParser

Introduce a new virtual method Note into the AsmParser.  This completements the
existing Warning and Error methods.  Use the new method to clean up the output
of the unwind routines in the ARM AsmParser.

llvm-svn: 198661

Fix comment of findGCD.

llvm-svn: 198660

Revert "indvars: sink truncates outside the loop."

This reverts commit r198654.

One of the bots reported a SciMark failure.

llvm-svn: 198659

[Sparc] Add support for parsing memory operands in sparc AsmParser.

llvm-svn: 198658

Revert "Only include inttypes.h on platforms for which PRIu64 isn't in stdint.h"

This reverts commit e7778e08878d0c61903205428eeb131db9d11b3c.

llvm-svn: 198657

Revert "Explicitly enable PRIu64 by defining __STDC_FORMAT_MACROS if it isn't"

This reverts commit d1b5d3b0e885ef057643fcea99bff8b6cce04b93.

llvm-svn: 198656

Implement a new -fstandalone-debug option. rdar://problem/15685848
It controls everything that -flimit-debug-info used to, plus the
vtable type optimization. The old -fno-limit-debug-info option is now an
alias to -fstandalone-debug and vice versa.

Standalone is the default on Darwin until dtrace is updated to work with
non-standalone debug info (rdar://problem/15758808).

Note: I kept the LimitedDebugInfo name in CodeGenOptions::DebugInfoKind
because NoStandaloneDebugInfo sounded even more confusing.

llvm-svn: 198655

indvars: sink truncates outside the loop.

This is a follow up of the r198338 commit that added truncates for
lcssa phi nodes. Sinking the truncates below the phis cleans up the
loop and simplifies subsequent analysis within the indvars pass.

llvm-svn: 198654

80 col. comment.

llvm-svn: 198653

ObjectiveC. Computation of offsets when doing @encode type encoding
is only used in an assert. Do not do it if assert is not on.

llvm-svn: 198652

clang/test/CodeGenCXX/instr-profile.cpp: Appease -Asserts.

FIXME: Don't seek bb labels, like "if.else"
llvm-svn: 198651

Explicitly enable PRIu64 by defining __STDC_FORMAT_MACROS if it isn't
yet defined.

llvm-svn: 198650

CodeGen: Sentences end with a period

llvm-svn: 198649

Update the checks in EmulateInstructionARM::GetFramePointerRegisterNumber
and EmulateInstructionARM::GetFramePointerDWARFRegisterNumber to recognize
the Apple arm convention (of using r7 for the frame pointer, regardless of
thumb or arm) even if the OS does not match Darwin/MacOSX/iOS.  Also
corrects the behavior for thumb code on non-Apple platforms.
<rdar://problem/14661537>

llvm-svn: 198648

Only include inttypes.h on platforms for which PRIu64 isn't in stdint.h

llvm-svn: 198647

[Mips] TargetStreamer Support for .abicalls and .set pic0.

This patch adds .abicalls and .set pic0 support which
affects the ELF ABI and its flags. In addition the patch uses
a common interface for both the MipsTargetSteamer and
MipsObjectStreamer that both the integrated and standalone
assemblers will use for the output for these directives.

llvm-svn: 198646

Properly sort CMake list.  NFC.

llvm-svn: 198645

Use the PRIu64 macro for printing a uint64_t.

Otherwise on (some) 64-bit systems, -Wformat will trigger a warning
because uint64_t is an 'unsigned long' not an 'unsigned long long'.
Consequently, PGOProfiling.c would fail to build if -Werror and
-Wformat are both enabled.

llvm-svn: 198644

Implement demangling for user-defined operators.

llvm-svn: 198643

Remove leading underscore from parameters.

llvm-svn: 198642

Rename parameters to fix shadow warnings.

llvm-svn: 198641

CodeGen: Initial instrumentation based PGO implementation

llvm-svn: 198640

Driver: Accept -fprofile-instr-use and -fprofile-instr-generate

These flags will be used for instrumentation based PGO.

llvm-svn: 198639

profile: Rudimentary suppport for PGO instrumentation

This is fairly minimal support for instrumentation based PGO. The data
format is inefficient, and the output file name is hardcoded to
pgo-data.

llvm-svn: 198638

For the 'C' disassembler API, add a new ReferenceType for the
SymbolLookUp() call back to return a demangled C++ name to
be used as a comment.

For example darwin's otool(1) program the uses the llvm
disassembler now can produce disassembly like:

callq   __ZNK4llvm6Target20createMCDisassemblerERKNS_15MCSubtargetInfoE ## llvm::Target::createMCDisassembler(llvm::MCSubtargetInfo const&) const

Also fix a bug in LLVMDisasmInstruction() that was not flushing
the raw_svector_ostream for the disassembled instruction string
before copying it to the output buffer that was causing truncation
of the output.

rdar://10173828

llvm-svn: 198637

Improve documentation of the 'a' specifier and the '<abi>:<pref>' align pair.

llvm-svn: 198636

Fix lldb build break due to TypedefNameDecl member signature change.

Patch by Steve Pucci.

llvm-svn: 198635

[PECOFF] Simplify: Replace two-value enum with bool.

llvm-svn: 198634

Fix c++ mode comments

llvm-svn: 198632

Reapply r198478 "Fix PR18361: Invalidate LoopDispositions after LoopSimplify hoists things."

Now with a fix for PR18384: ValueHandleBase::ValueIsDeleted.

We need to invalidate SCEV's loop info when we delete a block, even if no values are hoisted.

llvm-svn: 198631

Introduce a cmake LLVM_ENABLE_LIBCXX build parameter to compile using libc++ instead of the system default

Summary:
This parameter is required to build C++11 projects (like lld or lldb) on OS X as the default STL does not provide c++ classes.

CC: llvm-commits, triton
Differential Revision: http://llvm-reviews.chandlerc.com/D2381

llvm-svn: 198625

Remove dead code.

llvm-svn: 198624

Back out the <type_traits> changes from r198431; they were breaking when building with glibc. Need to find a better solution for PR18218.

llvm-svn: 198623

Prospective MSVC 2010 build fix

Try to fix Compiler Error C2011 following r198607 by removing enum from 'enum
TokenKind' parameter types.

llvm-svn: 198621

Removed extra trailing underscore in #ifdef (__GNUC___ --> __GNUC__ )

llvm-svn: 198618

ARM MachO: sort out isTargetDarwin/isTargetIOS/... checks.

The ARM backend has been using most of the MachO related subtarget
checks almost interchangeably, and since the only target it's had to
run on has been IOS (which is all three of MachO, Darwin and IOS) it's
worked out OK so far.

But we'd like to support embedded targets under the "*-*-none-macho"
triple, which means everything starts falling apart and inconsistent
behaviours emerge.

This patch should pick a reasonably sensible set of behaviours for the
new triple (and any others that come along, with luck). Some choices
were debatable (notably FP == r7 or r11), but we can revisit those
later when deficiencies become apparent.

llvm-svn: 198617

XCore Target: correct callee save register spilling when callsUnwindInit is true.

llvm-svn: 198616

XCore target: Lower EH_RETURN

llvm-svn: 198615

XCore target: Lower FRAME_TO_ARGS_OFFSET

This requires a knowledge of the stack size which is not known until
the frame is complete, hence the need for the XCoreFTAOElim pass
which lowers the XCoreISD::FRAME_TO_ARGS_OFFSET instrution into its
final form.

llvm-svn: 198614

XCore target: Lower RETURNADDR

Only handles a depth of zero (the same as FRAMEADDR)

llvm-svn: 198613

XCore target: Optimise entsp / retsp selection

llvm-svn: 198612

XCore target: Refactor LR handling

We also narrow the liveness of FP & LR during the prologue to
reflect the actual usage of the registers.
I have been unable to construct a test to prove the previous live
range was too large.

llvm-svn: 198611

XCore target: Refactor the loading of constants into a register

This common functionality will be used to lower FRAME_TO_ARGS_OFFSET.

llvm-svn: 198610

XCore target: fix handling of unsized global arrays in large code model

llvm-svn: 198609

Rename several internal templates to get rid of ___ (triple underscores) or worse, four. No functionality change.

llvm-svn: 198608

Correct underlying integer type of enum TokenKind

This matches up the underlying type against the actual storage type 'unsigned
short' and lets us get rid of some casts while we're at it.

Effort is made to keep this building in pre-C++11 but as with other features
Token will be less efficiently packed in in legacy configurations.

llvm-svn: 198607

Simplify diagnostic tag type using the token kind formatter

As far as the parser is concerned the tag type is always a keyword.

llvm-svn: 198606

Don't use magic constants in the digraph diagnostic

llvm-svn: 198605

Support diagnostic formatting of keyword tokens

Implemented with a new getKeywordSpelling() accessor. Unlike getTokenName() the
result of this function is stable and may be used in diagnostic output.

Uses of this feature are split out into the subsequent commit.

llvm-svn: 198604

Rename getTokenSimpleSpelling() to getPunctuatorSpelling()

That's what it does, what the documentation says it does and what callers
expect it to do.

llvm-svn: 198603

ARM: keep special non-AEABIness of "-darwin-eabi" triples for now

Longer term, we want to move users to "*-*-*-macho" for embedded work, but for
now people are relying on the last thing we told them, which is unfortunately
"*-*-darwin-eabi".

rdar://problem/15703934

llvm-svn: 198602

Highlight the previous underlying enum type when diagnosing a mismatch

enum-scoped.cpp:93:6: error: enumeration redeclared with different underlying type 'short' (was 'int')
  enum Redeclare6 : short;
       ^
enum-scoped.cpp:92:6: note: previous declaration is here
  enum Redeclare6 : int;
       ^            ~~~

The redeclaration source range is still missing but this is a step forward,
potentially edging towards a FixIt.

llvm-svn: 198601

Diagnose enum redeclarations properly

In all three checks, the note indicates a previous declaration and never a 'use'.

Before:

  enum-scoped.cpp:92:6: note: previous use is here
    enum Redeclare6 : int;
         ^

After:

  enum-scoped.cpp:92:6: note: previous declaration is here
    enum Redeclare6 : int;
         ^

llvm-svn: 198600

Use token kind instead of '%select{.|->}0' in diagnostic

llvm-svn: 198599

Apply some LLVM_READONLY / LLVM_READNONE on diagnostic functions

llvm-svn: 198598

[OpenCL] Produce an error if an address space is used on the return
type of a function.

llvm-svn: 198597

www: Fix typo II

llvm-svn: 198596

www: Fix typo

llvm-svn: 198595

www: Add link to newly released islplot library

llvm-svn: 198594

AVX-512: added intrinsic vcvtpd2ps (with rounding mode and without)

llvm-svn: 198593

[Sparc] Explicitly cast -1 to unsigned to fix buildbot errors.

llvm-svn: 198592

[Sparc] Add initial implementation of disassembler for sparc

llvm-svn: 198591

MC: Fatally error if subtraction operand is bad

Instead of crashing, raise an error when a subtraction expression
involves an undefined symbol.

This fixes PR18375.

llvm-svn: 198590

The rest of r198588. Remove SegOvrBits from X86 TSFlags since they weren't being used.

llvm-svn: 198589

Remove SegOvrBits from X86 TSFlags since they weren't being used.

llvm-svn: 198588

Remove argument to fix build bot failure.

llvm-svn: 198587

Add OpSize16 bit, for instructions which need 0x66 prefix in 16-bit mode

The 0x66 prefix toggles between 16-bit and 32-bit addressing mode.
So in 32-bit mode it is used to switch to 16-bit addressing mode for the
following instruction, while in 16-bit mode it's the other way round — it's
used to switch to 32-bit mode instead.

Thus, emit the 0x66 prefix byte for OpSize only in 32-bit (and 64-bit) mode,
and introduce a new OpSize16 bit which is used in 16-bit mode instead.

This is just the basic infrastructure for that change; a subsequent patch
will add the new OpSize16 bit to the 32-bit instructions that need it.

Patch from David Woodhouse.

llvm-svn: 198586

Remove unnecessary #includes.

llvm-svn: 198585

[x86] Add basic support for .code16

This is not really expected to work right yet. Mostly because we will
still emit the OpSize (0x66) prefix in all the wrong places, along with
a number of other corner cases. Those will all be fixed in the subsequent
commits.

Patch from David Woodhouse.

llvm-svn: 198584

Support: add reference for ARM EHABI

Add a reference to the ARM EHABI Specification as a follow up to SVN r198576

llvm-svn: 198583

[AArch64 NEON] Fix invalid constant used in vselect condition.

There is a wrong assumption that the vector element type and the
type of each ConstantSDNode in the build_vector were the same.
However, when promoting the integer operand of a legally typed
build_vector, the operand type and the vector element type do not
need to be the same
(See method 'DAGTypeLegalizer::PromoteIntOp_BUILD_VECTOR' in
LegalizeIntegerTypes.cpp).

  in AArch64 backend, the following dag sequence:

  C0: i1 = Constant<0>
  C1: i1 = Constant<-1>
  V: v8i1 = BUILD_VECTOR C1, C1, C0, C0, C0, C0, C0, C0

  is type-legalized into:

  NewC0: i32 = Constant<0>
  NewC1: i32 = Constant<1>
  V: v8i8 = BUILD_VECTOR NewC1, NewC1, NewC0, NewC0, NewC0, NewC0, NewC0, NewC0

Forcing a getZeroExtend to VTBits to ensure that the new constant
is correctly.

llvm-svn: 198582

Temporarily reformat Polly to silence buildbots

We may revert this depending on how the current discussion on llvm-commits
ends.

llvm-svn: 198581

[Sparc] Add ELF Object Writer for Sparc.

llvm-svn: 198580

Refactor function that checks that __builtin_returnaddress's argument is constant.

This moves the check up into the parent class so that all targets can use it
without having to copy (and keep in sync) the same error message.

llvm-svn: 198579

Remove a failing test to get the buildbots back to green.

llvm-svn: 198578

Try to fix s390x build bot.

llvm-svn: 198577

ARM: move ARMUnwindOp.h into Support

Move the ARM EHABI unwind opcode definitions from the ARM MCTargetDesc into LLVM
Support.  This enables sharing of the definitions across the ARM target code as
well as llvm-readobj.  This will allow implementation of the unwind decoding in
llvm-readobj.

llvm-svn: 198576

This helper method isn't needed, and it's unsafe for it to use StringRef in the first place. Replaced the unsafe code with the proper accessor.

llvm-svn: 198569

SPARC: Make helper function static.

llvm-svn: 198567

Fix ModR/M byte output for 16-bit addressing modes (PR18220)

Add some tests to validate correct register selection, including a fix
to an existing test which was requiring the *wrong* output.

Patch from David Woodhouse.

llvm-svn: 198566

ELF relocation types for sparc.

llvm-svn: 198565

Remove opcode from MOV32r0 that I accidentally left when I converted it to Pseudo. Remove FIXME as well.

llvm-svn: 198564

ARM: style changes to LDRD, STRD definition

Fix indentation, name registers similar to ARM ARM.

No functionality change!

llvm-svn: 198563

AVX-512: changed property name from "neverHasSideEffects=1" to "hasSideEffects=0", added this property to VMOVSS/VMOVSD;
Optimized a truncate pattern.

llvm-svn: 198562

[Mips] Add support for DT_MIPS_RLD_MAP and DT_MIPS_PLTGOT dynamic
section tags to the llvm-readobj.

llvm-svn: 198561

[Mips] Rename the test case input file. No functional changes.

llvm-svn: 198560

clang-format: Spacing inside enum braces.

Before (in Google style):
  enum ShortEnum {A, B, C};

After:
  enum ShortEnum { A, B, C };

llvm-svn: 198559

clang-format: Allow formatting short enums on a single line.

Before:
  enum ShortEnum {
    A,
    B,
    C
  };

After:
  enum ShortEnum { A, B, C };

This seems to be the predominant choice in LLVM/Clang as well as in
Google style.

llvm-svn: 198558

AVX-512: Added more intrinsics for convert and min/max.
Removed vzeroupper from AVX-512 mode - our optimization gude does not recommend to insert vzeroupper at all.

llvm-svn: 198557

[PM] Add a definition for the static PassID in the CallGraphAnalysis.
Missed this when adding the skeleton analysis. Caught by a build break
in the next patch I'm working on when trying to use the analysis.

llvm-svn: 198556

Add in a unittest for the one-use pattern matcher.

llvm-svn: 198552

Add the other form of movq xmm,xmm for the disassembler.

llvm-svn: 198551

Use patterns to remove some duplicate instructions.

llvm-svn: 198550

Fix 'declartion' typos

llvm-svn: 198549

Pre-declare '::type_info' in MicrosoftMode only, not MicrosoftExt

It was previously enabled in both but should only have been part of the drop-in
quirks mode that is 'MicrosoftMode' given that it's only useful for
compatibility with the Microsoft headers/runtime.

llvm-svn: 198548

Fix encoding for PUSH64i16. Add In64BitMode Predicate. Remove disassembler hack.

llvm-svn: 198547

Remove no longer needed x86 disassembler hack.

llvm-svn: 198546