From f965d6ed135741f4de4c065327d8dc637942f992 Mon Sep 17 00:00:00 2001 From: CF Bolz-Tereick Date: Wed, 23 Oct 2024 17:21:06 +0200 Subject: [PATCH] fixes --- posts/2022/12/pypy-alive.rst | 2 +- posts/2024/10/jit-peephole-dsl.rst | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/posts/2022/12/pypy-alive.rst b/posts/2022/12/pypy-alive.rst index b62686e48..24404e1e4 100644 --- a/posts/2022/12/pypy-alive.rst +++ b/posts/2022/12/pypy-alive.rst @@ -1,7 +1,7 @@ .. title: Finding JIT Optimizer Bugs using SMT Solvers and Fuzzing .. slug: jit-bug-finding-smt-fuzzing .. date: 2022-12-11 18:00:00 UTC -.. tags: jit, testing +.. tags: jit, testing, z3 .. category: .. link: .. description: diff --git a/posts/2024/10/jit-peephole-dsl.rst b/posts/2024/10/jit-peephole-dsl.rst index 2d4c1e975..c0ecb4fa3 100644 --- a/posts/2024/10/jit-peephole-dsl.rst +++ b/posts/2024/10/jit-peephole-dsl.rst @@ -1,5 +1,5 @@ .. title: A DSL for Peephole Transformation Rules of Integer Operations in the PyPy JIT -.. slug: jit-bug-finding-smt-fuzzing +.. slug: jit-peephole-dsl .. date: 2024-10-23 15:00:00 UTC .. tags: jit, z3 .. category: @@ -470,7 +470,7 @@ extensions that I plan to work on in the future: question, but I still don't understand what the correct approach in our context would be. -- Ordering comparisons like `int_lt`, `int_le` and their unsigned variants are +- Ordering comparisons like ``int_lt``, ``int_le`` and their unsigned variants are not ported to the DSL yet. Comparisons are an area where the JIT is not super good yet at optimizing away operations. This is a pretty big topic and I've started a project with Nico Rittinghaus to try to improve the situation a bit