6502/llvm-6502
1
0 Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2026-04-27 04:18:42 +00:00
Code Issues Projects Releases Wiki Activity
12,578 Commits 39 Branches 0 Tags
fd9d1b37148b558f185902f11e2ac600d9a47a12
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Chris Lattner fd9d1b3714 Add a section about running the nightly tester proper. 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14370 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-24 20:53:09 +00:00
Chris Lattner 129f6cfae7 etags isn't portable at all. Make it not run by default. If you still 
want it, just type 'make tags'


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14368 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-24 18:19:42 +00:00
Chris Lattner 5aa20212cc Remove distasteful method which is really part of the indvars pass 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14359 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-24 06:52:20 +00:00
Chris Lattner a25502acd7 Two fixes. First, stop using the ugly shouldSubstituteIndVar method. 
Second, disable substitution of quadratic addrec expressions to avoid putting
multiplies in loops!


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14358 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-24 06:49:18 +00:00
Chris Lattner 37ec591c74 Fix merging of nodes whose incoming offset is not zero. This unbreaks DSA on 
several mallocbench programs, including perl.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14342 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-23 06:29:59 +00:00
Chris Lattner 7962a8b21e Isnan became unordered 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14322 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-22 16:13:57 +00:00
Chris Lattner 8e667cdc94 If an edge points to a field of another memory object, actually reflect this 
in the DOT visualization of the DSGraphs.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14316 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-22 07:13:10 +00:00
Chris Lattner d98bc47d47 Elimiante ^M's 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14314 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-22 04:47:34 +00:00
Chris Lattner b0266b6536 test/Libraries have been long gone for a long time now. Since noone noticed 
tehse were broken, just nuke them.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14310 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-22 02:26:33 +00:00
Chris Lattner fcd3725747 Fix some broken links 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14306 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-21 22:52:48 +00:00
Chris Lattner 418da55c89 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


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14281 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-21 13:10:56 +00:00
Chris Lattner c2dfb8bb90 Make ConstantBool act like a 1 bit ConstantInt, in order to simplify client 
code.  Patch contributed by Vladimir Prus.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14280 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-21 12:12:12 +00:00
Chris Lattner 2636c1be17 *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.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14278 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-21 07:19:01 +00:00
Chris Lattner 30c02f7eff Comment out the isnan stuff until we get a proper autoconf test for it 
breaking the build on sparc is not acceptable.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14277 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-21 06:17:21 +00:00
Chris Lattner beabf45a69 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.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14276 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-21 00:07:58 +00:00
Chris Lattner 541ad5e19e REALLY fix PR378: crash in scalar evolution analysis 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14275 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-20 20:32:16 +00:00
Chris Lattner 3cf519a09e Bug fixed 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14273 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-20 19:08:50 +00:00
Chris Lattner 2d58452f39 Fix a bug in my change last night that caused a few test failures. 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14270 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-20 17:01:44 +00:00
Chris Lattner 697692a009 IntrinsicLowering.cpp now lives in lib/CodeGen/ 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14269 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-20 07:59:27 +00:00
Chris Lattner 81519d9b64 Update path 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14268 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-20 07:53:22 +00:00
Chris Lattner 2fce098f94 Header moved into the CodeGen directory 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14267 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-20 07:50:32 +00:00
Chris Lattner 3048373748 Move the IntrinsicLowering header into the CodeGen directory, as per PR346 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14266 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-20 07:49:54 +00:00
Chris Lattner 8f7f71b48a Move the IntrinsicLowering header into the CodeGen directory 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14265 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-20 07:46:18 +00:00
Chris Lattner 90a62c8d4b Start moving IntrinsicLowering out of VMCore into libcodegen, as per PR346 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14264 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-20 07:40:46 +00:00
Chris Lattner 8d741b8bef 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.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14263 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-20 06:23:15 +00:00
Chris Lattner c5c5e6afe5 Make use of BinaryOperator::create* methods to shrinkify code. 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14262 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-20 05:04:01 +00:00
Chris Lattner 762a76b891 Add methods like BinaryOperator::createAdd that take an instruction to insert 
before.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14261 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-20 05:02:56 +00:00
Chris Lattner cf5933a716 Fix the inliner to be deterministic, not letting its output depend on the 
relative location of Function objects in memory.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14260 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-20 04:11:48 +00:00
Chris Lattner 8e6d2bb8fa Make fpcmp handle running off of the beginning or end of the file correctly. 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14259 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-20 03:12:18 +00:00
Chris Lattner 218a8223e6 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.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14258 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-20 01:13:18 +00:00
Chris Lattner 56b7ee20da Now that dominator tree children are built in determinstic order, this horrible code 
can go away


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14254 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-19 20:23:35 +00:00
Chris Lattner fab8596459 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


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14253 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-19 20:13:48 +00:00
Chris Lattner f6437a3023 Print out immediate dominators in program order, not in random order based on the address 
of BasicBlock objects


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14252 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-19 20:04:47 +00:00
Chris Lattner aee7940d53 This will hopefully fix a heisenbug that Vladimir Merzliakov is running 
into valiantly trying to compile stuff on freebsd.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14251 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-19 19:01:26 +00:00
Chris Lattner 2b994c7206 Fix a nasty bug, noticed by Reid 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14249 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-19 18:15:50 +00:00
Chris Lattner edb8433c91 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.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14248 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-19 08:56:43 +00:00
Chris Lattner abc35bcad3 Change to use the StableBasicBlockNumbering class 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14247 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-19 08:42:40 +00:00
Chris Lattner c8fd918aa1 Initial checkin of the StableBasicBlockNumbering, a little helper class for computing 
(strangely enough) a stable (determinstic) numbering for basic blocks.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14246 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-19 08:41:59 +00:00
Chris Lattner 689835a2d9 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


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14245 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-19 08:05:58 +00:00
Chris Lattner 63168d2244 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.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14244 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-19 07:40:14 +00:00
Chris Lattner 1654cff8e8 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.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14243 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-19 07:02:14 +00:00
Chris Lattner 8430a4545c 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.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14242 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-19 02:02:22 +00:00
Chris Lattner 190196047a Bug fixed 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14241 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-19 01:11:02 +00:00
Chris Lattner 553a7abc78 Test for PR374 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14240 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-19 01:08:12 +00:00
Chris Lattner 883bcbea3e Add link to the CVS mirror hosted by Reid 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14238 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-18 20:15:58 +00:00
Chris Lattner f82bba95ba Bug fixed 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14236 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-18 17:57:29 +00:00
Chris Lattner ceebeb64a6 Calls to __builtin_isunordered and friends no longer cause llvmgcc to ICE. 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14222 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-18 06:26:29 +00:00
Chris Lattner 5b62aa743d Implement Transforms/InstCombine/and.ll:test17, a common case that 
occurs due to unordered comparison macros in math.h


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14221 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-18 06:07:51 +00:00
Chris Lattner b80e3ada7b New test 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14220 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-18 06:07:17 +00:00
Chris Lattner e5ad50b2e8 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)


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14219 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-18 05:50:48 +00:00
Chris Lattner eaf10c8242 Test that C99 unordered comparison functions are not being turned into libc calls 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14218 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-18 05:42:50 +00:00
Chris Lattner a8abee2136 Fix printing of Argument objects, problem found by Patrick Meredith 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14215 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-18 04:07:20 +00:00
Chris Lattner cb37056996 New testcase for GCC unordered comparison builtins 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14214 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-18 03:39:56 +00:00
Chris Lattner 667ea024b5 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


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14213 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-18 00:50:37 +00:00
Chris Lattner a6f9fe6dbc Fold setcc instructions into select and branches that are not in the same BB as 
the setcc.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14212 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-18 00:29:22 +00:00
Chris Lattner ccd9796a46 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


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14204 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-17 22:15:25 +00:00
Chris Lattner 5253f05709 Fix compilation problem on freebsd. Problem noted by Vladimir Merzliakov in 
PR371


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14203 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-17 21:20:52 +00:00
Chris Lattner f70c22b019 Rename Type::PrimitiveID to TypeId and ::getPrimitiveID() to ::getTypeID() 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14201 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-17 18:19:28 +00:00
Chris Lattner 5dd04027c7 Rename Type::PrimitiveID to TypeId and ::getPrimitiveID() to ::getTypeID() 
Delete two functions that are now methods on the Type class


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14200 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-17 18:16:02 +00:00
Chris Lattner c2616625a3 Minor cleanup 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14199 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-17 17:56:54 +00:00
Chris Lattner aebcce8404 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.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14195 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-16 06:57:29 +00:00
Chris Lattner 4ee623de0b isnan is dead 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14191 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-15 21:52:58 +00:00
Chris Lattner ee98bf5477 llvm.isnan is dead, long live llvm.isunordered! 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14190 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-15 21:50:46 +00:00
Chris Lattner 4adf066f99 Remove support for llvm.isnan. Alkis wins :) 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14189 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-15 21:48:07 +00:00
Chris Lattner 85a14bb586 This testcase is a bit silly now, but oh well :) 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14188 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-15 21:46:16 +00:00
Chris Lattner be78ac4422 Remove isnan support, correct isunordered support 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14187 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-15 21:42:23 +00:00
Chris Lattner c45ef6d395 Remove support for the isnan intrinsic 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14186 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-15 21:37:54 +00:00
Chris Lattner dc5724478e Add basic support for the isunordered intrinsic. The isnan stuff still needs to go 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14185 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-15 21:36:44 +00:00
Chris Lattner 5e9a7ca75a Right, stop being silly 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14184 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-15 21:29:40 +00:00
Chris Lattner 6c07f30dbe Add a nan, stop testing isnan 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14183 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-15 21:29:01 +00:00
Chris Lattner d1cd328560 Do not dereference end iterators. It's really bad for the asmwriter's health. 
This possibly fixes PR370


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14181 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-15 21:07:32 +00:00
Chris Lattner 51a54e6f1b It is no longer 2001 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14157 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-11 21:12:22 +00:00
Chris Lattner 7f7bbc2fdb 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.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14152 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-11 06:37:11 +00:00
Chris Lattner 9f35196fc2 llvm.isnan doesn't access memory 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14151 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-11 06:17:13 +00:00
Chris Lattner cf11035a6f Constant fold the isnan intrinsic 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14150 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-11 06:16:23 +00:00
Chris Lattner 7ba02f1115 Add tests for isnan 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14149 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-11 06:16:13 +00:00
Chris Lattner 01cdb1b367 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


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14148 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-11 05:33:49 +00:00
Chris Lattner c31ae50c04 Test that the X86 backend is only emitting one fucom instruction 
for each 'COM =' line.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14147 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-11 05:30:34 +00:00
Chris Lattner 57790422ca Fix bug in previous checkin 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14146 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-11 05:22:44 +00:00
Chris Lattner 899dbdcdb0 No really, these are dead now 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14145 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-11 04:50:14 +00:00
Chris Lattner 0ca2c8e02c 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.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14144 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-11 04:49:02 +00:00
Chris Lattner ab8deccb82 Introduce a new FP instruction type to separate the compare cases from the 
twoarg cases.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14143 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-11 04:41:24 +00:00
Chris Lattner 00cda7a32d Bug fixed, new feature 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14142 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-11 04:35:21 +00:00
Chris Lattner b4fe76cbb5 Add direct support for the isnan intrinsic, implementing test/Regression/CodeGen/X86/isnan.llx 
testcase


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14141 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-11 04:31:10 +00:00
Chris Lattner 665e661384 Add support for the setp instructions 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14140 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-11 04:30:06 +00:00
Chris Lattner d62d5d7e5b 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.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14139 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-11 04:25:06 +00:00
Chris Lattner 4d091e0a52 Testcase for PR369 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14136 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-11 02:59:47 +00:00
Chris Lattner a32579b8f8 Check to make sure that isnan doesn't require calling a function 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14135 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-11 02:54:54 +00:00
Chris Lattner 02348caffc Fix lowering to work correctly 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14134 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-11 02:54:02 +00:00
Chris Lattner 86ee776681 I misled Alkis: LLVM should have isnan, not isunordered. 
isunordered(X, Y) === isnan(X) | isnan(Y)

