From bc91a4e5f6bf863e8f0c5909e826ce90246a93c0 Mon Sep 17 00:00:00 2001 From: Chris Fallin Date: Sat, 4 Sep 2021 20:27:38 -0700 Subject: [PATCH] Add TODO --- cranelift/isle/TODO | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 cranelift/isle/TODO diff --git a/cranelift/isle/TODO b/cranelift/isle/TODO new file mode 100644 index 0000000000..8fd0e60ad2 --- /dev/null +++ b/cranelift/isle/TODO @@ -0,0 +1,7 @@ +- Convert series of if-lets from MatchVariants into a match { ... }. + - Should be pretty simple; just need to recognize adjacent edges in + priority-order that are all MatchVariants on the same input. + +- Document semantics carefully, especially wrt extractors. + +- Verify that priorities work as expected.