2026-10-13T04:45:03Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:25671 2026-06-23T10:30:04Z ddc:004 open_access

Inter-Procedural Strength Reduction for Embedded Systems Agosta, Giovanni Compiler Optimization Strength Reduction Embedded systems often rely on code generated from model-based design tools, which can result in inefficient implementations due to the loss of high-level semantic information during code generation. This paper explores an inter-procedural extension of the strength reduction transformation, traditionally applied within loops, to optimize repeated computations across function calls. The proposed technique identifies parameters acting as counters and replaces costly operations - such as exponentiation or multiplication - with incremental updates based on recurrence relations, using static variables to preserve state between calls. We formalize the transformation, discuss its applicability conditions, and analyse tradeoffs between computation and memory access costs. Experimental evaluation on ARMv8, AVR microcontrollers, and x86_64 platforms demonstrates significant speedups for power operations (up to 9 ×), while highlighting limitations for simpler operations due to memory overhead. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Giovanni Agosta 2026 Is Part Of OASIcs, Volume 141, 17th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 15th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (PARMA-DITAM 2026) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.PARMA-DITAM.2026.4 urn:nbn:de:0030-drops-256717 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.PARMA-DITAM.2026.4 eng https://creativecommons.org/licenses/by/4.0/legalcode