Commit 914e289
LLVM verification (#356)
* Add simple Docker environment variable
Signed-off-by: Afonso Oliveira <[email protected]>
* Fix errors due to incorrect parsing of VM
Signed-off-by: Afonso Oliveira <[email protected]>
* First Refactor to pytest
Signed-off-by: Afonso Oliveira <[email protected]>
* Allow 16 bit instructions for C extension
Signed-off-by: Afonso Oliveira <[email protected]>
* Revert bad parsing
Signed-off-by: Afonso Oliveira <[email protected]>
* Allow only one value
Signed-off-by: Afonso Oliveira <[email protected]>
* Use AsmString instead of name
Signed-off-by: Afonso Oliveira <[email protected]>
* Small Refactor on parsing.py
* refactor to do unit tests
* refactor to file name
* Modify to have seveal Unit tests instead of just one
Signed-off-by: Afonso Oliveira <[email protected]>
* Clean up and code reorganization
Signed-off-by: Afonso Oliveira <[email protected]>
* Ensure it is not pseudo
Signed-off-by: Afonso Oliveira <[email protected]>
* Skip aq/rl instructions
Signed-off-by: Afonso Oliveira <[email protected]>
* add pytest to requirements
Signed-off-by: Afonso Oliveira <[email protected]>
* add LLVM path as environment variable
Signed-off-by: Afonso Oliveira <[email protected]>
* remove and ignor python cache
Signed-off-by: Afonso Oliveira <[email protected]>
* Add LLVM test to the Rakefile
Signed-off-by: Afonso Oliveira <[email protected]>
* Optimizations to test logic and modify test order
Signed-off-by: Afonso Oliveira <[email protected]>
* Add prerequisites syntax
Signed-off-by: root <[email protected]>
* Fix pre-commit related issues
Signed-off-by: root <[email protected]>
* Add LLVM tblgen to regress.yaml && change Rakefile for new changes
Signed-off-by: Afonso Oliveira <[email protected]>
* Fix caching
Signed-off-by: Afonso Oliveira <[email protected]>
* Fix caching
Signed-off-by: Afonso Oliveira <[email protected]>
* Fix caching
Signed-off-by: Afonso Oliveira <[email protected]>
* Add dependencie for smoke test
Signed-off-by: Afonso Oliveira <[email protected]>
* Change logic for LLVM's path
Signed-off-by: Afonso Oliveira <[email protected]>
* Change CI logic for LLVM
Signed-off-by: Afonso Oliveira <[email protected]>
* Add cache and update paths
Signed-off-by: Afonso Oliveira <[email protected]>
* Add corner case when implementation of LLVM does not need to follow the ISA Spec
Signed-off-by: Afonso Oliveira <[email protected]>
* Work around for FENCE. ISA and compiler should treat it differently
* Set CM instruction length 16 bit instead of 32
* Add LICENSE compliant to UDB native files.
Signed-off-by: Afonso Oliveira <[email protected]>
---------
Signed-off-by: Afonso Oliveira <[email protected]>
Signed-off-by: root <[email protected]>
Co-authored-by: root <[email protected]>
Co-authored-by: Derek Hower <[email protected]>1 parent 30a6c41 commit 914e289
File tree
8 files changed
+523
-0
lines changed- .github/workflows
- ext
- auto-inst
8 files changed
+523
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
17 | 17 | | |
18 | 18 | | |
19 | 19 | | |
| 20 | + | |
20 | 21 | | |
21 | 22 | | |
22 | 23 | | |
23 | 24 | | |
24 | 25 | | |
25 | 26 | | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
| 37 | + | |
26 | 38 | | |
27 | 39 | | |
28 | 40 | | |
| |||
98 | 110 | | |
99 | 111 | | |
100 | 112 | | |
| 113 | + | |
| 114 | + | |
| 115 | + | |
| 116 | + | |
| 117 | + | |
| 118 | + | |
| 119 | + | |
| 120 | + | |
| 121 | + | |
| 122 | + | |
| 123 | + | |
| 124 | + | |
| 125 | + | |
| 126 | + | |
| 127 | + | |
| 128 | + | |
| 129 | + | |
| 130 | + | |
| 131 | + | |
| 132 | + | |
| 133 | + | |
| 134 | + | |
| 135 | + | |
| 136 | + | |
| 137 | + | |
| 138 | + | |
| 139 | + | |
| 140 | + | |
| 141 | + | |
| 142 | + | |
| 143 | + | |
| 144 | + | |
| 145 | + | |
| 146 | + | |
| 147 | + | |
| 148 | + | |
| 149 | + | |
| 150 | + | |
| 151 | + | |
| 152 | + | |
| 153 | + | |
| 154 | + | |
| 155 | + | |
| 156 | + | |
| 157 | + | |
| 158 | + | |
| 159 | + | |
| 160 | + | |
101 | 161 | | |
102 | 162 | | |
103 | 163 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
16 | 16 | | |
17 | 17 | | |
18 | 18 | | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
19 | 22 | | |
20 | 23 | | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
7 | 7 | | |
8 | 8 | | |
9 | 9 | | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
10 | 14 | | |
11 | 15 | | |
12 | 16 | | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
157 | 157 | | |
158 | 158 | | |
159 | 159 | | |
| 160 | + | |
| 161 | + | |
| 162 | + | |
| 163 | + | |
| 164 | + | |
| 165 | + | |
| 166 | + | |
| 167 | + | |
| 168 | + | |
160 | 169 | | |
161 | 170 | | |
162 | 171 | | |
| |||
430 | 439 | | |
431 | 440 | | |
432 | 441 | | |
| 442 | + | |
| 443 | + | |
433 | 444 | | |
434 | 445 | | |
435 | 446 | | |
| |||
0 commit comments