libfirm
11 years agofix some missing register constraints
Matthias Braun [Sun, 30 Sep 2012 15:23:56 +0000 (17:23 +0200)]
fix some missing register constraints

11 years agoSet an input requirement for be_Spill, be_Reload frame input
Matthias Braun [Thu, 27 Sep 2012 17:11:49 +0000 (19:11 +0200)]
Set an input requirement for be_Spill, be_Reload frame input

(It was set to NULL in the past to support the STA-architecture, but
 that backend is not maintained anymore)

11 years agoshare common phi code, fix missing phi input reqs
Matthias Braun [Thu, 27 Sep 2012 17:10:46 +0000 (19:10 +0200)]
share common phi code, fix missing phi input reqs

11 years agoremove unnecessary options from beprefalloc
Matthias Braun [Mon, 3 Sep 2012 14:50:34 +0000 (16:50 +0200)]
remove unnecessary options from beprefalloc

They were used to selectively disable parts of the algorithm for
measurements in the paper. We now know that we always want them switched
on so remove the switches to simplify the code.

11 years agochange arch_XXX_out functions to use unsigned for pos
Matthias Braun [Mon, 3 Sep 2012 14:10:46 +0000 (16:10 +0200)]
change arch_XXX_out functions to use unsigned for pos

11 years agofix some memory leaks in beprefalloc
Matthias Braun [Mon, 29 Oct 2012 12:52:04 +0000 (13:52 +0100)]
fix some memory leaks in beprefalloc

11 years agodeallocate all datastructures when freeing a graph
Matthias Braun [Mon, 29 Oct 2012 12:51:57 +0000 (13:51 +0100)]
deallocate all datastructures when freeing a graph

11 years agomake remove_irp_irg API private
Matthias Braun [Mon, 29 Oct 2012 12:48:22 +0000 (13:48 +0100)]
make remove_irp_irg API private

Because otherwise we confuse users with free_ir_graph vs.
remove_irp_irg. Change it so that free_ir_graph also removes the graph
from the irp list.

11 years agoremove obsolete comment
Matthias Braun [Mon, 1 Oct 2012 14:58:49 +0000 (16:58 +0200)]
remove obsolete comment

11 years agoFix warnings.
Christoph Mallon [Sat, 27 Oct 2012 08:21:56 +0000 (10:21 +0200)]
Fix warnings.

Make function definitions prototype declarations.

11 years agoremoved old divmod handling
Christian Helmer [Fri, 26 Oct 2012 11:07:13 +0000 (13:07 +0200)]
removed old divmod handling

11 years agoremoved unimplemented extension
Christian Helmer [Thu, 4 Oct 2012 13:28:11 +0000 (15:28 +0200)]
removed unimplemented extension

11 years agofixed processing of mode_T nodes
Christian Helmer [Fri, 28 Sep 2012 14:38:12 +0000 (16:38 +0200)]
fixed processing of mode_T nodes

11 years agoStores also handled, optimize_node option implemented
Christian Helmer [Wed, 26 Sep 2012 20:32:24 +0000 (22:32 +0200)]
Stores also handled, optimize_node option implemented

11 years agodivmod handling broken and preliminary removed
Christian Helmer [Fri, 14 Sep 2012 16:21:29 +0000 (18:21 +0200)]
divmod handling broken and preliminary removed

11 years agoremoved unnecessary declarations
Christian Helmer [Fri, 14 Sep 2012 14:00:40 +0000 (16:00 +0200)]
removed unnecessary declarations

11 years agoclean up and comments
Christian Helmer [Fri, 14 Sep 2012 12:31:50 +0000 (14:31 +0200)]
clean up and comments

11 years agocleanup, constants fixed
Christian Helmer [Fri, 24 Aug 2012 14:51:34 +0000 (16:51 +0200)]
cleanup, constants fixed

11 years agofixed loads
Christian Helmer [Thu, 23 Aug 2012 18:43:03 +0000 (20:43 +0200)]
fixed loads

11 years agoused the same anti-leader to leader transfer in greedy check
Christian Helmer [Fri, 17 Aug 2012 15:38:19 +0000 (17:38 +0200)]
used the same anti-leader to leader transfer in greedy check

11 years agoprobably fixed loads, changed greedy condition
Christian Helmer [Wed, 15 Aug 2012 16:24:39 +0000 (18:24 +0200)]
probably fixed loads, changed greedy condition

11 years agoFixed high hoisting, additional comments, correct debug levels
Christian Helmer [Fri, 10 Aug 2012 14:27:12 +0000 (16:27 +0200)]
Fixed high hoisting, additional comments, correct debug levels

