T0b1/wasmtime
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

ISLE: Add the overlap_errors pragma (#4981)

Browse Source 
* Add the overlap_errors pragma to ISLE
* Enable overlap errors in the x64 backend
This commit is contained in:
Trevor Elliott
2022-09-29 12:40:39 -07:00
committed by GitHub
parent db06e4e622
commit 7d5b2b5bb2
6 changed files with 35 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
cranelift/codegen/src/isa/x64/lower.isle
View File

@@ -1,5 +1,8 @@
;; x86-64 instruction selection and CLIF-to-MachInst lowering.
;; Enable overlap checking for the x64 backend
(pragma overlap_errors)
;; The main lowering constructor term: takes a clif `Inst` and returns the
;; register(s) within which the lowered instruction's result values live.
(decl lower (Inst) InstOutput)