From 7f4c00420acd8c34b04659202ab825e7fd9f1687 Mon Sep 17 00:00:00 2001 From: lkcl Date: Sun, 5 Sep 2021 15:52:49 +0100 Subject: [PATCH] --- openpower/sv/branches.mdwn | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/openpower/sv/branches.mdwn b/openpower/sv/branches.mdwn index 8478fb480..ac3e14b45 100644 --- a/openpower/sv/branches.mdwn +++ b/openpower/sv/branches.mdwn @@ -78,9 +78,12 @@ the Condition Register file. *Note: Early-exit is **MANDATORY** (required) behaviour. Branches **MUST** exit at the first failure point, for -exactly the same reasons for which it us mandatory in +exactly the same reasons for which it is mandatory in programming languages doing early-exit: to avoid -damaging side-effects.* +damaging side-effects. Speculative testing of Contition +Register Fields is permitted, as is speculative updating +of CTR, as long as, as usual in any Out-of-Order microarchitecture, +that speculative testing is cancelled should an early-exit occur.* Additional useful behaviour involves two primary Modes (both of which may be enabled and combined): -- 2.30.2