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]
Michael Beck [Fri, 30 Dec 2005 15:25:46 +0000 (15:25 +0000)]
extern "C" added
[r7169]
Michael Beck [Fri, 30 Dec 2005 15:24:54 +0000 (15:24 +0000)]
fixed get_mode_size() define
added defines for subclass/superclass
[r7168]
Michael Beck [Fri, 30 Dec 2005 15:23:05 +0000 (15:23 +0000)]
renamed all type * to ir_type *
removed diagnostic output
[r7167]
Michael Beck [Fri, 30 Dec 2005 15:20:31 +0000 (15:20 +0000)]
renamed all type * to ir_type *
fixed dioxygen docu
[r7166]
Michael Beck [Fri, 30 Dec 2005 15:17:47 +0000 (15:17 +0000)]
changed names of unknown and none tpop
[r7165]
Michael Beck [Fri, 30 Dec 2005 15:16:40 +0000 (15:16 +0000)]
renamed all type * to ir_type *
typo fixed in doxygen docu
[r7164]
Michael Beck [Fri, 30 Dec 2005 15:11:08 +0000 (15:11 +0000)]
renamed all type * to ir_type *
used get_type_attr() and get_entity_attr() to remove to dependency of the type walker from the knowledge of nodes
[r7163]
Michael Beck [Fri, 30 Dec 2005 15:06:20 +0000 (15:06 +0000)]
renamed all type * to ir_type *
called firm_set_default_get_type_attr() and firm_set_default_get_entity_attr() to set new ops
[r7162]
Michael Beck [Fri, 30 Dec 2005 15:03:55 +0000 (15:03 +0000)]
type_t.h include added
renamed all type * to ir_type *
[r7161]
Michael Beck [Fri, 30 Dec 2005 15:02:34 +0000 (15:02 +0000)]
little cleanup
[r7160]
Michael Beck [Fri, 30 Dec 2005 15:01:30 +0000 (15:01 +0000)]
renamed all type * to ir_type *
added two new operations, get_type_attr() and get_entity_attr()
[r7159]
Michael Beck [Fri, 30 Dec 2005 14:59:06 +0000 (14:59 +0000)]
renamed all type * to ir_type *
added firm_set_default_get_type_attr() and firm_set_default_get_entity_attr()
skip_Id() is hand-optimized and cannot switched off using get_opt_notmalize()
[r7158]
Michael Beck [Fri, 30 Dec 2005 14:53:39 +0000 (14:53 +0000)]
renamed all type * to ir_type *
added firm_set_default_get_type_attr() and firm_set_default_get_entity_attr()
[r7157]
Michael Beck [Fri, 30 Dec 2005 14:50:21 +0000 (14:50 +0000)]
renamed all type* to ir_type *
added get_irn_type_attr() and get_irn_entity_attr()
[r7156]
Michael Beck [Wed, 28 Dec 2005 17:53:42 +0000 (17:53 +0000)]
firm_types.h included, to need to uses "hidden" types anymore
[r7154]
Michael Beck [Wed, 28 Dec 2005 17:52:08 +0000 (17:52 +0000)]
struct type renamed to struct ir_type
[r7153]
Michael Beck [Tue, 27 Dec 2005 17:13:55 +0000 (17:13 +0000)]
includes firm_types.h now
[r7152]