Compiler Techniques For Transformation Verification, Energy Efficiency And Cache Modeling