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]
Michael Beck [Tue, 27 Dec 2005 16:33:35 +0000 (16:33 +0000)]
the type 'type' is now called ir_type
The old 'type' still exists, but is deprecated from now and will be
removed in the next releases.
[r7149]
FIRM Projekt Account [Tue, 27 Dec 2005 11:31:57 +0000 (11:31 +0000)]
crecoder cannot handle wchar_t type. As long as we do not need this functionality, we simply
remove all lines containing wchar_t :-(
[r7147]
FIRM Projekt Account [Tue, 27 Dec 2005 11:11:38 +0000 (11:11 +0000)]
workaround for GCC's overflow bug
[r7146]
Michael Beck [Tue, 27 Dec 2005 11:08:01 +0000 (11:08 +0000)]
added C++ guards
enhanced doxygen docu
[r7145]
Michael Beck [Tue, 27 Dec 2005 10:15:36 +0000 (10:15 +0000)]
renamed is_subclass_of -> is_SubClasss_of
[r7144]
Michael Beck [Sun, 25 Dec 2005 23:10:56 +0000 (23:10 +0000)]
renamed is_subclass* to is_SubClass*, is_superclass* to is_SuperClass*
[r7143]
Michael Beck [Sun, 25 Dec 2005 23:08:44 +0000 (23:08 +0000)]
renamed is_subclass* to is_SubClass*, is_superclass* to is_SuperClass* as is newer libfirm
reorganized calling_convention bits
[r7142]
Michael Beck [Sun, 25 Dec 2005 23:05:09 +0000 (23:05 +0000)]
renamed is_subclass* to is_SubClass*, is_superclass* to is_SuperClass* as is newer libfirm
removed two ?: constructions
[r7141]
Michael Beck [Fri, 23 Dec 2005 18:24:10 +0000 (18:24 +0000)]
BugFix: apply (a-b)*c --> a*c - b*c only in the mode of a and b is integer, as Firm
cannot handle MulP
[r7130]
Michael Beck [Fri, 23 Dec 2005 10:03:56 +0000 (10:03 +0000)]
typos fixed, C99 features removed
[r7125]
Michael Beck [Thu, 22 Dec 2005 16:27:59 +0000 (16:27 +0000)]
fixed fastcall and added function to set the number of register arguments
[r7122]
Michael Beck [Thu, 22 Dec 2005 13:08:32 +0000 (13:08 +0000)]
loop flags added
[r7118]
Michael Beck [Thu, 22 Dec 2005 12:49:30 +0000 (12:49 +0000)]
some typos fixed
[r7117]