libfirm
18 years agofixed the type of node_nr
Michael Beck [Tue, 21 Feb 2006 13:56:34 +0000 (13:56 +0000)]
fixed the type of node_nr

[r7364]

18 years agomake get_irn_node_nr() 64bit safe
Michael Beck [Tue, 21 Feb 2006 13:55:48 +0000 (13:55 +0000)]
make get_irn_node_nr() 64bit safe

[r7363]

18 years agofix the type of the graph number
Michael Beck [Tue, 21 Feb 2006 13:55:04 +0000 (13:55 +0000)]
fix the type of the graph number

[r7362]

18 years agomake get_irg_graph_nr() 64-bit save
Michael Beck [Tue, 21 Feb 2006 13:54:26 +0000 (13:54 +0000)]
make get_irg_graph_nr() 64-bit save

[r7361]

18 years agofixed the type of the loop number
Michael Beck [Tue, 21 Feb 2006 13:53:01 +0000 (13:53 +0000)]
fixed the type of the loop number

[r7360]

18 years agoadded missing include
Christian Würdig [Tue, 21 Feb 2006 13:50:30 +0000 (13:50 +0000)]
added missing include

[r7359]

18 years agoadded missing initialization
Michael Beck [Mon, 20 Feb 2006 10:19:15 +0000 (10:19 +0000)]
added missing initialization

[r7348]

18 years agotypo fixed
Michael Beck [Tue, 14 Feb 2006 16:08:54 +0000 (16:08 +0000)]
typo fixed

[r7343]

18 years agoadd type flags replacing old frame_type and type state fields
Michael Beck [Tue, 14 Feb 2006 13:08:20 +0000 (13:08 +0000)]
add type flags replacing old frame_type and type state fields
added lowered type support

[r7342]

18 years agofixed memory handling
Michael Beck [Tue, 14 Feb 2006 10:17:17 +0000 (10:17 +0000)]
fixed memory handling
added clean functionality
handle more cases, but still not perfectly working

last version before new value table implementation

[r7341]

18 years agoremoved assert
Christian Würdig [Mon, 13 Feb 2006 10:09:48 +0000 (10:09 +0000)]
removed assert

[r7340]

18 years agotypo fixed
Michael Beck [Sun, 12 Feb 2006 12:28:12 +0000 (12:28 +0000)]
typo fixed

[r7337]

18 years agoBugFixes:
Michael Beck [Thu, 9 Feb 2006 16:39:15 +0000 (16:39 +0000)]
BugFixes:
 - When a node is copied, the attributes must be copied as well
 - If may happen, then a node is partial redundant on all predecessors
   but these are not equal. Then, the mode was not calculated.

[r7336]

18 years agowhen calculating "nice_value", skip Proj's
Michael Beck [Thu, 9 Feb 2006 16:01:42 +0000 (16:01 +0000)]
when calculating "nice_value", skip Proj's

[r7335]

18 years agoremoved unused variable
Michael Beck [Thu, 9 Feb 2006 12:57:31 +0000 (12:57 +0000)]
removed unused variable

[r7333]

18 years agoremoved unused function
Michael Beck [Thu, 9 Feb 2006 12:57:01 +0000 (12:57 +0000)]
removed unused function

[r7332]

18 years agoFixed the Proj-Numbers for the Raise Node (now again like in older Firm)
Michael Beck [Thu, 9 Feb 2006 12:55:59 +0000 (12:55 +0000)]
Fixed the Proj-Numbers for the Raise Node (now again like in older Firm)

[r7331]

18 years agofind_value() added
Michael Beck [Thu, 9 Feb 2006 12:54:07 +0000 (12:54 +0000)]
find_value() added
handle exception memory for CopyB and Bound nodes right

[r7330]

18 years agoused symbolic constant when constructing new Proj nodes
Michael Beck [Thu, 9 Feb 2006 12:51:50 +0000 (12:51 +0000)]
used symbolic constant when constructing new Proj nodes
add Bound and CopyB cases

[r7329]

18 years agogvn_pre.h must be installed
Michael Beck [Wed, 8 Feb 2006 18:59:44 +0000 (18:59 +0000)]
gvn_pre.h must be installed

[r7328]

18 years agorenamed, poor firmjni construction cannot handle "final"
FIRM Projekt Account [Wed, 8 Feb 2006 18:55:35 +0000 (18:55 +0000)]
renamed, poor firmjni construction cannot handle "final"

