Fix grammar in comment.

llvm-svn: 174033

Clarify the diagnostic for -Wnested-anon-types.

llvm-svn: 174032

[analyzer] If a lazy binding is undefined, pretend that it's unknown instead.

This is a hack to work around the fact that we don't track extents for our
default bindings:

  CGPoint p;
  p.x = 0.0;
  p.y = 0.0;
  rectParam.origin = p;
  use(rectParam.size); // warning: uninitialized value in rectParam.size.width

In this case, the default binding for 'p' gets copied into 'rectParam',
because the 'origin' field is at offset 0 within CGRect. From then on,
rectParam's old default binding (in this case a symbol) is lost.

This patch silences the warning by pretending that lazy bindings are never
made from uninitialized memory, but not only is that not true, the original
default binding is still getting overwritten (see FIXME test cases).
The long-term solution is tracked in <rdar://problem/12701038>

PR14765 and <rdar://problem/12875012>

llvm-svn: 174031

Change stripAndComputeConstantOffsets to accept a NULL DataLayout pointer
as well.

llvm-svn: 174030

When comparing two template template arguments in the template differ, consider
them the same if they are actually the same; having the same name isn't enough.

Similar to r174013, template template arguments were also mistakenly considered
the same when they had the same name but were in different namespaces.
In addition, when printing template template arguments, use the qualified name
if the regular name is the same.

llvm-svn: 174029

Add a comment.

llvm-svn: 174028

Move isKnownNonNull out of AliasAnalysis.h and into ValueTracking.cpp since
it isn't really an AliasAnalysis concept, and ValueTracking has similar things
that it could plausibly share code with some day.

llvm-svn: 174027

Remove Attribute::hasAttributes() and make Attribute::hasAttribute() private.

The Attribute::hasAttributes() is kind of meaningless since an Attribute can
have only one attribute. And we would rather people use the 'operator=='
instead of Attribute::hasAttribute().

llvm-svn: 174026

Fix -Wcovered-switch-default and -Wunused-private-field warnings.

llvm-svn: 174025

Change GetPointerBaseWithConstantOffset's DataLayout argument from a
reference to a pointer, so that it can handle the case where DataLayout
is not available and behave conservatively.

llvm-svn: 174024

Make the AttrBuilder creation method of Attribute private so that people won't use it.

llvm-svn: 174023

Add indents to AST dumping and removed parenthesis from AST nodes.
Indents were given the color blue when outputting with color.
AST dumping now looks like this:

