RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-01-01 16:40:15 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
12,698 Commits 4 Branches 5 Tags 634 MiB
e9166fd352
Commit Graph

6670 Commits

Author SHA1 Message Date
Misha Brukman
f940c277df File depends on MemoryDepAnalysis (DSA); moved to lib/Analysis/DataStructure 
llvm-svn: 14327
 2004-06-22 18:28:37 +00:00
Misha Brukman
170b8a80de Files depend on DSA, moved to lib/Analysis/DataStructure 
llvm-svn: 14326
 2004-06-22 18:13:24 +00:00
Misha Brukman
43f0a951fe File depends on DSA, moved to lib/Analysis/DataStructure 
llvm-svn: 14325
 2004-06-22 18:11:38 +00:00
Misha Brukman
f1da4cac4b Making an archive version of the CodeGen library is unnecessary if we just 
move InstructionLowering itself.

llvm-svn: 14324
 2004-06-22 17:52:30 +00:00
Misha Brukman
261c779bd6 Provide archive version of CodeGen library (for those tools that only need 
IntrinsicLowering, for instance).

llvm-svn: 14323
 2004-06-22 17:28:43 +00:00
Chris Lattner
26e594052e If an edge points to a field of another memory object, actually reflect this 
in the DOT visualization of the DSGraphs.

llvm-svn: 14316
 2004-06-22 07:13:10 +00:00
Misha Brukman
6a0ace201c Order #includes as per style guide. 
llvm-svn: 14305
 2004-06-21 21:54:40 +00:00
Misha Brukman
f12181a902 Use a reference instead of a pointer for the ostream. The pointer was only 
there to assist in the development of llvm-tv, and it no longer has a need to
modify the AsmWriter output stream.

llvm-svn: 14304
 2004-06-21 21:53:56 +00:00
Misha Brukman
1c33cc1ad1 Direct declaration of namespace-ified globals does not work, must enclose 
them with a namespace declaration.

llvm-svn: 14303
 2004-06-21 21:44:12 +00:00
Misha Brukman
c66135f976 Specify variables' namespace directly instead of using an enclosing namespace. 
llvm-svn: 14302
 2004-06-21 21:21:49 +00:00
Misha Brukman
53df2fe9e7 Move implemented interface header up to the top. 
llvm-svn: 14301
 2004-06-21 21:20:23 +00:00
Misha Brukman
ae07b686fa Spell out `NoFramePointerElim'. 
llvm-svn: 14300
 2004-06-21 21:18:48 +00:00
Misha Brukman
e38f7ed2cc Spell out `NoFramePointerElim' for readability. 
llvm-svn: 14299
 2004-06-21 21:17:44 +00:00
Misha Brukman
a2ac4e4345 Use the common `NoFPElim' setting instead of our own. 
llvm-svn: 14298
 2004-06-21 21:10:24 +00:00
Misha Brukman
2f580c043c Implement `NoFPElim' in a target-agnostic fashion so it can be shared. 
llvm-svn: 14297
 2004-06-21 21:08:45 +00:00
Misha Brukman
a79674d478 * Make indentation consistent at 2 chars 
* Doxygenify function comments
* Wrap code at 80 cols

llvm-svn: 14295
 2004-06-21 20:22:03 +00:00
Misha Brukman
4424ef9dd1 This file is no longer applicable. 
llvm-svn: 14294
 2004-06-21 20:17:41 +00:00
Misha Brukman
3d93b9ccca llvm/IntrinsicLowering.h => llvm/CodeGen/IntrinsicLowering.h 
llvm-svn: 14292
 2004-06-21 18:30:31 +00:00
Misha Brukman
36089f7034 Intrinsic::isnan has gone away, support for it commented out. 
Intrinsic::isunordered has arrived, and we just use the standard lowering
pass for it.

llvm-svn: 14290
 2004-06-21 17:58:36 +00:00
Misha Brukman
1c26b2e29d Convert tabs to spaces. 
llvm-svn: 14289
 2004-06-21 17:41:12 +00:00
Misha Brukman
30e1885192 Type::getPrimitiveID() -> getTypeID() 
llvm-svn: 14288
 2004-06-21 17:25:55 +00:00
Misha Brukman
76b4796e7c Type::getPrimitiveID() -> getTypeID() 
llvm-svn: 14287
 2004-06-21 17:19:08 +00:00
Misha Brukman
269034c151 Initial revision 
llvm-svn: 14283
 2004-06-21 16:55:25 +00:00
