Output mismatch due to load-store-optimization.