libfirm
15 years agoContinued refactoring.
Sebastian Buchwald [Wed, 3 Dec 2008 18:08:06 +0000 (18:08 +0000)]
Continued refactoring.

[r24266]

15 years agoContinued refactoring.
Sebastian Buchwald [Wed, 3 Dec 2008 17:57:56 +0000 (17:57 +0000)]
Continued refactoring.

[r24264]

15 years agoMore refactoring.
Sebastian Buchwald [Tue, 2 Dec 2008 23:23:59 +0000 (23:23 +0000)]
More refactoring.

[r24241]

15 years agoMore refactoring.
Sebastian Buchwald [Tue, 2 Dec 2008 23:11:52 +0000 (23:11 +0000)]
More refactoring.

[r24240]

15 years agoSome refactoring.
Sebastian Buchwald [Tue, 2 Dec 2008 22:58:45 +0000 (22:58 +0000)]
Some refactoring.

[r24239]

15 years agoSome refactoring.
Sebastian Buchwald [Tue, 2 Dec 2008 22:35:44 +0000 (22:35 +0000)]
Some refactoring.

[r24238]

15 years agoStarted first attempt for brute force solver.
Sebastian Buchwald [Mon, 1 Dec 2008 23:10:40 +0000 (23:10 +0000)]
Started first attempt for brute force solver.

[r24212]

15 years agoAdded getter function for node degree.
Sebastian Buchwald [Mon, 1 Dec 2008 19:11:58 +0000 (19:11 +0000)]
Added getter function for node degree.

[r24210]

15 years agoUse more bucket functions.
Sebastian Buchwald [Mon, 1 Dec 2008 18:28:39 +0000 (18:28 +0000)]
Use more bucket functions.

[r24209]

15 years agoUse more bucket functions.
Sebastian Buchwald [Mon, 1 Dec 2008 18:10:45 +0000 (18:10 +0000)]
Use more bucket functions.

[r24208]

