B | |
| BTL_BlockOptimizer | Main interface to communicate with BTL oracles |
| BTL_BlockOptimizeraux | Auxiliary function of the BTL prepass scheduler oracle |
| BTL_IfLiftingOracle | Prepass oracle extension to lift conditional branches |
| BTL_Liveness | BTL additional tools to compute liveness information |
| BTL_RegisterRenaming | BTL register renaming oracle, to be used with if-lifting |
| BTL_Renumber | BTL CFG renumbering oracle |
| BTL_SyntheticNodes | BTL auxiliary functions for successorship calculus and synthetic nodes |
| BTLcommonaux | Common tools for BTL oracles |
| BTLtoRTLaux | Translation from BTL to RTL and CFG factorization |
| BTLtypes | Common type definitions for BTL: oracles' types and shadow fields |
| Bitv | This module implements bit vectors, as an abstract datatype |
C | |
| CSE3analysisaux | CSE3 oracle implementation |
D | |
| DS [BTL_Liveness] | |
| Duplicateaux | Oracle for the Duplicate passes |
E | |
| ExpansionOracle | Rewriting oracle to lift up macro-instructions expansion from Asmgen to BTL (RISC-V only) |
I | |
| IM [BTL_RegisterRenaming] | |
| IM [BTL_IfLiftingOracle] | |
| IM [BTL_BlockOptimizer] | |
| IM [LazyCodeCore] | |
| Instbl [BTLtoRTLaux] | |
| InstructionScheduler | Schedule instructions on a synchronized pipeline by David Monniaux, CNRS, VERIMAG |
| IntPromotionOracle | Oracle to promote integers into long (RISC-V only) |
| IntSet [CSE3analysisaux] | |
K | |
| KV3 [OpWeights] | |
L | |
| L [Bitv] | With least significant bits first. |
| LazyCodeBackend | Backend specific functions for the LCT algorithm |
| LazyCodeCore | Core definitions for the LCT oracle |
| LazyCodeOracle | LCT Oracle implementation |
M | |
| M [Bitv] | With most significant bits first. |
| Make [StoreMotionOracle] | |
| Mapnode [BTLtoRTLaux] | |
O | |
| OpWeights | Latencies & resources information for prepass scheduling |
| OrdIS [BTLtypes] | Notations for Ordered sets of integers |
P | |
| PrepassSchedulingOracle | Prepass scheduler backend specific implementation |
| PrepassSchedulingOracleDeps | Common type definitions for prepass scheduling |
| PrintBTL | BTL instruction printer |
| PrintGV [PrintBTL] | |
R | |
| RTLtoBTLaux | Translation from RTL to BTL and block selection |
| RegsetLat [BTL_Liveness] | |
S | |
| SI [BTL_BlockOptimizeraux] | |
| StPartial [StoreMotionOracle] | |
| StTotal [StoreMotionOracle] | |
| StoreMotionOracle | Store motion oracle that tries to delay store instructions |
| StoreMotionOracle1 [BTL_BlockOptimizer] | |
| StoreMotionOracle2 [BTL_BlockOptimizer] |