libfirm
18 years agotypo fixed
Michael Beck [Wed, 6 Jul 2005 16:38:53 +0000 (16:38 +0000)]
typo fixed

[r6199]

18 years agodoxygen docu fixed
Michael Beck [Wed, 6 Jul 2005 16:29:49 +0000 (16:29 +0000)]
doxygen docu fixed

[r6198]

18 years agotypo fixed
Michael Beck [Wed, 6 Jul 2005 16:28:38 +0000 (16:28 +0000)]
typo fixed

[r6197]

18 years agodoxygen docu fixed
Michael Beck [Wed, 6 Jul 2005 16:27:06 +0000 (16:27 +0000)]
doxygen docu fixed
fixed assertion text

[r6196]

18 years agodoxygen docu fixed
Michael Beck [Wed, 6 Jul 2005 16:24:46 +0000 (16:24 +0000)]
doxygen docu fixed

[r6195]

18 years agofixed doxygen docu
Michael Beck [Wed, 6 Jul 2005 16:20:55 +0000 (16:20 +0000)]
fixed doxygen docu

[r6194]

18 years agofixed doxygen docu
Michael Beck [Wed, 6 Jul 2005 15:36:47 +0000 (15:36 +0000)]
fixed doxygen docu

[r6192]

18 years agofixed doxygen docfixed doxygen docu
Michael Beck [Wed, 6 Jul 2005 15:34:20 +0000 (15:34 +0000)]
fixed doxygen docfixed doxygen docu

[r6191]

18 years agofixed doxygen comments
Michael Beck [Wed, 6 Jul 2005 15:27:27 +0000 (15:27 +0000)]
fixed doxygen comments

[r6190]

18 years agofixed undefined var
FIRM Projekt Account [Wed, 6 Jul 2005 14:28:53 +0000 (14:28 +0000)]
fixed undefined var

[r6189]

18 years agoVCG-files changed due to new dumper:
FIRM Projekt Account [Wed, 6 Jul 2005 14:28:31 +0000 (14:28 +0000)]
VCG-files changed due to new dumper:
- added Proj-names for most Proj nodes
- added proj-numbers to private info
- added debug info clas

[r6188]

18 years agohandle now all Proj-numbers of Proj nodes
Michael Beck [Wed, 6 Jul 2005 10:40:28 +0000 (10:40 +0000)]
handle now all Proj-numbers of Proj nodes

[r6187]

18 years agoPrivate attributes now include the Proj number
Michael Beck [Wed, 6 Jul 2005 10:39:44 +0000 (10:39 +0000)]
Private attributes now include the Proj number

[r6186]

19 years agofixed an obvious bug
Rubino Geiß [Tue, 5 Jul 2005 08:22:05 +0000 (08:22 +0000)]
fixed an obvious bug

[r6183]

19 years agocalled hook for all modes
Michael Beck [Mon, 4 Jul 2005 15:59:30 +0000 (15:59 +0000)]
called hook for all modes

[r6180]

19 years agoFixed optimization of Div/Mod/DivMod nodes
Michael Beck [Mon, 4 Jul 2005 14:28:02 +0000 (14:28 +0000)]
Fixed optimization of Div/Mod/DivMod nodes

[r6179]

19 years agoadded debug info dumping
Michael Beck [Mon, 4 Jul 2005 14:26:49 +0000 (14:26 +0000)]
added debug info dumping
added more descritive names for some Proj nodes

[r6178]

19 years agoadded function for convertion debug info
Michael Beck [Mon, 4 Jul 2005 13:55:50 +0000 (13:55 +0000)]
added function for convertion debug info
into human readable strings

[r6177]

19 years agodoxygen docu fixed
Michael Beck [Mon, 4 Jul 2005 09:33:39 +0000 (09:33 +0000)]
doxygen docu fixed

[r6171]

19 years agoadded new check routines
Götz Lindenmaier [Fri, 1 Jul 2005 14:17:39 +0000 (14:17 +0000)]
added new check routines
bugfix after michael added a useful assertion in get_Cast_op