Node
|-Node
| `-Node
`-Node
  `-Node

Compared to the previous:

(Node
  (Node
    (Node))
  (Node
    (Node)))

llvm-svn: 174022

build: @ENABLE_THREADS@ => @LLVM_ENABLE_THREADS@

Makefile.config does not have the value for ENABLE_THREADS substituted as the
variable is called LLVM_ENABLE_THREADS within configure.ac.  This was pointed
out by zygoloid over IRC.

llvm-svn: 174021

Fix ODR-use of a MemberExpr to check before marking a pure function used. Remove
a workaround for this bug from the -Wundefined-internals warning.

llvm-svn: 174020

[lit] Move unittest adaptor code into discovery module.
 - Also, add a test for it.

llvm-svn: 174019

[lit] Run the ShUtil tests as part of the test suite.

llvm-svn: 174018

[lit] Set parallel mode for coverage tests.

llvm-svn: 174017

[analyzer] Fix a bug in region store that lead to undefined value false
positives.

The includeSuffix was only set on the first iteration through the
function, resulting in invalid regions being produced by getLazyBinding
(ex: zoomRegion.y).

llvm-svn: 174016

Sometimes ld is just ld.

Don't expect a character between the double-quotes and 'ld'.

llvm-svn: 174015

[lit] Move discovery code into its own module.

llvm-svn: 174014

When comparing two templates in the template differ, consider them the
same if they are actually the same; having the same name isn't
enough. Fixes <rdar://problem/12931988>.

llvm-svn: 174013

Revert for now:

--- Reverse-merging r174010 into '.':
U    include/llvm/IR/Attributes.h
U    lib/IR/Verifier.cpp
U    lib/IR/Attributes.cpp

llvm-svn: 174012

Filecheckized 2x tests in SimplifyCFG and removed their date prefix to fit with current llvm style for test names.

llvm-svn: 174011

Remove the AttrBuilder version of the Attribute::get function.

The AttrBuilder is there to build up multiple attributes. The Attribute class
represents only one attribute at a time. So remove this unnecessary builder
creator method.

llvm-svn: 174010

Whitespace.

llvm-svn: 174009

Check and allow floating point registers to select the size of the
register for inline asm. This conforms to how gcc allows for effective
casting of inputs into gprs (fprs is already handled).

llvm-svn: 174008

LangRef: Add a Rationale for volatile rules.

llvm-svn: 174007

Replace some more greps with FileChecks in tests

llvm-svn: 174006

Minor code simplification.

llvm-svn: 174005

Make sure that the Attribute object represents one attribute only.

Several places were still treating the Attribute object as respresenting
multiple attributes. Those places now use the AttributeSet to represent
multiple attributes.

llvm-svn: 174004

Make sure that the Attribute object represents one attribute only.

Several places were still treating the Attribute object as respresenting
multiple attributes. Those places now use the AttributeSet to represent
multiple attributes.

llvm-svn: 174003

[lit] Add a MANIFEST file and a script for sanity checking the source dist.

llvm-svn: 174002

[lit] Add a basic discovery test.

llvm-svn: 174001

[lit] Add a script for checking test coverage.

llvm-svn: 174000

[lit] Add a test suite for lit itself.

llvm-svn: 173999

stripAndComputeConstantOffsets is only called on pointers; check this
with an assert instead of failing and requiring callers to check for failure.

llvm-svn: 173998

Rewrite this test properly with a FileCheck instead of greps

llvm-svn: 173997

Fix unused variable warnings in -asserts build

llvm-svn: 173996

Fix ConstantFold's folding of icmp instructions to recognize that,
for example, a one-past-the-end pointer from one global variable may
be equal to the base pointer of another global variable.

llvm-svn: 173995

Added a unit test for r173983 that verifies that Target.isiOS() works correctly.

As a bonus I put in some extra checks to make sure that we are identifying the
machine word of various Mac OS X/iOS targets appropriately.

llvm-svn: 173994

PPC QPX requires a 32-byte aligned stack

On systems which support the QPX vector instructions, the stack must be
32-byte aligned.

llvm-svn: 173993

Remove addRetAttributes and addFnAttributes, which aren't useful abstractions.

llvm-svn: 173992

Reinstate r173952, this time limiting it to exactly the form

  #define X X

for which there is no point warning, ever.

llvm-svn: 173991

Convert typeIncompatible to return an AttributeSet.

There are still places which treat the Attribute object as a collection of
attributes. I'm systematically removing them.

llvm-svn: 173990

expressions + C++11 lambdas == cooooool!!!

C++11 lambdas that don't capture anything can be used as static callback functions!

Heavily modified this python module to be able to not require a dylib in order to traverse the heap allocations.

Re-implemented the ptr_refs, objc_refs, malloc_info and cstr_refs to use complex expressions that use lambdas to do all static callback function work.

llvm-svn: 173989

Forgot the test case before.

llvm-svn: 173988

Restrict sin/cos optimization to 64-bit only for now. 32-bit is a bit messy and less critical.

llvm-svn: 173987

Doxygenified some comments in IRBuilder.h.

llvm-svn: 173986

Removed CreateFPExtOrFPTrunc for now until I have the time to get in my vector convert patch.

What I thought was going to be a quick thing has extended out a little bit in
time *sigh*. So after some thought in order to not cruft up the tree I am
removing this for now since it is the right thing to do.

llvm-svn: 173985

Initialize hasQPX in PPCSubtarget

This should have gone in with r173973.

llvm-svn: 173984

Encapsulate testing that we have an iOS Triple in Triple.h in the method isiOS
so we follow the convention that all other platforms follow by having an is*
test method.

llvm-svn: 173983

Verified that the plugin.dynamic-loader.darwin-kernel.scan-type
setting is working correctly now; remove the #if 0's around its
use.

llvm-svn: 173982

Diagnostics: Clarify name of line-length-limiting constant in r173976.

Thanks, Sean.

llvm-svn: 173981

Changed to static_cast, due to post-commit review.

llvm-svn: 173980

TableGen backends: use emitSourceFileHeader() to emit the warning about
file contents being autogenerated

llvm-svn: 173979

Cast to remove the narrowing conversion error in c++11.

llvm-svn: 173978

[build/clang_darwin] Fix the case reversal in r173465.

 - I got confused by the double negative, the test succends on 10.6, in which
   case we *do* want to perform the filter-out.

llvm-svn: 173977

Diagnostics: if a line is longer than 4096 characters, don't print it.

Specifically, don't print snippets, caret diagnostics, or ranges for
lines over 4096 characters. We copy the line around a few times in our
diagnostics machinery, and we have to print a caret line that's just as
long. This uses a lot of memory just to create a poor user experience as
we print out a line much too long for anyone to read...or spend extra
energy trying to fit it to -fmessage-length.

<rdar://problem/13106850>

llvm-svn: 173976

Remove redundant code.

It was creating a new AttrBuilder when we could just fill in the AttrBuilder
we're building.

llvm-svn: 173975

...in light of recent activity related to llvm.memcpy flags. I want to
prevent an llvm developer from mistakenly thinking that just because the
intrinsic has volatile flags that volatile operations can be converted
to or folded into them.

Platforms may rely on volatile loads and stores of natively supported
data width to be executed as single instruction. When compiling
C, this expectation likely holds for l-values of volatile primitive
types with native hardware support, but not necessarily for aggregate
types. The frontend upholds these expectations, which are not
specified in the IR.

llvm-svn: 173974

Add definitions for the PPC a2q core marked as having QPX available

This is the first commit of a large series which will add support for the
QPX vector instruction set to the PowerPC backend. This instruction set is
used on the IBM Blue Gene/Q supercomputers.

llvm-svn: 173973

Remove a mention of TargetInstrDescriptor, which no longer exists in the code

llvm-svn: 173971

Revert "[preprocessor] Don't warn about "disabled expansion of recursive macro""

This reverts commit r173952

llvm-svn: 173970

[docs] Guide prospective TableGen backend writers.

Boilerplate is often the hardest part of getting started with these
kinds of things, so throw them a bone.

llvm-svn: 173969

[ELF] Fix circular initialization bug.

llvm-svn: 173968

[ELF] Use the target's LayoutHandler.

llvm-svn: 173966

Handle passing non-Qualtypes to %diff better.  Instead of asserting, fall back
to printing the default case.  This is a fix for PR15023.

llvm-svn: 173965

Add OpenCL error that a kernel function must have void return type. Includes a test case.

llvm-svn: 173963

Use the number of 'slots' in the AttributeSetImpl being 0 to indicate that the AttributeSet is empty.

llvm-svn: 173962

Fix comment in test/Lexer/utf8-invalid.c for updates in r173959.

llvm-svn: 173961

Clean up whitespace and indentation a bit

llvm-svn: 173960

Fix r173881 to properly skip invalid UTF-8 characters in raw lexing and -E.

This caused hangs as we processed the same invalid byte over and over.

<rdar://problem/13115651>

llvm-svn: 173959

[analyzer] Make shallow mode more shallow.

Redefine the shallow mode to inline all functions for which we have a
definite definition (ipa=inlining). However, only inline functions that
are up to 4 basic blocks large and cut the max exploded nodes generated
per top level function in half.

This makes shallow faster and allows us to keep inlining small
functions. For example, we would keep inlining wrapper functions and
constructors/destructors.

With the new shallow, it takes 104s to analyze sqlite3, whereas
the deep mode is 658s and previous shallow is 209s.

llvm-svn: 173958

[analyzer] Use analyzer config for max-inlinable-size option.

llvm-svn: 173957

[analyzer] Move report false positive suppression to report visitors.

llvm-svn: 173956

[analyzer] Remove further references to analyzer-ipa.

Thanks Jordan!

llvm-svn: 173955

scan-build: When using Xcode 4.6, use build settings for doing proper build interposition.

llvm-svn: 173954

Hoist retrieval of Expr* into caller.  No functionality change.

Just makes the code a little cleaner, and easier to reason about.

llvm-svn: 173953

[preprocessor] Don't warn about "disabled expansion of recursive macro"
for "#define X X".

This is a pattern that, for example, stdbool.h uses.
rdar://12435773

llvm-svn: 173952

[analyzer] Model trivial copy/move ctors with an aggregate bind.

This is faster for the analyzer to process than inlining the constructor
and performing a member-wise copy, and it also solves the problem of
warning when a partially-initialized POD struct is copied.

Before:
  CGPoint p;
  p.x = 0;
  CGPoint p2 = p; <-- assigned value is garbage or undefined

After:
  CGPoint p;
  p.x = 0;
  CGPoint p2 = p; // no-warning

This matches our behavior in C, where we don't see a field-by-field copy.

<rdar://problem/12305288>

llvm-svn: 173951

Documentation: fix escaping in JSON example

llvm-svn: 173950

Documentation: add a link to Bear, a tool to help with JSON DB

Patch by Laszlo Nagy

llvm-svn: 173949

Documentation: fix link to ExecuteAction(), which was previously typoed as
"ExecutionAction()".

llvm-svn: 173948

<rdar://problem/12552374> & <rdar://problem/13100674>

The vtable pointer field is not necessarily a pointer and hence cannot be used for validation

llvm-svn: 173947

Linker: correctly link in dbg.declare

Given source IR:
call void @llvm.dbg.declare(metadata !{i32* %argc.addr}, metadata !14), !dbg !15
we used to generate
call void @llvm.dbg.declare(metadata !27, metadata !28), !dbg !29
!27 = metadata !{null}

With this patch, we will correctly generate
call void @llvm.dbg.declare(metadata !{i32* %argc.addr}, metadata !27), !dbg !28

Looking up %argc.addr in ValueMap will return null, since %argc.addr is already
correctly set up, we can use identity mapping.

llvm-svn: 173946

Add a special ARM trap encoding for NaCl.
More details in this thread: http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20130128/163783.html

Patch by JF Bastien

llvm-svn: 173943

hexagon targetinfo changes for getting the relocation kind from string and vice versa

llvm-svn: 173942

Add missing header and test cases for r173939.

llvm-svn: 173941

Override virtual function for ARM EH directives.

llvm-svn: 173939

simplify hexagon relocations handling

llvm-svn: 173938

llvm/Basic/ConvertUTF.h now exposes all functions without macro tricks

llvm-svn: 173937

LLDB uses ConvertUTF16toUTF8, remove #ifdef

llvm-svn: 173936

UTF conversion routines were moved from clang/Basic to llvm/Support

llvm-svn: 173935

Comment parsing: fold named character references test into other HTML tests

llvm-svn: 173934

asan/tsan: manually define FUTEX constants, because <linux/futes.h> header is broken on some linux distributions

llvm-svn: 173933

tsan: fix CPP_WEAK definition (it must be the other way around)

llvm-svn: 173932

Comment parsing: resolve more named character references

This reimplements r173850 with a better approach:
(1) use a TableGen-generated matcher instead of doing a linear search;
(2) avoid allocations for new strings by converting code points to string
    iterals with TableGen.

llvm-svn: 173931

[Sanitizer] include sanitizer_common headers when building interception library

llvm-svn: 173930

[Sanitizer] Add change missed in r173926

llvm-svn: 173929

[sanitizer] Further split private and public sanitizer headers.

And make msan_interface.h C-compatible.

llvm-svn: 173928