11 years agohoist high generates new node
Christian Helmer [Fri, 10 Aug 2012 09:31:04 +0000 (11:31 +0200)]
hoist high generates new node

11 years agomaybe fixed error where nontranslated expression needed to be translated during insert
Christian Helmer [Mon, 6 Aug 2012 16:32:24 +0000 (18:32 +0200)]
maybe fixed error where nontranslated expression needed to be translated during insert

11 years agoGVN fixes
Christian Helmer [Tue, 31 Jul 2012 15:33:38 +0000 (17:33 +0200)]
GVN fixes

11 years agofixed leader problem
Christian Helmer [Fri, 27 Jul 2012 13:17:44 +0000 (15:17 +0200)]
fixed leader problem

11 years agoreverted antic_in
Christian Helmer [Wed, 25 Jul 2012 15:43:58 +0000 (17:43 +0200)]
reverted antic_in

11 years agobetter available constant handling
Christian Helmer [Fri, 20 Jul 2012 16:26:25 +0000 (18:26 +0200)]
better available constant handling

11 years agoDifferent management of antic sets.
Christian Helmer [Thu, 19 Jul 2012 17:00:31 +0000 (19:00 +0200)]
Different management of antic sets.

11 years agoAdded link field for arbitrary data to ir_valueset elements.
Christian Helmer [Thu, 19 Jul 2012 16:56:38 +0000 (18:56 +0200)]
Added link field for arbitrary data to ir_valueset elements.

11 years agoimplemented true GVN
Christian Helmer [Wed, 18 Jul 2012 15:17:32 +0000 (17:17 +0200)]
implemented true GVN

11 years agofixed bug where projections ended up in the wrong blocks
Christian Helmer [Fri, 25 May 2012 14:01:49 +0000 (16:01 +0200)]
fixed bug where projections ended up in the wrong blocks

11 years agoswitch_lowerer: cast to backend specified Switch mode
Matthias Braun [Thu, 25 Oct 2012 18:49:56 +0000 (20:49 +0200)]
switch_lowerer: cast to backend specified Switch mode

This should fix all cases of 64bit switches

11 years agoremove no-out_of_bounds option from lower_switch
Matthias Braun [Thu, 25 Oct 2012 18:16:28 +0000 (20:16 +0200)]
remove no-out_of_bounds option from lower_switch

noone was using it anyway

11 years agochange lower_switch to work on tarvals instead of int
Matthias Braun [Thu, 25 Oct 2012 17:09:40 +0000 (19:09 +0200)]
change lower_switch to work on tarvals instead of int

11 years agoSwitch nodes may have dw inputs, without outputs
Matthias Braun [Wed, 24 Oct 2012 16:43:03 +0000 (18:43 +0200)]
Switch nodes may have dw inputs, without outputs

switch with double-word input leads to panic, but still better than
obscure verifier errors.

11 years agoavoid -pedantic warning
Matthias Braun [Wed, 24 Oct 2012 16:21:24 +0000 (18:21 +0200)]
avoid -pedantic warning

11 years agomake statev API public
Matthias Braun [Sun, 14 Oct 2012 20:06:30 +0000 (22:06 +0200)]
make statev API public

11 years agoremove irg_phase_state, use IR_GRAPH_CONSTRAINT instead
Matthias Braun [Mon, 1 Oct 2012 14:51:40 +0000 (16:51 +0200)]
remove irg_phase_state, use IR_GRAPH_CONSTRAINT instead

11 years agoirverify: remove load/store from entity verification
Matthias Braun [Mon, 1 Oct 2012 14:25:39 +0000 (16:25 +0200)]
irverify: remove load/store from entity verification

It was only a valid check in strongly typed unoptimized languages, not
much value in a firm-graph.

11 years agolocalopt stuff for const-code irg
Matthias Braun [Sun, 14 Oct 2012 20:07:02 +0000 (22:07 +0200)]
localopt stuff for const-code irg

11 years agorework timer API
Matthias Braun [Sun, 14 Oct 2012 20:06:03 +0000 (22:06 +0200)]
rework timer API

11 years agomove get_irn_edge_kind to internal API
Matthias Braun [Sun, 14 Oct 2012 14:55:12 +0000 (16:55 +0200)]
move get_irn_edge_kind to internal API

11 years agoreorgranize method properties
Matthias Braun [Tue, 25 Sep 2012 13:17:03 +0000 (15:17 +0200)]
reorgranize method properties

