Movatterモバイル変換

[0]ホーム
URL:

Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

 Sign up
Appearance settings

gh-107557: Setup abstract interpretation#107847

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to ourterms of service andprivacy statement. We’ll occasionally send you account related emails.

Already on GitHub?Sign in to your account

Merged
Fidget-Spinner merged 54 commits intopython:mainfromFidget-Spinner:partition_algo
Aug 15, 2023
Merged
Show file tree
Hide file tree
Changes fromall commits
Commits
Show all changes
54 commits
Select commitHold shift + click to select a range
d20fbb8
gh-107557: Tier 2 abstract interpreter barebones
Fidget-SpinnerAug 2, 2023
2aeea51
📜🤖 Added by blurb_it.
blurb-it[bot]Aug 2, 2023
1a728ab
Copy Guido's input and output code, and fix build
Fidget-SpinnerAug 2, 2023
17fccbc
fix separator
Fidget-SpinnerAug 2, 2023
a1da69d
credit Jules
Fidget-SpinnerAug 2, 2023
b458e17
add jules to co-authors
Fidget-SpinnerAug 2, 2023
f81f888
add pycore_optimizer.h to headers in makefile
Fidget-SpinnerAug 2, 2023
0020320
fix: remove whitespace
Fidget-SpinnerAug 2, 2023
1f93072
fix make smelly
Fidget-SpinnerAug 2, 2023
dac63e3
fix: build
Fidget-SpinnerAug 2, 2023
e62e015
fix wrong symbol
Fidget-SpinnerAug 2, 2023
a7f654c
ignore static globals check for abstract interpreter
Fidget-SpinnerAug 2, 2023
f4040b8
Merge remote-tracking branch 'upstream/main' into abstract_interpreter
Fidget-SpinnerAug 4, 2023
ec58145
merge Guido's changes
Fidget-SpinnerAug 4, 2023
4292767
remove unused stuff
Fidget-SpinnerAug 4, 2023
fdcca90
Turn on the abstract interpreter
Fidget-SpinnerAug 4, 2023
5110fb9
Merge remote-tracking branch 'upstream/main' into abstract_interpreter
Fidget-SpinnerAug 5, 2023
9f443a2
Merge remote-tracking branch 'origin/abstract_interpreter' into parti…
Fidget-SpinnerAug 5, 2023
7632ed1
(leaky) data structures for constant propagation
Fidget-SpinnerAug 5, 2023
0d0c4c4
(with cycles) try to fix the type prop
Fidget-SpinnerAug 6, 2023
4c8953e
fix: cycles
Fidget-SpinnerAug 6, 2023
3bd36fa
cleanup
Fidget-SpinnerAug 6, 2023
229097f
Fix+Refactor: Handling of root nodes in special-cased type prop (#40)
JuliaPooAug 7, 2023
ca0fab7
partially partially evaluate
Fidget-SpinnerAug 8, 2023
68c684f
rename vars
Fidget-SpinnerAug 8, 2023
46c5777
fixx off by one
Fidget-SpinnerAug 8, 2023
b839ee4
partial eval working for real this time
Fidget-SpinnerAug 9, 2023
6ecf3d2
Fix: Inconsistent `AbstractInterpContext` used in `PARTITIONNODE_OVER…
JuliaPooAug 9, 2023
b6eeb25
fix test, refactor, bugfix
Fidget-SpinnerAug 9, 2023
d5cceb9
re-compute jump offsets and targets
Fidget-SpinnerAug 10, 2023
8c0d65f
Fix+Refactor: Extra EXIT_TRACE emitted (#42)
JuliaPooAug 10, 2023
95db909
fix: overallocate buffer and virtual/real stack offset calculation
Fidget-SpinnerAug 10, 2023
1e05ef8
more bugfix
Fidget-SpinnerAug 10, 2023
d7d8b52
Merge remote-tracking branch 'upstream/main' into partition_algo
Fidget-SpinnerAug 10, 2023
4d7abc7
Perf+Cleanup: Removed temporary allocation in `remove_duplicate_save_…
JuliaPooAug 11, 2023
3d76f9a
clean up code
Fidget-SpinnerAug 11, 2023
e81def2
Merge branch 'partition_algo' of https://github.com/Fidget-Spinner/cp…
Fidget-SpinnerAug 11, 2023
9a5a3f7
make static
Fidget-SpinnerAug 11, 2023
df490d0
make types static
Fidget-SpinnerAug 11, 2023
1e4fc94
make const and ignore in c analyzer
Fidget-SpinnerAug 11, 2023
6de77a7
fix c-analyzer ignored list
Fidget-SpinnerAug 11, 2023
a11fc80
more cleanup
Fidget-SpinnerAug 13, 2023
c61015b
Merge remote-tracking branch 'upstream/main' into partition_algo
Fidget-SpinnerAug 13, 2023
56c62eb
regen files
Fidget-SpinnerAug 13, 2023
3c08ebe
address review
Fidget-SpinnerAug 14, 2023
d5f16be
regen
Fidget-SpinnerAug 14, 2023
1e61c49
and env var to block tests
Fidget-SpinnerAug 14, 2023
6c24b49
regen again
Fidget-SpinnerAug 14, 2023
2be404d
fix generated files
Fidget-SpinnerAug 14, 2023
29e255d
Address review
Fidget-SpinnerAug 15, 2023
3c44117
fix up INSERT
Fidget-SpinnerAug 15, 2023
b758b47
remove experimental parts
Fidget-SpinnerAug 15, 2023
80c7f18
revert more changes
Fidget-SpinnerAug 15, 2023
6a2b204
use memmove
Fidget-SpinnerAug 15, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions.gitattributes
View file
Open in desktop
Original file line numberDiff line numberDiff line change
Expand Up@@ -90,6 +90,7 @@ Programs/test_frozenmain.h generated
Python/Python-ast.c generated
Python/executor_cases.c.h generated
Python/generated_cases.c.h generated
Python/abstract_interp_cases.c.h generated
Python/opcode_targets.h generated
Python/stdlib_module_names.h generated
Tools/peg_generator/pegen/grammar_parser.py generated
Expand Down
2 changes: 1 addition & 1 deletionInclude/cpython/optimizer.h
View file
Open in desktop
Original file line numberDiff line numberDiff line change
Expand Up@@ -22,7 +22,7 @@ typedef struct _PyExecutorObject {
typedef struct _PyOptimizerObject _PyOptimizerObject;

/* Should return > 0 if a new executor is created. O if no executor is produced and < 0 if an error occurred. */
typedef int (*optimize_func)(_PyOptimizerObject* self, PyCodeObject *code, _Py_CODEUNIT *instr, _PyExecutorObject **);
typedef int (*optimize_func)(_PyOptimizerObject* self, PyCodeObject *code, _Py_CODEUNIT *instr, _PyExecutorObject **, int curr_stackentries);

typedef struct _PyOptimizerObject {
PyObject_HEAD
Expand Down
142 changes: 142 additions & 0 deletionsInclude/internal/pycore_opcode_metadata.h
View file
Open in desktop

Some generated files are not rendered by default. Learn more abouthow customized files appear on GitHub.

20 changes: 20 additions & 0 deletionsInclude/internal/pycore_optimizer.h
View file
Open in desktop
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
#ifndef Py_INTERNAL_OPTIMIZER_H
#define Py_INTERNAL_OPTIMIZER_H
#ifdef __cplusplus
extern "C" {
#endif

#ifndef Py_BUILD_CORE
# error "this header requires Py_BUILD_CORE define"
#endif

#include "pycore_uops.h"

int _Py_uop_analyze_and_optimize(PyCodeObject *code,
_PyUOpInstruction *trace, int trace_len, int curr_stackentries);


#ifdef __cplusplus
}
#endif
#endif /* !Py_INTERNAL_OPTIMIZER_H */
2 changes: 1 addition & 1 deletionInclude/internal/pycore_uops.h
View file
Open in desktop
Original file line numberDiff line numberDiff line change
Expand Up@@ -8,7 +8,7 @@ extern "C" {
# error "this header requires Py_BUILD_CORE define"
#endif

#define _Py_UOP_MAX_TRACE_LENGTH32
#define _Py_UOP_MAX_TRACE_LENGTH64

typedef struct {
uint32_t opcode;
Expand Down
12 changes: 11 additions & 1 deletionMakefile.pre.in
View file
Open in desktop
Original file line numberDiff line numberDiff line change
Expand Up@@ -405,6 +405,7 @@ PYTHON_OBJS=\
Python/mysnprintf.o \
Python/mystrtoul.o \
Python/optimizer.o \
Python/optimizer_analysis.o \
Python/pathconfig.o \
Python/preconfig.o \
Python/pyarena.o \
Expand DownExpand Up@@ -1552,10 +1553,12 @@ regen-cases:
-m $(srcdir)/Include/internal/pycore_opcode_metadata.h.new \
-e $(srcdir)/Python/executor_cases.c.h.new \
-p $(srcdir)/Lib/_opcode_metadata.py.new \
-a $(srcdir)/Python/abstract_interp_cases.c.h.new \
$(srcdir)/Python/bytecodes.c
$(UPDATE_FILE) $(srcdir)/Python/generated_cases.c.h $(srcdir)/Python/generated_cases.c.h.new
$(UPDATE_FILE) $(srcdir)/Include/internal/pycore_opcode_metadata.h $(srcdir)/Include/internal/pycore_opcode_metadata.h.new
$(UPDATE_FILE) $(srcdir)/Python/executor_cases.c.h $(srcdir)/Python/executor_cases.c.h.new
$(UPDATE_FILE) $(srcdir)/Python/abstract_interp_cases.c.h $(srcdir)/Python/abstract_interp_cases.c.h.new
$(UPDATE_FILE) $(srcdir)/Lib/_opcode_metadata.py $(srcdir)/Lib/_opcode_metadata.py.new

Python/compile.o: $(srcdir)/Include/internal/pycore_opcode_metadata.h
Expand All@@ -1568,6 +1571,7 @@ Python/ceval.o: \

Python/executor.o: \
$(srcdir)/Include/internal/pycore_opcode_metadata.h \
$(srcdir)/Include/internal/pycore_optimizer.h \
$(srcdir)/Python/ceval_macros.h \
$(srcdir)/Python/executor_cases.c.h

Expand All@@ -1576,7 +1580,12 @@ Python/flowgraph.o: \

Python/optimizer.o: \
$(srcdir)/Python/executor_cases.c.h \
$(srcdir)/Include/internal/pycore_opcode_metadata.h
$(srcdir)/Include/internal/pycore_opcode_metadata.h \
$(srcdir)/Include/internal/pycore_optimizer.h

Python/optimizer_analysis.o: \
$(srcdir)/Include/internal/pycore_opcode_metadata.h \
$(srcdir)/Include/internal/pycore_optimizer.h

Python/frozen.o: $(FROZEN_FILES_OUT)

Expand DownExpand Up@@ -1786,6 +1795,7 @@ PYTHON_HEADERS= \
$(srcdir)/Include/internal/pycore_obmalloc_init.h \
$(srcdir)/Include/internal/pycore_opcode.h \
$(srcdir)/Include/internal/pycore_opcode_utils.h \
$(srcdir)/Include/internal/pycore_optimizer.h \
$(srcdir)/Include/internal/pycore_pathconfig.h \
$(srcdir)/Include/internal/pycore_pyarena.h \
$(srcdir)/Include/internal/pycore_pyerrors.h \
Expand Down
View file
Open in desktop
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
Generate the cases needed for the barebones tier 2 abstract interpreter for optimization passes in CPython.
1 change: 1 addition & 0 deletionsPCbuild/_freeze_module.vcxproj
View file
Open in desktop
Original file line numberDiff line numberDiff line change
Expand Up@@ -218,6 +218,7 @@
<ClCompile Include="..\Python\mysnprintf.c" />
<ClCompile Include="..\Python\mystrtoul.c" />
<ClCompile Include="..\Python\optimizer.c" />
<ClCompile Include="..\Python\optimizer_analysis.c" />
<ClCompile Include="..\Python\pathconfig.c" />
<ClCompile Include="..\Python\perf_trampoline.c" />
<ClCompile Include="..\Python\preconfig.c" />
Expand Down
Loading
[8]ページ先頭
©2009-2025 Movatter.jp