Regenerate

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32944 91177308-0d34-0410-b5e6-96231b3b80d8

Test Case for PR1080.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32943 91177308-0d34-0410-b5e6-96231b3b80d8

For PR1080:
Emit the correct syntax for icmp and fcmp constant expressions. The
predicate goes outside the parentheses not inside. This was a change made
in the assembler without the corresponding change made in llvm-upgrade.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32942 91177308-0d34-0410-b5e6-96231b3b80d8

setSetCCIsExpensive is gone.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32941 91177308-0d34-0410-b5e6-96231b3b80d8

Expand fcopysign to the bitwise sequence if select is marked as expensive.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32940 91177308-0d34-0410-b5e6-96231b3b80d8

- Remove isSetCCExpensive() etc. These are no longer used.
- Add isSelectExpensive() etc. It's used to tell codegen that select is expensive for a given target, avoid using it if possible. Currently it's only
used to expand FCOPYSIGN.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32939 91177308-0d34-0410-b5e6-96231b3b80d8

1) Remove old AnalysisResolver.
2) Rename AnalysisResolver_New as AnalysisResolver

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32938 91177308-0d34-0410-b5e6-96231b3b80d8

Fix dependencies. The lexer depends on the grammar for the UpgradeParser.h
file so make it depend on the .y file as well. This ensures that in
parallel builds the lexer is built after bison runs.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32937 91177308-0d34-0410-b5e6-96231b3b80d8

Update test case.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32936 91177308-0d34-0410-b5e6-96231b3b80d8

For PR1077:
Remove the XFAIL now that global redefinitions are not permitted.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32935 91177308-0d34-0410-b5e6-96231b3b80d8

Regenerate.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32934 91177308-0d34-0410-b5e6-96231b3b80d8

For PR1077:
Disallow merging of dupliate global variables. It is now illegal to declare
or define two global variables of the same name and same type. llvm-gcc3 is
dead in 2.0 and llvm-gcc4 doesn't have that problem nor need the hack.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32933 91177308-0d34-0410-b5e6-96231b3b80d8

- FCOPYSIGN custom lowering bug. Clear the sign bit of operand 0 first before
  or'ing in the sign bit of operand 1.
- Tweaking: rather than left shift the sign bit, fp_extend operand 1 first
  before taking its sign bit if its type is smaller than that of operand 0.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32932 91177308-0d34-0410-b5e6-96231b3b80d8

Add an example to the trunc instruction to clarify trunc to bool.
Example provided by Baptiste Lepilleur.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32931 91177308-0d34-0410-b5e6-96231b3b80d8

Bug in ExpandFCOPYSIGNToBitwiseOps(). Clear the old sign bit of operand 0
before or'ing in the sign bit of operand 1.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32930 91177308-0d34-0410-b5e6-96231b3b80d8

CopyToReg source operand can be a register as well. e.g. Copy from GlobalBaseReg.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32929 91177308-0d34-0410-b5e6-96231b3b80d8

Remove PassManagerT.h

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32928 91177308-0d34-0410-b5e6-96231b3b80d8

Remove old pass manager.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32927 91177308-0d34-0410-b5e6-96231b3b80d8

This test case needs parameter attributes, manually upgrade and don't
run llvm-upgrade.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32926 91177308-0d34-0410-b5e6-96231b3b80d8

Global variables are not renamed by llvm-upgrade any more.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32925 91177308-0d34-0410-b5e6-96231b3b80d8

Update for change in parameter attribute syntax.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32924 91177308-0d34-0410-b5e6-96231b3b80d8

Update for change in parameter attributes syntax.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32923 91177308-0d34-0410-b5e6-96231b3b80d8

Wrap long RUN: line.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32922 91177308-0d34-0410-b5e6-96231b3b80d8

Globals are not renamed any more.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32921 91177308-0d34-0410-b5e6-96231b3b80d8

This test case needs zext and sext attributes so manually upgrade it and
don't run llvm-upgrade.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32920 91177308-0d34-0410-b5e6-96231b3b80d8

