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]
Christian Würdig [Tue, 31 Jan 2006 13:20:57 +0000 (13:20 +0000)]
added xmalloc.h install
[r7306]
Christian Würdig [Tue, 31 Jan 2006 13:17:19 +0000 (13:17 +0000)]
install xmalloc.h
[r7304]
Michael Beck [Tue, 31 Jan 2006 12:16:41 +0000 (12:16 +0000)]
greop High-Level Exception nodes together
[r7303]
Michael Beck [Tue, 31 Jan 2006 12:15:25 +0000 (12:15 +0000)]
group High-Level Exception nodes together
[r7302]
Michael Beck [Tue, 31 Jan 2006 12:14:07 +0000 (12:14 +0000)]
Proj lookup tables for Raise and InstOf added
[r7301]
Michael Beck [Tue, 31 Jan 2006 12:12:26 +0000 (12:12 +0000)]
group High-Level exception nodes together
fixed typos
[r7300]
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]
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]
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]
Michael Beck [Mon, 30 Jan 2006 09:17:03 +0000 (09:17 +0000)]
more debug output
[r7293]
Michael Beck [Mon, 30 Jan 2006 09:16:07 +0000 (09:16 +0000)]
Fixed dumping of CondIs nodes
reorder for loops
[r7292]
Michael Beck [Mon, 30 Jan 2006 09:14:06 +0000 (09:14 +0000)]
BugFix: sign extension code erroniously overwrites upper bits
[r7291]
Christian Würdig [Sat, 28 Jan 2006 12:58:14 +0000 (12:58 +0000)]
new adt bipartite added
[r7290]
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]
Michael Beck [Fri, 27 Jan 2006 18:00:05 +0000 (18:00 +0000)]
Removed Keep op, added Keep flag
[r7288]
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]
Michael Beck [Fri, 27 Jan 2006 17:56:05 +0000 (17:56 +0000)]
more debug output on failure
[r7286]
Michael Beck [Fri, 27 Jan 2006 17:48:52 +0000 (17:48 +0000)]
some functions renamed for cleaner understanding
[r7284]
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]
Sebastian Hack [Fri, 27 Jan 2006 17:20:45 +0000 (17:20 +0000)]
Added flip_all function
[r7282]
Sebastian Hack [Fri, 27 Jan 2006 17:20:29 +0000 (17:20 +0000)]
Added bipartite graphs
[r7281]
Michael Beck [Fri, 27 Jan 2006 17:05:20 +0000 (17:05 +0000)]
BugFix: wrong op called
[r7280]
Michael Beck [Fri, 27 Jan 2006 17:02:04 +0000 (17:02 +0000)]
get_union_member_index() and get_compound_member_index() added
[r7279]
Michael Beck [Fri, 27 Jan 2006 17:00:48 +0000 (17:00 +0000)]
get_member_index type operation added
[r7278]
Michael Beck [Fri, 27 Jan 2006 05:12:32 +0000 (05:12 +0000)]
Check that COnst nodes have same mode as its tarval
[r7276]
Michael Beck [Fri, 27 Jan 2006 05:11:16 +0000 (05:11 +0000)]
Skip Cats nodes in non_null check
[r7275]
Christian Würdig [Wed, 25 Jan 2006 14:47:34 +0000 (14:47 +0000)]
fixed hooking mechanism
[r7273]
Michael Beck [Wed, 25 Jan 2006 13:08:28 +0000 (13:08 +0000)]
lightweight DB() macro added
[r7272]
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]
Sebastian Hack [Wed, 18 Jan 2006 15:49:52 +0000 (15:49 +0000)]
Added tags for ops
[r7258]
Sebastian Hack [Wed, 18 Jan 2006 15:49:39 +0000 (15:49 +0000)]
Removed Keep
[r7257]
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]
Michael Beck [Tue, 17 Jan 2006 14:13:19 +0000 (14:13 +0000)]
irop_flag_keep flag added
[r7255]
Michael Beck [Tue, 17 Jan 2006 13:41:12 +0000 (13:41 +0000)]
ir/ir/irop_t.h added
[r7254]
Sebastian Hack [Mon, 16 Jan 2006 16:59:19 +0000 (16:59 +0000)]
Added the Keep node
[r7253]
Sebastian Hack [Mon, 16 Jan 2006 16:58:46 +0000 (16:58 +0000)]
Flags support.
[r7252]
Daniel Grund [Mon, 16 Jan 2006 16:20:00 +0000 (16:20 +0000)]
added pmap_count
[r7251]
Christian Würdig [Mon, 16 Jan 2006 10:11:29 +0000 (10:11 +0000)]
added missing headers for install
[r7250]
Christian Würdig [Mon, 16 Jan 2006 10:10:00 +0000 (10:10 +0000)]
LIBCORE is on per default now
[r7249]
Michael Beck [Mon, 16 Jan 2006 03:01:21 +0000 (03:01 +0000)]
removed useless empty function
[r7248]
Michael Beck [Mon, 16 Jan 2006 03:00:26 +0000 (03:00 +0000)]
character modes do not have modulo shift's
[r7247]
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]
Michael Beck [Sat, 14 Jan 2006 21:17:09 +0000 (21:17 +0000)]
opt_confirms.f added
[r7245]
Michael Beck [Sat, 14 Jan 2006 21:15:05 +0000 (21:15 +0000)]
InstOf Node (high-level instanceof test with exception) reanimated
[r7244]
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]
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]
Michael Beck [Sat, 14 Jan 2006 21:01:46 +0000 (21:01 +0000)]
HOOK_OPT_EXC_REM added
[r7241]
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]
Michael Beck [Sat, 14 Jan 2006 20:59:10 +0000 (20:59 +0000)]
opt_confirms.h is now global visible
[r7239]
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]
Michael Beck [Fri, 13 Jan 2006 22:58:52 +0000 (22:58 +0000)]
renamed all types 'type' to 'ir_type'
[r7237]
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]
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]
Michael Beck [Fri, 13 Jan 2006 22:39:33 +0000 (22:39 +0000)]
removed unneeded includes
renamed all types 'type' to 'ir_type'
[r7234]
Michael Beck [Fri, 13 Jan 2006 22:35:47 +0000 (22:35 +0000)]
renamed all types 'type' to 'ir_type'
[r7233]
Michael Beck [Fri, 13 Jan 2006 22:14:37 +0000 (22:14 +0000)]
renamed all types 'type' to 'ir_type'
[r7232]
Michael Beck [Fri, 13 Jan 2006 22:00:15 +0000 (22:00 +0000)]
renamed all types 'type' to 'ir_type'
[r7231]
Michael Beck [Fri, 13 Jan 2006 21:54:03 +0000 (21:54 +0000)]
renamed all types 'type' to 'ir_type'
[r7230]
Michael Beck [Fri, 13 Jan 2006 21:51:02 +0000 (21:51 +0000)]
removed unneeded includes
renamed all types 'type' to 'ir_type'
[r7229]
Michael Beck [Fri, 13 Jan 2006 21:49:08 +0000 (21:49 +0000)]
added ifdef around irloop type
[r7228]
Michael Beck [Fri, 13 Jan 2006 21:45:38 +0000 (21:45 +0000)]
add defined for verification enums
[r7227]
Michael Beck [Fri, 13 Jan 2006 21:44:15 +0000 (21:44 +0000)]
missing include added
renamed all types 'type' to 'ir_type'
[r7226]
Michael Beck [Fri, 13 Jan 2006 21:43:28 +0000 (21:43 +0000)]
ir_loop type added
[r7225]
Michael Beck [Thu, 12 Jan 2006 13:25:38 +0000 (13:25 +0000)]
pleliminary version of VanDrunen's GVN_PRE for Firm
[r7220]
Sebastian Hack [Thu, 12 Jan 2006 12:22:59 +0000 (12:22 +0000)]
Small changes
[r7218]
FIRM Projekt Account [Thu, 12 Jan 2006 11:04:09 +0000 (11:04 +0000)]
Dumper changed: a new edge class 'postdominator' added
[r7217]
Michael Beck [Thu, 12 Jan 2006 01:06:44 +0000 (01:06 +0000)]
2 new cases added
[r7216]
Michael Beck [Thu, 12 Jan 2006 01:05:42 +0000 (01:05 +0000)]
used pn_*_max constants in all turn_into_tuple
equivalent_node_Confirm() improved
transformations added:
a+a = 2*a
(a*x)-a = a*(x-1)
preliminary version of equivalent_node_Bound() without Confirm support yet
[r7215]
Michael Beck [Thu, 12 Jan 2006 01:00:21 +0000 (01:00 +0000)]
Bound operation added:
high level bounds check for Java, Pascal, Modula-3
[r7214]
Michael Beck [Wed, 11 Jan 2006 00:51:06 +0000 (00:51 +0000)]
renamed all type 'type' to new ir_type
intrinsic method property added
[r7210]
Michael Beck [Mon, 9 Jan 2006 12:37:32 +0000 (12:37 +0000)]
used new set_irg_doms_inconsistent() to invalidate dom and postdom
[r7209]
Michael Beck [Mon, 9 Jan 2006 11:51:22 +0000 (11:51 +0000)]
used new set_irg_doms_inconsistent() to invalidate dom and postdom
[r7208]
Michael Beck [Mon, 9 Jan 2006 11:48:32 +0000 (11:48 +0000)]
used new set_irg_doms_inconsistent() to invalidate dom and postdom
renamed type 'type' to newer 'ir_type'
[r7207]
Michael Beck [Mon, 9 Jan 2006 11:44:19 +0000 (11:44 +0000)]
used new set_irg_doms_inconsistent() to invalidate dom and postdom
rename the type 'type' to newer 'ir_type'
[r7206]
Michael Beck [Mon, 9 Jan 2006 11:38:16 +0000 (11:38 +0000)]
added data for post-dominance
used only types without 'struct'
[r7205]
Michael Beck [Mon, 9 Jan 2006 11:36:05 +0000 (11:36 +0000)]
added data and functions for post-dominance info
[r7204]
Michael Beck [Mon, 9 Jan 2006 11:34:58 +0000 (11:34 +0000)]
used new set_irg_doms_inconsistent() to invalidate dom and postdom
[r7203]
Michael Beck [Mon, 9 Jan 2006 11:33:54 +0000 (11:33 +0000)]
post-dominators are dumped yet
removed #if 0 code
[r7202]
Michael Beck [Mon, 9 Jan 2006 11:32:57 +0000 (11:32 +0000)]
added post-dominator construction
[r7201]
Michael Beck [Mon, 9 Jan 2006 10:41:31 +0000 (10:41 +0000)]
used dbg_printf all over
[r7197]
Michael Beck [Sat, 7 Jan 2006 23:50:41 +0000 (23:50 +0000)]
newent and newtype takes now either a number or a name
[r7196]
Michael Beck [Sat, 7 Jan 2006 23:49:49 +0000 (23:49 +0000)]
more checks and diagnostic output added
[r7195]
Michael Beck [Thu, 5 Jan 2006 14:06:02 +0000 (14:06 +0000)]
uses firm type WITHOUT struct
[r7194]
Michael Beck [Thu, 5 Jan 2006 13:51:36 +0000 (13:51 +0000)]
added missing include
[r7193]
Michael Beck [Thu, 5 Jan 2006 13:51:04 +0000 (13:51 +0000)]
missing include added
[r7192]
Michael Beck [Mon, 2 Jan 2006 16:50:17 +0000 (16:50 +0000)]
loop unrolling currently buggy ...
[r7190]
Michael Beck [Mon, 2 Jan 2006 15:59:25 +0000 (15:59 +0000)]
added missing get_irn_type_attr() and get_irn_entity_attr()
[r7188]
FIRM Projekt Account [Mon, 2 Jan 2006 15:55:17 +0000 (15:55 +0000)]
loop-unrolling did not write debug messages anymore
[r7187]
Michael Beck [Mon, 2 Jan 2006 15:49:33 +0000 (15:49 +0000)]
removed dumper call
[r7186]
FIRM Projekt Account [Mon, 2 Jan 2006 15:45:40 +0000 (15:45 +0000)]
renamed NODE_VERIFICATION_* to newer FIRM_VERIFICATION_*
renamed old type 'type' into ir_type
[r7185]
Michael Beck [Mon, 2 Jan 2006 15:03:16 +0000 (15:03 +0000)]
fixed inline definitions
[r7183]
Michael Beck [Mon, 2 Jan 2006 15:02:49 +0000 (15:02 +0000)]
make defines for identical enums (firmjni build process using recoder cannot cope with)
[r7182]
Michael Beck [Mon, 2 Jan 2006 15:01:16 +0000 (15:01 +0000)]
missing include added
[r7181]
Michael Beck [Sat, 31 Dec 2005 15:58:57 +0000 (15:58 +0000)]
added missing includes
[r7175]
Michael Beck [Sat, 31 Dec 2005 15:58:09 +0000 (15:58 +0000)]
trvrfy uses now verification flags
[r7174]
Michael Beck [Sat, 31 Dec 2005 15:57:03 +0000 (15:57 +0000)]
moved verification flags from irvrfy to irflag
verifications flags are now used by irvrfy and trvrfy
removed binary Cond test, failed in some optimizations
[r7173]
Michael Beck [Sat, 31 Dec 2005 15:54:14 +0000 (15:54 +0000)]
moved verification flags from irvrfy to irflag
verifications flags are now used by irvrfy and trvrfy
[r7172]
Michael Beck [Fri, 30 Dec 2005 15:29:21 +0000 (15:29 +0000)]
extern "C" added
renamed struct _ident to struct ident for better debugging
[r7171]
Michael Beck [Fri, 30 Dec 2005 15:27:39 +0000 (15:27 +0000)]
fixed doxygen comments
[r7170]