Repository navigation

A new PHP JIT implementation based on IR JIT framework - #12079

Merged

dstogov merged 259 commits into

php:masterfrom

dstogov:php-ir

Oct 23, 2023

Merged

A new PHP JIT implementation based on IR JIT framework#12079
dstogov merged 259 commits into
php:masterfrom
dstogov:php-ir

This pull request is big! We're only showing the most recent 250 commits

Commits on Oct 20, 2023
- IR update
  dstogov
  committed
  4cf9a2a
- Use folding to allow constant folding and common subexpression elimination
  dstogov
  committed
  edad2d3
- Implement IR JIT for INIT_FCALL, INIT_FCALL_BY_NAME and INIT_NS_FCALL_BY_NAME
  dstogov
  committed
  55a9cb3
- Implement IR JIT for SEND_VAL and SEND_VAL_EX
  dstogov
  committed
  98fee72
- Implement IR JIT for SEND_REF
  dstogov
  committed
  f4965fc
- Implement IR JIT for SEND_VAR* instructions (incompltere - few tests failures)
  dstogov
  committed
  89d47ab
- Implement IR JIT for CHECK_FUNC_ARG
  dstogov
  committed
  552bcb5
- Implement IR JIT for CHECK_UNDEF_ARGS
  dstogov
  committed
  7cd0c70
- Implement IR JIT for ROPE_INIT, ROPE_ADD and ROPE_END
  dstogov
  committed
  44481d4
- Implement IR JIT for FREE, FE_FREE, ECHO, STRLEN and COUNT
  dstogov
  committed
  0aeddcc
- Implement IR JIT for IN_ARRAY
  dstogov
  committed
  5809fd5
- Implement IR JIT support for separate VM stack overflow check
  dstogov
  committed
  e486bba
- Implement IR JIT for INIT_DYNAMIC_CALL
  dstogov
  committed
  3486ad2
- Implemenr IR JIT for INIT_METHOD_CALL
  dstogov
  committed
  cc5af33
- Fix IR JIT for IN_ARRAY and COUNT
  dstogov
  committed
  60d25ca
- Implement IR JIT for VERIFY_RETURN_TYPE
  dstogov
  committed
  297ecdb
- Force C compiler to store preserved registers to allow JIT using them
  dstogov
  committed
  b1240f5
- Implement IR JIT for DO_FCALL, DO_UCALL, DO_ICALL and DO_FCALL_BY_NAME
  dstogov
  committed
  044de77
- Implement IR JIT for FETCH_CONSTANT
  dstogov
  committed
  8197542
- Fix (reverse) guard conditions
  dstogov
  committed
  5730e0a
- Implement IR JIT for RECV and RECV_INIT
  dstogov
  committed
  ef9a24e
- Implement IR JIT for RETURN
  dstogov
  committed
  c770d92
- Implement IR JIT for BIND_GLOBAL
  dstogov
  committed
  2d10c54
- Fix guard for: int++ => double
  dstogov
  committed
  ac8c561
- Fix exception handling
  dstogov
  committed
  f562c2b
- Allow deoptimization of zval type only (if some register is spilled by the IR engine)
  dstogov
  committed
  ad120f9
- Fix overflow handling
  dstogov
  committed
  ce81c2c
- Implement IR JIT for FE_RESET_R and FE_FETCH_R
  dstogov
  committed
  a0c5322
- Eliminate extra temporary register
  dstogov
  committed
  4fc8807
- Better registers usage
  dstogov
  committed
  5bde17c
- Implement IR JIT for FETCH_DIM_* and ISSET_DIM
  dstogov
  committed
  5205bca
- Implement IR JIT for ASSIGN_DIM and ASSIGN_DIM_OP
  dstogov
  committed
  da68de6
- cleanup
  dstogov
  committed
  3a83946
- Generae IR that produces a better x86[_64] code
  dstogov
  committed
  6a389e8
- Allow trace register allocation for live ranges terminated before entering a called function
  dstogov
  committed
  b3f2b80
- Remove following END->BEGIN nodes during IR construction
  dstogov
  committed
  489fa45
- Remove useless (duplicate) guard
  dstogov
  committed
  2bc29a1
- Avoid useless exception check
  dstogov
  committed
  477cd93
- Prevent duplicate store
  dstogov
  committed
  322b985
- Eliminate repatable re-assignment of stack zval types
  dstogov
  committed
  a79bf60
- Enable combination of some instructions with the following SEND_VAL for IR JIT
  dstogov
  committed
  f629619
