libfirm
13 years agoSimplify redirected edges.
Sebastian Buchwald [Mon, 16 Aug 2010 07:49:40 +0000 (07:49 +0000)]
Simplify redirected edges.

[r27933]

13 years agoAdded function to reorder nodes after an edge insertion.
Sebastian Buchwald [Mon, 16 Aug 2010 07:49:39 +0000 (07:49 +0000)]
Added function to reorder nodes after an edge insertion.

[r27932]

13 years agoRename reorder_node to reorder_node_after_edge_deletion.
Sebastian Buchwald [Mon, 16 Aug 2010 07:49:38 +0000 (07:49 +0000)]
Rename reorder_node to reorder_node_after_edge_deletion.

[r27931]

13 years agoAdapt to coding conventions.
Sebastian Buchwald [Mon, 16 Aug 2010 07:49:37 +0000 (07:49 +0000)]
Adapt to coding conventions.

[r27930]

13 years agoAdded function to check whether an edge is deleted.
Sebastian Buchwald [Mon, 16 Aug 2010 07:49:36 +0000 (07:49 +0000)]
Added function to check whether an edge is deleted.

[r27929]

13 years agodelete_edge now handle reordering of incident nodes.
Sebastian Buchwald [Mon, 16 Aug 2010 07:49:35 +0000 (07:49 +0000)]
delete_edge now handle reordering of incident nodes.

[r27928]

13 years agoUsing a node bucket wasn't a good idea.
Sebastian Buchwald [Thu, 12 Aug 2010 20:31:54 +0000 (20:31 +0000)]
Using a node bucket wasn't a good idea.

[r27926]

13 years agoSplit RN into 2 phases.
Sebastian Buchwald [Thu, 12 Aug 2010 18:38:05 +0000 (18:38 +0000)]
Split RN into 2 phases.

This allows application of optimal reduction after merging neighbors into the RN node.

[r27925]

13 years agoFixed some warnings.
Sebastian Buchwald [Fri, 6 Aug 2010 12:59:04 +0000 (12:59 +0000)]
Fixed some warnings.

[r27880]

13 years agoUnify output format.
Sebastian Buchwald [Fri, 30 Jul 2010 14:24:46 +0000 (14:24 +0000)]
Unify output format.

[r27858]

13 years agoDo not count an RM as R1, too.
Sebastian Buchwald [Fri, 30 Jul 2010 13:53:17 +0000 (13:53 +0000)]
Do not count an RM as R1, too.

[r27856]

13 years agoUpps, revert unwanted changes.
Sebastian Buchwald [Fri, 30 Jul 2010 13:41:48 +0000 (13:41 +0000)]
Upps, revert unwanted changes.

[r27855]

13 years agoTry to add an edge to the edge_bucket at most once.
Sebastian Buchwald [Fri, 30 Jul 2010 13:41:07 +0000 (13:41 +0000)]
Try to add an edge to the edge_bucket at most once.

[r27854]

13 years agoArgh, we need to propagate if at least one infinity is added.
Sebastian Buchwald [Fri, 30 Jul 2010 13:23:03 +0000 (13:23 +0000)]
Argh, we need to propagate if at least one infinity is added.

[r27853]

13 years agoSpeed up RN by explicitely reducing the incident edges.
Sebastian Buchwald [Fri, 30 Jul 2010 11:46:47 +0000 (11:46 +0000)]
Speed up RN by explicitely reducing the incident edges.

[r27852]

13 years agoWe do not use a timer for R0.
Sebastian Buchwald [Fri, 30 Jul 2010 09:05:17 +0000 (09:05 +0000)]
We do not use a timer for R0.

[r27851]

13 years agoAdapt to latest libfirm.
Sebastian Buchwald [Fri, 30 Jul 2010 08:54:51 +0000 (08:54 +0000)]
Adapt to latest libfirm.

[r27850]

13 years agoThe other node is incident to the old edge.
Sebastian Buchwald [Mon, 26 Jul 2010 09:26:54 +0000 (09:26 +0000)]
The other node is incident to the old edge.

[r27815]

13 years agoReorder incident nodes of removed edge.
Sebastian Buchwald [Mon, 26 Jul 2010 06:58:23 +0000 (06:58 +0000)]
Reorder incident nodes of removed edge.

[r27812]

