Do not pass the cg to transform_nodes().

[r22622]

Remove pointless local variable.

[r22621]

Remove be_get_old_anchor(), it is not necessary.

[r22618]

Remove the attribute int visited from struct be_transform_env_t.  It is write-only.

[r22615]

Mark the old node as visited in be_set_transformed_node().

[r22614]

Do not mark the node as visited before transforming it.  This is not necessary anymore since Phis put their predecessors in a worklist, so we cannot walk in a circle.

[r22613]

Do not mark the transformed as visited.  It makes no sense at all.

[r22612]

Remove redundant be_set_transformed_node() in transformer functions.  They are vestiges of old transform semantics.  Their caller (transform helper) handles this.

[r22610]

Introduce ia32_Call, which can handle address mode.

[r22609]

No need to ignore Projs in the emitter, because there are none in the schedule.

[r22608]

Sort.

[r22606]

- BugFix: fix the rare case where two nodes a congruent, but have different modes
  This happens for instance with AddP(x, NULL) and x.
  Add a Conv than.

[r22603]

Add ia32_emitf() to concisely output ia32 instructions.

[r22602]

Make ia32_assign_exc_label() static and remove redundant test.

[r22601]

Slightly simplify jump table emitter.

[r22600]

Do not emit cld in the CopyB prologue.  The ABI mandates that DF is cleared, so do not bother performing this NOP.

[r22599]

Simplify emit_CopyB_prolog() and remove an unnecessary bit filter before calling it.

[r22598]

Make it a bit more clear, what's going on in ia32_emit_x87_binop().

[r22597]

- fixed some comment typos

[r22596]

- Add support for commutative congruences: Add(a,b) and Add(b,a) are
  congruent now
- add some explaining comment for the "wrong opcode after
  split_by(lambda_opcode) problem
- new checker added
- improved debug output

[r22595]

and again

[r22594]

again

[r22593]

revert change for now breaks 255.vortex and 253.perlbmk

[r22586]

another test

[r22585]

another fix for the delayed phi problem, mark memperms as spill+reload

[r22584]

- cond-eval is ok, gvn-pre has a problem with the do loop

[r22583]

- some strange combination of cond-eval and gvn-pre

[r22582]

- do not clean up keep-alives here
- ensure that really all blocks are initialized

[r22581]

- fixed strange code: when did it break?

[r22579]

- kill Bad nodes from the keep-alive list

[r22578]

- used new irg_walk_blkwise_dom_top_down() to calculate the value of each node
  as needed in first phase of BuildSets

[r22574]

- we need irg_walk_blkwise_dom_top_down() instead of
  irg_walk_blkwise_dom_graph()

[r22573]

- kill Bad nodes from the keep-alive list: these arise from the new
  keep-semantics (all memory must be kept in loops)

[r22572]

- re-enabled global-non-null test, but place Confirms only before Cmp nodes

[r22571]

Add irn_visited_else_mark(), which combines irn_visited() and mark_irn_visited().

[r22563]

fild and fist can handle 16bit source/destination.

[r22562]

Use separate code to emit suffixes for integer and floating point instructions, because GAS wants different suffixes for 16bit /integer/ operands ("w" vs. "s") for them.

[r22561]