[r7327]

18 years agorenamed aux directory to auxilliary, aux is not a valid name in win32
FIRM Projekt Account [Wed, 8 Feb 2006 18:53:00 +0000 (18:53 +0000)]
renamed aux directory to auxilliary, aux is not a valid name in win32

[r7326]

18 years agoFixed construction of constants (new verifyer detects this)
FIRM Projekt Account [Wed, 8 Feb 2006 18:49:41 +0000 (18:49 +0000)]
Fixed construction of constants (new verifyer detects this)

[r7325]

18 years agoadded missing header file
Christian Würdig [Wed, 8 Feb 2006 10:14:54 +0000 (10:14 +0000)]
added missing header file

[r7324]

18 years agoget_pnc_string() fixed
Michael Beck [Mon, 6 Feb 2006 09:33:37 +0000 (09:33 +0000)]
get_pnc_string() fixed

[r7322]

18 years agomissing new_r_simpleSel() added
Michael Beck [Mon, 6 Feb 2006 09:31:56 +0000 (09:31 +0000)]
missing new_r_simpleSel() added

[r7321]

18 years agognv_pre.h added
Michael Beck [Sat, 4 Feb 2006 18:00:16 +0000 (18:00 +0000)]
gnv_pre.h added

[r7320]

18 years agoadded header file for GVN-PRE
Michael Beck [Sat, 4 Feb 2006 17:57:40 +0000 (17:57 +0000)]
added header file for GVN-PRE

[r7319]

18 years agomake identities_cmp() and identify_remember() accessible
Michael Beck [Fri, 3 Feb 2006 16:59:11 +0000 (16:59 +0000)]
make identities_cmp() and identify_remember() accessible

[r7318]

18 years agofirm_debug_break() is now public
Michael Beck [Fri, 3 Feb 2006 16:51:37 +0000 (16:51 +0000)]
firm_debug_break() is now public

[r7317]

18 years agolibcore is now enabled by default
Michael Beck [Thu, 2 Feb 2006 17:15:53 +0000 (17:15 +0000)]
libcore is now enabled by default

[r7312]

18 years agoreplaced pset_union by more correct value_union (does normalization)
Michael Beck [Thu, 2 Feb 2006 16:50:31 +0000 (16:50 +0000)]
replaced pset_union by more correct value_union (does normalization)
fixed Avail_out calculation
set graph state at the end

[r7311]

18 years agoadded type info and final flag to class types
Michael Beck [Thu, 2 Feb 2006 16:48:45 +0000 (16:48 +0000)]
added type info and final flag to class types

[r7310]

18 years agoclosed_world flag added
Michael Beck [Thu, 2 Feb 2006 16:47:55 +0000 (16:47 +0000)]
closed_world flag added
typos fixed, enhanced doxygen documentation

[r7309]

18 years agomore changes. Works for the examples ...
Michael Beck [Thu, 2 Feb 2006 14:37:47 +0000 (14:37 +0000)]
more changes. Works for the examples ...

[r7308]

18 years agofactored out value_replace() to make it more like VanDrunen's code
Michael Beck [Tue, 31 Jan 2006 18:51:23 +0000 (18:51 +0000)]
factored out value_replace() to make it more like VanDrunen's code
renamed vars for same reason
fixed phi_translate():
 - obey leader
 - check for Phi in right block
 - do commutative changes

[r7307]

18 years agoadded xmalloc.h install
Christian Würdig [Tue, 31 Jan 2006 13:20:57 +0000 (13:20 +0000)]
added xmalloc.h install

[r7306]

18 years agoinstall xmalloc.h
Christian Würdig [Tue, 31 Jan 2006 13:17:19 +0000 (13:17 +0000)]
install xmalloc.h

[r7304]

18 years agogreop High-Level Exception nodes together
Michael Beck [Tue, 31 Jan 2006 12:16:41 +0000 (12:16 +0000)]
greop High-Level Exception nodes together

[r7303]

18 years agogroup High-Level Exception nodes together
Michael Beck [Tue, 31 Jan 2006 12:15:25 +0000 (12:15 +0000)]
group High-Level Exception nodes together

[r7302]

18 years agoProj lookup tables for Raise and InstOf added
Michael Beck [Tue, 31 Jan 2006 12:14:07 +0000 (12:14 +0000)]
Proj lookup tables for Raise and InstOf added