- Avoid generation of useless RLOADs
  dstogov
  committed
  13f4ed4
- Eliminatare refcouting in a sequence of FETCH_DIM_R
  dstogov
  committed
  fe0255c
- Fix assertion
  dstogov
  committed
  8b21f1b
- Remove ZREG_ZVAL_ADDREF flag from an element of abstract stack
  dstogov
  committed
  b527559
- Implement IR JIT for FETCH_OBJ_*
  dstogov
  committed
  55ec6e3
- Implement IR JIT for ASSIGN_OBJ
  dstogov
  committed
  e264431
- Implement IR JIT for ASSIGN_OBJ_OP
  dstogov
  committed
  c44c7c5
- cleanup
  dstogov
  committed
  d2d73e9
- Implement IR JIT for (PRE/POST)_(INC/DEC)_OBJ
  dstogov
  committed
  ac857f6
- ws
  dstogov
  committed
  df6be03
- cleanup
  dstogov
  committed
  f59583c
- Fix IR JIT for constructor call
  dstogov
  committed
  fb77e41
- Fix opcache.jit=1201 IR JIT.
  dstogov
  committed
  4d2ba14
- Fix IR construction for the case when both IF targets are the same
  dstogov
  committed
  fcd0163
- Avoid PHP LEAVE code duplication in function IR JIT.
  dstogov
  committed
  996a7e7
- Reload operands from memeory when overflow (this improves hot code)
  dstogov
  committed
  f8b4a0d
- Implement IR JIT for SWITCH_LONG, SWITCH_STRING and MATCH
  dstogov
  committed
  f70097b
- Initialize result to IS_UNDEF
  dstogov
  committed
  2849dfd
- Fix JIT integraion with observer (Zend/tests/gh10346.phpt failure)
  dstogov
  committed
  9b5b90a
- Fix incorrect compilation of FE_FETCH with predicted empty array
  dstogov
  committed
  32fe8e6
- Fix register allocation
  dstogov
  committed
  da4fe5a
- Use sign extension inxted of zero
  dstogov
  committed
  8621618
- Fix trace register allocator
  dstogov
  committed
  9bbeedb
- cleanp
  dstogov
  committed
  8663d75
- Fix address sanitizer warning
  dstogov
  committed
  9906d8d
- Calculate JIT trace prologue sixe on startup (to avoid magic constants).
  dstogov
  committed
  5793566
- Add cgecks for merge arrays overflow (this should be refactored using lists)
  dstogov
  committed
  761e5c6
- Cache TLS access to perform corresponding read once per basic block
  dstogov
  committed
  1214ab1
- cleanup unused variable
  dstogov
  committed
  1da98f0
- Fix IR JIT support for CLANG build (CALL VM without global register variables)
  dstogov
  committed
  7429a46
- Fix IR JIT for CALL VM with global register variables
  dstogov
  committed
  081effc
- Allow %rpb ysage in JIT for CALL VM (we save and restore it in prologue/epilogue anyway)
  dstogov
  committed
  8b6f985
- cleanup
  dstogov
  committed
  55771f4
- Allocate enough fixed stack to keep preserved registers
  dstogov
  committed
  4b94e20
- We don't have to care about x29 and x30
  dstogov
  committed
  1152ddf
- cleanup (JMPZ/NZ_EX work fine)
  dstogov
  committed
  7dce8f4
- Revert "cleanup (JMPZ/NZ_EX work fine)"
  dstogov
  committed
  f41b9a8
- Don't allocate register for PHP variables that are loaded from memory and used once
  dstogov
  committed
  b2bfab2
- Eliminate redundand deoptimization stores
  dstogov
  committed
  6736fb0
- cleanup
  dstogov
  committed
  60c23fb
- cleanup
  dstogov
  committed
  406d312
- cleanup
  dstogov
  committed
  d03e088
- Optimization for constant comparison
  dstogov
  committed
  df99df2
- Cleanup and elimination of dead deoptimization stores
  dstogov
  committed
  7efbceb
- Eliminate duplicate constant loading
  dstogov
  committed
  a65d2bd
- Set proper initial SP offset info for GDB backtraces
  dstogov
  committed
  fff2212
- Add spill stores
  dstogov
  committed
  aae334a
- Remove low limit on number of deoptimization constants
  dstogov
  committed
  2407368
- Emit dead code only when it's really necessary for IR graph
  dstogov
  committed
  21ba94c
- cleanup
  dstogov
  committed
  e8f11e4
- cleanup
  dstogov
  committed
  7d4c939
- Prefer loading long constants from memory (instead of loading immediate value)
  dstogov
  committed
  538d8a7
- Regiter disasm labels using macros (add missing helpers)
  dstogov
  committed
  2fe61cd
- Make IR franework to care about GUARD JMP reordering
  dstogov
  committed
  c876936
- Avoid reloading
  dstogov
  committed
  803b287
- Improve register allocation for IR tracing JIT
  dstogov
  committed
  ef05026
- Add comment
  dstogov
  committed
  04eab37
- Fix deoptimization on result type guard of FETCH_DIM_R and FETCH_OBJ_R
  dstogov
  committed
  7b07b86
- If HYBRID VM can't provide some stack space for JIT code in "red zone" then JIT has to reserve stack space itself
  dstogov
  committed
  9de67d3
- Dump IR for stubs only if disassembling of stubs is requested
  dstogov
  committed
  ba60549
- Revert "Dump IR for stubs only if disassembling of stubs is requested"
  dstogov
  committed
  eaaa6b8
- Dump IR for stubs only if disassembling of stubs is requested (another approach)
  dstogov
  committed
  e36025f
- Improve overflow deoptimization for ADD(_,1) and SUB(_,1)
  dstogov
  committed
  7ff8824
- Switch to IR Builder API
  dstogov
  committed
  4857023
- Switch to new IR builder macros
  dstogov
  committed
  ae64b0d
- Fix jit_set_Z_TYPE_INFO() call. op3 is a simple constant (not a ir_ref).
  dstogov
  committed
  c0ab97d
- Generate better code
  dstogov
  committed
  3707beb
- Enable empty ENTRY block merging
  dstogov
  committed
  57de2f6
- Improve code generated for array separation/creation before an update
  dstogov
  committed
  a1d5856
- Fix incorrect deleteion of PHI source (op1 is used for control link)
  dstogov
  committed
  38e742d
- Load constant once
  dstogov
  committed
  f025b93
- cleanup
  dstogov
  committed
  942a815
- Improve control-flow to avoid two IS_ARRAY checks for REFERENCEs
  dstogov
  committed
  405e639
- Update comments
  dstogov
  committed
  3468833
- cleanup
  dstogov
  committed
  0b2ed32
- Clenup comments
  dstogov
  committed
  1701e06
- Fix AAarch 64 build (disable stack adjustment auto-detection)
  dstogov
  committed
  fb44261
- Add filename and line number to closure names
  dstogov
  committed
  84b3b70
- Reserve stack for parameter passing
  dstogov
  committed
  777c540
- Increase size of CPU stack reserved for JIT-ed code
  dstogov
  committed
  10f4b61
- Fix addess sanitizer warnings
  dstogov
  committed
  881a259
- Clenup: introduce OPTIMIZE_FOR_SIZE macro (disabled by default)
  dstogov
  committed
  4031616
- Port 08e759120690520e99f9f2d38afeb21bcd1de197 to IR JIT
  dstogov
  committed
  c84db8d
- cleanup
  dstogov
  committed
  faf8c45
- Preload constant and use tests that may be compiled into better code
  dstogov
  committed
  e311d2f
- Convert helpers to stubs
  dstogov
  committed
  76d1a5f
- Introduce a helper data structure (ir_refs) to collect references for the following use in (MERGE/PHI)_N
  dstogov
  committed
  ffd6526
- Use ir_refs
  dstogov
  committed
  b9f1792
- Improve code generated by zend_jit_zval_copy_deref()
  dstogov
  committed
  fd00ea6
- Use "cold" attribute to influence IR block scheduler and achieve better code layout
  dstogov
  committed
  65167f8
- Keep info collected by recursion analyzer
  dstogov
  committed
  6c4e883
- Use HTTPS URL to allow fetching without a SSH key
  dstogov
  committed
  ed87e39
- Update IR
  dstogov
  committed
  3e57c1e
- Update IR
  dstogov
  committed
  604fad7
- Add IR JIT support for Wondows (Win64 support is incomplete)
  dstogov
  committed
  2c880eb
- Update IR
  dstogov
  committed
  b055d21
- Update IR
  dstogov
  committed
  79d1f66
- Fix support for Windows ZTS build
  dstogov
  committed
  b7cff55
- Fix stack alignment
  dstogov
  committed
  4711eb3
- Cleanup ir_ctx.control usage
  dstogov
  committed
  4336048
