fixed indeterminism in WCET benchmarks

With LLVM optimizations (same for GCC) we need to rely on volatile loads
instead of undefined register values.