Comments (8)
Hi @arajamani-ampere. Sorry for the three week delay.
You may be interested by our recent implementation of the ROR shift type, available on master branch. This implementation is part of a more important PR #699, which should normally provide all shift types. Do not hesitate to contact us if some are still missing. Thanks.
from herdtools7.
Thank you for your help!! I had a couple other instructions that I was hoping you could take a look at. I don't see implementations for the following instructions: REV, ABS, SMULL, SMADDL, STZ2, and LDRSW. Also, I am not able to get ORN to work with any shifts. Thanks so much again!
from herdtools7.
Hi @arajamani-ampere. We'll thus consider implementing instructions REV, ABS, SMULL, SMADDL, STZ2, and LDRSW (and the H and B analogs).
However I do not completely understand your remark about ORN and shifts. It would be great if you could provide us with an example.
from herdtools7.
I was running through a few examples, and ORN seems to be working! Sorry for the confusion!! I was wondering if there was any update on the other instructions? Thank you again for all your help!!
from herdtools7.
I don't see implementations for the following instructions: REV, ABS, SMULL, SMADDL,
STZ2, and LDRSW.
Hi @arajamani-ampere, I guess you mean STZ2G?
from herdtools7.
Yes, typo! Thanks!
from herdtools7.
Hi @arajamani-ampere, all (hopefully) the instructions listed above have been implemented. All instructions except the last one are now available in the master branch.
The last one STZ2G
was indeed tricky, and revealed some shortcomings of our tagged memory implementation. Finally. STZ2G
is available in mixed-size mode only (-variant mixed
) and it makes sense on arrays of sufficient size only . The code is still a pull-request (PR #763)
from herdtools7.
Hi @arajamani-ampere. For your information, all the instructions you listed are now available in herd head version.
from herdtools7.
Related Issues (20)
- Is GPU_PTX still supported? HOT 2
- ASL: ASL v0 implicit declarations must be hoisted to highest legal scope HOT 2
- herd7 on a litmus test with a loop never terminates (expected?) HOT 3
- [gen] oneloc tests with wrong post condition HOT 2
- About the counter-intuitive herd7 simulation result for CoRW1+fence.rw.rwspx.litmus HOT 2
- herd7 cant recognize the general register of RISCV in standard litmus file HOT 2
- [Litmus] Test ISA-DEP-WR-ADDR failed in Litmus 7.56.3. HOT 8
- [ASL] Remove LDUninitialisedTuple
- [Raspbian] Building with "make all" crashes on RPi 4 HOT 3
- [ASL] global variables and function clashing HOT 1
- Escape characters not working in string literals
- [herd] No fault on crossing memtag granularity HOT 1
- Are the verification conditions unique in the tests generated by diyone7? HOT 5
- Add support for BPF Architecture HOT 10
- [herd] SVE Vector ADD instruction does not operate element-wise HOT 3
- Implementation of atomic_add_unless
- [ASL] Semantics of throw statement HOT 2
- diyone7 Fatal error:failed:Observer HOT 1
- [diy7] C code generation HOT 12
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 herdtools7.