libfirm
17 years agoimprove out edges verifier
Matthias Braun [Wed, 14 Feb 2007 12:50:42 +0000 (12:50 +0000)]
improve out edges verifier

17 years agofixed wrong usage of foreach_set macro
Christian Würdig [Wed, 14 Feb 2007 10:57:11 +0000 (10:57 +0000)]
fixed wrong usage of foreach_set macro

[r8646]

17 years agoadded missing function declaration
Christian Würdig [Wed, 14 Feb 2007 10:56:34 +0000 (10:56 +0000)]
added missing function declaration

[r8645]

17 years agouse be_kill_node when removing nodes
Christian Würdig [Wed, 14 Feb 2007 10:17:02 +0000 (10:17 +0000)]
use be_kill_node when removing nodes

17 years agowalk over block outs when killing dead nodes
Christian Würdig [Wed, 14 Feb 2007 10:16:34 +0000 (10:16 +0000)]
walk over block outs when killing dead nodes

17 years agokill also block input when killing node
Christian Würdig [Wed, 14 Feb 2007 10:16:15 +0000 (10:16 +0000)]
kill also block input when killing node

17 years agouse edge counter instead of recalculation for getting number of out-edges
Christian Würdig [Wed, 14 Feb 2007 10:15:28 +0000 (10:15 +0000)]
use edge counter instead of recalculation for getting number of out-edges

[r8644]

17 years agoextended edge verifier
Christian Würdig [Wed, 14 Feb 2007 10:14:49 +0000 (10:14 +0000)]
extended edge verifier

[r8643]

17 years agoBugFix: bitset_flip was broken
Christian Würdig [Wed, 14 Feb 2007 10:14:12 +0000 (10:14 +0000)]
BugFix: bitset_flip was broken

[r8642]

17 years ago- fixed edge verifier
Matthias Braun [Wed, 14 Feb 2007 08:26:26 +0000 (08:26 +0000)]
- fixed edge verifier
- removed commented out lines that indicated how stuff looked before the
   EDGE_SIZE change: No need to keep old code lying around like this we can
   chekout old cvs versions if we want to revert it

[r8641]

17 years ago"Edges private data" was broken. Added allocation of private data again and added...
Andreas Schösser [Tue, 13 Feb 2007 18:45:18 +0000 (18:45 +0000)]
"Edges private data" was broken. Added allocation of private data again and added function to reset the privat data of all known edges.

[r8640]

17 years agoadded foreach_set macro (behaves like foreach_pset)
Christian Würdig [Tue, 13 Feb 2007 18:21:00 +0000 (18:21 +0000)]
added foreach_set macro (behaves like foreach_pset)

[r8639]

