new testcase for a bug Jim found

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

fix typo

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

Well, add support for ct* for 21264 only.
21164 is broken until expand works.

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

Make promoteOp work for CT*

Proof?

ubyte %bar(ubyte %x) {
entry:
        %tmp.1 = call ubyte %llvm.ctlz( ubyte %x )
        ret ubyte %tmp.1
}

==>

zapnot $16,1,$0
CTLZ $0,$0
subq $0,56,$0
zapnot $0,1,$0
ret $31,($26),1

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

Instcombine: cast (X != 0) to int, cast (X == 1) to int  -> X iff X has only the low bit set.

This implements set.ll:test20.

This triggers 2x on povray, 9x on mesa, 11x on gcc, 2x on crafty, 1x on eon,
6x on perlbmk and 11x on m88ksim.

It allows us to compile these two functions into the same code:

struct s { unsigned int bit : 1; };
unsigned foo(struct s *p) {
  if (p->bit)
    return 1;
  else
    return 0;
}
unsigned bar(struct s *p) { return p->bit; }

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

new testcase

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

Implement the IsDigitOptimization for simplifying calls to the isdigit
library function:
  isdigit(chr) -> 0 or 1 if chr is constant
  isdigit(chr) -> chr - '0' <= 9 otherwise

Although there are many calls to isdigit in llvm-test, most of them are
compiled away by macros leaving only this:

2 MultiSource/Applications/hexxagon

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

Make sure both optimization cases get tested.

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

Add a test case for the IsDigitOptimization class.

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

comment fix

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

see if the legalize code propery compensates for the additional zeros introduced

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

Correct the descriptions of WHILE...END and RROT. Thanks to Lalo Martins
for pointing out these errors.

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

WHILE does not "pop" a value, it "examines" to top of stack. Make this
clear in the applicable comment.

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

added a use of ctpop to debug stuff with

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

fixup argument

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

* Correct the function prototypes for some of the functions to match the
  actual spec (int -> uint)
* Add the ability to get/cache the strlen function prototype.
* Make sure generated values are appropriately named for debugging purposes
* Add the SPrintFOptimiation for 4 casts of sprintf optimization:
    sprintf(str,cstr) -> llvm.memcpy(str,cstr) (if cstr has no %)
    sprintf(str,"")   -> store sbyte 0, str
    sprintf(str,"%s",src) -> llvm.memcpy(str,src) (if src is constant)
    sprintf(str,"%c",chr) -> store chr, str   ; store sbyte 0, str+1

The sprintf optimization didn't fire as much as I had hoped:

  2 MultiSource/Applications/SPASS
  5 MultiSource/Benchmarks/McCat/18-imp
 22 MultiSource/Benchmarks/Prolangs-C/TimberWolfMC
  1 MultiSource/Benchmarks/Prolangs-C/assembler
  6 MultiSource/Benchmarks/Prolangs-C/unix-smail
  2 MultiSource/Benchmarks/mediabench/mpeg2/mpeg2dec

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

Minor clean-ups

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

initial descriptions of count intrinsics

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

Implement count leading zeros (ctlz), count trailing zeros (cttz), and count
population (ctpop).  Generic lowering is implemented, however only promotion
is implemented for SelectionDAG at the moment.

More coming soon.

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

Fix this test to succeed even if "strchr" is on a call instruction.

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

Add a test case for SPrintFOptimization.

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

yea yea yea

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

note the vararg change, and other stuff

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

pre add count tests

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

fix a bug in the 1 index GEP handling code

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

Implement optimizations for the strchr and llvm.memset library calls.
Neither of these activated as many times as was hoped:

strchr:
9 MultiSource/Applications/siod
1 MultiSource/Applications/d
2 MultiSource/Prolangs-C/archie-client
1 External/SPEC/CINT2000/176.gcc/176.gcc

llvm.memset:
no hits

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

Add a test case for StrChrOptimizer for -simplify-libcalls

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

Clean up and correct llvmc configurations for C and C++

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

std::string(NULL) does not a proper constructor make

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

add direct support for making GEP instrs with one index

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

Omit periods at the end of command-line switch explanations for consistency

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

A new test case for the LLVMMemSetOptimization.

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

Use ANSI-approved way of getting the value infinity (otherwise VC++ won't compile it)

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

Avoid garbage output in the statistics display by ensuring that the
strings passed to Statistic's constructor are not destructable. The stats
are printed during static destruction and the SimplifyLibCalls module was
getting destructed before the statistics.

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

Add the StrNCmpOptimization which is similar to strcmp.

Unfortunately, this optimization didn't trigger on any llvm-test tests.

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

Correct the title and the success criteria: strcmp -> strncmp

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

Add a new test case for the StrNCmpOptimization.

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

Implement the fprintf optimization which converts calls like this:
  fprintf(F,"hello") -> fwrite("hello",strlen("hello"),1,F)
  fprintf(F,"%s","hello") -> fwrite("hello",strlen("hello"),1,F)
  fprintf(F,"%c",'x') -> fputc('c',F)

This optimization fires severals times in llvm-test:

313 MultiSource/Applications/Burg
302 MultiSource/Benchmarks/Prolangs-C/TimberWolfMC
189 MultiSource/Benchmarks/Prolangs-C/mybison
175 MultiSource/Benchmarks/Prolangs-C/football
130 MultiSource/Benchmarks/Prolangs-C/unix-tbl

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

Add a test case for testing the FPrintFOptimization.

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

fold fp div by 0 to inf, the way gcc does.  This is legal according to the FP spec

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

Remove support for 1.0 style varargs

amusing of course, because we will have to go back to those semantics soon

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

Fixed a comment.

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

support multiplication by constant negative integers

this constmul code is still buggy though, so beware. mul by 7427 is currently
broken, for example. will fix it when I get a moment :)

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