15 years agoThe other index :-(
Sebastian Buchwald [Mon, 1 Dec 2008 18:10:27 +0000 (18:10 +0000)]
The other index :-(

[r24207]

15 years agoAdded code for testing if two pbqp nodes could melt to a new one.
Sebastian Buchwald [Mon, 1 Dec 2008 17:23:55 +0000 (17:23 +0000)]
Added code for testing if two pbqp nodes could melt to a new one.

[r24197]

15 years agoUse more bucket functions.
Sebastian Buchwald [Sun, 30 Nov 2008 18:31:04 +0000 (18:31 +0000)]
Use more bucket functions.

[r24170]

15 years agoUse more bucket functions.
Sebastian Buchwald [Sun, 30 Nov 2008 18:27:25 +0000 (18:27 +0000)]
Use more bucket functions.

[r24169]

15 years agoUse more bucket functions.
Sebastian Buchwald [Sun, 30 Nov 2008 18:20:43 +0000 (18:20 +0000)]
Use more bucket functions.

[r24168]

15 years agoUse more bucket functions.
Sebastian Buchwald [Sun, 30 Nov 2008 18:16:53 +0000 (18:16 +0000)]
Use more bucket functions.

[r24167]

15 years agoUse more bucket functions.
Sebastian Buchwald [Sun, 30 Nov 2008 18:06:38 +0000 (18:06 +0000)]
Use more bucket functions.

[r24166]

15 years agoAdded pop function for node_bucket.
Sebastian Buchwald [Sun, 30 Nov 2008 17:57:53 +0000 (17:57 +0000)]
Added pop function for node_bucket.

[r24165]

15 years agoAdded pop function for edge_bucket.
Sebastian Buchwald [Sun, 30 Nov 2008 17:40:46 +0000 (17:40 +0000)]
Added pop function for edge_bucket.

[r24164]

15 years agoUse more bucket functions.
Sebastian Buchwald [Sun, 30 Nov 2008 17:20:57 +0000 (17:20 +0000)]
Use more bucket functions.

[r24163]

15 years agoAdded some functions for bucket managment.
Sebastian Buchwald [Sun, 30 Nov 2008 17:13:07 +0000 (17:13 +0000)]
Added some functions for bucket managment.

[r24162]

15 years agoApply RN reduction on a node with maximum degree.
Sebastian Buchwald [Wed, 15 Oct 2008 14:58:39 +0000 (14:58 +0000)]
Apply RN reduction on a node with maximum degree.

[r22916]

15 years agoUse bigger type for PBQP costs.
Sebastian Buchwald [Mon, 13 Oct 2008 18:58:51 +0000 (18:58 +0000)]
Use bigger type for PBQP costs.

[r22847]

15 years agoAlso take a look at the node costs of the current node during RN reduction.
Sebastian Buchwald [Tue, 7 Oct 2008 18:06:25 +0000 (18:06 +0000)]
Also take a look at the node costs of the current node during RN reduction.

[r22592]

15 years agoInsert all incident node (ecluding the current edge) into edge_bucket instead of...
Sebastian Buchwald [Tue, 7 Oct 2008 18:02:07 +0000 (18:02 +0000)]
Insert all incident node (ecluding the current edge) into edge_bucket instead of the current edge, argh.

[r22590]

15 years agoAdded missing include.
Sebastian Buchwald [Tue, 7 Oct 2008 17:48:50 +0000 (17:48 +0000)]
Added missing include.

[r22589]

15 years agoAdded function declarations.
Sebastian Buchwald [Tue, 7 Oct 2008 17:48:45 +0000 (17:48 +0000)]
Added function declarations.

[r22588]

15 years agoHandle infinity entries correctly when normalize a cost matrix.
Sebastian Buchwald [Tue, 7 Oct 2008 17:32:32 +0000 (17:32 +0000)]
Handle infinity entries correctly when normalize a cost matrix.

[r22587]

15 years agoFixed r22565: we have signed values.
Sebastian Buchwald [Tue, 7 Oct 2008 12:26:31 +0000 (12:26 +0000)]
Fixed r22565: we have signed values.

[r22570]

15 years agoAdded assertions to prevent unexpected results after PBQP element addition.
Sebastian Buchwald [Tue, 7 Oct 2008 11:50:14 +0000 (11:50 +0000)]
Added assertions to prevent unexpected results after PBQP element addition.

[r22565]

15 years ago- added html dumping of RN reductions
Sebastian Buchwald [Mon, 6 Oct 2008 17:14:56 +0000 (17:14 +0000)]
- added html dumping of RN reductions
- typos

[r22544]

15 years agoImplemented RN reduction, which was the last step to a working PBQP solver.
Sebastian Buchwald [Mon, 6 Oct 2008 15:15:25 +0000 (15:15 +0000)]
Implemented RN reduction, which was the last step to a working PBQP solver.

[r22542]

15 years agoRemoved debug code.
Sebastian Buchwald [Mon, 6 Oct 2008 14:35:43 +0000 (14:35 +0000)]
Removed debug code.

[r22537]

15 years ago- implemented infinity propagation
Sebastian Buchwald [Mon, 6 Oct 2008 14:33:59 +0000 (14:33 +0000)]
- implemented infinity propagation
- simplify edges only if they are correct connected, so if a (RI) reduction creates an infinity entry the removed edge are not simplified again

[r22536]

15 years ago- added RN reduction (node used, not test, no html dump)
Sebastian Buchwald [Mon, 6 Oct 2008 12:51:24 +0000 (12:51 +0000)]
- added RN reduction (node used, not test, no html dump)

[r22529]

15 years agoBugfix: Set global pointers to NULL after they are freed.
Sebastian Buchwald [Mon, 6 Oct 2008 11:53:26 +0000 (11:53 +0000)]
Bugfix: Set global pointers to NULL after they are freed.

[r22528]

15 years agoBugfix: handle added edges correctly if src_index and tgt_index are in the wrong...
Sebastian Buchwald [Mon, 6 Oct 2008 11:52:47 +0000 (11:52 +0000)]
Bugfix: handle added edges correctly if src_index and tgt_index are in the wrong order.

[r22527]

15 years agoRenamed functions.
Sebastian Buchwald [Mon, 6 Oct 2008 11:12:23 +0000 (11:12 +0000)]
Renamed functions.

[r22526]

15 years ago- implemented back propagation for RII reductions
Sebastian Buchwald [Mon, 6 Oct 2008 11:07:35 +0000 (11:07 +0000)]
- implemented back propagation for RII reductions
- free buckets after solving

[r22525]

15 years agoFree local vector.
Sebastian Buchwald [Mon, 6 Oct 2008 10:43:21 +0000 (10:43 +0000)]
Free local vector.

[r22524]

15 years ago- use RII reduction (no back propagation yet)
Sebastian Buchwald [Mon, 6 Oct 2008 10:41:00 +0000 (10:41 +0000)]
- use RII reduction (no back propagation yet)
- fixed some bugs in RII reduction
- added html dump for RII reduction
- use pbqp_add function to add to vector/matrix entries

[r22523]

15 years agoAdded missing declaration and include.
Sebastian Buchwald [Mon, 6 Oct 2008 08:49:15 +0000 (08:49 +0000)]
Added missing declaration and include.

[r22520]

15 years agoFactorise printing costs.
Christoph Mallon [Mon, 6 Oct 2008 07:42:14 +0000 (07:42 +0000)]
Factorise printing costs.

[r22517]

15 years agoMinor deobfuscation.
Christoph Mallon [Mon, 6 Oct 2008 07:32:29 +0000 (07:32 +0000)]
Minor deobfuscation.

[r22516]

15 years ago<br> (and \n) at end of line.
Christoph Mallon [Mon, 6 Oct 2008 07:29:41 +0000 (07:29 +0000)]
<br> (and \n) at end of line.

[r22515]

15 years agoFix simplify_edge(): Delete an independent edge, even if we are not dumping this...
Christoph Mallon [Mon, 6 Oct 2008 07:26:46 +0000 (07:26 +0000)]
Fix simplify_edge(): Delete an independent edge, even if we are not dumping this event.

[r22514]

15 years agoSpace after if.
Christoph Mallon [Mon, 6 Oct 2008 07:23:14 +0000 (07:23 +0000)]
Space after if.

[r22513]

15 years agoMake reorder_node() more clear (at least to me).
Christoph Mallon [Mon, 6 Oct 2008 07:20:35 +0000 (07:20 +0000)]
Make reorder_node() more clear (at least to me).

[r22512]

15 years agoGrab a node once instead of an index every iteration.
Christoph Mallon [Mon, 6 Oct 2008 07:05:19 +0000 (07:05 +0000)]
Grab a node once instead of an index every iteration.

[r22511]

15 years agoDo not stress tail recursion elimination and partial condition evaluation too much...
Christoph Mallon [Mon, 6 Oct 2008 07:02:14 +0000 (07:02 +0000)]
Do not stress tail recursion elimination and partial condition evaluation too much (though it is a good testcase and we fail).

[r22510]

15 years agoDo not fetch a node index if we have a perfectly fine pointer already at hand.
Christoph Mallon [Mon, 6 Oct 2008 06:58:25 +0000 (06:58 +0000)]
Do not fetch a node index if we have a perfectly fine pointer already at hand.

[r22509]

15 years agoFixed some bugs concerning calculation with infinity.
Sebastian Buchwald [Sun, 5 Oct 2008 21:46:23 +0000 (21:46 +0000)]
Fixed some bugs concerning calculation with infinity.

[r22507]

15 years ago- bugfix: update bucket index when filling a "deleted" slot
Sebastian Buchwald [Sun, 5 Oct 2008 21:20:20 +0000 (21:20 +0000)]
- bugfix: update bucket index when filling a "deleted" slot
- improved html graph dump
- added RII reduction (no html dumping, not tested)

[r22506]

15 years ago- completed integration of new PBQP solver (works fine if we need only RI reductions)
Sebastian Buchwald [Sun, 5 Oct 2008 17:55:07 +0000 (17:55 +0000)]
- completed integration of new PBQP solver (works fine if we need only RI reductions)
- fixed some missing initialization in PBQP allocation

[r22505]

15 years agoRemoved superfluous edge dump.
Sebastian Buchwald [Sun, 5 Oct 2008 17:45:26 +0000 (17:45 +0000)]
Removed superfluous edge dump.

[r22504]

15 years agoPBQP edges now have pointers to their incident node, instead of only their index...
Sebastian Buchwald [Sun, 5 Oct 2008 17:07:08 +0000 (17:07 +0000)]
PBQP edges now have pointers to their incident node, instead of only their index in the node array.

[r22502]

15 years ago- fixed some bugs concerning vector addition
Sebastian Buchwald [Sat, 4 Oct 2008 22:05:38 +0000 (22:05 +0000)]
- fixed some bugs concerning vector addition
- added solving of trivial nodes
- added back propagation for RI rule
- enabled html dumping for trivial solving and back propagation

[r22484]

15 years agoBugfix: Update bucket_index if reordering node.
Sebastian Buchwald [Sat, 4 Oct 2008 19:15:35 +0000 (19:15 +0000)]
Bugfix: Update bucket_index if reordering node.

[r22482]

15 years agoImplemented RI-Reduction (without back propagation).
Sebastian Buchwald [Sat, 4 Oct 2008 19:09:55 +0000 (19:09 +0000)]
Implemented RI-Reduction (without back propagation).

[r22481]

15 years agoAdded simplification loop.
Sebastian Buchwald [Sat, 4 Oct 2008 17:04:13 +0000 (17:04 +0000)]
Added simplification loop.

[r22478]

15 years agoInitialize and fill node and edge buckets.
Sebastian Buchwald [Sat, 4 Oct 2008 16:52:27 +0000 (16:52 +0000)]
Initialize and fill node and edge buckets.

[r22475]

15 years ago- enabled simplification of edges ("infinity propagation" not yet added)
Sebastian Buchwald [Sat, 4 Oct 2008 16:01:32 +0000 (16:01 +0000)]
- enabled simplification of edges ("infinity propagation" not yet added)
- enabled html dump for edge simplification
- fixed bug in pbqp construction: if we switch source and target (to achieve src_id < tgt_id) we have to transpose the given matrix

[r22473]

15 years agoRenamed function.
Sebastian Buchwald [Fri, 3 Oct 2008 21:49:38 +0000 (21:49 +0000)]
Renamed function.

[r22451]

15 years ago- don't add trivial nodes when using new PBQP solver
Sebastian Buchwald [Fri, 3 Oct 2008 21:36:07 +0000 (21:36 +0000)]
- don't add trivial nodes when using new PBQP solver
- enable dumping the PBQP to a html file

[r22449]

15 years agoFix too short allocations and missing initialisation when allocation/copying vectors...
Christoph Mallon [Fri, 3 Oct 2008 19:15:34 +0000 (19:15 +0000)]
Fix too short allocations and missing initialisation when allocation/copying vectors, simplify.

[r22447]

15 years agoSimplify vector_copy().
Christoph Mallon [Fri, 3 Oct 2008 19:07:58 +0000 (19:07 +0000)]
Simplify vector_copy().

[r22445]

15 years agoFix last commit.
Christoph Mallon [Fri, 3 Oct 2008 18:54:42 +0000 (18:54 +0000)]
Fix last commit.

[r22444]

15 years agoUse memset()/memcpy().
Christoph Mallon [Fri, 3 Oct 2008 18:52:27 +0000 (18:52 +0000)]
Use memset()/memcpy().

[r22443]

15 years agoFix too short allocations and missing initialisation when allocation/copying vectors.
Christoph Mallon [Fri, 3 Oct 2008 18:47:39 +0000 (18:47 +0000)]
Fix too short allocations and missing initialisation when allocation/copying vectors.

[r22442]

15 years ago- integrated new PBQP solver into existing PBQP transformation, so it can be easily...
Sebastian Buchwald [Fri, 3 Oct 2008 18:07:15 +0000 (18:07 +0000)]
- integrated new PBQP solver into existing PBQP transformation, so it can be easily compared to the Scholz solver
- you can switch between the solver using the "USE_KAPS" macro
- removed code that create a zero matrix for each pbqp edge, before the real edge costs are created

[r22440]

15 years agoFinished edge allocation.
Sebastian Buchwald [Fri, 3 Oct 2008 10:15:27 +0000 (10:15 +0000)]
Finished edge allocation.

[r22428]

15 years agoContinued implementation of PBQP solver: Fixed errors and warnings.
Sebastian Buchwald [Fri, 3 Oct 2008 00:03:53 +0000 (00:03 +0000)]
Continued implementation of PBQP solver: Fixed errors and warnings.

[r22425]

15 years agoStarted implementing a new PBQP solver, which should solve PBQPs and the problems...
Sebastian Buchwald [Thu, 2 Oct 2008 18:41:41 +0000 (18:41 +0000)]
Started implementing a new PBQP solver, which should solve PBQPs and the problems/bugs of the Scholz solver.

[r22420]