[r7301]

18 years agogroup High-Level exception nodes together
Michael Beck [Tue, 31 Jan 2006 12:12:26 +0000 (12:12 +0000)]
group High-Level exception nodes together
fixed typos

[r7300]

18 years agogroup High-Level exception support ops together
Michael Beck [Tue, 31 Jan 2006 12:08:11 +0000 (12:08 +0000)]
group High-Level exception support ops together
removed Label attribute from opcodes that cannot throw an exception

[r7299]

18 years agoBugFix:
Michael Beck [Mon, 30 Jan 2006 11:59:36 +0000 (11:59 +0000)]
BugFix:
- End node must be handled specially because it is not copied
- Entity type construction fixed

[r7296]

18 years agoreorder for loops
Michael Beck [Mon, 30 Jan 2006 09:18:22 +0000 (09:18 +0000)]
reorder for loops
typo fixed
is_Block() instead of long code used

[r7294]

18 years agomore debug output
Michael Beck [Mon, 30 Jan 2006 09:17:03 +0000 (09:17 +0000)]
more debug output

[r7293]

18 years agoFixed dumping of CondIs nodes
Michael Beck [Mon, 30 Jan 2006 09:16:07 +0000 (09:16 +0000)]
Fixed dumping of CondIs nodes
reorder for loops

[r7292]

18 years agoBugFix: sign extension code erroniously overwrites upper bits
Michael Beck [Mon, 30 Jan 2006 09:14:06 +0000 (09:14 +0000)]
BugFix: sign extension code erroniously overwrites upper bits

[r7291]

18 years agonew adt bipartite added
Christian Würdig [Sat, 28 Jan 2006 12:58:14 +0000 (12:58 +0000)]
new adt bipartite added

[r7290]

18 years agoadded get_next_ir_opcodes() to allow allocation of cosecutive opcodes
Michael Beck [Fri, 27 Jan 2006 18:16:50 +0000 (18:16 +0000)]
added get_next_ir_opcodes() to allow allocation of cosecutive opcodes

[r7289]

18 years agoRemoved Keep op, added Keep flag
Michael Beck [Fri, 27 Jan 2006 18:00:05 +0000 (18:00 +0000)]
Removed Keep op, added Keep flag

[r7288]

18 years agohandle the keep attributes. Nodes with keep attribute stay in the keep-alives
Michael Beck [Fri, 27 Jan 2006 17:57:10 +0000 (17:57 +0000)]
handle the keep attributes. Nodes with keep attribute stay in the keep-alives
of an End node

[r7287]

18 years agomore debug output on failure
Michael Beck [Fri, 27 Jan 2006 17:56:05 +0000 (17:56 +0000)]
more debug output on failure

[r7286]

18 years agosome functions renamed for cleaner understanding
Michael Beck [Fri, 27 Jan 2006 17:48:52 +0000 (17:48 +0000)]
some functions renamed for cleaner understanding

[r7284]

18 years agois_irn_keep() added
Michael Beck [Fri, 27 Jan 2006 17:46:55 +0000 (17:46 +0000)]
is_irn_keep() added
fixed get_irn_type(), must return unknown_type instead of NULL

[r7283]

18 years agoAdded flip_all function
Sebastian Hack [Fri, 27 Jan 2006 17:20:45 +0000 (17:20 +0000)]
Added flip_all function

[r7282]

18 years agoAdded bipartite graphs
Sebastian Hack [Fri, 27 Jan 2006 17:20:29 +0000 (17:20 +0000)]
Added bipartite graphs

[r7281]

18 years agoBugFix: wrong op called
Michael Beck [Fri, 27 Jan 2006 17:05:20 +0000 (17:05 +0000)]
BugFix: wrong op called

[r7280]

18 years agoget_union_member_index() and get_compound_member_index() added
Michael Beck [Fri, 27 Jan 2006 17:02:04 +0000 (17:02 +0000)]
get_union_member_index() and get_compound_member_index() added

[r7279]

18 years agoget_member_index type operation added
Michael Beck [Fri, 27 Jan 2006 17:00:48 +0000 (17:00 +0000)]
get_member_index type operation added

[r7278]

18 years agoCheck that COnst nodes have same mode as its tarval
Michael Beck [Fri, 27 Jan 2006 05:12:32 +0000 (05:12 +0000)]
Check that COnst nodes have same mode as its tarval

