Lab18 empty espresso.exe output on Windows 10

michalmonday

(@michalmonday)

New Member

Joined: 2 years ago

Posts: 3

Topic starter 11/07/2022 12:27 pm

Hello, I'm trying to follow the Lab18 script on Windows 10. It states to use the following commands to convert the updated "decode" file:

./coredecode -in decode > coredecode.e
./espresso.linux -Dso -oeqntott coredecode.e | ./addassign -pre out.  > equations

I ran:

perl coredecode -in decode > coredecode.e
./espresso.exe -Dso -oeqntott coredecode.e | perl addassign -pre out. > equations

I used explicit "perl" command because I'm on Windows, and ran it from Git bash because powershell didn't have "cut" command.

It seems that the coredecode.e is output correctly:

Spoiler

Contents of the new coredecode.e

in=decode
out=decode.out
view=rv32i
.i 32
.o 50
.ilb i[31] i[30] i[29] i[28] i[27] i[26] i[25] i[24] i[23] i[22] i[21] i[20] i[19] i[18] i[17] i[16] i[15] i[14] i[13] i[12] i[11] i[10] i[9] i[8] i[7] i[6] i[5] i[4] i[3] i[2] i[1] i[0]
.ob minu alu rs1 rs2 imm12 rd shimm5 imm20 pc load store lsu add sub land lor lxor sll sra srl slt unsign condbr beq bne bge blt jal by half word csr_read csr_clr csr_set csr_write csr_imm presync postsync ebreak ecall mret mul rs1_sign rs2_sign low div rem fence fence_i pm_alu
.type fr
# add
0000000----------000-----0110011 01110100000010000000000000000000000000000000000001
# addi
-----------------000-----0010011 01101100000010000000000000000000000000000000000001
# and
0000000----------111-----0110011 01110100000000100000000000000000000000000000000001
# andi
-----------------111-----0010011 01101100000000100000000000000000000000000000000001
# auipc
-------------------------0010111 01000101100010000000000000000000000000000000000001
# beq
-----------------000-----1100011 01110000000001000000001100000000000000000000000000
# bge
-----------------101-----1100011 01110000000001000000001001000000000000000000000000
# bgeu
-----------------111-----1100011 01110000000001000000011001000000000000000000000000
# blt
-----------------100-----1100011 01110000000001000000001000100000000000000000000000
# bltu
-----------------110-----1100011 01110000000001000000011000100000000000000000000000
# bne
-----------------001-----1100011 01110000000001000000001010000000000000000000000000
# csrrc_ro
------------00000011-----1110011 01000100000000010000000000000001000000000000000000
# csrrc_rw0
------------1----011-----1110011 01100100000000010000000000000001100011000000000000
# csrrc_rw1
-------------1---011-----1110011 01100100000000010000000000000001100011000000000000
# csrrc_rw2
--------------1--011-----1110011 01100100000000010000000000000001100011000000000000
# csrrc_rw3
---------------1-011-----1110011 01100100000000010000000000000001100011000000000000
# csrrc_rw4
----------------1011-----1110011 01100100000000010000000000000001100011000000000000
# csrrci_ro
------------00000111-----1110011 01000100000000010000000000000001000000000000000000
# csrrci_rw0
------------1----111-----1110011 01100100000000010000000000000001100111000000000000
# csrrci_rw1
-------------1---111-----1110011 01100100000000010000000000000001100111000000000000
# csrrci_rw2
--------------1--111-----1110011 01100100000000010000000000000001100111000000000000
# csrrci_rw3
---------------1-111-----1110011 01100100000000010000000000000001100111000000000000
# csrrci_rw4
----------------1111-----1110011 01100100000000010000000000000001100111000000000000
# csrrs_ro
------------00000010-----1110011 01000100000000010000000000000001000000000000000000
# csrrs_rw0
------------1----010-----1110011 01100100000000010000000000000001010011000000000000
# csrrs_rw1
-------------1---010-----1110011 01100100000000010000000000000001010011000000000000
# csrrs_rw2
--------------1--010-----1110011 01100100000000010000000000000001010011000000000000
# csrrs_rw3
---------------1-010-----1110011 01100100000000010000000000000001010011000000000000
# csrrs_rw4
----------------1010-----1110011 01100100000000010000000000000001010011000000000000
# csrrsi_ro
------------00000110-----1110011 01000100000000010000000000000001000000000000000000
# csrrsi_rw0
------------1----110-----1110011 01100100000000010000000000000001010111000000000000
# csrrsi_rw1
-------------1---110-----1110011 01100100000000010000000000000001010111000000000000
# csrrsi_rw2
--------------1--110-----1110011 01100100000000010000000000000001010111000000000000
# csrrsi_rw3
---------------1-110-----1110011 01100100000000010000000000000001010111000000000000
# csrrsi_rw4
----------------1110-----1110011 01100100000000010000000000000001010111000000000000
# csrrw0
-----------------001----11110011 01100100000000010000000000000001001011000000000000
# csrrw1
-----------------001---1-1110011 01100100000000010000000000000001001011000000000000
# csrrw2
-----------------001--1--1110011 01100100000000010000000000000001001011000000000000
# csrrw3
-----------------001-1---1110011 01100100000000010000000000000001001011000000000000
# csrrw4
-----------------0011----1110011 01100100000000010000000000000001001011000000000000
# csrrwi0
-----------------101----11110011 01100100000000010000000000000001001111000000000000
# csrrwi1
-----------------101---1-1110011 01100100000000010000000000000001001111000000000000
# csrrwi2
-----------------101--1--1110011 01100100000000010000000000000001001111000000000000
# csrrwi3
-----------------101-1---1110011 01100100000000010000000000000001001111000000000000
# csrrwi4
-----------------1011----1110011 01100100000000010000000000000001001111000000000000
# csrw
-----------------001000001110011 01100100000000000000000000000000001000000000000000
# csrwi
-----------------101000001110011 01000100000000000000000000000000001100000000000000
# div
0000001----------100-----0110011 00110100000000000000000000000000000011000000010000
# divu
0000001----------101-----0110011 00110100000000000000010000000000000011000000010000
# ebreak
00000000000100000000000001110011 01101100000000010000000000000000000001100000000000
# ecall
00000000000000000000000001110011 01101100000000010000000000000000000001010000000000
# fence
0000--------00000000000000001111 01000000000000010000000000000000000010000000000100
# fence.i
00000000000000000001000000001111 01000000000000010000000000000000000011000000000110
# jal
-------------------------1101111 01000101100000000000000000010000000000000000000000
# jalr
-----------------000-----1100111 01101100000000000000000000010000000000000000000000
# lb
-----------------000-----0000011 00100100010100000000000000001000000000000000000000
# lbu
-----------------100-----0000011 00100100010100000000010000001000000000000000000000
# lh
-----------------001-----0000011 00100100010100000000000000000100000000000000000000
# lhu
-----------------101-----0000011 00100100010100000000010000000100000000000000000000
# lui
-------------------------0110111 01000101000000010000000000000000000000000000000001
# lw
-----------------010-----0000011 00100100010100000000000000000010000000000000000000
# minu
0000101----------101-----0110011 11110100000000000000000000000000000000000000000001
# mret
00110000001000000000000001110011 01101100000000010000000000000000000001001000000000
# mul
0000001----------000-----0110011 00110100000000000000000000000000000000000100100000
# mulh
0000001----------001-----0110011 00110100000000000000000000000000000000000111000000
# mulhsu
0000001----------010-----0110011 00110100000000000000000000000000000000000110000000
# mulhu
0000001----------011-----0110011 00110100000000000000000000000000000000000100000000
# or
0000000----------110-----0110011 01110100000000010000000000000000000000000000000001
# ori
-----------------110-----0010011 01101100000000010000000000000000000000000000000001
# rem
0000001----------110-----0110011 00110100000000000000000000000000000011000000011000
# remu
0000001----------111-----0110011 00110100000000000000010000000000000011000000011000
# sb
-----------------000-----0100011 00110000001100000000000000001000000000000000000000
# sh
-----------------001-----0100011 00110000001100000000000000000100000000000000000000
# sll
0000000----------001-----0110011 01110100000000000100000000000000000000000000000001
# slli
0000000----------001-----0010011 01100110000000000100000000000000000000000000000001
# slt
0000000----------010-----0110011 01110100000001000000100000000000000000000000000001
# slti
-----------------010-----0010011 01101100000001000000100000000000000000000000000001
# sltiu
-----------------011-----0010011 01101100000001000000110000000000000000000000000001
# sltu
0000000----------011-----0110011 01110100000001000000110000000000000000000000000001
# sra
0100000----------101-----0110011 01110100000000000010000000000000000000000000000001
# srai
0100000----------101-----0010011 01100110000000000010000000000000000000000000000001
# srl
0000000----------101-----0110011 01110100000000000001000000000000000000000000000001
# srli
0000000----------101-----0010011 01100110000000000001000000000000000000000000000001
# sub
0100000----------000-----0110011 01110100000001000000000000000000000000000000000001
# sw
-----------------010-----0100011 00110000001100000000000000000010000000000000000000
# wfi
00010000010100000000000001110011 01101100000000010000000000000000000000000000000001
# xor
0000000----------100-----0110011 01110100000000001000000000000000000000000000000001
# xori
-----------------100-----0010011 01101100000000001000000000000000000000000000000001

