From edef533d1f8caf71d4a9b9043273ac88c3c5c346 Mon Sep 17 00:00:00 2001 From: Chris Fallin Date: Tue, 30 Nov 2021 11:44:27 -0800 Subject: [PATCH] Move ISLE docs into cranelift/isle/docs/ and update links. --- cranelift/docs/index.md | 4 ---- cranelift/isle/README.md | 6 ++++-- cranelift/{docs/isle.md => isle/docs/language-reference.md} | 0 3 files changed, 4 insertions(+), 6 deletions(-) rename cranelift/{docs/isle.md => isle/docs/language-reference.md} (100%) diff --git a/cranelift/docs/index.md b/cranelift/docs/index.md index 9e0f216b66..be15d00d70 100644 --- a/cranelift/docs/index.md +++ b/cranelift/docs/index.md @@ -14,10 +14,6 @@ - [Cranelift's register allocator](regalloc.md) This page document Cranelift's current register allocator. - - [ISLE](isle.md) - This page documents the domain-specific language (DSL), ISLE, that - we use to define instruction-lowering patterns. - ## Cranelift crate documentation: - [cranelift](https://docs.rs/cranelift) diff --git a/cranelift/isle/README.md b/cranelift/isle/README.md index 3662e9663c..e2fe56214c 100644 --- a/cranelift/isle/README.md +++ b/cranelift/isle/README.md @@ -30,8 +30,10 @@ level, the rules can be seen as simple equivalences between values in two languages, and so should be translatable to formal constraints or other logical specification languages. -Some more details and motivation are in [BA RFC -#15](https://github.com/bytecodealliance/rfcs/pull/15). Reference documentation can be found [here](../docs/isle.md). +Some more details and motivation are in [BA RFC #15](https://github.com/bytecodealliance/rfcs/pull/15). +Reference documentation can be found [here](docs/language-reference.md). +Details on ISLE's integration into Cranelift can be found +[here](../docs/isle-integration.md). ## Example Usage diff --git a/cranelift/docs/isle.md b/cranelift/isle/docs/language-reference.md similarity index 100% rename from cranelift/docs/isle.md rename to cranelift/isle/docs/language-reference.md