3c3
< * Copyright (c) 2010-2014 ARM Limited
---
> * Copyright (c) 2010-2014, 2017 ARM Limited
1046a1047,1052
> // at this point store conditionals should either have
> // been completed or predicated false
> assert(!head_inst->isStoreConditional() ||
> head_inst->isCompleted() ||
> !head_inst->readPredicate());
>