# Mining JIT traces for missing optimizations with Z3

**URL:** <https://forum.devtalk.com/t/mining-jit-traces-for-missing-optimizations-with-z3/163114>\
**Category:** In The News\
**Tags:** jit, in-the-news\
**Created:** [22 July 2024 01:28 UTC](https://forum.devtalk.com/t/mining-jit-traces-for-missing-optimizations-with-z3/163114 "2024-07-22T01:28:27Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![CommunityNews](https://forum.devtalk.com/user_avatar/forum.devtalk.com/communitynews/32/1113_2.png) [@CommunityNews](https://forum.devtalk.com/u/CommunityNews)\
**Post date:** [22 July 2024 01:28 UTC](https://forum.devtalk.com/t/mining-jit-traces-for-missing-optimizations-with-z3/163114/1 "2024-07-22T01:28:27Z")

</div>

> Mining JIT traces for missing optimizations with Z3.  
> In my last post I’ve described how to use Z3 to find simple local peephole  
> optimization patterns  
> for the integer operations in PyPy’s JIT. An example is int\_and(x, 0) →

1. In this post I want to scal

Read in full here:

> **[Mining JIT traces for missing optimizations with Z3](https://pypy.org/posts/2024/07/mining-jit-traces-missing-optimizations-z3.html)**
>
> In my last post I've described how to use Z3 to find simple local peephole
> optimization patterns
> for the integer operations in PyPy's JIT. An example is int\_and(x, 0) -\>
> 0. In this post I want to scal

_This thread was posted by one of our members via one of our news source trackers._