Changes to parameter attribute syntax.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32919 91177308-0d34-0410-b5e6-96231b3b80d8

Changes to parameter attributes syntax.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32918 91177308-0d34-0410-b5e6-96231b3b80d8

Globals are not being renamed any more.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32917 91177308-0d34-0410-b5e6-96231b3b80d8

This test case has been translated to 2.0 assembly so don't run
llvm-upgrade on it.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32916 91177308-0d34-0410-b5e6-96231b3b80d8

Fix this to check for the correct error message.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32915 91177308-0d34-0410-b5e6-96231b3b80d8

This tests for something that will become illegal soon. The test/Feature
suite has a test for renaming of global variables.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32914 91177308-0d34-0410-b5e6-96231b3b80d8

Beef up this test case a little by introducing a global variable name
conflict after upgrade resulting from collapsed type planes. The test now
checks to make sure llvm-upgrade produces appropriate warning messages.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32913 91177308-0d34-0410-b5e6-96231b3b80d8

Make this test that we can drop the implementation keyword for llvm-as.
llvm-upgrade is irrelevant for this test case.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32912 91177308-0d34-0410-b5e6-96231b3b80d8

Fix the test case for the change in parameter attribute syntax. The @ is
no longer needed and the @(...) syntax has been dropped in favor of a
simple space separated list of attribute names.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32911 91177308-0d34-0410-b5e6-96231b3b80d8

For PR1077:
Split this test case into three cases. globalredefinition.ll just tests
that a global can be forward referenced. globalredefinition2.ll tests
that llvm-upgrade will warn about renaming duplicate global variables.
globalredefinition3.ll tests that llvm-as will generate an error on
duplicate global variables. This last test is currently XFAIL because
the restriction is not implemented yet.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32910 91177308-0d34-0410-b5e6-96231b3b80d8

For PR1077:
Global variable definitions with the same name and same type are no longer
valid so don't attempt to test for this "feature".

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32909 91177308-0d34-0410-b5e6-96231b3b80d8

Regenerate

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32908 91177308-0d34-0410-b5e6-96231b3b80d8

Adjust to new header file name.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32907 91177308-0d34-0410-b5e6-96231b3b80d8

Major update of llvm-upgrade:
1. Completely revise the type system so that types are handled as const
   objects and not created multiple times, cloned, or otherwise copied.
   This gets around memory issues, saves memory, and also emulates LLVM's
   no-two-types-of-the-same-shape-created semantics.
2. Adjust the handling of global names. Basically, we cannot rename them
   for a variety of reasons: linking, forward references, etc.
3. Detect global names that have name conflicts as the result of collapsed
   type planes or redefinitions that llvm-as no longer accepts. These will
   produce warnings on stderr and one of the globals will be renamed.
4. Rename ParserInternals.h as UpgradeInternals.h so it doesn't conflict
   in the debugger with ParserInternals.h from lib/AsmParser.
5. Move the guts of the TypeInfo class into the grammar so we aren't
   implementing large functions in a header file. This also helps with
   debugging a bit.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32906 91177308-0d34-0410-b5e6-96231b3b80d8

Regenerate.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32905 91177308-0d34-0410-b5e6-96231b3b80d8

Change the syntax for parameter attributes:
1. The @ sign is no longer necessary.
2. We now support "function attributes" as parameter attribute 0.
3. Instead of locating the return type attributes after the type of a
   function result, they are now located after the function header's
   closing paranthesis and before any alignment or section options.
4. The way has been prepared for a new "noreturn" function attribute but
   there is no support for recognizing it in the lexer nor doing anything
   with it if it does get set.
5. The FunctionType::getParamAttrsText method now has support for
   returning multiple attributes. This required a change in its interface.

I'm unhappy that this change leads to 6 new shift/reduce conflicts, but
in each case bison's decision to choose the shift is correct so there
shouldn't be any damage from these conflicts.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32904 91177308-0d34-0410-b5e6-96231b3b80d8