Chris Lattner
6be1c456a8 Rename Interval class to LiveInterval to avoid conflicting with the already 
existing llvm::Interval class.

Patch contributed by Vladimir Prus!
http://mail.cs.uiuc.edu/pipermail/llvmbugs/2004-June/000710.html

llvm-svn: 14281
 2004-06-21 13:10:56 +00:00
Chris Lattner
3a8e3bce6c Make ConstantBool act like a 1 bit ConstantInt, in order to simplify client 
code.  Patch contributed by Vladimir Prus.

llvm-svn: 14280
 2004-06-21 12:12:12 +00:00
Chris Lattner
97ab2cec69 *FINALLY* Fix a really nasty nondeterministic bug that has been haunting us 
since May 1st.  In this code, the pred iterator was being invalidated sometimes
causing the wrong entries to be added to PHI nodes.

The fix for this is to defererence and safe the *PI value before we hack on
branch instructions, which changes use/def chains, which SOMETIMES invalidates
the iterator.

llvm-svn: 14278
 2004-06-21 07:19:01 +00:00
Chris Lattner
892df61ed3 Comment out the isnan stuff until we get a proper autoconf test for it 
breaking the build on sparc is not acceptable.

llvm-svn: 14277
 2004-06-21 06:17:21 +00:00
Chris Lattner
8723083f3b Make order of argument addition deterministic. In particular, the layout 
of ConstantInt objects in memory used to determine which order arguments
were added in in some cases.

llvm-svn: 14276
 2004-06-21 00:07:58 +00:00
Chris Lattner
fea46da8de REALLY fix PR378: crash in scalar evolution analysis 
llvm-svn: 14275
 2004-06-20 20:32:16 +00:00
Chris Lattner
59d13ac701 Fix a bug in my change last night that caused a few test failures. 
llvm-svn: 14270
 2004-06-20 17:01:44 +00:00
Chris Lattner
fb800c656c IntrinsicLowering.cpp now lives in lib/CodeGen/ 
llvm-svn: 14269
 2004-06-20 07:59:27 +00:00
Chris Lattner
cc465361d9 Move the IntrinsicLowering header into the CodeGen directory, as per PR346 
llvm-svn: 14266
 2004-06-20 07:49:54 +00:00
Chris Lattner
8a9f1ebd22 Move the IntrinsicLowering header into the CodeGen directory 
llvm-svn: 14265
 2004-06-20 07:46:18 +00:00
Chris Lattner
8c90177e5f Do not sort SCEV objects by address: instead sort by complexity and group 
by address.  This prevents the resultant SCEV objects from depending on
where in memory other scev objects happen to live.

llvm-svn: 14263
 2004-06-20 06:23:15 +00:00
Chris Lattner
27578fd2f5 Make use of BinaryOperator::create* methods to shrinkify code. 
llvm-svn: 14262
 2004-06-20 05:04:01 +00:00
Chris Lattner
6324d6d00b Fix the inliner to be deterministic, not letting its output depend on the 
relative location of Function objects in memory.

llvm-svn: 14260
 2004-06-20 04:11:48 +00:00
Chris Lattner
58b3f16797 Add some DEBUG output to the simplifycfg routines 
Fix another non-deterministic behavior, this one should actually speed up the
code though as it was doing silly things.

llvm-svn: 14258
 2004-06-20 01:13:18 +00:00
Chris Lattner
39a31b56ac Now that dominator tree children are built in determinstic order, this horrible code 
can go away

llvm-svn: 14254
 2004-06-19 20:23:35 +00:00
Chris Lattner
a1d29e1b15 compute dominator tree children in a deterministic order that does not depend 
on the address of BasicBlock objects in memory.  This eliminates stuff like this:

 Inorder Dominator Tree:
   [1]  %entry
     [2]  %loopentry
-      [3]  %loopexit
       [3]  %no_exit
-        [4]  %endif
         [4]  %then
+        [4]  %endif
+      [3]  %loopexit
       [3]  %return

llvm-svn: 14253
 2004-06-19 20:13:48 +00:00
Chris Lattner
ba131c993e Print out immediate dominators in program order, not in random order based on the address 
of BasicBlock objects

llvm-svn: 14252
 2004-06-19 20:04:47 +00:00
Chris Lattner
ef8a52f263 This will hopefully fix a heisenbug that Vladimir Merzliakov is running 
into valiantly trying to compile stuff on freebsd.

