Vector arith idl

[latifbhatti]

Objective: This pull request resolves all syntax errors detected using the ./do test:smoke command.

Instruction Implementation: Implemented RISC-V vector Arithmatic instructions

Next Action: Proceeding to validate the correctness of the implementation through simulation using the command ./do build:cpp_hart.

Current Issue: Encountering an error during the execution of ./do build:cpp_hart, indicating that the C++ ISS (Instruction Set Simulator) is not properly work.

Environment Status: Spike, QEMU, and the RISC-V GCC toolchain are already installed and available in the local environment.
Simulation Goal: The goal is to simulate the program and identify any remaining logical errors to ensure correctness.
Assistance Request: Requesting help with (i) setting up the C++ ISS, and (ii) guidance on how to define RISC-V vector registers in UDB using IDL (ISA Definition Language).

[dhower-qc]

have you run do test:idl? It looks like you have some syntax issues that should point out.

[latifbhatti]

Yes, I ran the do test:idl command. I also fixed all the syntax errors identified by the ./do test:smoke command. Now, when I run the do test:idl command, there are no syntax errors.

[latifbhatti]

I attempted to run the following commands to generate the cpp_hart files with different configuration options:

./do gen:cpp_hart CONFIG=rv32  
./do gen:cpp_hart CONFIG=all  
./do gen:cpp_hart CONFIG=rv64  
./do gen:cpp_hart CONFIG=example_rv64_with_overlay  
./do gen:cpp_hart CONFIG=MC100-32  

Before re-running some of these commands, I also executed the ./do clean command to ensure a clean state. However, I still encountered errors for all the configuration options.

I have attached a screenshot showing the error message I received while running the ./do gen:cpp_hart CONFIG=rv32 command. The errors for the other configurations were similar.

Could you please guide me on what might be going wrong or how to proceed?

Thank you for your support.

[jmawet]

Moved base branch to vector branch. As discussed, we will do all development for vector extension in the vector branch before we merge to main.

Additionally, I wanted to ask on v.idl. Here you created v.idl, while in mine (#467) I called it vec.idl. It really doesn't matter, but we should probably stay consistent. @dhower-qc your call, what do we want to call the file?

[ThinkOpenly]

I have attached a screenshot showing the error message I received while running the ./do gen:cpp_hart CONFIG=rv32 command.

Does the failure occur without your changes? Does the failure occur for you on the main branch? The cpp_hart and Ruby processing is not familiar to me. In the absence of more knowledgeable guidance, it might help to bisect the branch. Are you familiar with git bisect?

[latifbhatti]

I tried running it without my changes, and the failure still occurs.
I also checked the latest main branch, and the same issue is present there.

I used git bisect as you suggested, but I could not find any fully good commit — the error is present throughout.
However, after checking the commit aa87f8e3 (C++ model generator #403), I noticed that the type of error changed compared to the earlier one, but a failure is still there.

[ThinkOpenly]

I tried running it without my changes, and the failure still occurs.

I see the same error with current "main". @dhower-qc ?

[ThinkOpenly]

I see the same error with current "main". @dhower-qc ?

This is reported separately as #678

[dhower-qc]

Fixed in main.

[latifbhatti]

Hi @dhower-qc , @ThinkOpenly,
I have encountered an issue while running the following command in the project environment:

./do build:cpp_hart CONFIG=32

Although you previously addressed and resolved an error related to this command, I regret to inform you that I am still unable to execute it successfully, as a new error has arisen.

I would appreciate the opportunity to schedule a brief meeting with you to discuss this persistent issue and to seek guidance on properly setting up the C++ Instruction Set Simulator (ISS).

[ThinkOpenly]

./do build:cpp_hart CONFIG=32

Do you mean "CONFIG=rv32"?

Although you previously addressed and resolved an error related to this command, I regret to inform you that I am still unable to execute it successfully, as a new error has arisen.

I was able to successfully run this just now on the branch "main" (HEAD commit cf88b2b):

./do gen:cpp_hart CONFIG=rv32

The ISS is not really my area of expertise. Can you provide more details about the error you see?

[latifbhatti]

Thank you for your response!

I think both commands are different:

./do build:cpp_hart CONFIG=rv32 — I think this command is used to set up and build the C++ hart on the machine.

./do gen:cpp_hart CONFIG=rv32 — I think this command is used to generate the files for the C++ hart according to the given configuration.

This generation command (gen:cpp_hart) runs successfully on my laptop, so I think the setup is working fine on my side. But I get an error when using build:cpp_hart CONFIG=rv32.