Skip to content
This repository has been archived by the owner on Sep 7, 2023. It is now read-only.

Compilation Performance Degradation #508

Closed
jeromesimeon opened this issue Jan 11, 2019 · 3 comments
Closed

Compilation Performance Degradation #508

jeromesimeon opened this issue Jan 11, 2019 · 3 comments
Labels
Category: Compiler Range: Usability Type: Feature Request 🛍️ New feature or request

Comments

@jeromesimeon
Copy link
Member

The Ergo compilation time is noticeably longer, especially when using DateTime operations. The most likely reason is redundant computation in the inlining phase. This should be improved, as it is quite noticeable when using template studio.
@jeromesimeon
Copy link
Member Author

Some fixes in PR #510

Further work on performance would be better done on the new Q*cert javascript backend (see #191)

@jeromesimeon
Copy link
Member Author

For the records, monitoring shows that the main cost is in the final code-generation step, not the inlining which works fine.

@jeromesimeon
Copy link
Member Author

Closing this as the regression is now addressed. Further performance work can happen later.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
Category: Compiler Range: Usability Type: Feature Request 🛍️ New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@jeromesimeon