llvm-svn: 14251
 2004-06-19 19:01:26 +00:00
Chris Lattner
3d68124555 Fix a nasty bug, noticed by Reid 
llvm-svn: 14249
 2004-06-19 18:15:50 +00:00
Chris Lattner
185f2b060b Fix one source of nondeterminism in the -licm pass: the hoist pass 
was processing blocks in whatever order they happened to end up in the
dominator tree data structure.  Force an ordering.

llvm-svn: 14248
 2004-06-19 08:56:43 +00:00
Chris Lattner
d2720878ec Change to use the StableBasicBlockNumbering class 
llvm-svn: 14247
 2004-06-19 08:42:40 +00:00
Chris Lattner
9b19f34fe2 Fix a tiny bug in the -no-aa pass, in which it did not ever get a target data. 
This is a regression from 1.2, though noone uses -no-aa anyway

llvm-svn: 14245
 2004-06-19 08:05:58 +00:00
Chris Lattner
3aed3a8bf2 Do not let the numbering of PHI nodes placed in the function depend on 
non-deterministic things like the ordering of blocks in the dominance
frontier of a BB.  Unfortunately, I don't know of a better way to solve
this problem than to explicitly sort the BB's in function-order before
processing them.  This is guaranteed to slow the pass down a bit, but
is absolutely necessary to get usable diffs between two different tools
executing the mem2reg or scalarrepl pass.

Before this, bazillions of spurious diff failures occurred all over the
place due to the different order of processing PHIs:

-       %tmp.111 = getelementptr %struct.Connector_struct* %upcon.0.0, uint 0, uint 0
+       %tmp.111 = getelementptr %struct.Connector_struct* %upcon.0.1, uint 0, uint 0

Now, the diffs match.

llvm-svn: 14244
 2004-06-19 07:40:14 +00:00
Chris Lattner
6e7b76ce94 Do not sort by the address of LLVM ConstantInt* objects. This produces 
nondeterministic results that depend on where these objects land in memory.
Instead, sort by the value of the constant, which is stable.

Before this patch, the -simplifycfg pass run from two different compilers
could cause different code to be generated, though it was semantically the
same:

