Skip to content
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 our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

New Parser #262

Merged
merged 65 commits into from
Jan 23, 2023
Merged
Changes from 1 commit
Commits
Show all changes
65 commits
Select commit Hold shift + click to select a range
483de42
[parser] Initial design concept for a new parser that supports BNF-st…
AntonLydike Dec 8, 2022
8f39dbd
[parser] fixes for some correctnes issues with the parsing and error …
AntonLydike Dec 9, 2022
86fb17c
[parser] basic parsing of operation working
AntonLydike Dec 9, 2022
7de6326
[parser] cleanup of backtracking error reporting
AntonLydike Dec 10, 2022
1f0cecb
[parser] improved region and attribute parsing, building
AntonLydike Dec 10, 2022
0560fde
[parser] fixes true/false switcheroo
AntonLydike Dec 10, 2022
3bdf8aa
[parser] minor fixes in integer and float type parsing
AntonLydike Dec 10, 2022
b5123e8
[parser] yapf formatted to make CI happy
AntonLydike Dec 10, 2022
57091bc
[parser] improve error logging and add docstrings to methods
AntonLydike Dec 12, 2022
d416eff
[parser] Add basics for parsing xDSL
AntonLydike Jan 6, 2023
48b92a1
[parser] separate MLIR and xDSL parsing into two separate classes
AntonLydike Jan 9, 2023
2940b98
[parser] fixed bug in EOL handling for span context printing + order …
AntonLydike Jan 9, 2023
33d59fa
[parser] now able to parse some MLIR and xDSL code successfully
AntonLydike Jan 10, 2023
881f8d0
[parser] clean up lots of unused or unnecessary parts
AntonLydike Jan 10, 2023
280d7ee
[parser] clean up lots of unused or unnecessary parts
AntonLydike Jan 10, 2023
3073039
parser: remove BNF stuff for now
AntonLydike Jan 10, 2023
4464c32
parser: unify code style and apply yapf
AntonLydike Jan 10, 2023
cfd5c62
parser: a lot more cleanup in various places and correctnes fixes
AntonLydike Jan 11, 2023
7f41009
parser: add proper handling of forward references to blocks
AntonLydike Jan 11, 2023
4404ffc
parser: improved compatibility layer to support parsing of cmath.xdsl
AntonLydike Jan 11, 2023
3a06393
parser: fixed a bug with expect_brackets in parse_paramattr_parameters
AntonLydike Jan 12, 2023
7b94084
xdsl: disallow invalid ssa value name hints in the class
AntonLydike Jan 12, 2023
ed3a997
parser: fixing tests to work with the new parser
AntonLydike Jan 13, 2023
34157f5
parser: fixed all remaining tests
AntonLydike Jan 13, 2023
649e43a
parser: yapf formatting run
AntonLydike Jan 13, 2023
a4bb049
parser: fixed xdsl_opt tests
AntonLydike Jan 13, 2023
af8cebf
parser: fix all tests failing after rebase
AntonLydike Jan 17, 2023
64ac94e
parser: run yapf one last time before PR is done
AntonLydike Jan 17, 2023
c51e7a9
tests: fix broken float parsing filecheck
AntonLydike Jan 17, 2023
7782654
parser: fix xdsl-opt command to properly use new parser class
AntonLydike Jan 17, 2023
d77fa27
parser: fix UnregisteredOp interaction with new parser
AntonLydike Jan 17, 2023
b415f6a
parser: add function_type as possible value for parse_attribute
AntonLydike Jan 17, 2023
ba39207
parser: fix parsing of symbol reference
AntonLydike Jan 17, 2023
1e9ccc8
printer: fix printing of strings containing special characters
AntonLydike Jan 17, 2023
e21d7a0
parser: fix some more failing tests
AntonLydike Jan 17, 2023
9365029
parser: add opaque attribute and fix lots of small issues
AntonLydike Jan 18, 2023
684c809
parser+tests: fix module-op at top level error
AntonLydike Jan 18, 2023
c49fc29
parser: added memref support
AntonLydike Jan 18, 2023
0420b56
parser: change type annotations to make python3.11 happy
AntonLydike Jan 18, 2023
b58143a
parser: fixed special attribute-entry parsing for UnitAttr
AntonLydike Jan 18, 2023
58339bc
xdsl: fix how the parser is used in tests
AntonLydike Jan 20, 2023
d0b5a5b
xdsl: fix typo in Block.delcared_at
AntonLydike Jan 20, 2023
41049fe
xdsl: fixed errorneous type hints on DictionaryAttr
AntonLydike Jan 20, 2023
7fda7e0
tests: fix tests that don't wrap their input in a builtin.module
AntonLydike Jan 20, 2023
70ecada
parser: fix a typo
AntonLydike Jan 20, 2023
8e5ce88
parser: add docstring to tokenizer
AntonLydike Jan 20, 2023
6968619
parser: remove BacktrackingAbort
AntonLydike Jan 20, 2023
ebbc7bc
parser: add docstring for BacktrackingHistory
AntonLydike Jan 20, 2023
56490fd
parser: renamed begin_parse to parse_module
AntonLydike Jan 20, 2023
932e403
parser: added return type to get_block_from_name
AntonLydike Jan 20, 2023
4e985cd
parser: fix typos and alignement issues
AntonLydike Jan 23, 2023
ea9a75b
parser: removed get_nth_line_bounds - unused function
AntonLydike Jan 23, 2023
db7c4cb
parser: fix minor nitpicks in tests
AntonLydike Jan 23, 2023
4e27ede
xdsl: revert back to a callable interface for xdsl-opt frontends
AntonLydike Jan 23, 2023
7a40bf2
tests: removed a bunch of unneeded arguments for the parser
AntonLydike Jan 23, 2023
46fee68
parser: move stuff around, fix formatting
AntonLydike Jan 23, 2023
2f09883
parser: uppercase comments
AntonLydike Jan 23, 2023
91a8d12
parser: make a bunch of methods private
AntonLydike Jan 23, 2023
85810fc
tests: clean up imports and unused vars in test_parse_error
AntonLydike Jan 23, 2023
54a7788
tools: removed assertion text - off topic
AntonLydike Jan 23, 2023
9db3804
tests: fix docstring
AntonLydike Jan 23, 2023
868e509
xdsl: removed must_ prefix from parser methods
AntonLydike Jan 23, 2023
de5fa12
formatting: run yapf
AntonLydike Jan 23, 2023
cc67615
formatting: fixed typos and other minor issues
AntonLydike Jan 23, 2023
3c4349a
formatting: yapf run
AntonLydike Jan 23, 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
Prev Previous commit
Next Next commit
tools: removed assertion text - off topic
  • Loading branch information
AntonLydike committed Jan 23, 2023
commit 54a7788abf56ef2af5e1405288fbe8be83e4478b
2 changes: 1 addition & 1 deletion xdsl/xdsl_opt_main.py
Original file line number Diff line number Diff line change
@@ -306,7 +306,7 @@ def parse_input(self) -> ModuleOp:

def apply_passes(self, prog: ModuleOp):
"""Apply passes in order."""
assert isinstance(prog, ModuleOp), "Expected top-level module!"
assert isinstance(prog, ModuleOp)
if not self.args.disable_verify:
prog.verify()
for pass_name, p in self.pipeline: