Project

General

Profile

« Previous | Next » 

Revision 29158068

Added by k0kubun (Takashi Kokubun) 2 months ago

Add --zjit-num-profiles option (https://github.com/Shopify/zjit/pull/98)

  • Add --zjit-profile-interval option

  • Fix min to max

  • Avoid rewriting instructions for --zjit-call-threshold=1

  • Rename the option to --zjit-num-profiles