Matthias Braun [Wed, 14 Feb 2007 12:50:42 +0000 (12:50 +0000)]
improve out edges verifier
Christian Würdig [Wed, 14 Feb 2007 10:57:11 +0000 (10:57 +0000)]
fixed wrong usage of foreach_set macro
[r8646]
Christian Würdig [Wed, 14 Feb 2007 10:56:34 +0000 (10:56 +0000)]
added missing function declaration
[r8645]
Christian Würdig [Wed, 14 Feb 2007 10:17:02 +0000 (10:17 +0000)]
use be_kill_node when removing nodes
Christian Würdig [Wed, 14 Feb 2007 10:16:34 +0000 (10:16 +0000)]
walk over block outs when killing dead nodes
Christian Würdig [Wed, 14 Feb 2007 10:16:15 +0000 (10:16 +0000)]
kill also block input when killing node
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]
Christian Würdig [Wed, 14 Feb 2007 10:14:49 +0000 (10:14 +0000)]
extended edge verifier
[r8643]
Christian Würdig [Wed, 14 Feb 2007 10:14:12 +0000 (10:14 +0000)]
BugFix: bitset_flip was broken
[r8642]
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]
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]
Christian Würdig [Tue, 13 Feb 2007 18:21:00 +0000 (18:21 +0000)]
added foreach_set macro (behaves like foreach_pset)
[r8639]
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
Christian Würdig [Tue, 13 Feb 2007 18:04:56 +0000 (18:04 +0000)]
verify edges internally as well when checking out edges
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]
Christian Würdig [Tue, 13 Feb 2007 18:02:33 +0000 (18:02 +0000)]
added edge verification routines
fixed indent
[r8637]
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]
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]
Christian Würdig [Mon, 12 Feb 2007 12:39:27 +0000 (12:39 +0000)]
removed const from some function parameters
Christian Würdig [Mon, 12 Feb 2007 12:38:43 +0000 (12:38 +0000)]
moved function to get PRoj for projnum to beutil
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
Christian Würdig [Sun, 11 Feb 2007 15:57:16 +0000 (15:57 +0000)]
kill nodes only reachable via out edges after backend transformation
Christian Würdig [Sun, 11 Feb 2007 15:56:45 +0000 (15:56 +0000)]
added comment
added simple dead node elimination
Christian Würdig [Sun, 11 Feb 2007 15:56:21 +0000 (15:56 +0000)]
extended debug output
changed indent
Christian Würdig [Sun, 11 Feb 2007 15:54:07 +0000 (15:54 +0000)]
phi class 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
Christian Würdig [Sun, 11 Feb 2007 15:45:57 +0000 (15:45 +0000)]
added option for pure Phi classes
extended debug output
[r8627]
Christian Würdig [Fri, 9 Feb 2007 19:06:32 +0000 (19:06 +0000)]
changed type for callback
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]
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]
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]
Christian Würdig [Fri, 9 Feb 2007 17:49:45 +0000 (17:49 +0000)]
added cast for get_phi_class
Christian Würdig [Fri, 9 Feb 2007 17:48:53 +0000 (17:48 +0000)]
fixed DEL_ARR_F
Christian Würdig [Fri, 9 Feb 2007 16:47:28 +0000 (16:47 +0000)]
removed C-99 stuff
Christian Würdig [Fri, 9 Feb 2007 16:47:09 +0000 (16:47 +0000)]
new machine spec
Matthias Braun [Fri, 9 Feb 2007 15:01:52 +0000 (15:01 +0000)]
speedup test app
Matthias Braun [Fri, 9 Feb 2007 14:50:08 +0000 (14:50 +0000)]
make testapp deterministic
Matthias Braun [Fri, 9 Feb 2007 14:37:21 +0000 (14:37 +0000)]
set ESP register for AddSP and SubSP
Christian Würdig [Fri, 9 Feb 2007 14:20:52 +0000 (14:20 +0000)]
adapted to new isa callback
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
Christian Würdig [Fri, 9 Feb 2007 14:19:29 +0000 (14:19 +0000)]
adapted to new isa callback
Matthias Braun [Fri, 9 Feb 2007 14:18:46 +0000 (14:18 +0000)]
do the unset correctly
Matthias Braun [Fri, 9 Feb 2007 14:15:06 +0000 (14:15 +0000)]
fix :)
Matthias Braun [Fri, 9 Feb 2007 14:12:03 +0000 (14:12 +0000)]
fix
Matthias Braun [Fri, 9 Feb 2007 14:09:48 +0000 (14:09 +0000)]
use ecc for linking, unset language to give deterministic sort order
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
Matthias Braun [Fri, 9 Feb 2007 14:01:46 +0000 (14:01 +0000)]
set inputs of killed call ProjT to bad
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]
Matthias Braun [Fri, 9 Feb 2007 13:55:20 +0000 (13:55 +0000)]
test constant folding with bitset values
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
Christian Würdig [Fri, 9 Feb 2007 10:36:30 +0000 (10:36 +0000)]
fixed wrong include
Christian Würdig [Fri, 9 Feb 2007 10:34:17 +0000 (10:34 +0000)]
BugFix: fixed wrong include
[r8617]
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)
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)
Christian Würdig [Fri, 9 Feb 2007 10:26:26 +0000 (10:26 +0000)]
made phiclass an ir_phase object
removed redundant file
[r8615]
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
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
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]
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]
Matthias Braun [Thu, 8 Feb 2007 11:45:40 +0000 (11:45 +0000)]
reformatted/improved some testapps
Matthias Braun [Thu, 8 Feb 2007 11:44:17 +0000 (11:44 +0000)]
also walk dependencie edges in outedges verifier
Matthias Braun [Thu, 8 Feb 2007 11:43:14 +0000 (11:43 +0000)]
reformatted
Matthias Braun [Thu, 8 Feb 2007 11:41:40 +0000 (11:41 +0000)]
add be_is_SubSP and fix some oparities
Matthias Braun [Thu, 8 Feb 2007 11:41:03 +0000 (11:41 +0000)]
make code a bit more readble
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)
Michael Beck [Wed, 7 Feb 2007 18:18:40 +0000 (18:18 +0000)]
dump more -assert graphs
[r8611]
Michael Beck [Wed, 7 Feb 2007 18:17:03 +0000 (18:17 +0000)]
doxygen docu added
[r8610]
Matthias Braun [Wed, 7 Feb 2007 17:37:00 +0000 (17:37 +0000)]
return 0
Matthias Braun [Wed, 7 Feb 2007 17:36:19 +0000 (17:36 +0000)]
return 0
Matthias Braun [Wed, 7 Feb 2007 17:35:23 +0000 (17:35 +0000)]
return 0
Michael Beck [Wed, 7 Feb 2007 17:19:58 +0000 (17:19 +0000)]
BugFix: TLS variables are Sels, not SymConst
[r8609]
Michael Beck [Wed, 7 Feb 2007 17:18:18 +0000 (17:18 +0000)]
vandrunen exmple
Michael Beck [Wed, 7 Feb 2007 17:13:24 +0000 (17:13 +0000)]
fixed dump_compound_init again, still bitfield problems
Michael Beck [Wed, 7 Feb 2007 17:04:17 +0000 (17:04 +0000)]
Phi example
Christian Würdig [Wed, 7 Feb 2007 17:00:56 +0000 (17:00 +0000)]
Unknowns don't need a register assigned
Michael Beck [Wed, 7 Feb 2007 17:00:45 +0000 (17:00 +0000)]
conversion test
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")
Michael Beck [Wed, 7 Feb 2007 15:38:10 +0000 (15:38 +0000)]
fixed dump_compound_init again
Michael Beck [Wed, 7 Feb 2007 14:52:17 +0000 (14:52 +0000)]
do not optimize dead blocks preventing endless loops ...
[r8607]
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
Matthias Braun [Wed, 7 Feb 2007 10:13:58 +0000 (10:13 +0000)]
fix some oparities in firm
[r8604]
Matthias Braun [Wed, 7 Feb 2007 10:12:37 +0000 (10:12 +0000)]
fix backend script generating wrong oparity
Michael Beck [Wed, 7 Feb 2007 01:53:36 +0000 (01:53 +0000)]
renamed type entity to new ir_entity
Michael Beck [Wed, 7 Feb 2007 01:53:18 +0000 (01:53 +0000)]
speed up iteration
Matthias Braun [Wed, 7 Feb 2007 00:08:38 +0000 (00:08 +0000)]
fix testapp
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]
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]
Matthias Braun [Tue, 6 Feb 2007 15:23:05 +0000 (15:23 +0000)]
compute_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]
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]
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]
Christian Würdig [Tue, 6 Feb 2007 09:40:20 +0000 (09:40 +0000)]
do not schedule Unknown
Michael Beck [Mon, 5 Feb 2007 12:53:36 +0000 (12:53 +0000)]
BugFix: wrong ()
[r8593]
Matthias Braun [Mon, 5 Feb 2007 12:11:38 +0000 (12:11 +0000)]
improve and fix some test apps
Matthias Braun [Mon, 5 Feb 2007 12:09:19 +0000 (12:09 +0000)]
use ir_vfprintf in the panic() function
[r8592]
Matthias Braun [Mon, 5 Feb 2007 12:08:59 +0000 (12:08 +0000)]
add an is_Quot function
[r8591]
Matthias Braun [Mon, 5 Feb 2007 11:51:45 +0000 (11:51 +0000)]
set frame of reloads to bad when killing them
Matthias Braun [Mon, 5 Feb 2007 11:51:23 +0000 (11:51 +0000)]
magic only needed in debug mode
Michael Beck [Fri, 2 Feb 2007 16:27:57 +0000 (16:27 +0000)]
add signed and unsigned eq modes for reference modes
[r8588]
Christian Würdig [Fri, 2 Feb 2007 13:56:17 +0000 (13:56 +0000)]
only schedule Projs having at least one user