The generated "equations" file was empty, so I ran the following command:

./espresso.exe -Dso -oeqntott coredecode.e

and the output is empty.

Running "espresso.linux" from WSL terminal with the same parameters results in correct output.

Quote

dchaver

(@dchaver)

Member Admin

Joined: 3 years ago

Posts: 82

12/07/2022 9:09 am

Dear Michal,

I've just replicated the process that you describe in my Windows 10 machine. I had never used Git Bash before, so I've installed and tried it for my first time, and I obtain the same results as you (see the attached file called "MyTest_Windows10_GitBash").

I have also replicated the process using Cygwin, which is what I have been using in Windows for RVfpga. Using Cygwin, everything works fine (see the attached file called "MyTest_Windows10_Cygwin", available in my second reply).

Can you try again using Cygwin? It can be installed as explained in Appendix C of the Getting Started Guide.

Note that the espresso.exe was compiled in Cygwin, so probably your problem is related with that and it could be solved by recompiling it for Git Bash. See the following error:

$ ./espresso.exe -Dso -oeqntott coredecode.e
C:/Users/Daniel/Desktop/RVfpga_v2-2/src/SweRVolfSoC/SweRVEh1CoreComplex/dec/espresso.exe: error while loading shared libraries: cygwin1.dll: cannot open shared object file: No such file or directory