Give the assembler some input.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32903 91177308-0d34-0410-b5e6-96231b3b80d8

Typo

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32902 91177308-0d34-0410-b5e6-96231b3b80d8

Add a test case for SSE fcopysign using SSE bitwise operations.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32901 91177308-0d34-0410-b5e6-96231b3b80d8

With SSE2, expand FCOPYSIGN to a series of SSE bitwise operations.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32900 91177308-0d34-0410-b5e6-96231b3b80d8

Implement InstCombine/vec_shuffle.ll:%test7, simplifying shuffles with
undef operands.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32899 91177308-0d34-0410-b5e6-96231b3b80d8

new test

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32898 91177308-0d34-0410-b5e6-96231b3b80d8

manually upgrade this testcase

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32897 91177308-0d34-0410-b5e6-96231b3b80d8

fold things like a^b != c^a -> b != c.  This implements InstCombine/xor.ll:test27

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32893 91177308-0d34-0410-b5e6-96231b3b80d8

new testcase

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32892 91177308-0d34-0410-b5e6-96231b3b80d8

llvm upgrade doesn't accept 'define'

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32891 91177308-0d34-0410-b5e6-96231b3b80d8

Compile X + ~X to -1.  This implements Instcombine/add.ll:test34

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32890 91177308-0d34-0410-b5e6-96231b3b80d8

new testcase

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32889 91177308-0d34-0410-b5e6-96231b3b80d8

GEP subscript is interpreted as a signed value.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32888 91177308-0d34-0410-b5e6-96231b3b80d8

Correct the documentation for function declarations. They can have dllimport
or extern_weak linkage as well as "externally visible".

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32887 91177308-0d34-0410-b5e6-96231b3b80d8

add missing flags

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32885 91177308-0d34-0410-b5e6-96231b3b80d8

fix PowerPC/2007-01-04-ArgExtension.ll, a bug handling K&R prototypes with
the recent signless changes.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32884 91177308-0d34-0410-b5e6-96231b3b80d8

new testcase

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32883 91177308-0d34-0410-b5e6-96231b3b80d8

Fix broken links, reported by Baptiste Lepilleur

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32882 91177308-0d34-0410-b5e6-96231b3b80d8

Expand fcopysign to a series of bitwise of operations when it's profitable to
do so.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32881 91177308-0d34-0410-b5e6-96231b3b80d8

regenerate

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32880 91177308-0d34-0410-b5e6-96231b3b80d8

If we hit a parse error, emit something bad to the output stream.  This ensures that
 llvm-upgrade < foo | llvm-as | llvm-dis

will fail if llvm-upgrade fails.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32879 91177308-0d34-0410-b5e6-96231b3b80d8

Document this tool as experimental and list its deficiencies.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32878 91177308-0d34-0410-b5e6-96231b3b80d8

remove the 'protected' workaround now that we don't care about gcc 2.95 anymore.
Reid already did this for FunctionType, this just cleans the rest up.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32877 91177308-0d34-0410-b5e6-96231b3b80d8

remove xfailed test that depends on obsolete argument to lli

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32876 91177308-0d34-0410-b5e6-96231b3b80d8

Remove a manual renaming of a variable that was introduced before
llvm-upgrade could properly handle collapsed type planes.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32875 91177308-0d34-0410-b5e6-96231b3b80d8

Clean up usage of "unsigned" and "signed" in the documentation to indicate
only that specific instructions regard their operands as signed and
unsigned not that the operands *are* signed or unsigned.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32874 91177308-0d34-0410-b5e6-96231b3b80d8

Add test for constructor and destructor sections.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32873 91177308-0d34-0410-b5e6-96231b3b80d8

Add extload(i1) test.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32872 91177308-0d34-0410-b5e6-96231b3b80d8

Add test for FCOPYSIGN.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32871 91177308-0d34-0410-b5e6-96231b3b80d8

Expand SELECT (f32/f64) and FCOPYSIGN (f32/f64).

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32870 91177308-0d34-0410-b5e6-96231b3b80d8

