Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

misc fixes/additions #4820

Merged
merged 5 commits into from
Jul 23, 2024
Merged

misc fixes/additions #4820

merged 5 commits into from
Jul 23, 2024

Conversation

ChrisDodd
Copy link
Contributor

3 independent changes here

  • don't lose annotations on for, and print them properly in dbprint/logging messages
  • compute def/use info in functions in midend ComputeDefUse
  • use hvec_set instead of ordered_set in midend ComputeDefUse

@ChrisDodd ChrisDodd requested review from asl and fruffy July 19, 2024 13:30
Copy link
Contributor

@asl asl left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Is is possible to have tests for hvec_set?

@kfcripps
Copy link
Contributor

bazel / build_direct (pull_request) Failing after 5m

@fruffy Is this a real or spurious failure? I see it failing in two other recent PRs too

@asl
Copy link
Contributor

asl commented Jul 19, 2024

@fruffy Is this a real or spurious failure? I see it failing in two other recent PRs too

Spurious:

WARNING: Download from http://ftpmirror.gnu.org/gnu/make/make-4.3.tar.gz failed: class java.net.ConnectException Connection refused (Connection refused)

@jafingerhut
Copy link
Contributor

When doing wget on this URL, I see there is a redirect to a different URL. Not sure if the way that P4 build process is trying to retrieve this URL, but I believe there are some ways like wget that follow redirects, and some that might not:

$ wget http://ftpmirror.gnu.org/gnu/make/make-4.3.tar.gz
--2024-07-19 12:34:50--  http://ftpmirror.gnu.org/gnu/make/make-4.3.tar.gz
Resolving ftpmirror.gnu.org (ftpmirror.gnu.org)... 2001:470:142:5::200, 209.51.188.200
Connecting to ftpmirror.gnu.org (ftpmirror.gnu.org)|2001:470:142:5::200|:80... connected.
HTTP request sent, awaiting response... 302 Moved Temporarily
Location: http://mirror.team-cymru.com/gnu/make/make-4.3.tar.gz [following]
--2024-07-19 12:34:50--  http://mirror.team-cymru.com/gnu/make/make-4.3.tar.gz
Resolving mirror.team-cymru.com (mirror.team-cymru.com)... 2604:8800:50:80:216:31:2:234, 216.31.2.234
Connecting to mirror.team-cymru.com (mirror.team-cymru.com)|2604:8800:50:80:216:31:2:234|:80... failed: Connection refused.
Connecting to mirror.team-cymru.com (mirror.team-cymru.com)|216.31.2.234|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 2317073 (2.2M) [application/octet-stream]
Saving to: ‘make-4.3.tar.gz’

make-4.3.tar.gz     100%[===================>]   2.21M  8.96MB/s    in 0.2s    

2024-07-19 12:34:51 (8.96 MB/s) - ‘make-4.3.tar.gz’ saved [2317073/2317073]

@fruffy fruffy added the core Topics concerning the core segments of the compiler (frontend, midend, parser) label Jul 19, 2024
@ChrisDodd
Copy link
Contributor Author

Is is possible to have tests for hvec_set?

added a small gtest

@ChrisDodd ChrisDodd requested review from asl and grg July 20, 2024 04:19
Copy link
Contributor

@grg grg left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

Copy link
Contributor

@asl asl left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, just small nit

Signed-off-by: Chris Dodd <[email protected]>
@ChrisDodd ChrisDodd added this pull request to the merge queue Jul 23, 2024
Merged via the queue into p4lang:main with commit a2ce60f Jul 23, 2024
17 checks passed
@ChrisDodd ChrisDodd deleted the cdodd-misc branch July 23, 2024 03:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
core Topics concerning the core segments of the compiler (frontend, midend, parser)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants