On 2/22/2022 5:03 PM, Timon Gehr wrote: > vs: low <= a[2*i+1] && a[2*i+1] <= high If the expressions do not have side effects, any half decent compiler will not recompute them.