Created by: egrimley
When enabled with "--build_ldstex" (it is disabled by default) single-entry single-exit blocks containing an exclusive load/store pair are recognised and decoded into a macro-instruction (OP_ldstex) which is subsequently treated as a single instruction, thereby escaping the mangling that leads to an infinite loop on some hardware, but also escaping instrumentation. This allows most tests to pass on hardware which does not accept any load/store instruction between the exclusive load and the corresponding exclusive store.
Alternative solutions should be investigated.