[r6170]

19 years agoBugFix: List heads must be cleared in every edges_active(), because if may be
Michael Beck [Fri, 1 Jul 2005 12:41:11 +0000 (12:41 +0000)]
BugFix: List heads must be cleared in every edges_active(), because if may be
called after an edges_deactivate() which would leave not-initialised list heads

[r6169]

19 years agoadded %i and %u modifier to ir_printf
Michael Beck [Fri, 1 Jul 2005 12:08:53 +0000 (12:08 +0000)]
added %i and %u modifier to ir_printf

[r6168]

19 years agoFixed bug with double deactivate
Sebastian Hack [Fri, 1 Jul 2005 11:42:22 +0000 (11:42 +0000)]
Fixed bug with double deactivate

[r6167]

19 years agofixed doxygen documentation
Michael Beck [Fri, 1 Jul 2005 09:18:15 +0000 (09:18 +0000)]
fixed doxygen documentation

[r6166]

19 years agofixed doxygen docu
Michael Beck [Fri, 1 Jul 2005 09:13:16 +0000 (09:13 +0000)]
fixed doxygen docu

[r6165]

19 years agotypo fixetypo fixed
Michael Beck [Fri, 1 Jul 2005 09:06:41 +0000 (09:06 +0000)]
typo fixetypo fixed

[r6164]

19 years agoremoved dead-node-elimination, so visited count is diifferent
FIRM Projekt Account [Fri, 1 Jul 2005 08:18:25 +0000 (08:18 +0000)]
removed dead-node-elimination, so visited count is diifferent

[r6163]

19 years agoremoved place_code() and dead_node_elim() to dump an
FIRM Projekt Account [Fri, 1 Jul 2005 08:17:19 +0000 (08:17 +0000)]
removed place_code() and dead_node_elim() to dump an
unpinned graph, like before

[r6162]

19 years agouse place_code() when global_CSE is activated
FIRM Projekt Account [Fri, 1 Jul 2005 08:12:07 +0000 (08:12 +0000)]
use place_code() when global_CSE is activated

[r6161]

19 years agoused new get_Block_cfgpred_block() function to get the right block
Michael Beck [Thu, 30 Jun 2005 13:25:28 +0000 (13:25 +0000)]
used new get_Block_cfgpred_block() function to get the right block

[r6158]

19 years agoadd verifyer for IJmp
Michael Beck [Thu, 30 Jun 2005 12:17:32 +0000 (12:17 +0000)]
add verifyer for IJmp

[r6156]

19 years agoget_IJmp_target() and set_IJmp_target() added
Michael Beck [Thu, 30 Jun 2005 12:10:53 +0000 (12:10 +0000)]
get_IJmp_target() and set_IJmp_target() added

[r6154]

19 years agocheck file handle, so it does not crash if the file could not be opened
Michael Beck [Thu, 30 Jun 2005 09:57:43 +0000 (09:57 +0000)]
check file handle, so it does not crash if the file could not be opened

[r6153]

19 years agostat_dump_snapshot() now takes phase parameter
Michael Beck [Thu, 30 Jun 2005 09:57:05 +0000 (09:57 +0000)]
stat_dump_snapshot() now takes phase parameter

[r6152]

19 years agobeware of 64bit constants, cannot be handled yet
Michael Beck [Thu, 30 Jun 2005 09:55:48 +0000 (09:55 +0000)]
beware of 64bit constants, cannot be handled yet

[r6151]

19 years agoadded assertion if reassociation() is called with nodes floating, we need precise...
Michael Beck [Thu, 30 Jun 2005 09:55:03 +0000 (09:55 +0000)]
added assertion if reassociation() is called with nodes floating, we need precise block info
to detect loop-invariant code

fixed typos

[r6150]

