diff options
| author | Kathy Gray | 2016-07-23 12:13:48 +0100 |
|---|---|---|
| committer | Kathy Gray | 2016-07-23 12:13:48 +0100 |
| commit | 8702b977b43999f0b203f44074ac0abd3bac0e02 (patch) | |
| tree | 8e0625eae3aa370856c1fb4834d9c2ddc3070df7 | |
| parent | e60e43cb90cf7128cee4f82d84a402ba0cb14dc5 (diff) | |
update to remove use of return as variable
| -rw-r--r-- | arm/armv8_A64_lib.sail | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/arm/armv8_A64_lib.sail b/arm/armv8_A64_lib.sail index 2bcec4ba..6489e3ba 100644 --- a/arm/armv8_A64_lib.sail +++ b/arm/armv8_A64_lib.sail @@ -845,14 +845,14 @@ function unit Prefetch((bit[64]) address, (bit[5]) prfop) = (uinteger) target := 0; (boolean) stream := 0; - (bool) return := false; + (bool) returnv := false; switch prfop[4..3] { case 0b00 -> hint := Prefetch_READ (* PLD: prefetch for load *) case 0b01 -> hint := Prefetch_EXEC (* PLI: preload instructions *) case 0b10 -> hint := Prefetch_WRITE (* PST: prepare for store *) - case 0b11 -> return := true (* unallocated hint *) + case 0b11 -> returnv := true (* unallocated hint *) }; - if ~(return) then { + if ~(returnv) then { target := prfop[2..1]; (* target cache level *) stream := (prfop[0] != 0); (* streaming (non-temporal) *) Hint_Prefetch(address, hint, target, stream); |