- do not record properties on irgs anymore, always do it on the irgs
  entity; entity properties have to be a superset of the entities method
  type properties.
- Remove special irg_inline_property and use mtp_additional_properties
  instead

11 years agoalways dump additional method props
Matthias Braun [Tue, 25 Sep 2012 10:57:26 +0000 (12:57 +0200)]
always dump additional method props

11 years agoopt_funccall: cleanup, use C99
Matthias Braun [Tue, 25 Sep 2012 10:09:41 +0000 (12:09 +0200)]
opt_funccall: cleanup, use C99

Also removes some debugging output to simplify the code

11 years agoopt_funccall: remove outdated/unused OO optimisations
Matthias Braun [Tue, 25 Sep 2012 08:56:10 +0000 (10:56 +0200)]
opt_funccall: remove outdated/unused OO optimisations

11 years agoia32: cleanup handling of 8/16bit operations
Matthias Braun [Tue, 25 Sep 2012 08:54:44 +0000 (10:54 +0200)]
ia32: cleanup handling of 8/16bit operations

This also fixes backend/sign_bit.c

11 years agofix a bunch of warnings reported by clang analyzer
Matthias Braun [Fri, 21 Sep 2012 11:54:25 +0000 (13:54 +0200)]
fix a bunch of warnings reported by clang analyzer

11 years agoadd some missing cases for copy_const_value
Matthias Braun [Sun, 14 Oct 2012 20:22:22 +0000 (22:22 +0200)]
add some missing cases for copy_const_value

11 years agofix comdat emitting on macho
Matthias Braun [Fri, 21 Sep 2012 11:38:25 +0000 (13:38 +0200)]
fix comdat emitting on macho

11 years agoRemove unused map_Abs().
Christoph Mallon [Wed, 24 Oct 2012 05:23:06 +0000 (07:23 +0200)]
Remove unused map_Abs().

11 years agoRemove duplicate macro.
Christoph Mallon [Wed, 24 Oct 2012 05:15:27 +0000 (07:15 +0200)]
Remove duplicate macro.

11 years agoDon't set copy_attr_func to NULL for nodes without attributes.
Julian Oppermann [Tue, 23 Oct 2012 13:27:17 +0000 (15:27 +0200)]
Don't set copy_attr_func to NULL for nodes without attributes.

11 years agoProperly specify alternate AM in the ia32_IJmp emit clause.
Christoph Mallon [Mon, 22 Oct 2012 19:14:42 +0000 (21:14 +0200)]
Properly specify alternate AM in the ia32_IJmp emit clause.

When hard-coding the *, invalid assembler gets emitted if an immediate ends up as ia32_IJmp operand.

11 years agoPerform switch lowering before double-word lowering.
Sebastian Buchwald [Fri, 19 Oct 2012 12:30:13 +0000 (14:30 +0200)]
Perform switch lowering before double-word lowering.

This fixes gcc/pr37285.c.

11 years agoUpdate documentation.
Christoph Mallon [Thu, 18 Oct 2012 07:10:47 +0000 (09:10 +0200)]
Update documentation.

11 years agoFix doc typo.
Andreas Seltenreich [Mon, 15 Oct 2012 09:43:58 +0000 (11:43 +0200)]
Fix doc typo.

11 years agoExtended public backend API.
Manuel Mohr [Fri, 14 Sep 2012 15:05:34 +0000 (17:05 +0200)]
Extended public backend API.

Added some additional functions that allow direct access to some fields
of the backend params struct.  These functions avoid struct type,
thereby making interfacing with the jFirm library easier.

11 years agoFixed some typos.
Manuel Mohr [Fri, 14 Sep 2012 11:25:09 +0000 (13:25 +0200)]
Fixed some typos.

11 years agoFixed lowering of calls with compound returns.
Manuel Mohr [Fri, 14 Sep 2012 11:15:26 +0000 (13:15 +0200)]
Fixed lowering of calls with compound returns.

Reusing the same dummy struct as a hidden parameter for multiple
calls is not always correct (see opt/structcall2.c for an example).
For now, just use multiple dummy structs.

11 years agochanged the dump format to match the cplex lp format
Sebastian Hack [Thu, 13 Sep 2012 11:56:41 +0000 (13:56 +0200)]
changed the dump format to match the cplex lp format

11 years agosparc: use 128bit long double even for softfloat
Matthias Braun [Thu, 13 Sep 2012 10:02:52 +0000 (12:02 +0200)]
sparc: use 128bit long double even for softfloat