19 years agoadded debug code
Michael Beck [Thu, 30 Jun 2005 09:53:22 +0000 (09:53 +0000)]
added debug code
added triangle inequality to determine values
fixed confirm code (again)

[r6149]

19 years agodded assertion if ldstopt() is called with nodes floating, we need precise block...
Michael Beck [Thu, 30 Jun 2005 09:51:32 +0000 (09:51 +0000)]
dded assertion if ldstopt() is called with nodes floating, we need precise block info

[r6148]

19 years agoused is_Block_dead() instead of is_Bad()
Michael Beck [Thu, 30 Jun 2005 09:49:09 +0000 (09:49 +0000)]
used is_Block_dead() instead of is_Bad()
added assertion if cf_opt is called with nodes floating
handle IJmp nodes in keep-alives

[r6147]

19 years agochanged code placement so it can work in more environments:
Michael Beck [Thu, 30 Jun 2005 09:33:08 +0000 (09:33 +0000)]
changed code placement so it can work in more environments:
- added is_Block_unreachable() function which is used instead of is_Bad().
  This function used dominator information as well.
- used is_Block_dead() instead of is_Bad() in all cases
- in place_floats_early(): change the blcok of a node only if a
  non-dead block can be found
- calc_dca(): do not return dead blocks
- consumer_dom_dca(): ignore consumer in dead blocks
- use get_irn_n(*, -1) to get the initial block of a node

[r6144]

