Several high-performance applications integrate loop bodies, which represent the most critical sections. This aspect brings two challenges. Firstly, the Worst Case Execution Time (WCET) must be ...