Hardware atomicity for compiler-directed control speculation