libfirm
16 years agoreplace Shrs(Shl) with Conv where possible, fix conv_conv optimisation bug
Matthias Braun [Fri, 3 Aug 2007 09:39:09 +0000 (09:39 +0000)]
replace Shrs(Shl) with Conv where possible, fix conv_conv optimisation bug

[r15445]

16 years agoadd is_Shl, is_Shr, is_Shrs, is_Rot
Matthias Braun [Fri, 3 Aug 2007 09:38:35 +0000 (09:38 +0000)]
add is_Shl, is_Shr, is_Shrs, is_Rot

[r15444]

16 years agoAdded proper phi spilling
Sebastian Hack [Fri, 3 Aug 2007 08:35:16 +0000 (08:35 +0000)]
Added proper phi spilling

[r15443]

16 years agofixed: wrong environment transmitted
Michael Beck [Thu, 2 Aug 2007 15:20:42 +0000 (15:20 +0000)]
fixed: wrong environment transmitted

[r15441]

16 years agoadded support for unaligned entities
Michael Beck [Thu, 2 Aug 2007 15:14:34 +0000 (15:14 +0000)]
added support for unaligned entities

[r15439]

16 years agopreliminary code for unaligned Load/Store lowering added
Michael Beck [Thu, 2 Aug 2007 15:14:00 +0000 (15:14 +0000)]
preliminary code for unaligned Load/Store lowering added

[r15438]

16 years agoindentation fixed
Michael Beck [Thu, 2 Aug 2007 15:13:09 +0000 (15:13 +0000)]
indentation fixed

[r15437]

16 years agoadd unaligned Load/Stores
Michael Beck [Thu, 2 Aug 2007 15:12:35 +0000 (15:12 +0000)]
add unaligned Load/Stores

[r15436]

16 years agofix testapps
Matthias Braun [Thu, 2 Aug 2007 14:55:45 +0000 (14:55 +0000)]
fix testapps

[r15435]

16 years agoadd unaligned Load/Stores
Michael Beck [Thu, 2 Aug 2007 12:58:01 +0000 (12:58 +0000)]
add unaligned Load/Stores

[r15434]