Let us know if you can solve the problem or if you need more help.

Best regards

Dani

ReplyQuote

dchaver

(@dchaver)

Member Admin

Joined: 3 years ago

Posts: 82

12/07/2022 9:11 am

File "MyTest_Windows10_Cygwin.txt"

ReplyQuote

michalmonday

(@michalmonday)

New Member

Joined: 2 years ago

Posts: 3

Topic starter 12/07/2022 1:43 pm

Thank you very much, using Cygwin fixes the problem.

By the way, please correct me if I'm wrong but I think I spotted a little inaccuracy while trying to follow the minu/min/max exercise (of lab 18). It looks like in the comment from Figure 10, t4 and t3 should be swapped.

.word 0x0bde5f33 # minu t5, t4, t3    0000 101 | 1 1101  | 1110 0 | 101 | 1111 0 | 011 0011

It's the same behaviour but it was a bit confusing for me when I tried to verify if my way of producing hex instruction for min/max will give the same result for minu.

ReplyQuote

dchaver

(@dchaver)

Member Admin

Joined: 3 years ago

Posts: 82

13/07/2022 9:14 am

Yes Michal, you are right: t3 and t4 should be swapped. We'll fix it in our next release. Thank you very much!

Best regards

Dani

ReplyQuote

delete

(@delete)

Active Member

Joined: 2 months ago

Posts: 13

28/03/2024 1:17 pm

@dchaver

Hello, I have an error in cygwin when I use the following command

./espresso.linux -Dso -oeqntott coredecode.e | ./addassign -pre out. > equations

-bash: ./espresso.linux: cannot execute binary file: Exec format error

ReplyQuote

dchaver

(@dchaver)

Member Admin

Joined: 3 years ago

Posts: 82

28/03/2024 4:11 pm

Hi,

In windows you should use the espresso.exe file that you can find in the same folders as the espresso.linux file (for example, at RVfpga\RVfpgaEL2\RVfpga_Basys3\src\VeeRwolf\VeeR_EL2CoreComplex\dec).