- Fixed support for irreducable (incomplete) and merged loops
  dstogov
  committed
  55131b7
- Revert "Fixed support for irreducable (incomplete) and merged loops"
  dstogov
  committed
  56460c2
- Generate better code for RECV_ENTRies
  dstogov
  committed
  f78bfaa
- Use simpler and more efficient checks
  dstogov
  committed
  dfcf747
- Switch to new ENTRY node concept
  dstogov
  committed
  0f75000
- Limit register usage across the OSR ENTRY point
  dstogov
  committed
  a4ad9c7
- Upate MEM type only if we write to memory
  dstogov
  committed
  32a8fef
- Use LOOP_END without a reference edge
  dstogov
  committed
  f8ed858
- Use new ir_init() prototype
  dstogov
  committed
  4cd2643
- Delay LOAD for better LOAD fusion
  dstogov
  committed
  c2a1776
- Fix RECV/RECV_INIT compilation with opcache.jit=1235
  dstogov
  committed
  f7afc2f
- iPtoperly compile fake closures (they mau be called as regular functions)
  dstogov
  committed
  3226320
- Fix reabase
  dstogov
  committed
  1d754b5
- Fix rebase and add --with-capstone support for IR JIT
  dstogov
  committed
  ef27251
- Replace zend_uchar -> uint8_t
  dstogov
  committed
  50b4e3f
- IR JIT support for delayed destructor for zend_assign_to_typed_ref/prop
  dstogov
  committed
  bd4bd8b
- Handle zend_execute_internal in IR JIT
  dstogov
  committed
  7db3bd3
- Fix readonly+clone IR JIT issues
  dstogov
  committed
  4d92a31
- Switch to ir_ctx.mflags
  dstogov
  committed
  1a302b1
- Ckeanup "inputs_count" access
  dstogov
  committed
  985912d
- Disable CSE for nodes bound to PHP local varibles
  dstogov
  committed
  9b5c075
- Fix deoptimization code when link traces
  dstogov
  committed
  9c98c0d
- Fix missing type store
  dstogov
  committed
  7c0f937
- Fix tracing JIT for overflowing INC/DEC
  dstogov
  committed
  ffa84ce
- Remove ir_remove_unreachable_blocks() call. Now it's called by ir_build_cfg(), when necessary.
  dstogov
  committed
  f9022f5
- IR JIT: Fixed inaccurate range inference usage for UNDEF/NULL/FALSE
  dstogov
  committed
  3950ee2
- IR JIT: Fixed GH-11127 (JIT fault)
  dstogov
  committed
  4bd5650
- Avoid allocation of unused exit point
  dstogov
  committed
  b311658
- Don't record already stored PHP variables in SNAPSHOTs
  dstogov
  committed
  fb99de1
- Delay variable load
  dstogov
  committed
  6d909c3
- Disable CSE across ENTRY
  dstogov
  committed
  62c437e
- Fixed disabling CSE
  dstogov
  committed
  820c765
- Fix deoptimization
  dstogov
  committed
  008f245
- Fixed deoptimization
  dstogov
  committed
  c542bd8
- Disable incorrect register allocation
  dstogov
  committed
  fcb55df
- Fix JIT for INDENTICAL+JMPZ_EX
  dstogov
  committed
  d78c858
- Add comments
  dstogov
  committed
  0a18004
- Fixed missed type stores
  dstogov
  committed
  555f8c7
- IR JIT: added support for CLDEMOTE
  dstogov
  committed
  c2bbd76
- Fixed incorrect constant usage
  dstogov
  committed
  ccf1b31
- Disable compilation of PHP functions with irreducible CGF
  dstogov
  committed
  3f2b7f6
- Fixed liveness check
  dstogov
  committed
  1574d12
- Fixed code for constant conditional jump
  dstogov
  committed
  a04286d
- Add type store to avoid use-after-free
  dstogov
  committed
  08e79dc
- Fixed liveness analyses
  dstogov
  committed
  61feb23
- Gnerate SNAPSHOT for virtual method calls
  dstogov
  committed
  971a4c8
- More accurate search for staticaly inferred info about a trace SSA vaiable
  dstogov
  committed
  0520487
- Fix incorrect result use type_info
  dstogov
  committed
  a0b5478
- Fix JMPZ/NZ_EX support and missing type store
  dstogov
  committed
  677c987
- Fixed trace type inference and missing type store
  dstogov
  committed
  28a7426
- Store type of unused CV to prevent possible following use after free
  dstogov
  committed
  0a71689