add support for bools to SELECT, this fixes Prolangs-C/bison from the
testsuite, however 09-vor is still dead (hopefully for other reasons!)

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

Mention that arguments to functions must be first class types.

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

Add accessor method,

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

Adding ModuloSched SB.

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

Implement getelementptr.ll:test11

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

new testcase

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

Check for volatile loads only once.

Implement load.ll:test7

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

add a new testcase

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

SMS for superblocks.

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

Added extra constructor for superblocks.

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

Fixed bug in searchPath function for finding nodes between two recurrences.

Changed dependence analyzer to only use dep distances of 2 or less.
This is experimental.

Changed MSchedGraph to be able to represent more then one BB (first steps).

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

I was sure I had thought about this and there was a reason it should work.
But it is entirely possible I am just crazy.

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

Do not use deprecated APIs

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

Fix a comment that stated the wrong thing.

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

Eliminate some random whitespace

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

Codegen and legalize sin/cos/llvm.sqrt as FSIN/FCOS/FSQRT calls.  This patch
was contributed by Morten Ofstad, with some minor tweaks and bug fixes added
by me.

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

add sin/cos tests

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

Doesn't support these nodes

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

This target doesn't support the FSIN/FCOS/FSQRT nodes yet

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

Add support for FSIN/FCOS when unsafe math ops are enabled. Patch contributed by
Morten Ofstad!

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

Add support for llvm.sqrt and sin/cos if unsafe math optimizations are enabled.

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

Expose an option allowing unsafe math optimizations.  Patch contributed by
Morten Ofstad!

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

Lower llvm.sqrt -> fsqrt/sqrt

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

Add a test for llvm.sqrt

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

Add llvm.sqrt intrinsic, patch contributed by Morten Ofstad

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

* Don't depend on "guessing" what a FILE* is, just require that the actual
  type be obtained from a CallInst we're optimizing.
* Make it possible for getConstantStringLength to return the ConstantArray
  that it extracts in case the content is needed by an Optimization.
* Implement the strcmp optimization
* Implement the toascii optimization

This pass is now firing several to many times in the following MultiSource
tests:

Applications/Burg      -   7 (strcat,strcpy)
Applications/siod      -  13 (strcat,strcpy,strlen)
Applications/spiff     - 120 (exit,fputs,strcat,strcpy,strlen)
Applications/treecc    -  66 (exit,fputs,strcat,strcpy)
Applications/kimwitu++ -  34 (strcmp,strcpy,strlen)
Applications/SPASS     - 588 (exit,fputs,strcat,strcpy,strlen)

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

* Fix signed/unsigned usage problem
* Rearrange for readability.

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

A new test case for the ToAsciiOptimizer.

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

A new test case for the StrCmpOptimization in -simplify-libcalls.

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

This is StrCpy, NOT StrCat!

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

Get the name of the pass right in the documentation.

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

Fix the success criteria for the test to make call instructions with "pow"
not just any occurrence of "pow".

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

Actually make this pass test something related to fputs.

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

Implement the optimizations for "pow" and "fputs" library calls.

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

Add a test case for the puts libcall optimization.

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

Add a testcase for optimizing the strcpy libcall.

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

Remove optimizations that don't require both operands to be constant. These
are moved to simplify-libcalls pass.

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

New test case for testing pow(3) math library optimizations.

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

Consistently use 'class' to silence VC++

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

* Add constant folding for additional floating point library calls such as
  sinh, cosh, etc.
* Make the name comparisons for the fp libcalls a little more efficient by
  switching on the first character of the name before doing comparisons.

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

Add support for FSQRT node, patch contributed by Morten Ofstad

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

These functions can set errno!

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

Add some new X86 instrs, patch contributed by Morten Ofstad

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

Codegen fabs/fabsf as FABS.  Patch contributed by Morten Ofstad

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

Legalize FSQRT, FSIN, FCOS nodes, patch contributed by Morten Ofstad

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

Add FSQRT, FSIN, FCOS nodes, patch contributed by Morten Ofstad

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

Remove from the TODO list those optimizations that are already handled by
constant folding implemented in lib/Transforms/Utils/Local.cpp.

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

Document additional libcall transformations that need to be written.

Help Wanted!

There's a lot of them to write.

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

Doxygenate.

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

remove 'statement with no effect' warning

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

Implement Value* tracking for loads and stores in the selection DAG.  This enables one to use alias analysis in the backends.

(TRUNK)Stores and (EXT|ZEXT|SEXT)Loads have an extra SDOperand which is a SrcValueSDNode which contains the Value*.  Note that if the operation is introduced by the backend, it will still have the operand, but the value* will be null.

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

Unbreak the sparc backend.

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

More Cleanup:
* Name the instructions by appending to name of original
* Factor common part out of a switch statement.

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

import fix and plot multiple lines at once

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

Generate a gnuplot script for any program and any test (like llc or gcc)

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

So you want to import nightly tester data into a data base?  Have we got the perl script for you

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

fix for parse, and a start at db import.  Using CVS as scp :)

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