The previous posts in this topic give more details that can be useful for you.

Let us know if this resolves your problem.

Best regards

Dani

ReplyQuote

Cookie	Duration	Description
__hssrc	session	This cookie is set by Hubspot whenever it changes the session cookie. The __hssrc cookie set to 1 indicates that the user has restarted the browser, and if the cookie does not exist, it is assumed to be a new session.
_GRECAPTCHA	5 months 27 days	This cookie is set by the Google recaptcha service to identify bots to protect the website against malicious spam attacks.
cookielawinfo-checkbox-advertisement	1 year	Set by the GDPR Cookie Consent plugin, this cookie is used to record the user consent for the cookies in the "Advertisement" category .
cookielawinfo-checkbox-analytics	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Analytics".
cookielawinfo-checkbox-functional	11 months	The cookie is set by GDPR cookie consent to record the user consent for the cookies in the category "Functional".
cookielawinfo-checkbox-necessary	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookies is used to store the user consent for the cookies in the category "Necessary".
cookielawinfo-checkbox-others	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Other.
cookielawinfo-checkbox-performance	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Performance".
CookieLawInfoConsent	1 year	Records the default button state of the corresponding category & the status of CCPA. It works only in coordination with the primary cookie.
viewed_cookie_policy	11 months	The cookie is set by the GDPR Cookie Consent plugin and is used to store whether or not user has consented to the use of cookies. It does not store any personal data.

Cookie	Duration	Description
__cf_bm	30 minutes	This cookie, set by Cloudflare, is used to support Cloudflare Bot Management.
__hssc	30 minutes	HubSpot sets this cookie to keep track of sessions and to determine if HubSpot should increment the session number and timestamps in the __hstc cookie.
bcookie	2 years	LinkedIn sets this cookie from LinkedIn share buttons and ad tags to recognize browser ID.
bscookie	2 years	LinkedIn sets this cookie to store performed actions on the website.
lang	session	LinkedIn sets this cookie to remember a user's language setting.
lidc	1 day	LinkedIn sets the lidc cookie to facilitate data center selection.
UserMatchHistory	1 month	LinkedIn sets this cookie for LinkedIn Ads ID syncing.

Cookie	Duration	Description
__hstc	1 year 24 days	This is the main cookie set by Hubspot, for tracking visitors. It contains the domain, initial timestamp (first visit), last timestamp (last visit), current timestamp (this visit), and session number (increments for each subsequent session).
_gcl_au	3 months	Provided by Google Tag Manager to experiment advertisement efficiency of websites using their services.
CONSENT	2 years	YouTube sets this cookie via embedded youtube-videos and registers anonymous statistical data.
hubspotutk	1 year 24 days	HubSpot sets this cookie to keep track of the visitors to the website. This cookie is passed to HubSpot on form submission and used when deduplicating contacts.

Cookie	Duration	Description
_fbp	3 months	This cookie is set by Facebook to display advertisements when either on Facebook or on a digital platform powered by Facebook advertising, after visiting the website.
fr	3 months	Facebook sets this cookie to show relevant advertisements to users by tracking user behaviour across the web, on sites that have Facebook pixel or Facebook social plugin.
test_cookie	15 minutes	The test_cookie is set by doubleclick.net and is used to determine if the user's browser supports cookies.
VISITOR_INFO1_LIVE	5 months 27 days	A cookie set by YouTube to measure bandwidth that determines whether the user gets the new or old player interface.
YSC	session	YSC cookie is set by Youtube and is used to track the views of embedded videos on Youtube pages.
yt-remote-connected-devices	never	YouTube sets this cookie to store the video preferences of the user using embedded YouTube video.
yt-remote-device-id	never	YouTube sets this cookie to store the video preferences of the user using embedded YouTube video.
yt.innertube::nextId	never	This cookie, set by YouTube, registers a unique ID to store data on what videos from YouTube the user has seen.
yt.innertube::requests	never	This cookie, set by YouTube, registers a unique ID to store data on what videos from YouTube the user has seen.

Cookie	Duration	Description
AnalyticsSyncHistory	1 month	No description
LanguageCode	session	No description available.
li_gc	2 years	No description