LISP-Imitating Syntax for PHP #15
Open
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
See Zend/tests/lisp/ for examples. - This may end up breaking assumptions made by opcache and be unsafe. - This is not going to be fully featured - This combines the parenthesis of lisp with the behavior of php. Writing parsers becomes easier and operator precedence is no longer important - This may be a useful reference point for writing DSLs extending PHP or for trying to add new syntax to php. Supported features ------------------ - `(?lisp (print expr) (echo expr1 expr2) ?)` - Variables `(= $var expr)` - Some unary and binary operators - Support reading and writing constants as `(const name expr)` - Add `(if cond truestmt falsestmt)` statements - Support `(while cond stmts)` statements - Support `(do stmt1 stmt2)` for statement lists - Support function calls `(name_or_var arg1 arg2)`
TysonAndre
pushed a commit
that referenced
this pull request
May 31, 2021
The following opcodes would be generated:
...
BB1:
0003 JMP BB3
BB2:
0004 INIT_FCALL 1 96 string("chr")
0005 #10.T3 [long] = SR #3.CV0($int) [long] #7.CV2($i) ...
0006 #11.T4 [long] RANGE[0..127] = BW_AND #10.T3 [long] ...
0007 #12.T3 [long] RANGE[128..255] = BW_OR #11.T4 [long] ...
0008 SEND_VAL #12.T3 [long] RANGE[128..255] 1
0009 #13.V3 [ref, rc1, rcn, any] = DO_ICALL
0010 ASSIGN_OP (CONCAT) #6.CV1($out) [rc1, rcn, string]
0011 ADD #7.CV2($i)... int(7) #7.CV2($i) ... -> #15.CV2($i) ...
BB3:
0012 #8.T4 [long] = SR #3.CV0($int) #7.CV2($i) [long, double]
0013 #9.T3 [bool] RANGE[0..1] = IS_SMALLER int(128) #8.T4
0014 JMPNZ #9.T3 [bool] RANGE[0..1] BB2
...
Main changes are:
1. SR opcode covers new path in function zend_jit_long_math_helper().
2. BW_AND and BW_OR opcodes are supported. See macro LONG_OP.
3. Function zend_jit_concat_helper() is added to support ASSIGN_OP
opcode. Speficically, CONCAT and FAST_CONCAT is supported for statements
"$out .= ...".
4. New path is covered in function zend_jit_cmp_long_long() by
IS_SMALLER opcode.
5. New path is covered in macros ZVAL_PTR_DTOR and ZVAL_DTOR_FUNC when
leaving.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Notes:
This may end up breaking assumptions made by opcache and be unsafe.
This is not going to be fully featured
This combines the parenthesis of lisp with the behavior of php.
Writing parsers becomes easier and operator precedence is no longer important
This may be a useful reference point for writing DSLs extending PHP
or for trying to add new syntax to php.
Supported features
(print expr),(echo expr1 expr2)(= $var expr)(const name expr)(if cond truestmt falsestmt)statements(while cond stmts)statements(do stmt1 stmt2)for statement lists(name_or_var arg1 arg2)See Zend/tests/lisp for examples.