summaryrefslogtreecommitdiffhomepage
path: root/ir/be/beverify.h
Commit message (Collapse)AuthorAge
* beverify: Remove spillslot verifierMatthias Braun2016-01-18
| | | | | The verifier has been broken and therefore unused for a while, remove it for now.
* Remove unnecessary #include "bearch.h".Christoph Mallon2015-07-19
|
* Remove produces_sp register constraintMatthias Braun2015-07-01
| | | | | | | | We can easily identify the outputs producing a stack pointer by looking if the stack pointer register is assigned. Unfortunately this also needed a new mechanism to tell the verifier that some registers are not in SSA form (all the time) which needs a few extra lines in each backend.
* remove arch_get_frame_entity()Matthias Braun2014-11-25
| | | | Add callbacks on functions that really need them instead.
* be: delay stack pointer SSA reconstruction until shortly before emitMatthias Braun2014-05-30
|
* cleanup: Remove unnecessary #include "irgraph.h".Christoph Mallon2013-01-05
|
* remove license stuff from filesMatthias Braun2012-12-12
| | | | | Just state the copyright and the project the files belong to. You can then find the COPYING file for the whole project.
* cleanup: Remove unnecessary #include "beirg.h".Christoph Mallon2012-11-25
|
* beverify: cleanup, use bool for ok/bad return valueMatthias Braun2012-10-29
|
* beverify: remove dominance checkMatthias Braun2012-10-29
| | | | irverify already checks the dominance property
* belive: move dumper to bedump, checker to beverifyMatthias Braun2011-12-05
|
* remove $Id$, it doesn't work with git anywayMatthias Braun2011-11-10
|
* beverify: test register width in regalloc verificationMatthias Braun2011-08-22
|
* fix a bunch of whitespace errors in headerfilesMatthias Braun2011-02-24
|
* change register allocator and related interfaces to use ir_graph* instead of ↵Matthias Braun2010-07-02
| | | | | | be_irg_t* [r27692]
* change spiller and related interface to use ir_graph* instead of be_irg_t*Matthias Braun2010-07-02
| | | | [r27691]
* - fix most of the -Wunreachable-code and -Wlogical-op warningsMatthias Braun2010-03-10
| | | | | | | - rework ir_phase API (sorry for mixing these 2 things into 1 commit) [r27285]
* Remove the unused attribute const arch_env_t *arch_env from struct ↵Christoph Mallon2008-10-11
| | | | | | be_verify_spillslots_env_t and also the then unused parameter const arch_env_t *arch_env from be_verify_spillslots(). [r22747]
* add some interesting comment ;-)Michael Beck2008-01-14
| | | | [r17375]
* update copyright messageMichael Beck2008-01-02
| | | | [r17143]
* Changed API of livenessSebastian Hack2007-08-17
| | | | | | It gets a beirg not an irg anymore [r15560]
* unified mein file commentsChristian Würdig2007-04-30
| | | | | | | | | unified .h #ifndef ... #define ... changed some indenting removed some unused code removed beuses_t.h as unused header [r13559]
* unified headerChristian Würdig2007-04-27
| | | | | | fixed include structure (files should include all needed headers - not more and not less) [r13523]
* added new licence headerChristian Würdig2007-04-27
| | | | [r13508]
* - Implement all the state switching stuff needed for efficient fpu modeMatthias Braun2007-04-02
| | | | | | | switching in x87 - Only emit externally allocated symbols that are actually used [r12625]
* verifier to check that no out edges point to dead/removed nodesMatthias Braun2006-09-03
|
* Several bug fixesSebastian Hack2006-08-28
| | | | Adapted to the new dependency edges
* - Spillslot coalescing now collects all nodes that have class spill/reloadMatthias Braun2006-08-14
| | | | | - Stackparams get rematerialized now - several warning fixes
* - New register allocation verifierMatthias Braun2006-08-12
|
* - new spillslot verifier (doesn't catch all errors at the moment, because ↵Matthias Braun2006-08-04
| | | | lifeness analysis ignores non-schedule nodes)
* - belady spiller places its copy nodes smarter nowMatthias Braun2006-06-01
| | | | - new verifier test, that values in a block aren't used before they are defined
* added cvs idChristian Würdig2006-05-30
| | | | updated comments
* * changed verfier to handle delay_slots (theoretically...)Matthias Braun2006-05-29
| | | | * verify functions don"t assert anymore but return int
* Initial commit of morgans spilling algorithm (spill unused values that live ↵Matthias Braun2006-05-24
through blocks or loops). Other small changes: * Added some verify functions that check for register pressure or valid schedules (replaces the broken check_pressure in bechordal_main.c) * Some style/readability improvements to the belady spill code * Some style/readability improvements to beuses.* * Fixed registerpressure stat dumper * Some improvements to bespill.c: When spilling already reloaded values, don't add a 2nd spill.