17 years agoignore End as user when constructing SSA (it's a keep-alive edge)
Christian Würdig [Tue, 13 Feb 2007 18:05:31 +0000 (18:05 +0000)]
ignore End as user when constructing SSA (it's a keep-alive edge)
added comment

17 years agoverify edges internally as well when checking out edges
Christian Würdig [Tue, 13 Feb 2007 18:04:56 +0000 (18:04 +0000)]
verify edges internally as well when checking out edges

17 years agofixed keep-alive outedge bug (off-by-one error in edge position)
Christian Würdig [Tue, 13 Feb 2007 18:03:41 +0000 (18:03 +0000)]
fixed keep-alive outedge bug (off-by-one error in edge position)
changed ifdef for keep-alive out edges, they are on by default now

[r8638]

17 years agoadded edge verification routines
Christian Würdig [Tue, 13 Feb 2007 18:02:33 +0000 (18:02 +0000)]
added edge verification routines
fixed indent

[r8637]

17 years agoifdef'ed out-edges for keep alives with USE_KEEPALIVE_OUT_EDGES
Christian Würdig [Tue, 13 Feb 2007 10:49:25 +0000 (10:49 +0000)]
ifdef'ed out-edges for keep alives with USE_KEEPALIVE_OUT_EDGES

[r8631]

17 years agoBugFix: fixed wrong usage of edges_notify (exchanged tgt and old_tgt)
Christian Würdig [Mon, 12 Feb 2007 12:41:44 +0000 (12:41 +0000)]
BugFix: fixed wrong usage of edges_notify (exchanged tgt and old_tgt)

[r8629]

17 years agoremoved const from some function parameters
Christian Würdig [Mon, 12 Feb 2007 12:39:27 +0000 (12:39 +0000)]
removed const from some function parameters

17 years agomoved function to get PRoj for projnum to beutil
Christian Würdig [Mon, 12 Feb 2007 12:38:43 +0000 (12:38 +0000)]
moved function to get PRoj for projnum to beutil

17 years agoadded function to get a user Proj with a certain proj num from a mode_T node
Christian Würdig [Mon, 12 Feb 2007 12:35:54 +0000 (12:35 +0000)]
added function to get a user Proj with a certain proj num from a mode_T node

17 years agokill nodes only reachable via out edges after backend transformation
Christian Würdig [Sun, 11 Feb 2007 15:57:16 +0000 (15:57 +0000)]
kill nodes only reachable via out edges after backend transformation

17 years agoadded comment
Christian Würdig [Sun, 11 Feb 2007 15:56:45 +0000 (15:56 +0000)]
added comment
added simple dead node elimination

17 years agoextended debug output
Christian Würdig [Sun, 11 Feb 2007 15:56:21 +0000 (15:56 +0000)]
extended debug output
changed indent

17 years agophi class computation takes now an additional argument
Christian Würdig [Sun, 11 Feb 2007 15:54:07 +0000 (15:54 +0000)]
phi class computation takes now an additional argument

17 years agophiclass computation takes now an additional argument
Christian Würdig [Sun, 11 Feb 2007 15:52:16 +0000 (15:52 +0000)]
phiclass computation takes now an additional argument

17 years agoadded option for pure Phi classes
Christian Würdig [Sun, 11 Feb 2007 15:45:57 +0000 (15:45 +0000)]
added option for pure Phi classes
extended debug output

[r8627]

17 years agochanged type for callback
Christian Würdig [Fri, 9 Feb 2007 19:06:32 +0000 (19:06 +0000)]
changed type for callback

17 years agoBugFix: ARR_F may be relocated when resized, so there is another indirection needed...
Christian Würdig [Fri, 9 Feb 2007 19:05:46 +0000 (19:05 +0000)]
BugFix: ARR_F may be relocated when resized, so there is another indirection needed to keep track of the phi classes

[r8626]

17 years agoBugFix: use phase_get_or_set_irn_data for getting phi class
Christian Würdig [Fri, 9 Feb 2007 17:52:32 +0000 (17:52 +0000)]
BugFix: use phase_get_or_set_irn_data for getting phi class

[r8625]

17 years agoadded asserts
Christian Würdig [Fri, 9 Feb 2007 17:51:50 +0000 (17:51 +0000)]
added asserts
fixed do_walk (call pre and post only if set)

[r8624]

17 years agoadded cast for get_phi_class
Christian Würdig [Fri, 9 Feb 2007 17:49:45 +0000 (17:49 +0000)]
added cast for get_phi_class

17 years agofixed DEL_ARR_F
Christian Würdig [Fri, 9 Feb 2007 17:48:53 +0000 (17:48 +0000)]
fixed DEL_ARR_F

17 years agoremoved C-99 stuff
Christian Würdig [Fri, 9 Feb 2007 16:47:28 +0000 (16:47 +0000)]
removed C-99 stuff

17 years agonew machine spec
Christian Würdig [Fri, 9 Feb 2007 16:47:09 +0000 (16:47 +0000)]
new machine spec

17 years agospeedup test app
Matthias Braun [Fri, 9 Feb 2007 15:01:52 +0000 (15:01 +0000)]
speedup test app

17 years agomake testapp deterministic
Matthias Braun [Fri, 9 Feb 2007 14:50:08 +0000 (14:50 +0000)]
make testapp deterministic

17 years agoset ESP register for AddSP and SubSP
Matthias Braun [Fri, 9 Feb 2007 14:37:21 +0000 (14:37 +0000)]
set ESP register for AddSP and SubSP

17 years agoadapted to new isa callback
Christian Würdig [Fri, 9 Feb 2007 14:20:52 +0000 (14:20 +0000)]
adapted to new isa callback

17 years agoadded isa-callback so backend can provide it's own sorted list of irgs to generate...
Christian Würdig [Fri, 9 Feb 2007 14:20:19 +0000 (14:20 +0000)]
added isa-callback so backend can provide it's own sorted list of irgs to generate code for

17 years agoadapted to new isa callback
Christian Würdig [Fri, 9 Feb 2007 14:19:29 +0000 (14:19 +0000)]
adapted to new isa callback

17 years agodo the unset correctly
Matthias Braun [Fri, 9 Feb 2007 14:18:46 +0000 (14:18 +0000)]
do the unset correctly

17 years agofix :)
Matthias Braun [Fri, 9 Feb 2007 14:15:06 +0000 (14:15 +0000)]
fix :)