We can't handle 128bit long double in softfloat yet, but most libraries
are compiled like this. It's better to have the compiler fail than to
produce code with a mismatching ABI in the default setting.

11 years agobeverify: simplify by using C99
Matthias Braun [Mon, 3 Sep 2012 08:12:22 +0000 (10:12 +0200)]
beverify: simplify by using C99

Conflicts:
ir/be/beverify.c

11 years agoFixed typo.
Sebastian Buchwald [Wed, 12 Sep 2012 11:52:09 +0000 (13:52 +0200)]
Fixed typo.

11 years agoRevert "Prevent SSA construction from running into endless loops."
Sebastian Buchwald [Tue, 11 Sep 2012 17:00:40 +0000 (19:00 +0200)]
Revert "Prevent SSA construction from running into endless loops."

This reverts commit 2a018b8111bd0596816c1d00c38a0024857753f7.

Unreachable loops always have a loop entry edge and thus a Phi node.

11 years agoDump immature blocks in ird_color_error (red) again.
Christoph Mallon [Tue, 11 Sep 2012 08:48:19 +0000 (10:48 +0200)]
Dump immature blocks in ird_color_error (red) again.

Both mature and immature blocks were dumped in ird_color_block_background.

11 years agoRemove redundant get_Block_matured() check before calling mature_immBlock().
Christoph Mallon [Tue, 11 Sep 2012 08:45:42 +0000 (10:45 +0200)]
Remove redundant get_Block_matured() check before calling mature_immBlock().

11 years agoRemove the unused facility to register space /in front of/ a node.
Christoph Mallon [Mon, 10 Sep 2012 18:05:11 +0000 (20:05 +0200)]
Remove the unused facility to register space /in front of/ a node.

11 years agofurther corrections for the keepalive hack
Matthias Braun [Fri, 31 Aug 2012 12:50:02 +0000 (14:50 +0200)]
further corrections for the keepalive hack

11 years agosparc: be more conservative when moving memops around
Matthias Braun [Fri, 31 Aug 2012 11:33:07 +0000 (13:33 +0200)]
sparc: be more conservative when moving memops around

11 years agoSimplify rounding next_block_nr.
Christoph Mallon [Fri, 31 Aug 2012 10:41:07 +0000 (12:41 +0200)]
Simplify rounding next_block_nr.

11 years agoSkip the check whether ifconv is allowed, if both phi operands are identical.
Christoph Mallon [Fri, 31 Aug 2012 08:28:56 +0000 (10:28 +0200)]
Skip the check whether ifconv is allowed, if both phi operands are identical.

In particular this allows ifconv when a PhiM is present, but nothing happens with the memory on the two paths.

11 years agoworkaround for placement of nodes held only by keepalive edge
Matthias Braun [Thu, 30 Aug 2012 11:46:45 +0000 (13:46 +0200)]
workaround for placement of nodes held only by keepalive edge

This is a workaround for keepalive edges which are probably broken
(adding the stuff to the End node is wrong, it should get added to the
 endless loop somehow)

11 years agoset load/store to floating if ptr is never NULL
Matthias Braun [Wed, 29 Aug 2012 16:41:58 +0000 (18:41 +0200)]
set load/store to floating if ptr is never NULL

11 years agoimprove value_not_zero
Matthias Braun [Wed, 29 Aug 2012 16:41:21 +0000 (18:41 +0200)]
improve value_not_zero

SymConst_addr_ent are never zero for example, also there's no need to
give up after seeing a confirm

11 years agomake block numbers accross functions more deterministic
Matthias Braun [Thu, 30 Aug 2012 11:46:38 +0000 (13:46 +0200)]
make block numbers accross functions more deterministic

I aligning them to a multiple of 100 now, so that when code generated in
an earlier functions only changes lightly it is very likely that the
block numbers in later functions stay the same.

11 years agofix crash
Matthias Braun [Wed, 29 Aug 2012 14:18:33 +0000 (16:18 +0200)]
fix crash

11 years agocode_placement: use iredges, respect dep. edges
Matthias Braun [Wed, 29 Aug 2012 13:56:52 +0000 (15:56 +0200)]
code_placement: use iredges, respect dep. edges

11 years agoldstopt: don't count keepalives as users
Matthias Braun [Wed, 29 Aug 2012 11:46:56 +0000 (13:46 +0200)]
ldstopt: don't count keepalives as users

11 years agocleanup irouts
Matthias Braun [Tue, 28 Aug 2012 19:02:12 +0000 (21:02 +0200)]
cleanup irouts

