Comments (1)
For the last one I don't see reason not to do it.
For the first one, even if this is (probably) not the case right now, I am not sure that in the future some backend might requires O0. For this one I would suggest a deeper change with test that validate the optimized backend with a reference compiled in O0 on the existing related test, and maybe the possibility to specify for each backend the maximum optimization level supported. These test might be useful anyway to support new compilers that might bring new/updated optimization
For the second one, we had some discussion about refactoring of the vtable system but I can't remember, maybe we should reopen the discussion during our next F2F.
from verificarlo.
Related Issues (20)
- Commit 3e6bd62751939bb22ff160ef401b35ce9e49b029 doesn't build HOT 4
- Suggestion for requirements.txt
- Docker build is broken HOT 7
- In trouble with python-git HOT 2
- Release v0.4.3? HOT 2
- Compiling with LLVM-7 and gcc-9 on ubuntu 20.04 HOT 2
- Sources of Performance Improvement HOT 4
- Compilation Flow HOT 2
- IEEE backend is not reentrant
- After 88dfc7a, test_sparsity fails HOT 3
- To use verificarlo_home variable instead of relative path in Makefile.am
- LLVM can't compile the tests HOT 10
- problem of undefined symbol HOT 5
- Invalid constant provided for binary32 precision check
- Invalid constant provided for binary64 precision check
- Support for aarch64 / arm64 HOT 9
- Support LLVM 15.0.6 (Ubuntu 22.04 tests) HOT 19
- FMA and reduce operation support HOT 2
- Hasmap from funcinstr is not threadsafe
- Verificarlo logger reports `seed = 0` when seed is not fixed
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from verificarlo.