- Fixed deoptimizaton info
  dstogov
  committed
  e85e864
- Fixed stack layout
  dstogov
  committed
  53b55d1
- Implemented support for veneers on AArch64
  dstogov
  committed
  147323a
- Dsable CSE to avoid over-optimization
  dstogov
  committed
  7b82954
- Don't bind nodes for TMP PHP variables
  dstogov
  committed
  5302cb6
- Re-enable CSE for temporary variables as we don't bind them anymore
  dstogov
  committed
  30670ba
- Switch to CPU stack spill slots
  dstogov
  committed
  4a81c49
- Add codegen info dump
  dstogov
  committed
  3025e8b
- Initialize CV variables through FP (this enables some folding optimizatios)
  dstogov
  committed
  1f7d4e0
- Use zero-extension that can be eliminated
  dstogov
  committed
  825af91
- Avoid generation of dead PHIs
  dstogov
  committed
  68e956d
- Increase preallocated spill stack size
  dstogov
  committed
  d8c3d8d
- Enable IR based JIT by default
  dstogov
  committed
  fd31208
- Fixed build with -disable-opcache-jit
  dstogov
  committed
  31390eb
- Use explicit type conversion & force load values to registerts
  dstogov
  committed
  3091305
- Fix IR build
  dstogov
  committed
  2e71a2a
- Checkout submodules in github actions
  dstogov
  committed
  05a7cc0
- Fixed Windows build
  dstogov
  committed
  36e1d9a
- Fixed Windows build
  dstogov
  committed
  736723a
- Fixed reattach to IR JIT SHM
  dstogov
  committed
  df9e215
- Update IR
  dstogov
  committed
  375cca1
- Checkout submodules in nightly CI
  dstogov
  committed
  3708d5d
- Fix MACOS ZTS in IR JIT
  dstogov
  committed
  2e2144e
- Update ir
  dstogov
  committed
  a6cffcc
- Fixed incorrect register allocation
  dstogov
  committed
  f099941
- Fixed incorect code generation
  dstogov
  committed
  dabf2c6
- Fixed tracing jit for BIND_INIT_STATIC_OR_JMP
  dstogov
  committed
  33bebb6
- Update README
  dstogov
  committed
  a18cc16
- Typos
  dstogov
  committed
  ab40832
- Revert JIT disabling for run-tests.php workers
  dstogov
  committed
  fa418a6
- Fixed code review issues
  dstogov
  committed
  60ab2ff
- Update IR
  dstogov
  committed
  54d40de
- Update IR
  dstogov
  committed
  e7c04ec
- Update IR
  dstogov
  committed
  16b82b2
- Allow exit_point duplication, when the deoptimization info differs because of spilling
  dstogov
  committed
  b189b91
- Use bound spill slots for CV (once again)
  dstogov
  committed
  654ae29
- Improve error handling
  dstogov
  committed
  15bbe57
- Removed IR submodule
  dstogov
  committed
  0605bd2
- Remove IR submodule from workflows
  dstogov
  committed
  87b85aa
- Embed IR
  dstogov
  committed
  afc773a
- Add .gitignore
  dstogov
  committed
  a2ea5d2
- Fixed according to feedback
  dstogov
  committed
  1ce6646
- Force C saving preserved registers only for HYBRID VM
  dstogov
  committed
  7e77941
- Update IR
  dstogov
  committed
  943ec88
- cleanup
  dstogov
  committed
  87666da
- Replace ZEND_ASSERT(0) by ZEND_UNREACHABLE()
  dstogov
  committed
  e64b2b7
- Update IR and remove unused IR files
  dstogov
  committed
  72ade5c
- Fixed inconsistency between IR code-generation and register-allocation
  dstogov
  committed
  74e82f2
- Update IR
  dstogov
  committed
  c417f21
- Update ir_PHI*() according to IR construction API changes
  dstogov
  committed
  290059a
- Fixed 32-bit build
  dstogov
  committed
  053772d
- Update IR
  dstogov
  committed
  02a9d73
- Support for ir_TAILCALL() prototype changes
  dstogov
  committed
  7fba3de
- Update IR
  dstogov
  committed
  2ac2190
- Fixed incorrect extension (ZEXT->SEXT)
  dstogov
  committed
  44451b0
- Fix SSA dominance
  dstogov
  committed
  487b22f
- Update IR
  dstogov
  committed
  193a03d
- Fixed support ir_ctx.ret_type
  dstogov
  committed
  66d40ad

Commits

Commits on Oct 20, 2023