19 years ago- used new get_Block_cfgpred_block() function instead of get_nodes_block(get_Block_cf...
Michael Beck [Thu, 30 Jun 2005 09:24:59 +0000 (09:24 +0000)]
- used new get_Block_cfgpred_block() function instead of get_nodes_block(get_Block_cfgpred(n, 0))
- when getting a block from previous control flow, always skip Proj nodes
- equivalent_node_Add/Sub  check that the modes match before returning a predecessor
- use get_irn_n(*, -1) instead of get_nodes_block() to place a node into the same block as another one
- check that the graph is pinned before using block info for decisions
- removed nodes in dead blocks from keep-alive if possible

[r6143]

19 years agohandle Bad nodes input
Michael Beck [Thu, 30 Jun 2005 08:34:32 +0000 (08:34 +0000)]
handle Bad nodes input
add an assertion if the graph is not pinned, we need right block info
handle removement of self referencing Confirm

[r6142]

19 years agoadded documentation for %= and other modifyers
Michael Beck [Thu, 30 Jun 2005 08:29:50 +0000 (08:29 +0000)]
added documentation for %= and other modifyers

[r6141]

19 years agoadded comments documenting the new behavior of get_nodes_block().
Michael Beck [Thu, 30 Jun 2005 08:23:28 +0000 (08:23 +0000)]
added comments documenting the new behavior of get_nodes_block().
typos fixed

[r6140]

19 years agoadded an assertion to get_nodes_block() that fires
Michael Beck [Thu, 30 Jun 2005 08:22:02 +0000 (08:22 +0000)]
added an assertion to get_nodes_block() that fires
if this function is used on a floating node, as it would
return a potential wrong result.

Used get_irn_n(*, -1) in places where this is tolerable

[r6139]

19 years agoused get_irn_n(*, -1) instead of get_nodes_block() to access the block of
Michael Beck [Thu, 30 Jun 2005 08:16:37 +0000 (08:16 +0000)]
used get_irn_n(*, -1) instead of get_nodes_block() to access the block of
potential floating nodes
typos fixed

[r6138]

19 years agoused get_irn_n(*, -1) instead of get_nodes_block() to access
Michael Beck [Thu, 30 Jun 2005 08:15:06 +0000 (08:15 +0000)]
used get_irn_n(*, -1) instead of get_nodes_block() to access
the block of potential floating nodes.
check first if a nodes is floating before checking it's block

[r6137]

19 years agoadd constructors for the IJmp operation
Michael Beck [Thu, 30 Jun 2005 08:12:14 +0000 (08:12 +0000)]
add constructors for the IJmp operation

[r6136]

19 years agoadd constructors for IJmp
Michael Beck [Thu, 30 Jun 2005 08:05:14 +0000 (08:05 +0000)]
add constructors for IJmp

[r6135]

19 years agoadded IJmp opcode allowing an indirect jump to an arbitrary address
Michael Beck [Thu, 30 Jun 2005 08:03:05 +0000 (08:03 +0000)]
added IJmp opcode allowing an indirect jump to an arbitrary address

[r6134]

19 years agoadded %= for printing a pn_Cmp value
Michael Beck [Thu, 30 Jun 2005 07:59:11 +0000 (07:59 +0000)]
added %= for printing a pn_Cmp value
if a node is a Const, dump it's tarval
typos fixed

[r6133]

19 years agotypos fixed
Michael Beck [Thu, 30 Jun 2005 07:54:53 +0000 (07:54 +0000)]
typos fixed
used get_irn_op() instead of get_irn_opcode()
used get_irn_n(*, -1) instead of get_nodes_block(), so we
can use this optimization while nodes are floating

[r6132]

19 years agoBugFix: comparasion between two signed floats was wrong
Michael Beck [Wed, 29 Jun 2005 15:57:29 +0000 (15:57 +0000)]
BugFix: comparasion between two signed floats was wrong

[r6129]

19 years agoadded special case to fc_comp() to speed things up
Michael Beck [Tue, 28 Jun 2005 15:08:23 +0000 (15:08 +0000)]
added special case to fc_comp() to speed things up
removed old assert() in tarval_cmp() float case

[r6126]

19 years agoan accessor function returning predecessor blocks
Götz Lindenmaier [Mon, 27 Jun 2005 11:05:24 +0000 (11:05 +0000)]
an accessor function returning predecessor blocks

[r6123]

19 years agoBugFix: dead node elimination killed the Phi node in the old graph instead
Michael Beck [Mon, 27 Jun 2005 08:39:32 +0000 (08:39 +0000)]
BugFix: dead node elimination killed the Phi node in the old graph instead
in the new one

Code Placement: replaced get_nodes_block() calls by get_irn_n() to avoid
new assertion that checks block usage in floating graphs

[r6122]

19 years agoAdded block successor edges to the iredges module.
Sebastian Hack [Fri, 24 Jun 2005 11:11:47 +0000 (11:11 +0000)]
Added block successor edges to the iredges module.

[r6120]

19 years agoBugfix: missing ;
Michael Beck [Thu, 23 Jun 2005 14:36:50 +0000 (14:36 +0000)]
Bugfix: missing ;

[r6118]

19 years agoaccessor to check whether node currently is pinned.
Götz Lindenmaier [Thu, 23 Jun 2005 14:30:59 +0000 (14:30 +0000)]
accessor to check whether node currently is pinned.

[r6117]

19 years agoadded outs for array element types
Götz Lindenmaier [Thu, 23 Jun 2005 13:48:07 +0000 (13:48 +0000)]
added outs for array element types

[r6114]

19 years agoBugfix: pattern for "x + (a - x)" fixed
Michael Beck [Thu, 23 Jun 2005 09:21:04 +0000 (09:21 +0000)]
Bugfix: pattern for "x + (a - x)" fixed

[r6110]

19 years agofixed stupid conpy and paste error
Michael Beck [Wed, 22 Jun 2005 17:56:36 +0000 (17:56 +0000)]
fixed stupid conpy and paste error

[r6109]

19 years agoadded comment explaining #if 0 code
Michael Beck [Wed, 22 Jun 2005 17:21:47 +0000 (17:21 +0000)]
added comment explaining #if 0 code

[r6108]

19 years agoused faster get_mode_x() functions
Michael Beck [Wed, 22 Jun 2005 17:21:06 +0000 (17:21 +0000)]
used faster get_mode_x() functions
removed depth from debug macros (not supported by libfirm's irprintf())

[r6107]

19 years agorenamed DBG_OPT_POLY_ALLOC() to DBG_OPT_POLY(), as
Michael Beck [Wed, 22 Jun 2005 17:19:05 +0000 (17:19 +0000)]
renamed DBG_OPT_POLY_ALLOC() to DBG_OPT_POLY(), as
not in every case there is a check for an Alloc()

[r6106]

19 years agoFixed interval creation
Michael Beck [Wed, 22 Jun 2005 17:18:08 +0000 (17:18 +0000)]
Fixed interval creation
added debug function

[r6105]

19 years agofixed DBG_OPT_RAW() call
Michael Beck [Wed, 22 Jun 2005 17:16:53 +0000 (17:16 +0000)]
fixed DBG_OPT_RAW() call

[r6104]

19 years agoiropt_dbg.h include needed now
Michael Beck [Wed, 22 Jun 2005 17:15:56 +0000 (17:15 +0000)]
iropt_dbg.h include needed now

[r6103]

19 years agoadded new arithmetic optimization flags
Michael Beck [Wed, 22 Jun 2005 17:14:26 +0000 (17:14 +0000)]
added new arithmetic optimization flags
added (a - x) + x optimization
removed #if 0 code
used is_Bad()

[r6102]

19 years agoadded new flags for arithmetic optimizations
Michael Beck [Wed, 22 Jun 2005 17:12:31 +0000 (17:12 +0000)]
added new flags for arithmetic optimizations

[r6101]

19 years agoremoved debugging output
Michael Beck [Wed, 22 Jun 2005 17:09:13 +0000 (17:09 +0000)]
removed debugging output
used new get_negated_pnc()

[r6100]

19 years agoadded new flags for arithmetic simplifivations
Michael Beck [Wed, 22 Jun 2005 16:56:39 +0000 (16:56 +0000)]
added new flags for arithmetic simplifivations
added new dead block optimization flag

[r6099]

19 years agoadded new flags for arithmetic simplifications
Michael Beck [Wed, 22 Jun 2005 16:55:55 +0000 (16:55 +0000)]
added new flags for arithmetic simplifications

[r6098]

19 years agouses new flags for arithmetic simplifications
Michael Beck [Wed, 22 Jun 2005 16:55:25 +0000 (16:55 +0000)]
uses new flags for arithmetic simplifications

[r6097]

19 years agoadded doxygen comments
Michael Beck [Wed, 22 Jun 2005 16:54:25 +0000 (16:54 +0000)]
added doxygen comments
added additional option for algebraic simplifications

[r6096]

19 years agoadded option for dead block optimization
Michael Beck [Wed, 22 Jun 2005 16:53:21 +0000 (16:53 +0000)]
added option for dead block optimization

[r6095]

19 years agomade get_Block_cfgpred() and get_Block_n_cfgpreds() inline
Michael Beck [Wed, 22 Jun 2005 16:52:12 +0000 (16:52 +0000)]
made get_Block_cfgpred() and get_Block_n_cfgpreds() inline
get_negated_pnc() now used the mode to supress unordered bit
on modes that do not have them.

[r6094]

19 years agotypos fixed
Michael Beck [Wed, 22 Jun 2005 12:59:23 +0000 (12:59 +0000)]
typos fixed

[r6093]

19 years agotypos fixed
Michael Beck [Wed, 22 Jun 2005 11:21:25 +0000 (11:21 +0000)]
typos fixed
added doxygen comment

[r6092]

19 years agotypos fixed
Michael Beck [Wed, 22 Jun 2005 11:20:03 +0000 (11:20 +0000)]
typos fixed
removed old comment

[r6091]

19 years agotypo fixed
Michael Beck [Wed, 22 Jun 2005 09:34:11 +0000 (09:34 +0000)]
typo fixed

[r6090]

19 years agofixed file dump filter stuff
Götz Lindenmaier [Tue, 21 Jun 2005 18:13:02 +0000 (18:13 +0000)]
fixed file dump filter stuff

[r6086]

19 years agoConfirm: detect a replacement by a Const
Michael Beck [Tue, 21 Jun 2005 16:04:19 +0000 (16:04 +0000)]
Confirm: detect a replacement by a Const

[r6085]

19 years agomake opt_names more rebust, added more flags
Michael Beck [Tue, 21 Jun 2005 15:02:35 +0000 (15:02 +0000)]
make opt_names more rebust, added more flags

[r6082]

19 years agoadded more optiopns to hook_opt_kind regarding Confirm optimizations
Michael Beck [Tue, 21 Jun 2005 15:01:40 +0000 (15:01 +0000)]
added more optiopns to hook_opt_kind regarding Confirm optimizations

[r6081]

19 years agoused new DBG_OPT_CONFIRM macros
Michael Beck [Tue, 21 Jun 2005 15:00:40 +0000 (15:00 +0000)]
used new DBG_OPT_CONFIRM macros

[r6080]

19 years agoadded (a + x) - x = a optimization
Michael Beck [Tue, 21 Jun 2005 15:00:06 +0000 (15:00 +0000)]
added (a + x) - x = a optimization
new i/f for compute_value_confirm_cmp

[r6079]

19 years agofixed interval evaluation finally (hopefully last time)
Michael Beck [Tue, 21 Jun 2005 14:59:03 +0000 (14:59 +0000)]
fixed interval evaluation finally (hopefully last time)

[r6078]

19 years agodbg_opt_confirm added
Michael Beck [Tue, 21 Jun 2005 14:57:48 +0000 (14:57 +0000)]
dbg_opt_confirm added

[r6077]

19 years agoadded new macros for Confirm based optimization
Michael Beck [Tue, 21 Jun 2005 14:57:11 +0000 (14:57 +0000)]
added new macros for Confirm based optimization

[r6076]

19 years agomode_wrap_around() added
Michael Beck [Tue, 21 Jun 2005 14:08:28 +0000 (14:08 +0000)]
mode_wrap_around() added
CVS---------------------------------------------------------------------

[r6075]

19 years agotypos fixed
Michael Beck [Mon, 20 Jun 2005 17:11:33 +0000 (17:11 +0000)]
typos fixed

[r6074]

19 years agotypos fixed
Michael Beck [Mon, 20 Jun 2005 17:08:36 +0000 (17:08 +0000)]
typos fixed
indentation fixed

[r6073]

19 years agoBugFix: tarval_cmp(NaN, NaN) was wrongly evaluated to Eq, now is evaluated to Uo
Michael Beck [Mon, 20 Jun 2005 09:05:01 +0000 (09:05 +0000)]
BugFix: tarval_cmp(NaN, NaN) was wrongly evaluated to Eq, now is evaluated to Uo
as needed for IEEE-754

[r6072]

19 years agofixed typos
Michael Beck [Mon, 20 Jun 2005 09:03:25 +0000 (09:03 +0000)]
fixed typos
add some newlines to make it more readable

[r6071]

19 years agoadded doxygen docu
Michael Beck [Fri, 17 Jun 2005 17:43:52 +0000 (17:43 +0000)]
added doxygen docu

[r6070]

19 years agoadded doxygen docu
Michael Beck [Fri, 17 Jun 2005 17:42:32 +0000 (17:42 +0000)]
added doxygen docu
fixed (void) function headers

[r6069]

19 years agodump information for float constants
Michael Beck [Fri, 17 Jun 2005 17:40:11 +0000 (17:40 +0000)]
dump information for float constants
added new info string for Confirm based optimization

[r6068]

19 years agotypos fixed
Michael Beck [Fri, 17 Jun 2005 17:38:52 +0000 (17:38 +0000)]
typos fixed

[r6067]

19 years agoadded data for floating point constant statistics
Michael Beck [Fri, 17 Jun 2005 17:36:09 +0000 (17:36 +0000)]
added data for floating point constant statistics

[r6066]