fix last fix (+ optimisation: don't do anything if copy and orig are the same)

[r22552]

- reenabled modeb handling after condeval fix

[r22551]

fix condeval ssa recondstruction

[r22550]

Adding a smaller variant of fehler044

[r22546]

- implemented irg_walk_blkwise_dom_graph()

[r22541]

disable femms usage for now

[r22539]

- indentation fixed

[r22538]

fix typo

[r22535]

- BugFix: fixed sc_print() for modes with bitsize non dividable by 4

[r22534]

try to never put phis into pending

[r22532]

more debug info

[r22531]

Typo in comment.

[r22522]

s/irn_not_visited(x)/!irn_visited(x)/.

[r22521]

Remove redundant test.

[r22518]

- Condeval places a Phi in a wrong block, see the AddP
  generated for line 12

[r22508]

Clean up need_constraint_copy().

[r22503]

- add missing include

[r22499]

Good day and welcome to the FIRM XMALLOC*() macros.  These macros are provided for the type safety and convenience of the IPD research facility personnel.  The time is 15:32.  Check xmalloc.h for details.

[r22494]

Plug memory leak.

[r22493]

Do not bother zeroing an object just before freeing it.

[r22492]

Panic, when encountering a to be lowered ASM node.  This at least prevents the endless loop in fehler132.

[r22490]

- improved is_non_null_Confirm()
- disabled buggy parts for now

[r22487]

Let some optimizations return non-zero, if they changed something (for fixpoint iteration). Updated Visual Studio project.

[r22486]

- BugFix: fixed effect of r22470: Immediate is always the RIGHT operand
  (where this is specified?), so do NOT overwrite it (analog to
  turn_back_am())

[r22485]

- fixed r22480: Proj numbers are now different

[r22483]

Micro optimisation of the day: Remove ia32_Test, which tests the high result of ia32_Mul.

[r22480]

peephole_ia32_Test() would due to a bug only remove an ia32_Test if its direct successor was the desired node.  If the desired node was an indirect successor, it would incorrectly identify it as flags destroyer.

[r22479]

Treat conversions between the same size as downconv to get rid of unnecessary conversions.

[r22477]

Use turn_back_am() to implement peephole_ia32_Imul_split().

[r22471]

Only deactivate AM support for a node with an immediate, if the match flags do not include match_am_and_immediates.  This allows folding reloads into IMul with immediate.

[r22470]

Fix fehler157: Lowering Shrs was missing a Conv.

[r22469]

fehler157: Wrong mode for lower half of lowered 64bit Mul.

[r22468]

Use gen_binop() in gen_Mulh().

[r22467]

Ensure that empty functions get their ret $0 by skipping iro_Start and beo_RegParams.

[r22465]

Simplify node construction in gen_Mulh().

[r22464]

Merge ia32_am_type_t and ia32_am_arity_t, because (type == ia32_am_None) == (arity == ia32_am_arity_none).

[r22463]

set_ia32_op_type() want ia32_AddrModeS, not ia32_am_Source (though they happen to be the same value).

[r22461]

Make ia32_get_admissible_noreg() static.

[r22459]

fehler156: aligning the stack does not work.

[r22458]

Enable folding reloads into unary ia32 instructions (only binary was possible).

[r22457]

Remove ia32_am_ternary.  The only users were Div an IDiv, which are perfectly fine with being declared unary.  Further the only place, where the value was tested (in turn_back_am()) set the wrong operand then.  Though, effectively this was unreachable code, because Div/IDiv generate no sensible flags.

[r22456]

Use ia32_copy_am_attrs() for splitting IMul reg, mem, imm and also reset base and index.

[r22455]

Clean up turn_back_am(), panic on unknown arity.

[r22454]

Small simplification.

[r22453]

Put the flags, which are modified by Inc/Dec, into a variable.

[r22452]

Improve upper_bits_clean(): Recurse on Projs and failed Shr.

[r22450]

convert bitfield initializer tarvals before using them

[r22441]

fix firm outputting additional .skips after .string

[r22438]

mac assembler doesn't know .skip, use .space

[r22437]

Let is_non_null_Confirm() work as advertised for SymConsts.

[r22417]

- reduce the number of created confirms further

[r22415]

reduce the number of created Confirms

[r22414]

- BugFix: ensure, that no self-loops are constructed (this work-aound might be too restrictive)
- typos fixed

[r22413]

- BugFix: remove_confirms() now does NOT deactivate confirms for all graphs except the first one
- added debug output
- implemnted global NULL pointer test elimination using Confirm magic

[r22412]

add global_null_ptr_elimination flag

[r22411]

Test case for historical reasons

[r22410]

test for a rather simply gcc optimization

[r22409]

BugFix of r22380 (fixes 176.gcc):
 - smaller_mode() had the meaning "can be represented", restored
 - renamed new implemnetation into values_in_mode() with the meaning
   "can be converted into in back" which is different from smaller_mode()

[r22408]

Reuse prevents_AM check in PBQP transformer.

[r22407]

Panic if proj num is unexpected

[r22394]

fix endless loops

[r22393]

simplify and speedup belady/loopana a bit

[r22392]

create an index, as this heavily speeds up some queries

[r22391]