[r7276]

18 years agoSkip Cats nodes in non_null check
Michael Beck [Fri, 27 Jan 2006 05:11:16 +0000 (05:11 +0000)]
Skip Cats nodes in non_null check

[r7275]

18 years agofixed hooking mechanism
Christian Würdig [Wed, 25 Jan 2006 14:47:34 +0000 (14:47 +0000)]
fixed hooking mechanism

[r7273]

18 years agolightweight DB() macro added
Michael Beck [Wed, 25 Jan 2006 13:08:28 +0000 (13:08 +0000)]
lightweight DB() macro added

[r7272]

18 years agoFully implemneted. Works fine with the two examples (including VanDrunen's original
Michael Beck [Tue, 24 Jan 2006 18:17:07 +0000 (18:17 +0000)]
Fully implemneted. Works fine with the two examples (including VanDrunen's original
one if constant folding is disabled). However, the Antic set is different form the GCC
generated. It is not clear yet is this is right ...

[r7270]

18 years agoAdded tags for ops
Sebastian Hack [Wed, 18 Jan 2006 15:49:52 +0000 (15:49 +0000)]
Added tags for ops

[r7258]

18 years agoRemoved Keep
Sebastian Hack [Wed, 18 Jan 2006 15:49:39 +0000 (15:49 +0000)]
Removed Keep

[r7257]

18 years agosome optimizations must be disabled while the reassociation runs
Michael Beck [Tue, 17 Jan 2006 14:30:22 +0000 (14:30 +0000)]
some optimizations must be disabled while the reassociation runs
indetify functions are global now

[r7256]

18 years agoirop_flag_keep flag added
Michael Beck [Tue, 17 Jan 2006 14:13:19 +0000 (14:13 +0000)]
irop_flag_keep flag added

[r7255]

18 years agoir/ir/irop_t.h added
Michael Beck [Tue, 17 Jan 2006 13:41:12 +0000 (13:41 +0000)]
ir/ir/irop_t.h added

[r7254]

18 years agoAdded the Keep node
Sebastian Hack [Mon, 16 Jan 2006 16:59:19 +0000 (16:59 +0000)]
Added the Keep node

[r7253]

18 years agoFlags support.
Sebastian Hack [Mon, 16 Jan 2006 16:58:46 +0000 (16:58 +0000)]
Flags support.

[r7252]

18 years agoadded pmap_count
Daniel Grund [Mon, 16 Jan 2006 16:20:00 +0000 (16:20 +0000)]
added pmap_count

[r7251]

18 years agoadded missing headers for install
Christian Würdig [Mon, 16 Jan 2006 10:11:29 +0000 (10:11 +0000)]
added missing headers for install

[r7250]

18 years agoLIBCORE is on per default now
Christian Würdig [Mon, 16 Jan 2006 10:10:00 +0000 (10:10 +0000)]
LIBCORE is on per default now

[r7249]

18 years agoremoved useless empty function
Michael Beck [Mon, 16 Jan 2006 03:01:21 +0000 (03:01 +0000)]
removed useless empty function

[r7248]

18 years agocharacter modes do not have modulo shift's
Michael Beck [Mon, 16 Jan 2006 03:00:26 +0000 (03:00 +0000)]
character modes do not have modulo shift's

[r7247]

18 years agoBugFix: get_opt_ldst_only_null_ptr_exceptions() was checked wrong
Michael Beck [Mon, 16 Jan 2006 02:59:25 +0000 (02:59 +0000)]
BugFix: get_opt_ldst_only_null_ptr_exceptions() was checked wrong

[r7246]

18 years agoopt_confirms.f added
Michael Beck [Sat, 14 Jan 2006 21:17:09 +0000 (21:17 +0000)]
opt_confirms.f added

[r7245]

18 years agoInstOf Node (high-level instanceof test with exception) reanimated
Michael Beck [Sat, 14 Jan 2006 21:15:05 +0000 (21:15 +0000)]
InstOf Node (high-level instanceof test with exception) reanimated

[r7244]

18 years agoDBG_OPT_EXC_REM() used, remove exception edges from Load and Store if it can be prove...
Michael Beck [Sat, 14 Jan 2006 21:04:47 +0000 (21:04 +0000)]
DBG_OPT_EXC_REM() used, remove exception edges from Load and Store if it can be proved that the address is non-null and no other exception exists

[r7243]

18 years agoDBG_OPT_EXC_REM() added (a exception edge was removed due to a comfirmation prove)
Michael Beck [Sat, 14 Jan 2006 21:02:45 +0000 (21:02 +0000)]
DBG_OPT_EXC_REM() added (a exception edge was removed due to a comfirmation prove)

[r7242]

18 years agoHOOK_OPT_EXC_REM added
Michael Beck [Sat, 14 Jan 2006 21:01:46 +0000 (21:01 +0000)]
HOOK_OPT_EXC_REM added

[r7241]

18 years agoldst_only_null_ptr_exceptions and sel_based_null_check_elim flags added
Michael Beck [Sat, 14 Jan 2006 21:00:11 +0000 (21:00 +0000)]
ldst_only_null_ptr_exceptions and sel_based_null_check_elim flags added

[r7240]

18 years agoopt_confirms.h is now global visible
Michael Beck [Sat, 14 Jan 2006 20:59:10 +0000 (20:59 +0000)]
opt_confirms.h is now global visible

[r7239]

18 years agovalue_not_null() improved, skips now Sel nodes if option is set
Michael Beck [Sat, 14 Jan 2006 20:57:43 +0000 (20:57 +0000)]
value_not_null() improved, skips now Sel nodes if option is set

[r7238]

18 years agorenamed all types 'type' to 'ir_type'
Michael Beck [Fri, 13 Jan 2006 22:58:52 +0000 (22:58 +0000)]
renamed all types 'type' to 'ir_type'

[r7237]

18 years agorenamed all types 'type' to 'ir_type'
Michael Beck [Fri, 13 Jan 2006 22:57:41 +0000 (22:57 +0000)]
renamed all types 'type' to 'ir_type'
used mode_is_reference instead of != mode_P test

[r7236]

18 years agorenamed all types 'type' to 'ir_type'
Michael Beck [Fri, 13 Jan 2006 22:49:17 +0000 (22:49 +0000)]
renamed all types 'type' to 'ir_type'
removed struct from firm types

[r7235]

18 years agoremoved unneeded includes
Michael Beck [Fri, 13 Jan 2006 22:39:33 +0000 (22:39 +0000)]
removed unneeded includes
renamed all types 'type' to 'ir_type'

[r7234]

18 years agorenamed all types 'type' to 'ir_type'
Michael Beck [Fri, 13 Jan 2006 22:35:47 +0000 (22:35 +0000)]
renamed all types 'type' to 'ir_type'

[r7233]

18 years agorenamed all types 'type' to 'ir_type'
Michael Beck [Fri, 13 Jan 2006 22:14:37 +0000 (22:14 +0000)]
renamed all types 'type' to 'ir_type'

[r7232]

18 years agorenamed all types 'type' to 'ir_type'
Michael Beck [Fri, 13 Jan 2006 22:00:15 +0000 (22:00 +0000)]
renamed all types 'type' to 'ir_type'

[r7231]

18 years agorenamed all types 'type' to 'ir_type'
Michael Beck [Fri, 13 Jan 2006 21:54:03 +0000 (21:54 +0000)]
renamed all types 'type' to 'ir_type'

[r7230]

18 years agoremoved unneeded includes
Michael Beck [Fri, 13 Jan 2006 21:51:02 +0000 (21:51 +0000)]
removed unneeded includes
renamed all types 'type' to 'ir_type'

[r7229]

18 years agoadded ifdef around irloop type
Michael Beck [Fri, 13 Jan 2006 21:49:08 +0000 (21:49 +0000)]
added ifdef around irloop type

[r7228]

18 years agoadd defined for verification enums
Michael Beck [Fri, 13 Jan 2006 21:45:38 +0000 (21:45 +0000)]
add defined for verification enums

[r7227]

18 years agomissing include added
Michael Beck [Fri, 13 Jan 2006 21:44:15 +0000 (21:44 +0000)]
missing include added
renamed all types 'type' to 'ir_type'

[r7226]

18 years agoir_loop type added
Michael Beck [Fri, 13 Jan 2006 21:43:28 +0000 (21:43 +0000)]
ir_loop type added

[r7225]

18 years agopleliminary version of VanDrunen's GVN_PRE for Firm
Michael Beck [Thu, 12 Jan 2006 13:25:38 +0000 (13:25 +0000)]
pleliminary version of VanDrunen's GVN_PRE for Firm

[r7220]