@@ -12258,8 +12258,8 @@
        %s_addr.1 = phi sbyte* [ %s, %entry ], [ %inc.0, %no_exit ]             ; <sbyte*> [#uses=5]
        %tmp.1 = load sbyte* %s_addr.1          ; <sbyte> [#uses=1]
        switch sbyte %tmp.1, label %no_exit [
-                sbyte 0, label %loopexit
                 sbyte 46, label %loopexit
+                sbyte 0, label %loopexit
        ]

We need to stomp all of this stuff out.

llvm-svn: 14243
 2004-06-19 07:02:14 +00:00
Chris Lattner
5b4da6dd16 Do not loop over uses as we delete them. This causes iterators to be 
invalidated out from under us.  This bug goes back to revision 1.1: scary.

llvm-svn: 14242
 2004-06-19 02:02:22 +00:00
Misha Brukman
14bac9f37e * Fix file header and name 
* Order #includes alphabetically

llvm-svn: 14234
 2004-06-18 15:38:49 +00:00
Misha Brukman
86cea2f60a Use the machine-independent method of querying the page size. 
llvm-svn: 14233
 2004-06-18 15:34:07 +00:00
Brian Gaeke
26336244f5 .zero doesn't work in the Solaris assembler. 
llvm-svn: 14231
 2004-06-18 08:59:16 +00:00
Brian Gaeke
6a8de685b3 Get rid of selects the easy way 
llvm-svn: 14230
 2004-06-18 08:46:15 +00:00
Brian Gaeke
a9daa0a519 Make visitAllocaInst() look more like its X86 counterpart. 
llvm-svn: 14229
 2004-06-18 08:45:52 +00:00
Brian Gaeke
ab4687b176 Mess around with allocation order. In particular, I think we ought to be 
using the local & in regs first because they are not clobbered by calls.

llvm-svn: 14228
 2004-06-18 08:19:08 +00:00
Brian Gaeke
f5697cf56c JMPL has a delay slot. 
llvm-svn: 14227
 2004-06-18 08:18:54 +00:00
Brian Gaeke
2a5dec63a6 Clean up the commented-out F3_3 stuff. 
Replace it with a working class for FP instrs.

llvm-svn: 14226
 2004-06-18 06:28:21 +00:00
Brian Gaeke
01309de73d Fix jmpl. 
Add some FP moves.

llvm-svn: 14225
 2004-06-18 06:28:10 +00:00
Brian Gaeke
c045f38dcb Support printing base+offset pairs where the offset is a register. 
Use this for printing the jmpl indirect-call instruction.

llvm-svn: 14224
 2004-06-18 06:27:59 +00:00
Brian Gaeke
92a3e14ac4 Support intrinsic calls (although no particular intrinsics are supported yet). 
Support indirect calls.
Support returning a float value.

llvm-svn: 14223
 2004-06-18 06:27:48 +00:00
Chris Lattner
91b27e01b3 Implement Transforms/InstCombine/and.ll:test17, a common case that 
occurs due to unordered comparison macros in math.h

llvm-svn: 14221
 2004-06-18 06:07:51 +00:00
Chris Lattner
8f9fb1d2ea Do not function resolve intrinsics. This prevents warnings and possible bad 
things from happening due to

declare bool %llvm.isunordered(double, double)
declare bool %llvm.isunordered(float, float)

llvm-svn: 14219
 2004-06-18 05:50:48 +00:00
Brian Gaeke
c5f1146e62 Add load instructions for floating-point registers. 
llvm-svn: 14217
 2004-06-18 05:19:27 +00:00
Brian Gaeke
7a618842f1 Support alloca instructions. 
Support copying floating-point constants to registers.
Add assertion to visitCallInst to abort if we hit a NULL calledFunction, for now.

llvm-svn: 14216
 2004-06-18 05:19:16 +00:00
Chris Lattner
3c61b2dd70 Fix printing of Argument objects, problem found by Patrick Meredith 
llvm-svn: 14215
 2004-06-18 04:07:20 +00:00
Chris Lattner
9e1bbe86ba Codegen sub C, X a little bit better for register pressure. Instead of 
mov REG, C
sub REG, X

generate:

neg X
add X, C

which uses one less reg

llvm-svn: 14213
 2004-06-18 00:50:37 +00:00
Chris Lattner
a5750b975a Fold setcc instructions into select and branches that are not in the same BB as 
the setcc.

llvm-svn: 14212
 2004-06-18 00:29:22 +00:00
Brian Gaeke
b824469b44 Make storeRegToStackSlot slightly shorter. 
Make copyRegToReg return 1 instead of -1.
Edit a comment in emitPrologue().

llvm-svn: 14211
 2004-06-17 22:34:48 +00:00
Brian Gaeke
9a0dc64af6 Set the isBranch and isTerminator flags on branch instructions correctly. 
Add a FIXME about the (currently unused) JMPL instructions.

llvm-svn: 14210
 2004-06-17 22:34:29 +00:00
Brian Gaeke
c82f209e72 Emit stores correctly; don't fail an assertion. 
llvm-svn: 14209
 2004-06-17 22:34:19 +00:00
Brian Gaeke
d084a534a2 Support generating machine instructions for Phi nodes (based on x86, but with 
modifications for 1 LLVM BB --> many MBBs).
Fix store operand order: make it always be Base, Offset, SrcReg (think
"[ Base + Offset ] = SrcReg").
Rewrite visitBranchInst() to be even dumber (but working) -- give up on
the branch fallthrough trick, for the time being.
Make visitSetCondInst() work.

llvm-svn: 14208
 2004-06-17 22:34:08 +00:00
Brian Gaeke
af2408a4ee Recognize more branches. 
llvm-svn: 14207
 2004-06-17 22:33:57 +00:00
Brian Gaeke
4a904bfdcc I love the smell of a freshly broken PowerPC build in the morning. 
llvm-svn: 14206
 2004-06-17 22:27:04 +00:00
Brian Gaeke
6f6eb93de3 Make debugging dumps w/ multiple MachineBBs for a given LLVM BB readable. 
llvm-svn: 14205
 2004-06-17 22:26:53 +00:00
Chris Lattner
f815117481 Do not fold loads into instructions if it is used more than once. In particular 
we do not want to fold the load in cases like this:

  X = load
    = add A, X
    = add B, X

llvm-svn: 14204
 2004-06-17 22:15:25 +00:00
Chris Lattner
13cea4ef6f Fix compilation problem on freebsd. Problem noted by Vladimir Merzliakov in 
PR371

llvm-svn: 14203
 2004-06-17 21:20:52 +00:00
Brian Gaeke
7d711d517b Use addGlobalAddress and addMBB for call & branch targets instead of addPCDisp. 
Abort if we see a PCRelativeDisp MachineOperand, to be safe. This matches
the X86 backend.

llvm-svn: 14202
 2004-06-17 19:39:23 +00:00
Chris Lattner
0cd29ae2cd Rename Type::PrimitiveID to TypeId and ::getPrimitiveID() to ::getTypeID() 
llvm-svn: 14201
 2004-06-17 18:19:28 +00:00
Chris Lattner
00b0a866dd Rename Type::PrimitiveID to TypeId and ::getPrimitiveID() to ::getTypeID() 
Delete two functions that are now methods on the Type class

llvm-svn: 14200
 2004-06-17 18:16:02 +00:00
Chris Lattner
18f8ae4e3e Minor cleanup 
llvm-svn: 14199
 2004-06-17 17:56:54 +00:00
Brian Gaeke
a46100448f Fix typo in DEBUG printout. 
llvm-svn: 14196
 2004-06-17 07:26:52 +00:00
Chris Lattner
1b8f37597d Fix a recent regression in Applications/sgefa that Alkis pointed out to me. 
The vector may actually be empty if the register that we are marking as
recently used is not actually allocatable.  This happens for physical registers
that are not allocatable, like the ST(x) registers on X86.

llvm-svn: 14195
 2004-06-16 06:57:29 +00:00
Brian Gaeke
19d2a396da Add int ferror(FILE *) 
llvm-svn: 14194
 2004-06-16 02:56:40 +00:00
Brian Gaeke
cf3cb8944a Um, did someone make a typo or something? 
llvm-svn: 14192
 2004-06-15 23:09:50 +00:00
Chris Lattner
7c3600a50e isnan is dead 
llvm-svn: 14191
 2004-06-15 21:52:58 +00:00
Chris Lattner
9bb0083d16 Remove support for llvm.isnan. Alkis wins :) 
llvm-svn: 14189
 2004-06-15 21:48:07 +00:00
Chris Lattner
c9a6116586 Remove isnan support, correct isunordered support 
llvm-svn: 14187
 2004-06-15 21:42:23 +00:00
Chris Lattner
1adcf0441d Remove support for the isnan intrinsic 
llvm-svn: 14186
 2004-06-15 21:37:54 +00:00
Chris Lattner
d11493d8c4 Add basic support for the isunordered intrinsic. The isnan stuff still needs to go 
llvm-svn: 14185
 2004-06-15 21:36:44 +00:00
Brian Gaeke
0a7b268b1a Fix thinko in visitor... ShiftInsts should currently be delegated 
to visitBinaryOperator.

llvm-svn: 14182
 2004-06-15 21:09:46 +00:00
Chris Lattner
8ca8002f88 Do not dereference end iterators. It's really bad for the asmwriter's health. 
This possibly fixes PR370

llvm-svn: 14181
 2004-06-15 21:07:32 +00:00
Brian Gaeke
5fe5e06bea I think we'll use the standard lowering passes for now. 
llvm-svn: 14179
 2004-06-15 20:37:12 +00:00
Brian Gaeke
d5f45ba4a1 Fix bug generating code for void call instructions: don't call 
getReg() on void value.

llvm-svn: 14178
 2004-06-15 20:06:32 +00:00
Brian Gaeke
79008f4648 Squash a warning from the Solaris assembler by aligning the stack 
on a double-word boundary instead of a single-word boundary.

llvm-svn: 14177
 2004-06-15 19:53:10 +00:00
Brian Gaeke
e02c780919 Allow special-casing of operand printing based on opcode. Print 
non-register, non-immed. arguments to SETHI and OR using %hi() and
%lo() respectively.

llvm-svn: 14176
 2004-06-15 19:52:59 +00:00
Brian Gaeke
b158cb6411 Support constant GEP expressions. 
Support copying long constants to register pairs.
Support copying ConstantPointerNulls and ConstantPointerRefs to registers.

llvm-svn: 14175
 2004-06-15 19:16:07 +00:00
Misha Brukman
130e02f232 Add file comment. 
llvm-svn: 14172
 2004-06-14 15:13:59 +00:00
Brian Gaeke
a4353cabab Quick hack to get this file compiling again on Mac OS X. The right thing to do 
is write an autoconf macro that checks whether __isnan or isnan actually works
**using the C++ compiler after #include <cmath>**, instead of doing it the easy
way with AC_CHECK_FUNCS().

llvm-svn: 14171
 2004-06-14 06:33:19 +00:00
Brian Gaeke
21e2dd53d8 Make -print-machineinstrs even stronger. You get to see the final code after 
peepholing, and make it work the same way in the JIT as in LLC.

llvm-svn: 14170
 2004-06-14 05:05:45 +00:00
Alkis Evlogimenos
dd550dc9cd Add constant folding capabilities to the isunordered intrinsic. 
llvm-svn: 14168
 2004-06-13 01:23:56 +00:00
Alkis Evlogimenos
173e9e832c Make assertions more consistent with the rest of the intrinsic 
function verification and make it a requirement that both arguments to
llvm.isunordered are of the same type.

llvm-svn: 14165
 2004-06-13 00:55:26 +00:00
Alkis Evlogimenos
9b28aef6cb Add the isunordered intrinsic. 
llvm-svn: 14159
 2004-06-12 19:19:14 +00:00
Reid Spencer
efdd7cd3ac Implement tracking of bytecode instruction size and the number of long 
instructions generated.

llvm-svn: 14154
 2004-06-11 15:10:38 +00:00
Chris Lattner
84269aa91e Fix fallout from getOffsetOfLocalArea() being negated. Debugging dumps were being 
printed incorrectly, and we were reserving 8 extra bytes of stack space for functions
on X86.

llvm-svn: 14152
 2004-06-11 06:37:11 +00:00
Chris Lattner
8dd2380de4 llvm.isnan doesn't access memory 
llvm-svn: 14151
 2004-06-11 06:17:13 +00:00
Chris Lattner
66790212ba Constant fold the isnan intrinsic 
llvm-svn: 14150
 2004-06-11 06:16:23 +00:00
Chris Lattner
3a8e675c03 By far, one of the most common uses of isnan is to make 'isunordered' 
comparisons.  In an 'isunordered' predicate, which looks like this at
the LLVM level:

        %a = call bool %llvm.isnan(double %X)
        %b = call bool %llvm.isnan(double %Y)
        %COM = or bool %a, %b

We used to generate this code:

        fxch %ST(1)
        fucomip %ST(0), %ST(0)
        setp %AL
        fucomip %ST(0), %ST(0)
        setp %AH
        or %AL, %AH

With this patch, we generate this code:

        fucomip %ST(0), %ST(1)
        fstp %ST(0)
        setp %AL

Which should make alkis happy.  Tested as X86/compare_folding.llx:test1

llvm-svn: 14148
 2004-06-11 05:33:49 +00:00
Chris Lattner
f78e3e7f63 Fix bug in previous checkin 
llvm-svn: 14146
 2004-06-11 05:22:44 +00:00
Chris Lattner
7d8093efb1 No really, these are dead now 
llvm-svn: 14145
 2004-06-11 04:50:14 +00:00
Chris Lattner
a8e603b719 Now that compare instructions aren't lumped in with the other twoargfp instructions, 
we can get rid of the FpUCOM/FpUCOMi pseudo instructions, which makes stuff simpler
and faster.

llvm-svn: 14144
 2004-06-11 04:49:02 +00:00
Chris Lattner
b050f778ca Introduce a new FP instruction type to separate the compare cases from the 
twoarg cases.

llvm-svn: 14143
 2004-06-11 04:41:24 +00:00
Chris Lattner
edb06042b9 Add direct support for the isnan intrinsic, implementing test/Regression/CodeGen/X86/isnan.llx 
testcase

llvm-svn: 14141
 2004-06-11 04:31:10 +00:00
Chris Lattner
4c8b57ea31 Add support for the setp instructions 
llvm-svn: 14140
 2004-06-11 04:30:06 +00:00
Chris Lattner
c66e996765 Split compare instruction handling OUT of handleTwoArgFP into handleCompareFP. 
This makes the code much simpler, and the two cases really do belong apart.
Once we do it, it's pretty obvious how flawed the logic was for A != A case,
so I fixed it (fixing PR369).

This also uses freeStackSlotAfter instead of inserting an fxchg then
popStackAfter'ing in the case where there is a dead result (unlikely, but
possible), producing better code.