11 years agoimprove tarval printer
Matthias Braun [Tue, 28 Aug 2012 18:12:33 +0000 (20:12 +0200)]
improve tarval printer

11 years agoremove now unused get_irn_outs_computed()
Matthias Braun [Tue, 28 Aug 2012 12:44:52 +0000 (14:44 +0200)]
remove now unused get_irn_outs_computed()

11 years agoremove unused NEW_REASSOC code
Matthias Braun [Tue, 28 Aug 2012 12:43:56 +0000 (14:43 +0200)]
remove unused NEW_REASSOC code

11 years agoremove pointless compute_irp_outs()/free_irp_outs()
Matthias Braun [Tue, 28 Aug 2012 12:36:08 +0000 (14:36 +0200)]
remove pointless compute_irp_outs()/free_irp_outs()

11 years agoremove unused+fragile NULL_OBST
Matthias Braun [Tue, 28 Aug 2012 12:29:34 +0000 (14:29 +0200)]
remove unused+fragile NULL_OBST

11 years agomove load mode shrinking into ldst phase
Matthias Braun [Mon, 27 Aug 2012 12:50:17 +0000 (14:50 +0200)]
move load mode shrinking into ldst phase

Performing it as localopt was hairy as the optimisation dependet on
correct iredges values which were misleading/wrong during construction
of new stuff.

11 years agoia32_transform: remove unused SETCC_TR_SBB
Matthias Braun [Sun, 26 Aug 2012 08:46:10 +0000 (10:46 +0200)]
ia32_transform: remove unused SETCC_TR_SBB

11 years agoshow optimisation warnings in ia32 conv/conv opts
Matthias Braun [Fri, 24 Aug 2012 17:03:54 +0000 (19:03 +0200)]
show optimisation warnings in ia32 conv/conv opts

The middleend should optimize all these cases, it does so for 99% of
them already. There are just some cases where ands get transformed into
conversions which the middleend doesn't catch yet.

11 years agoshrink load mode if not all bits are used
Matthias Braun [Fri, 24 Aug 2012 16:51:21 +0000 (18:51 +0200)]
shrink load mode if not all bits are used

11 years agofactorize upper_bits_clean and use in sparc+ia32
Matthias Braun [Fri, 24 Aug 2012 16:49:53 +0000 (18:49 +0200)]
factorize upper_bits_clean and use in sparc+ia32

This needed some rewriting as ia32 previously checked already
transformed nodes while sparc was checking nodes before transformation.
Change ia32 to check nodes before transformation too. Also improved some
code in sparc+ia32.

11 years agoirop: add more generic function callbacks
Matthias Braun [Mon, 27 Aug 2012 11:41:15 +0000 (13:41 +0200)]
irop: add more generic function callbacks

11 years agotarval: shift variants with unsigned right operand
Matthias Braun [Fri, 24 Aug 2012 15:44:09 +0000 (17:44 +0200)]
tarval: shift variants with unsigned right operand

11 years agoia32: skip downconvs in front of Store
Matthias Braun [Thu, 23 Aug 2012 12:04:55 +0000 (14:04 +0200)]
ia32: skip downconvs in front of Store

11 years agoadd more Conv(Conv) localopt rules
Matthias Braun [Wed, 22 Aug 2012 14:41:09 +0000 (16:41 +0200)]
add more Conv(Conv) localopt rules

11 years agofix some problems in ia32_intrinsice/map_Conv
Matthias Braun [Thu, 23 Aug 2012 11:34:18 +0000 (13:34 +0200)]
fix some problems in ia32_intrinsice/map_Conv

11 years agouse confirm_irg_properties in lower_intrinsics
Matthias Braun [Thu, 23 Aug 2012 09:02:26 +0000 (11:02 +0200)]
use confirm_irg_properties in lower_intrinsics

11 years agoexecfreq calculation fails in case of unreachable code
Matthias Braun [Thu, 23 Aug 2012 09:02:12 +0000 (11:02 +0200)]
execfreq calculation fails in case of unreachable code

11 years agoput execfreq in block-attrs instead of hashmap
Matthias Braun [Thu, 23 Aug 2012 09:00:58 +0000 (11:00 +0200)]
put execfreq in block-attrs instead of hashmap

The hashmap used to point to blocks which have already been deleted.

11 years agoremove unnecessary irma_unitialized
Matthias Braun [Wed, 22 Aug 2012 13:19:40 +0000 (15:19 +0200)]
remove unnecessary irma_unitialized