Remove isunordered, add isnan.

Modernize testcase


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14133 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-11 02:29:57 +00:00
Chris Lattner 137cc4fc8c I misled Alkis: LLVM should have isnan, not isunordered. 
isunordered(X, Y) === isnan(X) | isnan(Y)

Remove isunordered, add isnan.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14132 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-11 02:29:43 +00:00
Chris Lattner 320062845b Document the llvm.isnan intrinsic 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14131 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-11 02:28:03 +00:00
Chris Lattner 577aec1428 Fix the prolog epilog code inserter to match the documentation and support 
targets whose stack grows up.

Patch contributed by Vladimir Prus


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14111 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-10 06:23:35 +00:00
Chris Lattner 32305f7763 Fix the fixed stack offset, patch contributed by Vladimir Prus 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14110 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-10 06:19:25 +00:00
Chris Lattner 3285a6f426 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.  :)


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14109 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-10 02:33:20 +00:00
Chris Lattner 448c323cba More minor cleanups 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14108 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-10 02:12:35 +00:00
Chris Lattner 48595f18cf Eliminate many occurrances of Instruction:: 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14107 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-10 02:07:29 +00:00
Chris Lattner 1797ce1e24 Share some code 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14106 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-10 01:57:38 +00:00
Chris Lattner 5118872dd2 Add new BinaryOperator::createAdd/Sub/... methods to avoid having to type 
llvm::Instruction:: all of the time.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14105 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-10 01:43:29 +00:00
Chris Lattner e9e326e2eb Tolerate more errors 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14104 91177308-0d34-0410-b5e6-96231b3b80d8
 2004-06-09 22:22:10 +00:00