llvm-svn: 14139
 2004-06-11 04:25:06 +00:00
Reid Spencer
7172b26a18 Revert an unneeded interface change to Instruction.h 
llvm-svn: 14137
 2004-06-11 03:06:43 +00:00
Chris Lattner
94a66c3038 Fix lowering to work correctly 
llvm-svn: 14134
 2004-06-11 02:54:02 +00:00
Chris Lattner
b07bf147cd I misled Alkis: LLVM should have isnan, not isunordered. 
isunordered(X, Y) === isnan(X) | isnan(Y)

Remove isunordered, add isnan.

llvm-svn: 14132
 2004-06-11 02:29:43 +00:00
Brian Gaeke
c5bb88c934 Turn loads of ConstantPointerNulls into loads of zero... don't spill 
them into the constant pool.

llvm-svn: 14128
 2004-06-11 02:03:48 +00:00
Alkis Evlogimenos
1ae8b4e7c4 Add the isunordered intrinsic. 
llvm-svn: 14127
 2004-06-11 01:08:18 +00:00
Reid Spencer
35e67bbc91 Remove tabs. 
llvm-svn: 14123
 2004-06-10 22:03:00 +00:00
Reid Spencer
024d735433 Implement detailed function level data collection and reporting. 
llvm-svn: 14122
 2004-06-10 22:00:54 +00:00