16 years agofixed several AM problems (and disabled most of the new optimisation possibilities...
Matthias Braun [Thu, 2 Aug 2007 12:54:15 +0000 (12:54 +0000)]
fixed several AM problems (and disabled most of the new optimisation possibilities again, as we have problems with heights not being recomputed)

[r15433]

16 years agoadd unaligned Load/Stores
Michael Beck [Thu, 2 Aug 2007 12:50:33 +0000 (12:50 +0000)]
add unaligned Load/Stores

[r15432]

16 years agoadded comment, removed debug output
Michael Beck [Thu, 2 Aug 2007 12:49:32 +0000 (12:49 +0000)]
added comment, removed debug output

[r15431]

16 years agoreverse loop for speed
Michael Beck [Thu, 2 Aug 2007 12:48:22 +0000 (12:48 +0000)]
reverse loop for speed

[r15430]

16 years agoAdded a belady version with a different global pass.
Sebastian Hack [Thu, 2 Aug 2007 12:43:18 +0000 (12:43 +0000)]
Added a belady version with a different global pass.
It is not working yet so don't use.

[r15429]

16 years agoRemoved the "specializable" arrayset
Sebastian Hack [Thu, 2 Aug 2007 12:42:24 +0000 (12:42 +0000)]
Removed the "specializable" arrayset
instead arraysets can now be done with normal firm sets (see array.h)
but beware it's not yet thoroughly tested.

[r15428]

16 years agoMinor changes
Sebastian Hack [Thu, 2 Aug 2007 12:38:25 +0000 (12:38 +0000)]
Minor changes

[r15427]

16 years agouse the new bitfield types to check for bitfield access; fixes fehler55
Michael Beck [Thu, 2 Aug 2007 11:07:36 +0000 (11:07 +0000)]
use the new bitfield types to check for bitfield access; fixes fehler55

[r15425]

16 years agoimprove fehler55
Matthias Braun [Thu, 2 Aug 2007 10:02:58 +0000 (10:02 +0000)]
improve fehler55

[r15424]

16 years agofehler55
Matthias Braun [Thu, 2 Aug 2007 09:58:32 +0000 (09:58 +0000)]
fehler55

[r15423]

16 years agofix bad mode in a%a optimisation
Matthias Braun [Wed, 1 Aug 2007 18:07:45 +0000 (18:07 +0000)]
fix bad mode in a%a optimisation

[r15422]

16 years agono need for Zex commands, we already had the Conv (which are superior as they can...
Matthias Braun [Wed, 1 Aug 2007 17:43:46 +0000 (17:43 +0000)]
no need for Zex commands, we already had the Conv (which are superior as they can do AM and have some load optimisations)

[r15421]

16 years agoadd Zex8/Zex16 instructions
Michael Beck [Wed, 1 Aug 2007 15:59:46 +0000 (15:59 +0000)]
add Zex8/Zex16 instructions

[r15419]

16 years agoAdded again the ptr Add, removing was wrong
Michael Beck [Wed, 1 Aug 2007 15:26:48 +0000 (15:26 +0000)]
Added again the ptr Add, removing was wrong

[r15418]

16 years agofixed broken get_tarval_sub_bits() implementation: now correctly clip number of bits
Michael Beck [Wed, 1 Aug 2007 15:25:26 +0000 (15:25 +0000)]
fixed broken get_tarval_sub_bits() implementation: now correctly clip number of bits

[r15417]

16 years agofixed bitfield initializers:
Michael Beck [Wed, 1 Aug 2007 15:24:16 +0000 (15:24 +0000)]
fixed bitfield initializers:
- normalizer the offset and remainder (remainder might be >= 8 now)
- removed initializer casting to Lu: this wrongly expands sign bits (newer bitfield.c fails)
- implemented the offset shifting directly on the tarval bits

[r15416]

16 years agoimproved test by adding a bitfield add
Michael Beck [Wed, 1 Aug 2007 15:19:01 +0000 (15:19 +0000)]
improved test by adding a bitfield add

[r15414]

16 years agoimproved test by cheching negative numbers yet
Michael Beck [Wed, 1 Aug 2007 15:16:25 +0000 (15:16 +0000)]
improved test by cheching negative numbers yet

[r15412]

16 years agodump the new base type attribute
Michael Beck [Wed, 1 Aug 2007 13:56:47 +0000 (13:56 +0000)]
dump the new base type attribute

[r15411]

16 years agoadd base type for primitive types to better represent bitfields
Michael Beck [Wed, 1 Aug 2007 13:15:00 +0000 (13:15 +0000)]
add base type for primitive types to better represent bitfields

[r15410]

16 years agofehler54 (should already work now)
Matthias Braun [Wed, 1 Aug 2007 13:04:53 +0000 (13:04 +0000)]
fehler54 (should already work now)

[r15409]

16 years agowe can't pass 64bit values in a single register
Matthias Braun [Wed, 1 Aug 2007 13:01:17 +0000 (13:01 +0000)]
we can't pass 64bit values in a single register

[r15408]

16 years agofix copy&paste error
Matthias Braun [Tue, 31 Jul 2007 17:17:58 +0000 (17:17 +0000)]
fix copy&paste error

[r15395]

16 years agofixed bitfield lowering: do not touch Load/Store that are NO bitfields
Michael Beck [Tue, 31 Jul 2007 16:16:57 +0000 (16:16 +0000)]
fixed bitfield lowering: do not touch Load/Store that are NO bitfields

[r15393]

16 years agochanged signature of sign_extend()
Michael Beck [Tue, 31 Jul 2007 15:23:12 +0000 (15:23 +0000)]
changed signature of sign_extend()

[r15392]

16 years agofixed new_tarval_from_long() (added missing sign extend), classify_tarval(), unsigned...
Michael Beck [Tue, 31 Jul 2007 15:19:38 +0000 (15:19 +0000)]
fixed new_tarval_from_long() (added missing sign extend), classify_tarval(), unsigned integer modes have minus_one_tarval()

[r15391]

16 years agotransform Load & 0xFF into Loadzx
Michael Beck [Tue, 31 Jul 2007 14:22:42 +0000 (14:22 +0000)]
transform Load & 0xFF into Loadzx

[r15389]

16 years agoadd one more Or/And related case
Michael Beck [Tue, 31 Jul 2007 14:21:51 +0000 (14:21 +0000)]
add one more Or/And related case

[r15388]

16 years agoremoved the load/store smaller optimization
Michael Beck [Tue, 31 Jul 2007 13:37:01 +0000 (13:37 +0000)]
removed the load/store smaller optimization
do NOT add the byte offset before bitfield access: may lead to unaligned access

[r15386]

16 years agoShow correct expected result of fehler53.
Christoph Mallon [Tue, 31 Jul 2007 10:05:03 +0000 (10:05 +0000)]
Show correct expected result of fehler53.

[r15385]

16 years agofehler53 (similar to fehler 45 apparently... (another 176.gcc bug)
Matthias Braun [Mon, 30 Jul 2007 15:05:11 +0000 (15:05 +0000)]
fehler53 (similar to fehler 45 apparently... (another 176.gcc bug)

[r15377]

16 years agochanged indentation
Michael Beck [Mon, 30 Jul 2007 12:00:05 +0000 (12:00 +0000)]
changed indentation

[r15373]

16 years agosome testcases I didn't commit yet
Matthias Braun [Mon, 30 Jul 2007 11:31:13 +0000 (11:31 +0000)]
some testcases I didn't commit yet

[r15372]

16 years agoworkaround firm problems when current_ir_graph is not set (set_irn_n and maybe other...
Matthias Braun [Thu, 26 Jul 2007 07:43:09 +0000 (07:43 +0000)]
workaround firm problems when current_ir_graph is not set (set_irn_n and maybe other things...)

[r15357]

16 years agosimplify fehler52
Matthias Braun [Wed, 25 Jul 2007 22:18:02 +0000 (22:18 +0000)]
simplify fehler52

[r15356]

16 years agofehler52: argv problems found in 176.gcc
Matthias Braun [Wed, 25 Jul 2007 22:14:35 +0000 (22:14 +0000)]
fehler52: argv problems found in 176.gcc

[r15355]

16 years agoprettify fehler51
Matthias Braun [Wed, 25 Jul 2007 20:07:59 +0000 (20:07 +0000)]
prettify fehler51

[r15353]

16 years agosimplify fehler35
Matthias Braun [Wed, 25 Jul 2007 18:49:03 +0000 (18:49 +0000)]
simplify fehler35

[r15352]

16 years agofix fehler50
Matthias Braun [Wed, 25 Jul 2007 18:48:49 +0000 (18:48 +0000)]
fix fehler50

[r15351]

16 years agofixed handling of keep-alive edges
Michael Beck [Wed, 25 Jul 2007 16:56:49 +0000 (16:56 +0000)]
fixed handling of keep-alive edges

[r15349]

16 years agofix for icc compilation
Matthias Braun [Wed, 25 Jul 2007 16:29:47 +0000 (16:29 +0000)]
fix for icc compilation

[r15344]

16 years agofix for icc compilation
Matthias Braun [Wed, 25 Jul 2007 16:29:19 +0000 (16:29 +0000)]
fix for icc compilation

[r15343]

16 years agoadd more cases for integer division
Michael Beck [Wed, 25 Jul 2007 16:14:01 +0000 (16:14 +0000)]
add more cases for integer division

[r15341]

16 years agodo some transformation only for two complement, allow 1/c optimization if non strict...
Michael Beck [Wed, 25 Jul 2007 15:55:28 +0000 (15:55 +0000)]
do some transformation only for two complement, allow 1/c optimization if non strict algebraic

[r15340]

16 years agoadded ieee754 exact flag which allows more cases to be optimized
Michael Beck [Wed, 25 Jul 2007 14:25:42 +0000 (14:25 +0000)]
added ieee754 exact flag which allows more cases to be optimized

[r15334]

16 years agoadd IJmp instruction
Michael Beck [Wed, 25 Jul 2007 12:14:25 +0000 (12:14 +0000)]
add IJmp instruction

[r15330]

16 years agoemit new block labels
Michael Beck [Wed, 25 Jul 2007 12:14:04 +0000 (12:14 +0000)]
emit new block labels

[r15329]

16 years agorenamed function to be_gas_label_prefix()
Michael Beck [Wed, 25 Jul 2007 12:13:30 +0000 (12:13 +0000)]
renamed function to be_gas_label_prefix()

[r15328]

16 years agoadd 2.0*x = x+x and x/c = x*(1.0/c) for some constants
Michael Beck [Tue, 24 Jul 2007 16:57:29 +0000 (16:57 +0000)]
add 2.0*x = x+x and x/c = x*(1.0/c) for some constants

[r15327]

16 years agotarval_ieee754_set_immediate_precision(), tarval_enable_fp_ops() added
Michael Beck [Tue, 24 Jul 2007 16:56:34 +0000 (16:56 +0000)]
tarval_ieee754_set_immediate_precision(), tarval_enable_fp_ops() added

[r15326]

16 years agomore cleanup; non-functioning fc_set_immediate_precision() added
Michael Beck [Tue, 24 Jul 2007 16:55:39 +0000 (16:55 +0000)]
more cleanup; non-functioning fc_set_immediate_precision() added

[r15325]

16 years agomark labelled blocks as non-empty, preventing them to be removed
Michael Beck [Tue, 24 Jul 2007 16:54:10 +0000 (16:54 +0000)]
mark labelled blocks as non-empty, preventing them to be removed

[r15324]

16 years agodon't assume mode_X nodes have only one successor, use the calculated number
Michael Beck [Tue, 24 Jul 2007 16:53:24 +0000 (16:53 +0000)]
don't assume mode_X nodes have only one successor, use the calculated number

[r15323]

16 years agodon't keep IJmps, not needed anymore
Michael Beck [Tue, 24 Jul 2007 16:52:07 +0000 (16:52 +0000)]
don't keep IJmps, not needed anymore

[r15322]

16 years agodump the block label
Michael Beck [Tue, 24 Jul 2007 16:51:35 +0000 (16:51 +0000)]
dump the block label

[r15321]

16 years agoadd support for symconst_label
Michael Beck [Tue, 24 Jul 2007 15:43:49 +0000 (15:43 +0000)]
add support for symconst_label

[r15318]

16 years agoindentation fixed
Michael Beck [Tue, 24 Jul 2007 15:43:26 +0000 (15:43 +0000)]
indentation fixed

[r15317]

16 years agoadd label attribute to blocks, ir_prog
Michael Beck [Tue, 24 Jul 2007 15:42:58 +0000 (15:42 +0000)]
add label attribute to blocks, ir_prog

[r15316]

16 years agoadd symconst_label
Michael Beck [Tue, 24 Jul 2007 15:42:19 +0000 (15:42 +0000)]
add symconst_label

[r15315]

16 years ago add symconst_label, node constructors have pin state
Michael Beck [Tue, 24 Jul 2007 15:41:54 +0000 (15:41 +0000)]
 add symconst_label, node constructors have pin state

[r15314]

16 years agoadd symconst_label
Michael Beck [Tue, 24 Jul 2007 15:41:12 +0000 (15:41 +0000)]
add symconst_label

[r15313]

16 years agoadd symconst_label
Michael Beck [Tue, 24 Jul 2007 15:40:46 +0000 (15:40 +0000)]
add symconst_label

[r15312]

16 years agoadd prototype for get_irp_next_label_nr()
Michael Beck [Tue, 24 Jul 2007 15:39:46 +0000 (15:39 +0000)]
add prototype for get_irp_next_label_nr()

[r15311]

16 years agostart label number with 1, reserve the 0
Michael Beck [Tue, 24 Jul 2007 15:39:15 +0000 (15:39 +0000)]
start label number with 1, reserve the 0

[r15310]

16 years agoAdded Test Program which breaks backend
Andreas Schösser [Tue, 24 Jul 2007 14:51:25 +0000 (14:51 +0000)]
Added Test Program which breaks backend

[r15309]

16 years agoget_irp_next_label_nr() added
Michael Beck [Tue, 24 Jul 2007 14:06:57 +0000 (14:06 +0000)]
get_irp_next_label_nr() added

[r15308]

16 years agoir_label_t added
Michael Beck [Tue, 24 Jul 2007 14:02:59 +0000 (14:02 +0000)]
ir_label_t added

[r15307]

16 years agosc_div() returns non-zero if divide without remainder
Michael Beck [Mon, 23 Jul 2007 22:03:47 +0000 (22:03 +0000)]
sc_div() returns non-zero if divide without remainder

[r15301]

16 years agofehler50
Matthias Braun [Mon, 23 Jul 2007 19:09:55 +0000 (19:09 +0000)]
fehler50

[r15300]

16 years agoFS_OPT_FP_INV_MUL added
Michael Beck [Mon, 23 Jul 2007 16:48:15 +0000 (16:48 +0000)]
FS_OPT_FP_INV_MUL added

[r15297]

16 years agoyou can store mode_b now
Matthias Braun [Mon, 23 Jul 2007 16:45:06 +0000 (16:45 +0000)]
you can store mode_b now

[r15296]

16 years agowarning fix
Matthias Braun [Mon, 23 Jul 2007 16:43:31 +0000 (16:43 +0000)]
warning fix

[r15295]

16 years ago(crude) support for non 32-bit modes in cmp
Matthias Braun [Mon, 23 Jul 2007 16:43:13 +0000 (16:43 +0000)]
(crude) support for non 32-bit modes in cmp

[r15294]

16 years agoAdded if for unreachable blocks
Sebastian Hack [Mon, 23 Jul 2007 14:29:36 +0000 (14:29 +0000)]
Added if for unreachable blocks

[r15292]

16 years agoCleaned up the tarval handling:
Michael Beck [Mon, 23 Jul 2007 12:35:56 +0000 (12:35 +0000)]
Cleaned up the tarval handling:
- removed the *_calc functions
- simplified floating point handling
- renamed functions

[r15291]

16 years agodoxygen comment fixed
Michael Beck [Mon, 23 Jul 2007 12:31:03 +0000 (12:31 +0000)]
doxygen comment fixed

[r15290]

16 years agomissing FIRM_ENABLE_HOOKS
Matthias Braun [Fri, 20 Jul 2007 21:19:12 +0000 (21:19 +0000)]
missing FIRM_ENABLE_HOOKS

[r15284]

16 years agomore missing includes
Matthias Braun [Fri, 20 Jul 2007 21:08:46 +0000 (21:08 +0000)]
more missing includes

[r15283]

16 years agomore missing includes
Matthias Braun [Fri, 20 Jul 2007 20:55:46 +0000 (20:55 +0000)]
more missing includes

[r15281]

16 years agoadd missing includes, makefile updates
Matthias Braun [Fri, 20 Jul 2007 20:05:30 +0000 (20:05 +0000)]
add missing includes, makefile updates

[r15280]

16 years agonew way to generate firm_config.h
Matthias Braun [Fri, 20 Jul 2007 16:55:42 +0000 (16:55 +0000)]
new way to generate firm_config.h

[r15278]

16 years agomore automake fixes
Matthias Braun [Fri, 20 Jul 2007 16:28:07 +0000 (16:28 +0000)]
more automake fixes

[r15277]

16 years agotypo fix
Matthias Braun [Fri, 20 Jul 2007 16:27:32 +0000 (16:27 +0000)]
typo fix

[r15276]

16 years agoautomake updates, set version number from configure script
Matthias Braun [Fri, 20 Jul 2007 16:20:43 +0000 (16:20 +0000)]
automake updates, set version number from configure script

[r15275]

16 years agoMakefile updates
Matthias Braun [Fri, 20 Jul 2007 14:59:39 +0000 (14:59 +0000)]
Makefile updates

[r15274]

16 years agoImplement constant folding for Psib.
Christoph Mallon [Thu, 19 Jul 2007 19:58:29 +0000 (19:58 +0000)]
Implement constant folding for Psib.

[r15270]

16 years agodon't display outedge warnings for blocks
Matthias Braun [Thu, 19 Jul 2007 19:26:19 +0000 (19:26 +0000)]
don't display outedge warnings for blocks

[r15269]

16 years agofix mode_arithmetic return
Matthias Braun [Thu, 19 Jul 2007 19:06:36 +0000 (19:06 +0000)]
fix mode_arithmetic return

[r15268]

16 years agofix outedge verififer
Matthias Braun [Thu, 19 Jul 2007 17:06:56 +0000 (17:06 +0000)]
fix outedge verififer

[r15265]

16 years agomore asserts
Matthias Braun [Thu, 19 Jul 2007 17:06:39 +0000 (17:06 +0000)]
more asserts

[r15264]