17 years agofix
Matthias Braun [Fri, 9 Feb 2007 14:12:03 +0000 (14:12 +0000)]
fix

17 years agouse ecc for linking, unset language to give deterministic sort order
Matthias Braun [Fri, 9 Feb 2007 14:09:48 +0000 (14:09 +0000)]
use ecc for linking, unset language to give deterministic sort order

17 years ago- use mode_Iu for all nodes producing integer values (because registers are mode_Iu...
Matthias Braun [Fri, 9 Feb 2007 14:06:58 +0000 (14:06 +0000)]
- use mode_Iu for all nodes producing integer values (because registers are mode_Iu), this gives more possibilities for cse
- use mode_D for all nodes producing float values, this gives more possibilities for cse
- Introduce NoReg and Unknown nodes so we don't have strange projs from the start barrier
- Rewrite transform phase:
  - while transforming we now build a completely new graph on a new irg (while looking at the old graph)
  - no need to transform constants in advance anymore
  - several smaller fixes+cleanups

17 years agoset inputs of killed call ProjT to bad
Matthias Braun [Fri, 9 Feb 2007 14:01:46 +0000 (14:01 +0000)]
set inputs of killed call ProjT to bad

17 years agodon't test for refernece mode in copyb arguments in backend phase
Matthias Braun [Fri, 9 Feb 2007 14:00:28 +0000 (14:00 +0000)]
don't test for refernece mode in copyb arguments in backend phase

[r8619]

17 years agotest constant folding with bitset values
Matthias Braun [Fri, 9 Feb 2007 13:55:20 +0000 (13:55 +0000)]
test constant folding with bitset values

17 years agomake XXEndless only run endless when parameters are passed, cleanup some tests, add...
Matthias Braun [Fri, 9 Feb 2007 13:55:05 +0000 (13:55 +0000)]
make XXEndless only run endless when parameters are passed, cleanup some tests, add a new test

17 years agofixed wrong include
Christian Würdig [Fri, 9 Feb 2007 10:36:30 +0000 (10:36 +0000)]
fixed wrong include

17 years agoBugFix: fixed wrong include
Christian Würdig [Fri, 9 Feb 2007 10:34:17 +0000 (10:34 +0000)]
BugFix: fixed wrong include

[r8617]

17 years agoadapted to phiclass changes (is an ir_phase now based on ARR_F)
Christian Würdig [Fri, 9 Feb 2007 10:30:57 +0000 (10:30 +0000)]
adapted to phiclass changes (is an ir_phase now based on ARR_F)

17 years agoadapted to phiclass changes (is a phase now, based on ARR_F)
Christian Würdig [Fri, 9 Feb 2007 10:29:49 +0000 (10:29 +0000)]
adapted to phiclass changes (is a phase now, based on ARR_F)

17 years agomade phiclass an ir_phase object
Christian Würdig [Fri, 9 Feb 2007 10:26:26 +0000 (10:26 +0000)]
made phiclass an ir_phase object
removed redundant file

[r8615]

17 years ago- avoid unnecessary edges recomputation
Matthias Braun [Thu, 8 Feb 2007 15:02:46 +0000 (15:02 +0000)]
- avoid unnecessary edges recomputation
- calculate execfreqs after the transform phase
- set irg phase state to phase_backend
- do more verification after the transform phase

17 years agodon't make ignore registers automatically callee-save, don't use mach_mode for consta...
Matthias Braun [Thu, 8 Feb 2007 15:00:36 +0000 (15:00 +0000)]
don't make ignore registers automatically callee-save, don't use mach_mode for constants if it is a reference mode

17 years agoloose some restrictions in the ir verifier if the irg is in phase_backend
Matthias Braun [Thu, 8 Feb 2007 14:55:18 +0000 (14:55 +0000)]
loose some restrictions in the ir verifier if the irg is in phase_backend

[r8613]

17 years agonever set the startblock to bad (even without the self-referencing loop)
Matthias Braun [Thu, 8 Feb 2007 14:51:05 +0000 (14:51 +0000)]
never set the startblock to bad (even without the self-referencing loop)

[r8612]

17 years agoreformatted/improved some testapps
Matthias Braun [Thu, 8 Feb 2007 11:45:40 +0000 (11:45 +0000)]
reformatted/improved some testapps

17 years agoalso walk dependencie edges in outedges verifier
Matthias Braun [Thu, 8 Feb 2007 11:44:17 +0000 (11:44 +0000)]
also walk dependencie edges in outedges verifier

17 years agoreformatted
Matthias Braun [Thu, 8 Feb 2007 11:43:14 +0000 (11:43 +0000)]
reformatted

17 years agoadd be_is_SubSP and fix some oparities
Matthias Braun [Thu, 8 Feb 2007 11:41:40 +0000 (11:41 +0000)]
add be_is_SubSP and fix some oparities

17 years agomake code a bit more readble
Matthias Braun [Thu, 8 Feb 2007 11:41:03 +0000 (11:41 +0000)]
make code a bit more readble

17 years agosupport empty emitter (in contrast to no emitter if you don't specify anything)
Matthias Braun [Thu, 8 Feb 2007 11:40:26 +0000 (11:40 +0000)]
support empty emitter (in contrast to no emitter if you don't specify anything)

17 years agodump more -assert graphs
Michael Beck [Wed, 7 Feb 2007 18:18:40 +0000 (18:18 +0000)]
dump more -assert graphs

[r8611]

17 years agodoxygen docu added
Michael Beck [Wed, 7 Feb 2007 18:17:03 +0000 (18:17 +0000)]
doxygen docu added

[r8610]

17 years agoreturn 0
Matthias Braun [Wed, 7 Feb 2007 17:37:00 +0000 (17:37 +0000)]
return 0

17 years agoreturn 0
Matthias Braun [Wed, 7 Feb 2007 17:36:19 +0000 (17:36 +0000)]
return 0

17 years agoreturn 0
Matthias Braun [Wed, 7 Feb 2007 17:35:23 +0000 (17:35 +0000)]
return 0

17 years agoBugFix: TLS variables are Sels, not SymConst
Michael Beck [Wed, 7 Feb 2007 17:19:58 +0000 (17:19 +0000)]
BugFix: TLS variables are Sels, not SymConst

[r8609]

17 years agovandrunen exmple
Michael Beck [Wed, 7 Feb 2007 17:18:18 +0000 (17:18 +0000)]
vandrunen exmple

17 years agofixed dump_compound_init again, still bitfield problems
Michael Beck [Wed, 7 Feb 2007 17:13:24 +0000 (17:13 +0000)]
fixed dump_compound_init again, still bitfield problems

17 years agoPhi example
Michael Beck [Wed, 7 Feb 2007 17:04:17 +0000 (17:04 +0000)]
Phi example

17 years agoUnknowns don't need a register assigned
Christian Würdig [Wed, 7 Feb 2007 17:00:56 +0000 (17:00 +0000)]
Unknowns don't need a register assigned

17 years agoconversion test
Michael Beck [Wed, 7 Feb 2007 17:00:45 +0000 (17:00 +0000)]
conversion test

17 years agoadded fix for be_dump (start with 1 when suffix is "-abi")
Christian Würdig [Wed, 7 Feb 2007 17:00:38 +0000 (17:00 +0000)]
added fix for be_dump (start with 1 when suffix is "-abi")

17 years agofixed dump_compound_init again
Michael Beck [Wed, 7 Feb 2007 15:38:10 +0000 (15:38 +0000)]
fixed dump_compound_init again

17 years agodo not optimize dead blocks preventing endless loops ...
Michael Beck [Wed, 7 Feb 2007 14:52:17 +0000 (14:52 +0000)]
do not optimize dead blocks preventing endless loops ...

[r8607]

17 years agodump_compound_init(): can handle initialiezer bigger than the type size (last compoun...
Michael Beck [Wed, 7 Feb 2007 14:43:40 +0000 (14:43 +0000)]
dump_compound_init(): can handle initialiezer bigger than the type size (last compound field is an array)
more doxygen docu added

17 years agofix some oparities in firm
Matthias Braun [Wed, 7 Feb 2007 10:13:58 +0000 (10:13 +0000)]
fix some oparities in firm

[r8604]

17 years agofix backend script generating wrong oparity
Matthias Braun [Wed, 7 Feb 2007 10:12:37 +0000 (10:12 +0000)]
fix backend script generating wrong oparity

17 years agorenamed type entity to new ir_entity
Michael Beck [Wed, 7 Feb 2007 01:53:36 +0000 (01:53 +0000)]
renamed type entity to new ir_entity

17 years agospeed up iteration
Michael Beck [Wed, 7 Feb 2007 01:53:18 +0000 (01:53 +0000)]
speed up iteration

17 years agofix testapp
Matthias Braun [Wed, 7 Feb 2007 00:08:38 +0000 (00:08 +0000)]
fix testapp

17 years agoBugFix: if a Load-after-Load is a hidden Conv, Conv nodes were constructed but not...
Michael Beck [Tue, 6 Feb 2007 20:13:05 +0000 (20:13 +0000)]
BugFix: if a Load-after-Load is a hidden Conv, Conv nodes were constructed but not used ...

[r8600]

17 years agoChanged handling of switch-Conds. Now collected and processed.
Michael Beck [Tue, 6 Feb 2007 20:12:11 +0000 (20:12 +0000)]
Changed handling of switch-Conds. Now collected and processed.
This speeds up things and fixes some verification errors (CF-Bad) in the Spec

[r8599]

17 years agocompute_compound_graph_indices is no more
Matthias Braun [Tue, 6 Feb 2007 15:23:05 +0000 (15:23 +0000)]
compute_compound_graph_indices is no more

17 years agocompute_compound_graph_indices is no more
Matthias Braun [Tue, 6 Feb 2007 15:22:51 +0000 (15:22 +0000)]
compute_compound_graph_indices is no more

[r8598]

17 years agosupport negative number, so we can set all bits of a debug mask with -1
Christian Würdig [Tue, 6 Feb 2007 09:46:46 +0000 (09:46 +0000)]
support negative number, so we can set all bits of a debug mask with -1

[r8596]

17 years agoassert if someone tries to exchange a node with itself
Christian Würdig [Tue, 6 Feb 2007 09:45:57 +0000 (09:45 +0000)]
assert if someone tries to exchange a node with itself

[r8595]

17 years agodo not schedule Unknown
Christian Würdig [Tue, 6 Feb 2007 09:40:20 +0000 (09:40 +0000)]
do not schedule Unknown

17 years agoBugFix: wrong ()
Michael Beck [Mon, 5 Feb 2007 12:53:36 +0000 (12:53 +0000)]
BugFix: wrong ()

[r8593]

17 years agoimprove and fix some test apps
Matthias Braun [Mon, 5 Feb 2007 12:11:38 +0000 (12:11 +0000)]
improve and fix some test apps

17 years agouse ir_vfprintf in the panic() function
Matthias Braun [Mon, 5 Feb 2007 12:09:19 +0000 (12:09 +0000)]
use ir_vfprintf in the panic() function

[r8592]

17 years agoadd an is_Quot function
Matthias Braun [Mon, 5 Feb 2007 12:08:59 +0000 (12:08 +0000)]
add an is_Quot function

[r8591]

17 years agoset frame of reloads to bad when killing them
Matthias Braun [Mon, 5 Feb 2007 11:51:45 +0000 (11:51 +0000)]
set frame of reloads to bad when killing them

17 years agomagic only needed in debug mode
Matthias Braun [Mon, 5 Feb 2007 11:51:23 +0000 (11:51 +0000)]
magic only needed in debug mode

17 years agoadd signed and unsigned eq modes for reference modes
Michael Beck [Fri, 2 Feb 2007 16:27:57 +0000 (16:27 +0000)]
add signed and unsigned eq modes for reference modes

[r8588]

17 years agoonly schedule Projs having at least one user
Christian Würdig [Fri, 2 Feb 2007 13:56:17 +0000 (13:56 +0000)]
only schedule Projs having at least one user