Reid Spencer
4a21e2053a Adjust prototypes to new Handler interface. 
llvm-svn: 14121
 2004-06-10 22:00:29 +00:00
Reid Spencer
11466e62a7 Make the parser deal with functions instead of just function types. 
llvm-svn: 14120
 2004-06-10 21:59:20 +00:00
Reid Spencer
4dcaebd069 Doxygenize a comment. 
llvm-svn: 14115
 2004-06-10 08:27:00 +00:00
Reid Spencer
ce1adf1ff0 Implemented the bulk of the functionality. Cleaned up the code. 
llvm-svn: 14113
 2004-06-10 08:09:13 +00:00
Chris Lattner
71f351ddf9 Fix the prolog epilog code inserter to match the documentation and support 
targets whose stack grows up.

Patch contributed by Vladimir Prus

llvm-svn: 14111
 2004-06-10 06:23:35 +00:00
Chris Lattner
1f0e0d55c4 Fix the fixed stack offset, patch contributed by Vladimir Prus 
llvm-svn: 14110
 2004-06-10 06:19:25 +00:00
Chris Lattner
52654bf072 Fix a bug in my checkin from last night that caused miscompilations of 
186.crafty, fhourstones and 132.ijpeg.

Bugpoint makes really nasty miscompilations embarassingly easy to find.  It
narrowed it down to the instcombiner and this testcase (from fhourstones):

