Re: [PATCH 14/20] target/riscv/kvm: do not use riscv_cpu_add_misa_properties()

2023-08-31 Thread Andrew Jones
On Fri, Aug 25, 2023 at 10:08:47AM -0300, Daniel Henrique Barboza wrote:
> riscv_cpu_add_misa_properties() is being used to fill the missing KVM
> MISA properties but it is a TCG helper that was adapted to do so. We'll
> move it to tcg-cpu.c in the next patches, meaning that KVM needs to fill
> the remaining MISA properties on its own.
> 
> Do not use riscv_cpu_add_misa_properties(). Let's create a new array
> with all available MISA bits we support that can be read by KVM. Then,
> inside kvm_riscv_add_cpu_user_properties(), we'll create all KVM MISA
> properties as usual and then use this array to add any missing MISA
> properties with the riscv_cpu_add_kvm_unavail_prop() helper.
> 
> Note that we're creating misa_bits[], and not using the existing
> 'riscv_single_letter_exts[]', because the latter is tuned for riscv,isa
> related functions and it doesn't have all MISA bits we support. Commit
> 0e2c377023 ("target/riscv: misa to ISA string conversion fix") has the
> full context.
> 
> While we're at it, move both satp and the multi-letter extension
> properties to kvm_riscv_add_cpu_user_properties() as well.
> 
> Signed-off-by: Daniel Henrique Barboza 
> ---
>  target/riscv/cpu.c |  2 ++
>  target/riscv/cpu.h |  3 ++-
>  target/riscv/kvm/kvm-cpu.c | 17 +++--
>  3 files changed, 15 insertions(+), 7 deletions(-)
> 
> diff --git a/target/riscv/cpu.c b/target/riscv/cpu.c
> index bf6c8519b1..f9aea6a80a 100644
> --- a/target/riscv/cpu.c
> +++ b/target/riscv/cpu.c
> @@ -38,6 +38,8 @@
>  
>  /* RISC-V CPU definitions */
>  static const char riscv_single_letter_exts[] = "IEMAFDQCPVH";
> +const uint32_t misa_bits[] = {RVI, RVE, RVM, RVA, RVF, RVD, RVV,
> +  RVC, RVS, RVU, RVH, RVJ, RVG};
>  
>  struct isa_ext_data {
>  const char *name;
> diff --git a/target/riscv/cpu.h b/target/riscv/cpu.h
> index 950c2301f2..9ec3b98bd2 100644
> --- a/target/riscv/cpu.h
> +++ b/target/riscv/cpu.h
> @@ -43,7 +43,7 @@
>  #define RV(x) ((target_ulong)1 << (x - 'A'))
>  
>  /*
> - * Consider updating misa_ext_info_arr[] and misa_ext_cfgs[]
> + * Update misa_bits[], misa_ext_info_arr[] and misa_ext_cfgs[]
>   * when adding new MISA bits here.
>   */
>  #define RVI RV('I')
> @@ -60,6 +60,7 @@
>  #define RVJ RV('J')
>  #define RVG RV('G')
>  
> +extern const uint32_t misa_bits[13];
   ^ maintaining this will be a PITA

I suggest misa_bits either have a terminating zero (zero is an invalid bit
number) or that a const nr_misa_bits is also exported from riscv/cpu.c
which be set to ARRAY_SIZE(misa_bits) and would be used for the loop
condition.

>  const char *riscv_get_misa_ext_name(uint32_t bit);
>  const char *riscv_get_misa_ext_description(uint32_t bit);
>  
> diff --git a/target/riscv/kvm/kvm-cpu.c b/target/riscv/kvm/kvm-cpu.c
> index 85e8b0a927..501384924b 100644
> --- a/target/riscv/kvm/kvm-cpu.c
> +++ b/target/riscv/kvm/kvm-cpu.c
> @@ -387,6 +387,8 @@ static void kvm_riscv_add_cpu_user_properties(Object 
> *cpu_obj)
>  {
>  int i;
>  
> +riscv_add_satp_mode_properties(cpu_obj);
> +
>  for (i = 0; i < ARRAY_SIZE(kvm_misa_ext_cfgs); i++) {
>  KVMCPUConfig *misa_cfg = _misa_ext_cfgs[i];
>  int bit = misa_cfg->offset;
> @@ -402,6 +404,11 @@ static void kvm_riscv_add_cpu_user_properties(Object 
> *cpu_obj)
>  misa_cfg->description);
>  }
>  
> +for (i = 0; i < ARRAY_SIZE(misa_bits); i++) {
> +const char *ext_name = riscv_get_misa_ext_name(misa_bits[i]);
> +riscv_cpu_add_kvm_unavail_prop(cpu_obj, ext_name);
> +}
> +
>  for (i = 0; i < ARRAY_SIZE(kvm_multi_ext_cfgs); i++) {
>  KVMCPUConfig *multi_cfg = _multi_ext_cfgs[i];
>  
> @@ -418,6 +425,10 @@ static void kvm_riscv_add_cpu_user_properties(Object 
> *cpu_obj)
>  object_property_add(cpu_obj, "cboz_blocksize", "uint16",
>  NULL, kvm_cpu_set_cbomz_blksize,
>  NULL, _cboz_blocksize);
> +
> +riscv_cpu_add_kvm_unavail_prop_array(cpu_obj, riscv_cpu_extensions);
> +riscv_cpu_add_kvm_unavail_prop_array(cpu_obj, riscv_cpu_vendor_exts);
> +riscv_cpu_add_kvm_unavail_prop_array(cpu_obj, 
> riscv_cpu_experimental_exts);
>  }
>  
>  static int kvm_riscv_get_regs_core(CPUState *cs)
> @@ -1301,12 +1312,6 @@ static void kvm_cpu_instance_init(CPUState *cs)
>  
>  if (rcc->user_extension_properties) {
>  kvm_riscv_add_cpu_user_properties(obj);
> -riscv_add_satp_mode_properties(obj);
> -riscv_cpu_add_misa_properties(obj);
> -
> -riscv_cpu_add_kvm_unavail_prop_array(obj, riscv_cpu_extensions);
> -riscv_cpu_add_kvm_unavail_prop_array(obj, riscv_cpu_vendor_exts);
> -riscv_cpu_add_kvm_unavail_prop_array(obj, 
> riscv_cpu_experimental_exts);
>  }
>  
>  for (Property *prop = riscv_cpu_options; prop && prop->name; prop++) {
> -- 
> 2.41.0
> 
> 

Otherwise,

Reviewed-by: Andrew Jones 



[PATCH 14/20] target/riscv/kvm: do not use riscv_cpu_add_misa_properties()

2023-08-25 Thread Daniel Henrique Barboza
riscv_cpu_add_misa_properties() is being used to fill the missing KVM
MISA properties but it is a TCG helper that was adapted to do so. We'll
move it to tcg-cpu.c in the next patches, meaning that KVM needs to fill
the remaining MISA properties on its own.

Do not use riscv_cpu_add_misa_properties(). Let's create a new array
with all available MISA bits we support that can be read by KVM. Then,
inside kvm_riscv_add_cpu_user_properties(), we'll create all KVM MISA
properties as usual and then use this array to add any missing MISA
properties with the riscv_cpu_add_kvm_unavail_prop() helper.

Note that we're creating misa_bits[], and not using the existing
'riscv_single_letter_exts[]', because the latter is tuned for riscv,isa
related functions and it doesn't have all MISA bits we support. Commit
0e2c377023 ("target/riscv: misa to ISA string conversion fix") has the
full context.

While we're at it, move both satp and the multi-letter extension
properties to kvm_riscv_add_cpu_user_properties() as well.

Signed-off-by: Daniel Henrique Barboza 
---
 target/riscv/cpu.c |  2 ++
 target/riscv/cpu.h |  3 ++-
 target/riscv/kvm/kvm-cpu.c | 17 +++--
 3 files changed, 15 insertions(+), 7 deletions(-)

diff --git a/target/riscv/cpu.c b/target/riscv/cpu.c
index bf6c8519b1..f9aea6a80a 100644
--- a/target/riscv/cpu.c
+++ b/target/riscv/cpu.c
@@ -38,6 +38,8 @@
 
 /* RISC-V CPU definitions */
 static const char riscv_single_letter_exts[] = "IEMAFDQCPVH";
+const uint32_t misa_bits[] = {RVI, RVE, RVM, RVA, RVF, RVD, RVV,
+  RVC, RVS, RVU, RVH, RVJ, RVG};
 
 struct isa_ext_data {
 const char *name;
diff --git a/target/riscv/cpu.h b/target/riscv/cpu.h
index 950c2301f2..9ec3b98bd2 100644
--- a/target/riscv/cpu.h
+++ b/target/riscv/cpu.h
@@ -43,7 +43,7 @@
 #define RV(x) ((target_ulong)1 << (x - 'A'))
 
 /*
- * Consider updating misa_ext_info_arr[] and misa_ext_cfgs[]
+ * Update misa_bits[], misa_ext_info_arr[] and misa_ext_cfgs[]
  * when adding new MISA bits here.
  */
 #define RVI RV('I')
@@ -60,6 +60,7 @@
 #define RVJ RV('J')
 #define RVG RV('G')
 
+extern const uint32_t misa_bits[13];
 const char *riscv_get_misa_ext_name(uint32_t bit);
 const char *riscv_get_misa_ext_description(uint32_t bit);
 
diff --git a/target/riscv/kvm/kvm-cpu.c b/target/riscv/kvm/kvm-cpu.c
index 85e8b0a927..501384924b 100644
--- a/target/riscv/kvm/kvm-cpu.c
+++ b/target/riscv/kvm/kvm-cpu.c
@@ -387,6 +387,8 @@ static void kvm_riscv_add_cpu_user_properties(Object 
*cpu_obj)
 {
 int i;
 
+riscv_add_satp_mode_properties(cpu_obj);
+
 for (i = 0; i < ARRAY_SIZE(kvm_misa_ext_cfgs); i++) {
 KVMCPUConfig *misa_cfg = _misa_ext_cfgs[i];
 int bit = misa_cfg->offset;
@@ -402,6 +404,11 @@ static void kvm_riscv_add_cpu_user_properties(Object 
*cpu_obj)
 misa_cfg->description);
 }
 
+for (i = 0; i < ARRAY_SIZE(misa_bits); i++) {
+const char *ext_name = riscv_get_misa_ext_name(misa_bits[i]);
+riscv_cpu_add_kvm_unavail_prop(cpu_obj, ext_name);
+}
+
 for (i = 0; i < ARRAY_SIZE(kvm_multi_ext_cfgs); i++) {
 KVMCPUConfig *multi_cfg = _multi_ext_cfgs[i];
 
@@ -418,6 +425,10 @@ static void kvm_riscv_add_cpu_user_properties(Object 
*cpu_obj)
 object_property_add(cpu_obj, "cboz_blocksize", "uint16",
 NULL, kvm_cpu_set_cbomz_blksize,
 NULL, _cboz_blocksize);
+
+riscv_cpu_add_kvm_unavail_prop_array(cpu_obj, riscv_cpu_extensions);
+riscv_cpu_add_kvm_unavail_prop_array(cpu_obj, riscv_cpu_vendor_exts);
+riscv_cpu_add_kvm_unavail_prop_array(cpu_obj, riscv_cpu_experimental_exts);
 }
 
 static int kvm_riscv_get_regs_core(CPUState *cs)
@@ -1301,12 +1312,6 @@ static void kvm_cpu_instance_init(CPUState *cs)
 
 if (rcc->user_extension_properties) {
 kvm_riscv_add_cpu_user_properties(obj);
-riscv_add_satp_mode_properties(obj);
-riscv_cpu_add_misa_properties(obj);
-
-riscv_cpu_add_kvm_unavail_prop_array(obj, riscv_cpu_extensions);
-riscv_cpu_add_kvm_unavail_prop_array(obj, riscv_cpu_vendor_exts);
-riscv_cpu_add_kvm_unavail_prop_array(obj, riscv_cpu_experimental_exts);
 }
 
 for (Property *prop = riscv_cpu_options; prop && prop->name; prop++) {
-- 
2.41.0