From 5a920b511d9b10c49d9472a9845b38a0a11570d2 Mon Sep 17 00:00:00 2001 From: Peter Rugg Date: Wed, 21 Oct 2020 18:49:04 +0100 Subject: [PATCH] Fix whitespace --- src/cheri_cap_common.sail | 34 +++++++++++++++++----------------- src/cheri_prelude_128.sail | 14 +++++++------- src/cheri_prelude_64.sail | 14 +++++++------- 3 files changed, 31 insertions(+), 31 deletions(-) diff --git a/src/cheri_cap_common.sail b/src/cheri_cap_common.sail index 9f97276a..5b5ed5ec 100644 --- a/src/cheri_cap_common.sail +++ b/src/cheri_cap_common.sail @@ -57,23 +57,23 @@ let cap_reset_T = 0b01 @ zeros(cap_mantissa_width - 2) * populated by capBitsToCapability. */ struct Capability = { - tag : bool , - uperms : bits(cap_uperms_width) , - permit_set_CID : bool , - access_system_regs : bool , - permit_unseal : bool , - permit_cinvoke : bool , - permit_seal : bool , - permit_store_local_cap : bool , - permit_store_cap : bool , - permit_load_cap : bool , - permit_store : bool , - permit_load : bool , - permit_execute : bool , - global : bool , - reserved : bits(cap_reserved_width) , - flag_cap_mode : bool , - internal_E : bool , + tag : bool, + uperms : bits(cap_uperms_width), + permit_set_CID : bool, + access_system_regs : bool, + permit_unseal : bool, + permit_cinvoke : bool, + permit_seal : bool, + permit_store_local_cap : bool, + permit_store_cap : bool, + permit_load_cap : bool, + permit_store : bool, + permit_load : bool, + permit_execute : bool, + global : bool, + reserved : bits(cap_reserved_width), + flag_cap_mode : bool, + internal_E : bool, E : bits(cap_E_width), B : bits(cap_mantissa_width), T : bits(cap_mantissa_width), diff --git a/src/cheri_prelude_128.sail b/src/cheri_prelude_128.sail index 30995b3d..731b34f6 100644 --- a/src/cheri_prelude_128.sail +++ b/src/cheri_prelude_128.sail @@ -63,13 +63,13 @@ let internal_E_take_bits = sizeof(internal_E_take_bits) /* Capability format completely compressed. Tag is out of band */ struct EncCapability = { - perms : bits(cap_uperms_width + cap_hperms_width) , - otype : bits(cap_otype_width) , - reserved : bits(cap_reserved_width) , - flags : bits(cap_flags_width) , - internal_E : bit , - T : bits(cap_mantissa_width - 2) , - B : bits(cap_mantissa_width) , + perms : bits(cap_uperms_width + cap_hperms_width), + otype : bits(cap_otype_width), + reserved : bits(cap_reserved_width), + flags : bits(cap_flags_width), + internal_E : bit, + T : bits(cap_mantissa_width - 2), + B : bits(cap_mantissa_width), address : bits(cap_addr_width) } diff --git a/src/cheri_prelude_64.sail b/src/cheri_prelude_64.sail index 904dc6b9..032d49ab 100644 --- a/src/cheri_prelude_64.sail +++ b/src/cheri_prelude_64.sail @@ -63,13 +63,13 @@ let internal_E_take_bits = sizeof(internal_E_take_bits) /* Capability format completely compressed. Tag is out of band */ struct EncCapability = { - perms : bits(cap_uperms_width + cap_hperms_width) , - otype : bits(cap_otype_width) , - reserved : bits(cap_reserved_width) , - flags : bits(cap_flags_width) , - internal_E : bit , - T : bits(cap_mantissa_width - 2) , - B : bits(cap_mantissa_width) , + perms : bits(cap_uperms_width + cap_hperms_width), + otype : bits(cap_otype_width), + reserved : bits(cap_reserved_width), + flags : bits(cap_flags_width), + internal_E : bit, + T : bits(cap_mantissa_width - 2), + B : bits(cap_mantissa_width), address : bits(cap_addr_width) }