13 years agoAvoid unnecessary initialization of new matrix (especially in cases where mapping...
Sebastian Buchwald [Mon, 26 Jul 2010 06:14:17 +0000 (06:14 +0000)]
Avoid unnecessary initialization of new matrix (especially in cases where mapping is not set properly).

[r27811]

13 years agoRM should work now, theoretically.
Sebastian Buchwald [Sun, 25 Jul 2010 19:30:43 +0000 (19:30 +0000)]
RM should work now, theoretically.

[r27810]

13 years agoThe function 'check_melting_possibility' is not needed anymore.
Sebastian Buchwald [Sun, 25 Jul 2010 18:37:19 +0000 (18:37 +0000)]
The function 'check_melting_possibility' is not needed anymore.

[r27809]

13 years agoUpps. Fixed compile error.
Sebastian Buchwald [Sun, 25 Jul 2010 18:33:09 +0000 (18:33 +0000)]
Upps. Fixed compile error.

[r27808]

13 years agoContinued RM implementation.
Sebastian Buchwald [Sun, 25 Jul 2010 18:01:07 +0000 (18:01 +0000)]
Continued RM implementation.

[r27807]

13 years agoStarted implementing RM.
Sebastian Buchwald [Sun, 25 Jul 2010 17:15:37 +0000 (17:15 +0000)]
Started implementing RM.

[r27806]

13 years agoFormat string depend on used type.
Sebastian Buchwald [Thu, 22 Jul 2010 14:01:54 +0000 (14:01 +0000)]
Format string depend on used type.

[r27777]

13 years agoDump number of RM applications.
Sebastian Buchwald [Thu, 22 Jul 2010 12:06:21 +0000 (12:06 +0000)]
Dump number of RM applications.

[r27776]

13 years agoFixed compile errors for enabled KAPS_STATISTIC.
Sebastian Buchwald [Thu, 22 Jul 2010 11:08:16 +0000 (11:08 +0000)]
Fixed compile errors for enabled KAPS_STATISTIC.

[r27775]

13 years agoRemoved second declaration.
Sebastian Buchwald [Wed, 21 Jul 2010 14:44:35 +0000 (14:44 +0000)]
Removed second declaration.

[r27772]

13 years agoCount number of (possible) RM applications.
Sebastian Buchwald [Wed, 21 Jul 2010 12:57:38 +0000 (12:57 +0000)]
Count number of (possible) RM applications.

[r27769]

13 years agoUse correct output format for unsigned cost values!
Thomas Bersch [Wed, 21 Jul 2010 12:56:11 +0000 (12:56 +0000)]
Use correct output format for unsigned cost values!

[r27768]

13 years agoRevive merge check.
Sebastian Buchwald [Sun, 18 Jul 2010 16:25:10 +0000 (16:25 +0000)]
Revive merge check.

[r27758]

14 years agoUse UNSIGNED INT for a test.
Thomas Bersch [Fri, 4 Jun 2010 07:27:12 +0000 (07:27 +0000)]
Use UNSIGNED INT for a test.

[r27621]

14 years agoSmash ugly big bug introduce in r24269 (reported by Thomas).
Sebastian Buchwald [Fri, 28 May 2010 11:02:24 +0000 (11:02 +0000)]
Smash ugly big bug introduce in r24269 (reported by Thomas).

[r27598]

14 years agoremove 'static' property from 'reorder_node()' function, so it is accessible from...
Thomas Bersch [Thu, 6 May 2010 10:50:00 +0000 (10:50 +0000)]
remove 'static' property from 'reorder_node()' function, so it is accessible from other files

[r27498]

14 years agoNew solver, which only reduce nodes (in case of RN-Reduction) and select a solution...
Thomas Bersch [Thu, 6 May 2010 10:44:33 +0000 (10:44 +0000)]
New solver, which only reduce nodes (in case of RN-Reduction) and select a solution for this nodes in a back propagation phase.

[r27497]

14 years agoRemoved unused parameter.
Sebastian Buchwald [Thu, 25 Mar 2010 08:37:54 +0000 (08:37 +0000)]
Removed unused parameter.

[r27322]

14 years ago- brute force solver need own back propagation
Sebastian Buchwald [Mon, 28 Dec 2009 10:42:24 +0000 (10:42 +0000)]
- brute force solver need own back propagation
- clean up a bit

[r26850]

14 years agoEach solver get its own file.
Sebastian Buchwald [Mon, 28 Dec 2009 10:18:51 +0000 (10:18 +0000)]
Each solver get its own file.

[r26847]

14 years agoAdded file headers.
Sebastian Buchwald [Tue, 22 Dec 2009 16:45:22 +0000 (16:45 +0000)]
Added file headers.

[r26834]

14 years agosome printf for debugging removed and some comments added
Thomas Bersch [Mon, 14 Dec 2009 14:59:56 +0000 (14:59 +0000)]
some printf for debugging removed and some comments added

[r26790]

14 years agoNo delete of elements from reverse perfect elimination order.
Thomas Bersch [Fri, 27 Nov 2009 09:43:19 +0000 (09:43 +0000)]
No delete of elements from reverse perfect elimination order.

[r26754]

14 years agoTimer support added
Thomas Bersch [Thu, 5 Nov 2009 13:01:10 +0000 (13:01 +0000)]
Timer support added

[r26716]

14 years agoNow it is possible to use UINT data type instead of INTMAX
Thomas Bersch [Mon, 2 Nov 2009 14:54:48 +0000 (14:54 +0000)]
Now it is possible to use UINT data type instead of INTMAX

[r26707]

14 years agoKAPS_DUMP and KAPS_ENABLE_VECTOR_NAMES are now disabled
Thomas Bersch [Tue, 22 Sep 2009 11:12:13 +0000 (11:12 +0000)]
KAPS_DUMP and KAPS_ENABLE_VECTOR_NAMES are now disabled

[r26598]

14 years agosolve function which follows a reverse perfect elimination order
Thomas Bersch [Fri, 18 Sep 2009 12:36:49 +0000 (12:36 +0000)]
solve function which follows a reverse perfect elimination order

[r26546]

14 years agoVector names are const.
Sebastian Buchwald [Tue, 1 Sep 2009 12:56:54 +0000 (12:56 +0000)]
Vector names are const.

[r26457]

14 years agoDefine macros before including files.
Thomas Bersch [Tue, 1 Sep 2009 12:47:46 +0000 (12:47 +0000)]
Define macros before including files.

[r26456]

14 years ago- introduce some defines to enable/disable PBQP dumping etc.
Sebastian Buchwald [Mon, 31 Aug 2009 09:24:59 +0000 (09:24 +0000)]
- introduce some defines to enable/disable PBQP dumping etc.
- removed dependency to GrGen matcher

[r26449]

15 years agoBugfix: Do not add the cost vector of a R1 reduced node to pbqp matrix row/column...
Sebastian Buchwald [Fri, 23 Jan 2009 15:13:14 +0000 (15:13 +0000)]
Bugfix: Do not add the cost vector of a R1 reduced node to pbqp matrix row/column before determine the minimum index.

[r25357]

15 years agoAdded functions to get the index of the minimum element of a pbqp matrix row/column.
Sebastian Buchwald [Fri, 23 Jan 2009 15:02:44 +0000 (15:02 +0000)]
Added functions to get the index of the minimum element of a pbqp matrix row/column.

[r25356]

15 years agoAdded statistic support: count number of R0-RN, RE and BF applications.
Sebastian Buchwald [Sat, 13 Dec 2008 13:27:36 +0000 (13:27 +0000)]
Added statistic support: count number of R0-RN, RE and BF applications.

[r24595]

15 years agoDump pbqp solution to file...
Sebastian Buchwald [Sat, 13 Dec 2008 12:12:05 +0000 (12:12 +0000)]
Dump pbqp solution to file...

[r24594]

15 years agoFree temporary data structures.
Sebastian Buchwald [Tue, 9 Dec 2008 09:26:19 +0000 (09:26 +0000)]
Free temporary data structures.

[r24438]

15 years agoUse another copy strategy.
Sebastian Buchwald [Mon, 8 Dec 2008 23:11:10 +0000 (23:11 +0000)]
Use another copy strategy.

[r24417]

15 years agoExtract function to update bucket.
Sebastian Buchwald [Mon, 8 Dec 2008 23:00:39 +0000 (23:00 +0000)]
Extract function to update bucket.

[r24416]

15 years agoMove initialization of node bucket.
Sebastian Buchwald [Mon, 8 Dec 2008 22:20:21 +0000 (22:20 +0000)]
Move initialization of node bucket.

[r24414]

15 years agoNode pointers of reduced edges (incident to RI/RII reduced nodes) are outdated after...
Sebastian Buchwald [Sun, 7 Dec 2008 17:40:52 +0000 (17:40 +0000)]
Node pointers of reduced edges (incident to RI/RII reduced nodes) are outdated after brute force reduction. So an update is necessary before starting back propagating such a node.

Brute force solver seems to work now.

[r24377]

15 years agoAlso update PBQP environment.
Sebastian Buchwald [Sun, 7 Dec 2008 15:14:16 +0000 (15:14 +0000)]
Also update PBQP environment.

[r24374]

15 years agoFixed another bug concerning copying an edge.
Sebastian Buchwald [Sun, 7 Dec 2008 11:14:59 +0000 (11:14 +0000)]
Fixed another bug concerning copying an edge.

[r24369]

15 years agoFixed another bug concerning copying an edge.
Sebastian Buchwald [Sat, 6 Dec 2008 19:27:48 +0000 (19:27 +0000)]
Fixed another bug concerning copying an edge.

[r24363]

15 years agoInit solution.
Sebastian Buchwald [Sat, 6 Dec 2008 19:26:54 +0000 (19:26 +0000)]
Init solution.

[r24362]

15 years agoHack to handle edges correctly?
Sebastian Buchwald [Sat, 6 Dec 2008 18:02:32 +0000 (18:02 +0000)]
Hack to handle edges correctly?

[r24360]

15 years agoUse other mechanism to determine whether an edge is already copied or not.
Sebastian Buchwald [Sat, 6 Dec 2008 16:03:24 +0000 (16:03 +0000)]
Use other mechanism to determine whether an edge is already copied or not.

[r24358]

15 years agoOnly copy RN bucket, and shrink the other buckets to original size.
Sebastian Buchwald [Sat, 6 Dec 2008 15:25:28 +0000 (15:25 +0000)]
Only copy RN bucket, and shrink the other buckets to original size.

[r24353]

15 years agoFixed copy&paste bug.
Sebastian Buchwald [Sat, 6 Dec 2008 14:34:36 +0000 (14:34 +0000)]
Fixed copy&paste bug.

[r24350]

15 years agoSave bucket index before changing the current node.
Sebastian Buchwald [Sat, 6 Dec 2008 14:15:45 +0000 (14:15 +0000)]
Save bucket index before changing the current node.

[r24349]

15 years agoshould be part of r24347
Sebastian Buchwald [Sat, 6 Dec 2008 14:14:51 +0000 (14:14 +0000)]
should be part of r24347

[r24348]

15 years agoFixed some bugs concerning copying nodes.
Sebastian Buchwald [Sat, 6 Dec 2008 14:13:33 +0000 (14:13 +0000)]
Fixed some bugs concerning copying nodes.

[r24347]

15 years agoFree temporary data and added some assertions.
Sebastian Buchwald [Sat, 6 Dec 2008 11:04:48 +0000 (11:04 +0000)]
Free temporary data and added some assertions.

[r24338]

15 years agoConnect copied edges with the right (=copied) nodes.
Sebastian Buchwald [Sat, 6 Dec 2008 10:06:03 +0000 (10:06 +0000)]
Connect copied edges with the right (=copied) nodes.

[r24335]

15 years agoFixed wrong assertion.
Sebastian Buchwald [Sat, 6 Dec 2008 10:05:13 +0000 (10:05 +0000)]
Fixed wrong assertion.

[r24334]

15 years agoAdded declaration and fixed call.
Sebastian Buchwald [Wed, 3 Dec 2008 22:33:58 +0000 (22:33 +0000)]
Added declaration and fixed call.

[r24282]

15 years agoAdded missing include and fixed some function declarations.
Sebastian Buchwald [Wed, 3 Dec 2008 22:19:23 +0000 (22:19 +0000)]
Added missing include and fixed some function declarations.

[r24281]

15 years agoAdded declaration.
Sebastian Buchwald [Wed, 3 Dec 2008 21:48:07 +0000 (21:48 +0000)]
Added declaration.

[r24279]

15 years agoMaybe implemented BF solver (don't tested yet).
Sebastian Buchwald [Wed, 3 Dec 2008 21:33:58 +0000 (21:33 +0000)]
Maybe implemented BF solver (don't tested yet).

[r24278]

15 years agoAdded functions to clear and copy node buckets.
Sebastian Buchwald [Wed, 3 Dec 2008 21:32:15 +0000 (21:32 +0000)]
Added functions to clear and copy node buckets.

[r24277]

15 years agoRemoved unused variables and addes some asserts.
Sebastian Buchwald [Wed, 3 Dec 2008 21:07:59 +0000 (21:07 +0000)]
Removed unused variables and addes some asserts.

[r24275]

15 years agoApply BF recursively.
Sebastian Buchwald [Wed, 3 Dec 2008 20:50:06 +0000 (20:50 +0000)]
Apply BF recursively.

[r24273]

15 years agoContinued refactoring.
Sebastian Buchwald [Wed, 3 Dec 2008 20:22:59 +0000 (20:22 +0000)]
Continued refactoring.

[r24272]

15 years agoSave current PBQP state.
Sebastian Buchwald [Wed, 3 Dec 2008 19:36:44 +0000 (19:36 +0000)]
Save current PBQP state.

[r24271]

15 years agoAdded missing function.
Sebastian Buchwald [Wed, 3 Dec 2008 19:36:23 +0000 (19:36 +0000)]
Added missing function.

[r24270]

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

[r24269]

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

[r24268]

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

[r24267]

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]