Removed reference to "cnull" because typical users shouldn't need to use
it.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32869 91177308-0d34-0410-b5e6-96231b3b80d8

ding dong llvm-gcc3 is dead

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32868 91177308-0d34-0410-b5e6-96231b3b80d8

gcc 4.1.1 on amd64 is broken

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32867 91177308-0d34-0410-b5e6-96231b3b80d8

Death to useless bitcast instructions!

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32866 91177308-0d34-0410-b5e6-96231b3b80d8

Do not allow packed types for icmp and fcmp instructions.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32865 91177308-0d34-0410-b5e6-96231b3b80d8

icmp and fcmp do not take packed type operands.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32864 91177308-0d34-0410-b5e6-96231b3b80d8

XFAIL this test until such time that code gen can handle a comparison of
packed types.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32863 91177308-0d34-0410-b5e6-96231b3b80d8

Regenerate.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32862 91177308-0d34-0410-b5e6-96231b3b80d8

Disallow packed types in icmp/fcmp instructions. The code generator is
not prepared to handle them yet.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32861 91177308-0d34-0410-b5e6-96231b3b80d8

Now that setcondinst has been eliminated, we can mark Value::SubclassID
const and remove the ugly mutator methods.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32860 91177308-0d34-0410-b5e6-96231b3b80d8

fix typo

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32859 91177308-0d34-0410-b5e6-96231b3b80d8

Enable a couple xforms for packed vectors (undef | v) -> -1 for packed.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32858 91177308-0d34-0410-b5e6-96231b3b80d8

fix some bugs handling vectors, avoid host-specific handling of undefined shift results.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32857 91177308-0d34-0410-b5e6-96231b3b80d8

Add a new ConstantPacked::getAllOnesValue method

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32856 91177308-0d34-0410-b5e6-96231b3b80d8

Enable new pass manager, which was accidentally disabled.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32855 91177308-0d34-0410-b5e6-96231b3b80d8

Add a test to ensure that we can assembly comparisons of packed values.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32854 91177308-0d34-0410-b5e6-96231b3b80d8

Regenerate.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32853 91177308-0d34-0410-b5e6-96231b3b80d8

Permit icmp and fcmp to have packed operands.
Make an error message a little more useful.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32852 91177308-0d34-0410-b5e6-96231b3b80d8

Test @zext and @sext fully as well as testing the "short" call syntax.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32851 91177308-0d34-0410-b5e6-96231b3b80d8

Add a test case to test parameter attributes feature.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32850 91177308-0d34-0410-b5e6-96231b3b80d8

Update test cases that grepped for register names that have now changed
as a result of llvm-upgrade handling collapsed type planes better.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32849 91177308-0d34-0410-b5e6-96231b3b80d8

Regenerate.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32848 91177308-0d34-0410-b5e6-96231b3b80d8

Implement many new type features including upreferences, proper retention
of structure contents, counts of packed and array types, etc.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32847 91177308-0d34-0410-b5e6-96231b3b80d8

Finish implementation of variable renaming to handle collapsed type planes
by correctly handling up references and enumerated types. Previously there
was some confusion of these two. Thanks to Chris Lattner for demistifying
llvm up references.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32846 91177308-0d34-0410-b5e6-96231b3b80d8

The previous implementation of LLVM Streams wasn't removing symbols. This
one should.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32845 91177308-0d34-0410-b5e6-96231b3b80d8

Fix a configure warning noticed by Duncan Sands.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32844 91177308-0d34-0410-b5e6-96231b3b80d8

Remove the find_rule label from the output of flex. This will break any
use of the REJECT macro but we don't use it. This just hushes up a warning
in the presence of -Wno-unused.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32843 91177308-0d34-0410-b5e6-96231b3b80d8

fix testcase.  It's not safe to strictly evaluate a load that should be lazy.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32842 91177308-0d34-0410-b5e6-96231b3b80d8

Private labels start with .L on linux, not just .

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32841 91177308-0d34-0410-b5e6-96231b3b80d8