bool %l7153_l4706_htstat_loopentry_2E_4_no_exit_2E_4(int* %i, [32 x int]* %works, int* %tmp.98.out) {
newFuncRoot:
        %tmp.96 = load int* %i          ; <int> [#uses=1]
        %tmp.97 = getelementptr [32 x int]* %works, long 0, int %tmp.96         ; <int*> [#uses=1]
        %tmp.98 = load int* %tmp.97             ; <int> [#uses=2]
        %tmp.99 = load int* %i          ; <int> [#uses=1]
        %tmp.100 = and int %tmp.99, 7           ; <int> [#uses=1]
        %tmp.101 = seteq int %tmp.100, 7                ; <bool> [#uses=2]
        %tmp.102 = cast bool %tmp.101 to int            ; <int> [#uses=0]
        br bool %tmp.101, label %codeRepl4.exitStub, label %codeRepl3.exitStub

codeRepl4.exitStub:             ; preds = %newFuncRoot
        store int %tmp.98, int* %tmp.98.out
        ret bool true

codeRepl3.exitStub:             ; preds = %newFuncRoot
        store int %tmp.98, int* %tmp.98.out
        ret bool false
}

... which only has one combination performed on it:

$ llvm-as < t.ll | opt -instcombine -debug | llvm-dis
IC: Old =       %tmp.101 = seteq int %tmp.100, 7                ; <bool> [#uses=1]
    New =       setne int %tmp.100, 0           ; <bool>:<badref> [#uses=0]
IC: MOD =       br bool %tmp.101, label %codeRepl3.exitStub, label %codeRepl4.exitStub
IC: MOD =       %tmp.97 = getelementptr [32 x int]* %works, uint 0, int %tmp.96         ; <int*> [#uses=1]

It doesn't get much better than this.  :)

llvm-svn: 14109
 2004-06-10 02:33:20 +00:00
Chris Lattner
18cab818db More minor cleanups 
llvm-svn: 14108
 2004-06-10 02:12:35 +00:00
Chris Lattner
ba89f54271 Eliminate many occurrances of Instruction:: 
llvm-svn: 14107
 2004-06-10 02:07:29 +00:00
Chris Lattner
2c6bea32de Share some code 
llvm-svn: 14106
 2004-06-10 01:57:38 +00:00
Chris Lattner
75e5aa4d22 Tolerate more errors 
llvm-svn: 14104
 2004-06-09 22:22:10 +00:00
Brian Gaeke
9cf9c6e184 Encode %fsr correctly; don't fail an assertion. 
llvm-svn: 14103
 2004-06-09 21:54:59 +00:00
Brian Gaeke
badbc7476a Fix encoding of ST*FSR instructions. 
llvm-svn: 14102
 2004-06-09 21:54:58 +00:00
Brian Gaeke
8e446cf7a2 Fix assertion failure message to have the right method name. 
llvm-svn: 14101
 2004-06-09 20:44:42 +00:00
Chris Lattner
3aa77d0e5e Make the asmwriter much more tolerant of errors (which are common when working 
on new front-ends and stuff).  Also get rid of some tabs that snuck in.

llvm-svn: 14100
 2004-06-09 19:41:19 +00:00
Reid Spencer
a07033fecd Made it possible for the printInfoComment method to invoke getSlot in 
such a way that if the Value being printed is standalone that we don't
assert and abort but just print ":??" for the slot number instead.

llvm-svn: 14097
 2004-06-09 15:26:53 +00:00
John Criswell
287e3fc88b Fix for PR#366. We use getClassB() so that we can handle cast instructions 
that cast to bool.

llvm-svn: 14096
 2004-06-09 15:18:51 +00:00
Chris Lattner
b2434f1222 Implement InstCombine/select.ll:test15* 
llvm-svn: 14095
 2004-06-09 07:59:58 +00:00
Reid Spencer
8bb8138b54 Cleanup alignment of output. 
llvm-svn: 14093
 2004-06-09 06:22:00 +00:00
Reid Spencer
aa5110231e Implement analysis output. Don't dump function details unless requested. 
llvm-svn: 14091
 2004-06-09 06:17:58 +00:00
Reid Spencer
ca3bcbc07b Implement some rudimentary analysis. 
llvm-svn: 14090
 2004-06-09 06:16:43 +00:00
Reid Spencer
49f1f6f4c4 Clean up indentation of file body output. 
Don't dump functions unless "detailedResults" is requested.

llvm-svn: 14089
 2004-06-09 06:16:19 +00:00
Reid Spencer
b3f8b06dfc Move parsing details to Parser.cpp. 
llvm-svn: 14088
 2004-06-09 06:15:21 +00:00
Reid Spencer
d2e7399ba0 Bring some things out of header files that belong only in this file. 
llvm-svn: 14087
 2004-06-09 06:14:52 +00:00
Chris Lattner
90a2bbc74c Be more careful about the order we put stuff onto the worklist. This allow us to 
collapse this:
bool %le(int %A, int %B) {
        %c1 = setgt int %A, %B
        %tmp = select bool %c1, int 1, int 0
        %c2 = setlt int %A, %B
        %result = select bool %c2, int -1, int %tmp
        %c3 = setle int %result, 0
        ret bool %c3
}

into:

bool %le(int %A, int %B) {
        %c3 = setle int %A, %B          ; <bool> [#uses=1]
        ret bool %c3
}

which is handy, because the Java FE makes these sequences all over the place.

This is tested as: test/Regression/Transforms/InstCombine/JavaCompare.ll

llvm-svn: 14086
 2004-06-09 05:08:07 +00:00
Reid Spencer
323cc6283d Cleaned up a dead header file to prevent duplicate definition warnings 
in doxygen.

llvm-svn: 14084
 2004-06-09 04:38:34 +00:00
Chris Lattner
a7b01d4467 Implement select.ll:test14* 
llvm-svn: 14083
 2004-06-09 04:24:29 +00:00
Chris Lattner
6a6148fda0 Workaround or a VS miscompilation bug 
llvm-svn: 14078
 2004-06-08 23:21:39 +00:00
Chris Lattner
9579beadfe Don't grab the condition of unconditional branches! 
This fixes PR363

llvm-svn: 14076
 2004-06-08 21:50:30 +00:00
Brian Gaeke
91a3d0f55f Fix a minor bug in the map - since this pass adds a global symbol, it must be 
accounted for in the map (at least, in its current format).

llvm-svn: 14075
 2004-06-08 20:08:30 +00:00