Chris Lattner [Mon, 11 Apr 2005 15:03:48 +0000 (15:03 +0000)]
ORo sets CR0
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21227
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Mon, 11 Apr 2005 15:03:41 +0000 (15:03 +0000)]
Revert the previous patch, which I didn't mean to check in.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21226
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Mon, 11 Apr 2005 15:01:39 +0000 (15:01 +0000)]
Fix a minor bug (ORo didn't mark that it set CR0).
Refactor how . instructions are handled. In particular, instead of passing
the RC flag all the way up the inheritance hierarchy, just make a new tblgen
class 'DOT' which can be added to an instruction definition.
For example, instead of this:
-def AND : XForm_6<31, 28, 0, 0, 0, (ops GPRC:$rA, GPRC:$rS, GPRC:$rB),
-let Defs = [CR0] in
-def ANDo : XForm_6<31, 28, 1, 0, 0, (ops GPRC:$rA, GPRC:$rS, GPRC:$rB),
- "and. $rA, $rS, $rB">;
We now have this:
+def AND : XForm_6<31, 28, 0, 0, (ops GPRC:$rA, GPRC:$rS, GPRC:$rB),
"and $rA, $rS, $rB">;
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21225
91177308-0d34-0410-b5e6-
96231b3b80d8
Duraid Madina [Mon, 11 Apr 2005 07:16:39 +0000 (07:16 +0000)]
hmm, should probably change addImm() to take 64-bit arguments one day anyway.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21224
91177308-0d34-0410-b5e6-
96231b3b80d8
Duraid Madina [Mon, 11 Apr 2005 07:14:41 +0000 (07:14 +0000)]
rename addU64Imm() to addImm64()
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21223
91177308-0d34-0410-b5e6-
96231b3b80d8
Nate Begeman [Mon, 11 Apr 2005 06:34:10 +0000 (06:34 +0000)]
Add recording variants of ISD::AND and ISD::OR. This kills almost 1000
(1.5%) instructions in 186.crafty
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21222
91177308-0d34-0410-b5e6-
96231b3b80d8
Duraid Madina [Mon, 11 Apr 2005 05:55:56 +0000 (05:55 +0000)]
assorted fixes:
* clean up immediates (we use 14, 22 and 64 bit immediates now. sane.)
* fold r0/f0/f1 registers into comparisons against 0/0.0/1.0
* fix nasty thinko - didn't use two-address form of conditional add
for extending bools to integers, so occasionally there would be
garbage in the result. it's amazing how often zeros are just
sitting around in registers ;) - this should fix a bunch of tests.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21221
91177308-0d34-0410-b5e6-
96231b3b80d8
Reid Spencer [Mon, 11 Apr 2005 05:48:04 +0000 (05:48 +0000)]
Ensure that the arguments passed to sys::Program::ExecuteAndWait include
the program name as the first argument. Thanks go to Markus Oberhumer for
noticing this problem.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21220
91177308-0d34-0410-b5e6-
96231b3b80d8
Jeff Cohen [Mon, 11 Apr 2005 03:44:22 +0000 (03:44 +0000)]
Eliminate tabs
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21216
91177308-0d34-0410-b5e6-
96231b3b80d8
Jeff Cohen [Mon, 11 Apr 2005 03:38:28 +0000 (03:38 +0000)]
Eliminate major source of VC++ "possible loss of data" warnings.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21215
91177308-0d34-0410-b5e6-
96231b3b80d8
Nate Begeman [Mon, 11 Apr 2005 03:01:51 +0000 (03:01 +0000)]
Fix libcall code to not pass a NULL Chain to LowerCallTo
Fix libcall code to not crash or assert looking for an ADJCALLSTACKUP node
when it is known that there is no ADJCALLSTACKDOWN to match.
Expand i64 multiply when ISD::MULHU is legal for the target.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21214
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sun, 10 Apr 2005 23:37:16 +0000 (23:37 +0000)]
Don't bother sign/zext_inreg'ing the result of an and operation if we know
the result does change as a result of the extend.
This improves codegen for Alpha on this testcase:
int %a(ushort* %i) {
%tmp.1 = load ushort* %i
%tmp.2 = cast ushort %tmp.1 to int
%tmp.4 = and int %tmp.2, 1
ret int %tmp.4
}
Generating:
a:
ldgp $29, 0($27)
ldwu $0,0($16)
and $0,1,$0
ret $31,($26),1
instead of:
a:
ldgp $29, 0($27)
ldwu $0,0($16)
and $0,1,$0
addl $0,0,$0
ret $31,($26),1
btw, alpha really should switch to livein/outs for args :)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21213
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sun, 10 Apr 2005 22:54:25 +0000 (22:54 +0000)]
Teach legalize to deal with targets that don't support some SEXTLOAD/ZEXTLOADs
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21212
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sun, 10 Apr 2005 20:59:38 +0000 (20:59 +0000)]
The first argument to ExecuteAndWait should be the program name, but pointed
out by Markus F.X.J. Oberhumer.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21211
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sun, 10 Apr 2005 20:45:35 +0000 (20:45 +0000)]
fix this testcase so the regex doesn't match the function name
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21210
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sun, 10 Apr 2005 17:40:35 +0000 (17:40 +0000)]
don't zextload fp values!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21209
91177308-0d34-0410-b5e6-
96231b3b80d8
Duraid Madina [Sun, 10 Apr 2005 09:18:55 +0000 (09:18 +0000)]
* store immediate values as int64_t, not int. come on, we should be happy
when there are immediates, let's not worry about the memory overhead of
this :)
* add addU64Imm(uint64_t val) to machineinstrbuilder
(seriously: this seems required to support 64-bit immediates cleanly. if it
_really_ gets on your nerves, feel free to pull it out ;) )
coming up next week: "all your floating point constants are belong to us"
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21208
91177308-0d34-0410-b5e6-
96231b3b80d8
Nate Begeman [Sun, 10 Apr 2005 06:06:10 +0000 (06:06 +0000)]
Fix another fixme: factor out the constant fp generation code.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21207
91177308-0d34-0410-b5e6-
96231b3b80d8
Nate Begeman [Sun, 10 Apr 2005 05:53:14 +0000 (05:53 +0000)]
Fix 64 bit argument loading that straddles the args in regs / args on stack
boundary.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21206
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sun, 10 Apr 2005 04:33:47 +0000 (04:33 +0000)]
Until we have a dag combiner, promote using zextload's instead of extloads.
This gives the optimizer a bit of information about the top-part of the
value.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21205
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sun, 10 Apr 2005 04:33:08 +0000 (04:33 +0000)]
Fold zext_inreg(zextload), likewise for sext's
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21204
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sun, 10 Apr 2005 04:04:49 +0000 (04:04 +0000)]
add a simple xform
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21203
91177308-0d34-0410-b5e6-
96231b3b80d8
Nate Begeman [Sun, 10 Apr 2005 03:59:42 +0000 (03:59 +0000)]
Remove unnecessary Implicit Defs. Since r0 is not in allocation, we do not
have to inform the register allocator it might be stepped on.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21202
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sun, 10 Apr 2005 03:18:18 +0000 (03:18 +0000)]
make this harder
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21201
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sun, 10 Apr 2005 03:07:25 +0000 (03:07 +0000)]
oops add ~
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21200
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sun, 10 Apr 2005 03:06:27 +0000 (03:06 +0000)]
new testcase for previously unsupported unary complex operators
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21199
91177308-0d34-0410-b5e6-
96231b3b80d8
Nate Begeman [Sun, 10 Apr 2005 01:48:29 +0000 (01:48 +0000)]
Make sure that BRCOND branches can be converted into long branches too.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21198
91177308-0d34-0410-b5e6-
96231b3b80d8
Nate Begeman [Sun, 10 Apr 2005 01:14:13 +0000 (01:14 +0000)]
Don't hand ISD::CALL nodes off to SelectExprFP. This fixes siod.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21197
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sun, 10 Apr 2005 01:13:15 +0000 (01:13 +0000)]
Fix a thinko. If the operand is promoted, pass the promoted value into
the new zero extend, not the original operand. This fixes cast bool -> long
on ppc.
Add an unrelated fixme
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21196
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sun, 10 Apr 2005 01:03:31 +0000 (01:03 +0000)]
rename getPPCOpcodeForSetCCNumber -> getPPCOpcodeForSetCCOpode to be more
correct. Remove the EmitComparison retvalue, as it is always the first arg.
Fix a place where we incorrectly passed in the setcc opcode instead of the
setcc number, causing us to miscompile crafty. Crafty now works!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21195
91177308-0d34-0410-b5e6-
96231b3b80d8
Nate Begeman [Sat, 9 Apr 2005 23:35:05 +0000 (23:35 +0000)]
fix ISD::BRCONDTWOWAY codegen to not deference the end() iterator
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21193
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sat, 9 Apr 2005 22:05:17 +0000 (22:05 +0000)]
Fix CodeGen/Generic/2005-05-09-GlobalInPHI.ll, which was reduced from 254.gap.
This caused the "use before a def" assertion on some programs.
With this patch, 254.gap now passes with the PPC backend.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21191
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sat, 9 Apr 2005 22:03:10 +0000 (22:03 +0000)]
new testcase that used to crash the ppc fe. It could effect any simpleisel
that is not careful, so I'm checking it into the generic tests.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21190
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sat, 9 Apr 2005 21:43:54 +0000 (21:43 +0000)]
add a little peephole optimization. This allows us to codegen:
int a(short i) {
return i & 1;
}
as
_a:
andi. r3, r3, 1
blr
instead of:
_a:
rlwinm r2, r3, 0, 16, 31
andi. r3, r2, 1
blr
on ppc. It should also help the other risc targets.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21189
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sat, 9 Apr 2005 21:23:24 +0000 (21:23 +0000)]
do not set the root to null if an argument is dead
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21188
91177308-0d34-0410-b5e6-
96231b3b80d8
Nate Begeman [Sat, 9 Apr 2005 20:09:12 +0000 (20:09 +0000)]
Add rlwnm instruction for variable rotate
Generate rotate left/right immediate
Generate code for brcondtwoway
Use new livein/liveout functionality
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21187
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sat, 9 Apr 2005 19:47:21 +0000 (19:47 +0000)]
Fix a crash on 173.applu by asking for a constant bigger than 32-bits.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21185
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sat, 9 Apr 2005 16:32:30 +0000 (16:32 +0000)]
Switch this instruction selector over to using liveins and liveouts, eliminating
implicit defs on entry to the function. yaay :)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21184
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sat, 9 Apr 2005 16:24:20 +0000 (16:24 +0000)]
there is no need to remove this instruction, linscan does it already as it
removes noop moves.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21183
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sat, 9 Apr 2005 16:17:50 +0000 (16:17 +0000)]
Adjust live intervals to support a livein set
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21182
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sat, 9 Apr 2005 15:23:56 +0000 (15:23 +0000)]
Use live out sets for return values instead of imp_defs, which is cleaner and faster.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21181
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sat, 9 Apr 2005 15:23:25 +0000 (15:23 +0000)]
Consider the livein/out set for a function, allowing targets to not have to
use ugly imp_def/imp_uses for arguments and return values.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21180
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sat, 9 Apr 2005 15:22:53 +0000 (15:22 +0000)]
add routines to track the livein/out set for a function
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21179
91177308-0d34-0410-b5e6-
96231b3b80d8
Duraid Madina [Sat, 9 Apr 2005 11:53:00 +0000 (11:53 +0000)]
ok, the "ia64 has a boatload of registers" joke stopped being funny today ;)
* fix overallocation of integer (stacked) registers: we can't allocate
registers for local use if they are required as output registers
this fixes 'toast' in the test suite, and all sorts of larger programs
like bzip2 etc.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21178
91177308-0d34-0410-b5e6-
96231b3b80d8
Nate Begeman [Sat, 9 Apr 2005 09:33:07 +0000 (09:33 +0000)]
Optimize FSEL a bit for fneg arguments. This fixes the recently added test
case so that we emit
_test_fneg_sel:
.LBB_test_fneg_sel_0: ;
fsel f1, f1, f3, f2
blr
instead of:
_test_fneg_sel:
.LBB_test_fneg_sel_0: ;
fneg f0, f1
fneg f0, f0
fsel f1, f0, f3, f2
blr
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21177
91177308-0d34-0410-b5e6-
96231b3b80d8
Nate Begeman [Sat, 9 Apr 2005 09:30:09 +0000 (09:30 +0000)]
Add a testcase to make sure that we don't emit two fneg instructions back
to back for certain fsel instructions.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21176
91177308-0d34-0410-b5e6-
96231b3b80d8
Nate Begeman [Sat, 9 Apr 2005 08:29:59 +0000 (08:29 +0000)]
Add cases to cover the rest of the patterns we should be matching
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21175
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sat, 9 Apr 2005 06:27:14 +0000 (06:27 +0000)]
Fix CodeGen/SparcV9/2005-05-09-GEP-Crash.ll a crash on some specfp program
lets hope this doesn't break other programs with induced entropy
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21174
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sat, 9 Apr 2005 06:26:27 +0000 (06:26 +0000)]
New testcase that the sparc backend crashes on
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21173
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sat, 9 Apr 2005 05:15:53 +0000 (05:15 +0000)]
recognize some patterns as fabs operations, so that fabs at the source level
is deconstructed then reconstructed here. This catches 19 fabs's in 177.mesa
9 in 168.wupwise, 5 in 171.swim, 3 in 172.mgrid, and 14 in 173.applu out of
specfp2000.
This allows the X86 code generator to make MUCH better code than before for
each of these and saves one instr on ppc.
This depends on the previous CFE patch to expose these correctly.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21171
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sat, 9 Apr 2005 04:55:14 +0000 (04:55 +0000)]
make this test more interesting
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21170
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sat, 9 Apr 2005 04:03:16 +0000 (04:03 +0000)]
add a test for fnabs
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21169
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sat, 9 Apr 2005 04:01:32 +0000 (04:01 +0000)]
add a partial test for the fma operations that ppc supports. I'm sure I'm
missing some and not all of these match yet, but I'm sure that Nate will
clean up my mess :)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21168
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sat, 9 Apr 2005 03:30:29 +0000 (03:30 +0000)]
Emit BRCONDTWOWAY when possible.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21167
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sat, 9 Apr 2005 03:30:19 +0000 (03:30 +0000)]
Legalize BRCONDTWOWAY into a BRCOND/BR pair if a target doesn't support it.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21166
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sat, 9 Apr 2005 03:27:28 +0000 (03:27 +0000)]
print and fold BRCONDTWOWAY correctly
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21165
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sat, 9 Apr 2005 03:22:37 +0000 (03:22 +0000)]
This target does not support/want ISD::BRCONDTWOWAY
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21164
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sat, 9 Apr 2005 03:22:30 +0000 (03:22 +0000)]
This target does not yet support ISD::BRCONDTWOWAY
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21163
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sat, 9 Apr 2005 03:21:50 +0000 (03:21 +0000)]
Add a new node
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21162
91177308-0d34-0410-b5e6-
96231b3b80d8
Nate Begeman [Sat, 9 Apr 2005 03:05:51 +0000 (03:05 +0000)]
64b: Expand S/UREM
32b: No longer pattern match fneg(fsub(fmul)) as fnmsub
Pattern match fsub a, mul(b, c) as fnmsub
Pattern match fadd a, mul(b, c) as fmadd
Those changes speed up hydro2d by 2.5%, distray by 6%, and scimark by 8%
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21161
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sat, 9 Apr 2005 03:02:46 +0000 (03:02 +0000)]
canonicalize a bunch of operations involving fneg
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21160
91177308-0d34-0410-b5e6-
96231b3b80d8
Nate Begeman [Fri, 8 Apr 2005 23:45:01 +0000 (23:45 +0000)]
Fix 64b shifts
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21159
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 8 Apr 2005 21:31:29 +0000 (21:31 +0000)]
fix this method for 64-bit constants
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21158
91177308-0d34-0410-b5e6-
96231b3b80d8
Nate Begeman [Fri, 8 Apr 2005 21:26:05 +0000 (21:26 +0000)]
Match Mac OS X 64 bit calling conventions
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21157
91177308-0d34-0410-b5e6-
96231b3b80d8
Andrew Lenharth [Fri, 8 Apr 2005 17:28:49 +0000 (17:28 +0000)]
collect a few statistics, factor constants (constant loading and mult), fix logic operation pattern matchs, supress FP div when int dividing by a constant
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21156
91177308-0d34-0410-b5e6-
96231b3b80d8
Andrew Lenharth [Fri, 8 Apr 2005 16:55:15 +0000 (16:55 +0000)]
oops
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21155
91177308-0d34-0410-b5e6-
96231b3b80d8
Andrew Lenharth [Fri, 8 Apr 2005 16:46:44 +0000 (16:46 +0000)]
added some tests to check stupid pattern matching mistakes
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21154
91177308-0d34-0410-b5e6-
96231b3b80d8
Duraid Madina [Fri, 8 Apr 2005 10:01:48 +0000 (10:01 +0000)]
fix bogus division-by-power-of-2 (was wrong for negative input, adds extr insn)
fix hack in division (clean up frcpa instruction)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21153
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 8 Apr 2005 04:03:26 +0000 (04:03 +0000)]
Fix bug: InstCombine/2005-05-07-UDivSelectCrash.ll
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21152
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 8 Apr 2005 03:58:21 +0000 (03:58 +0000)]
new testcase that crashes the instcombiner.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21151
91177308-0d34-0410-b5e6-
96231b3b80d8
Nate Begeman [Thu, 7 Apr 2005 20:30:01 +0000 (20:30 +0000)]
Optimized code sequences for setcc reg, 0
Optimized code sequence for (a < 0) ? b : 0
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21150
91177308-0d34-0410-b5e6-
96231b3b80d8
Andrew Lenharth [Thu, 7 Apr 2005 20:11:32 +0000 (20:11 +0000)]
Alpha zero extends setcc results
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21149
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 7 Apr 2005 19:43:53 +0000 (19:43 +0000)]
If a target zero or sign extends the result of its setcc, allow folding of
this into sign/zero extension instructions later.
On PPC, for example, this testcase:
%G = external global sbyte
implementation
void %test(int %X, int %Y) {
%C = setlt int %X, %Y
%D = cast bool %C to sbyte
store sbyte %D, sbyte* %G
ret void
}
Now codegens to:
cmpw cr0, r3, r4
li r3, 1
li r4, 0
blt .LBB_test_2 ;
.LBB_test_1: ;
or r3, r4, r4
.LBB_test_2: ;
addis r2, r2, ha16(L_G$non_lazy_ptr-"L00000$pb")
lwz r2, lo16(L_G$non_lazy_ptr-"L00000$pb")(r2)
stb r3, 0(r2)
instead of:
cmpw cr0, r3, r4
li r3, 1
li r4, 0
blt .LBB_test_2 ;
.LBB_test_1: ;
or r3, r4, r4
.LBB_test_2: ;
*** rlwinm r3, r3, 0, 31, 31
addis r2, r2, ha16(L_G$non_lazy_ptr-"L00000$pb")
lwz r2, lo16(L_G$non_lazy_ptr-"L00000$pb")(r2)
stb r3, 0(r2)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21148
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 7 Apr 2005 19:41:49 +0000 (19:41 +0000)]
PowerPC zero extends setcc results
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21147
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 7 Apr 2005 19:41:46 +0000 (19:41 +0000)]
X86 zero extends setcc results
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21146
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 7 Apr 2005 19:41:18 +0000 (19:41 +0000)]
Allow targets which produce setcc results in non-MVT::i1 registers to describe
what the contents of the top bits of these registers are, in the common cases
of targets that sign and zero extend the results.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21145
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 7 Apr 2005 18:58:54 +0000 (18:58 +0000)]
Remove somethign I had for testing
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21144
91177308-0d34-0410-b5e6-
96231b3b80d8
Andrew Lenharth [Thu, 7 Apr 2005 18:15:28 +0000 (18:15 +0000)]
fix a small optimization opertunity and make gcc happy
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21143
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 7 Apr 2005 18:14:58 +0000 (18:14 +0000)]
This patch does two things. First, it canonicalizes 'X >= C' -> 'X > C-1'
(likewise for <= >=u >=u).
Second, it implements a special case hack to turn 'X gtu SINTMAX' -> 'X lt 0'
On powerpc, for example, this changes this:
lis r2, 32767
ori r2, r2, 65535
cmplw cr0, r3, r2
bgt .LBB_test_2
into:
cmpwi cr0, r3, 0
blt .LBB_test_2
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21142
91177308-0d34-0410-b5e6-
96231b3b80d8
Andrew Lenharth [Thu, 7 Apr 2005 17:47:00 +0000 (17:47 +0000)]
match case change in codegen
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21141
91177308-0d34-0410-b5e6-
96231b3b80d8
Andrew Lenharth [Thu, 7 Apr 2005 17:19:16 +0000 (17:19 +0000)]
fixup magic constant making code. tested by thousands of random divisions.... by 10000. ok, so random divisors would be good too, but this at least fixes some things
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21140
91177308-0d34-0410-b5e6-
96231b3b80d8
Andrew Lenharth [Thu, 7 Apr 2005 17:17:48 +0000 (17:17 +0000)]
lowercase instructions, makes diff happier
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21139
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 7 Apr 2005 17:14:51 +0000 (17:14 +0000)]
Implement the following xforms:
(X-Y)-X --> -Y
A + (B - A) --> B
(B - A) + A --> B
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21138
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 7 Apr 2005 16:41:45 +0000 (16:41 +0000)]
new test
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21137
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 7 Apr 2005 16:28:01 +0000 (16:28 +0000)]
Implement InstCombine/add.ll:test28, transforming C1-(X+C2) --> (C1-C2)-X.
This occurs several dozen times in specint2k, particularly in crafty and gcc
apparently.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21136
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 7 Apr 2005 16:24:59 +0000 (16:24 +0000)]
new testcase
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21135
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 7 Apr 2005 16:15:25 +0000 (16:15 +0000)]
Transform X-(X+Y) == -Y and X-(Y+X) == -Y
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21134
91177308-0d34-0410-b5e6-
96231b3b80d8
Andrew Lenharth [Thu, 7 Apr 2005 14:18:13 +0000 (14:18 +0000)]
It wasn't happy about this either
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21133
91177308-0d34-0410-b5e6-
96231b3b80d8
Andrew Lenharth [Thu, 7 Apr 2005 13:55:53 +0000 (13:55 +0000)]
Yea, it wasn't happy
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21132
91177308-0d34-0410-b5e6-
96231b3b80d8
Duraid Madina [Thu, 7 Apr 2005 12:34:36 +0000 (12:34 +0000)]
teach asmprinter to print s8/s14 operands
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21131
91177308-0d34-0410-b5e6-
96231b3b80d8
Duraid Madina [Thu, 7 Apr 2005 12:33:38 +0000 (12:33 +0000)]
codegen immediate forms of add/sub/shift
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21130
91177308-0d34-0410-b5e6-
96231b3b80d8
Duraid Madina [Thu, 7 Apr 2005 12:32:24 +0000 (12:32 +0000)]
add immediate forms of add, sub, shift
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21129
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 7 Apr 2005 00:30:13 +0000 (00:30 +0000)]
Fix a really scary bug that Nate found where we weren't deleting the right
elements auto of the autoCSE maps.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21128
91177308-0d34-0410-b5e6-
96231b3b80d8
Nate Begeman [Wed, 6 Apr 2005 23:51:40 +0000 (23:51 +0000)]
Pattern match bitfield insert, which helps shift long by immediate, among
other things.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21127
91177308-0d34-0410-b5e6-
96231b3b80d8
Nate Begeman [Wed, 6 Apr 2005 22:42:08 +0000 (22:42 +0000)]
Fix some shift bugs
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21126
91177308-0d34-0410-b5e6-
96231b3b80d8
Alkis Evlogimenos [Wed, 6 Apr 2005 22:09:40 +0000 (22:09 +0000)]
Make these 64 bit constants so that this compiles on x86-32 as well.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21125
91177308-0d34-0410-b5e6-
96231b3b80d8
Andrew Lenharth [Wed, 6 Apr 2005 22:03:13 +0000 (22:03 +0000)]
added sdiv by 2^k and works for neg divisors also
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21124
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Wed, 6 Apr 2005 21:45:00 +0000 (21:45 +0000)]
Don't make this require loopsimplify. It works BETTER with loop simplify
but should not require it.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21123
91177308-0d34-0410-b5e6-
96231b3b80d8
Nate Begeman [Wed, 6 Apr 2005 21:13:14 +0000 (21:13 +0000)]
Teach ExpandShift how to handle shifts by a constant. This allows targets
like PowerPC to codegen long shifts in many fewer instructions.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21122
91177308-0d34-0410-b5e6-
96231b3b80d8
Andrew Lenharth [Wed, 6 Apr 2005 20:59:59 +0000 (20:59 +0000)]
fix copy/paste errors, and add imm support to SxADDQ and SxSUBQ
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21121
91177308-0d34-0410-b5e6-
96231b3b80d8