Commit Graph

133 Commits (03cbed7c31eca2e73989f4e198820abdaf86beef)

Author SHA1 Message Date
A. R. Shajii ebd344f894
GPU and other updates (#52)
* Add nvptx pass

* Fix spaces

* Don't change name

* Add runtime support

* Add init call

* Add more runtime functions

* Add launch function

* Add intrinsics

* Fix codegen

* Run GPU pass between general opt passes

* Set data layout

* Create context

* Link libdevice

* Add function remapping

* Fix linkage

* Fix libdevice link

* Fix linking

* Fix personality

* Fix linking

* Fix linking

* Fix linking

* Add internalize pass

* Add more math conversions

* Add more re-mappings

* Fix conversions

* Fix __str__

* Add decorator attribute for any decorator

* Update kernel decorator

* Fix kernel decorator

* Fix kernel decorator

* Fix kernel decorator

* Fix kernel decorator

* Remove old decorator

* Fix pointer calc

* Fix fill-in codegen

* Fix linkage

* Add comment

* Update list conversion

* Add more conversions

* Add dict and set conversions

* Add float32 type to IR/LLVM

* Add float32

* Add float32 stdlib

* Keep required global values in PTX module

* Fix PTX module pruning

* Fix malloc

* Set will-return

* Fix name cleanup

* Fix access

* Fix name cleanup

* Fix function renaming

* Update dimension API

* Fix args

* Clean up API

* Move GPU transformations to end of opt pipeline

* Fix alloc replacements

* Fix naming

* Target PTX 4.2

* Fix global renaming

* Fix early return in static blocks; Add __realized__ function

* Format

* Add __llvm_name__ for functions

* Add vector type to IR

* SIMD support [wip]

* Update kernel naming

* Fix early returns; Fix SIMD calls

* Fix kernel naming

* Fix IR matcher

* Remove module print

* Update realloc

* Add overloads for 32-bit float math ops

* Add gpu.Pointer type for working with raw pointers

* Add float32 conversion

* Add to_gpu and from_gpu

* clang-format

* Add f32 reduction support to OpenMP

* Fix automatic GPU class conversions

* Fix conversion functions

* Fix conversions

* Rename self

* Fix tuple conversion

* Fix conversions

* Fix conversions

* Update PTX filename

* Fix filename

* Add raw function

* Add GPU docs

* Allow nested object conversions

* Add tests (WIP)

* Update SIMD

* Add staticrange and statictuple loop support

* SIMD updates

* Add new Vec constructors

* Fix UInt conversion

* Fix size-0 allocs

* Add more tests

* Add matmul test

* Rename gpu test file

* Add more tests

* Add alloc cache

* Fix object_to_gpu

* Fix frees

* Fix str conversion

* Fix set conversion

* Fix conversions

* Fix class conversion

* Fix str conversion

* Fix byte conversion

* Fix list conversion

* Fix pointer conversions

* Fix conversions

* Fix conversions

* Update tests

* Fix conversions

* Fix tuple conversion

* Fix tuple conversion

* Fix auto conversions

* Fix conversion

* Fix magics

* Update tests

* Support GPU in JIT mode

* Fix GPU+JIT

* Fix kernel filename in JIT mode

* Add __static_print__; Add earlyDefines; Various domination bugfixes; SimplifyContext RAII base handling

* Fix global static handling

* Fix float32 tests

* FIx gpu module

* Support OpenMP "collapse" option

* Add more collapse tests

* Capture generics and statics

* TraitVar handling

* Python exceptions / isinstance [wip; no_ci]

* clang-format

* Add list comparison operators

* Support empty raise in IR

* Add dict 'or' operator

* Fix repr

* Add copy module

* Fix spacing

* Use sm_30

* Python exceptions

* TypeTrait support; Fix defaultDict

* Fix earlyDefines

* Add defaultdict

* clang-format

* Fix invalid canonicalizations

* Fix empty raise

* Fix copyright

* Add Python numerics option

* Support py-numerics in math module

* Update docs

* Add static Python division / modulus

* Add static py numerics tests

* Fix staticrange/tuple; Add KwTuple.__getitem__

* clang-format

* Add gpu parameter to par

* Fix globals

* Don't init loop vars on loop collapse

* Add par-gpu tests

* Update gpu docs

* Fix isinstance check

* Remove invalid test

* Add -libdevice to set custom path [skip ci]

* Add release notes; bump version [skip ci]

* Add libdevice docs [skip ci]

Co-authored-by: Ibrahim Numanagić <ibrahimpasa@gmail.com>
2022-09-15 15:40:00 -04:00
A. R. Shajii b277586fda Fix tests 2022-08-04 11:59:07 -04:00
Ibrahim Numanagić 48a2bfa57a
Add Cython fixes (decorator arguments, pyvars support) (#42)
* Add Cython fixes (decorator arguments, pyvars support)

* Update CI and README

* Fix problematic test

* Don't track Cython-generated cpp file [ci skip]

* Fix test

* Various codon.jit improvements

* clang-format [ci skip]

* Add docs [ci skip]

* Add docs link

Co-authored-by: A. R. Shajii <ars@ars.me>
2022-08-03 16:36:03 -04:00
A. R. Shajii c128e59132
Annotation updates (#41)
* Fix gitignore, versions

* Add caching (WIP)

* Fix decorator

* Refactor

* Support tuple conversions

* Fix void; allow pyobj default conversion

* Improve setup

* Rename

* Fix JIT output capturing

* Support conversion of "complex"

* Allow class conversions

* Use Python number API

* Use Python API for (get/set/del)item

* Add decorator docs

* Cleanup

* Support slice and optional conversions

* Add comparison magics

* Remove Optional.__invert__() method

* Fix tests

* Fix test

* Add release notes

* New pybridge tests

* Update decorator tests

* Fix optional tuple handling

* Fix optional str() and repr()

* Add more decorator tests

* Fix optional.__bool__

* Update releases.md

* Add op tests

* Organize release notes [skip ci]

* clang-format [skip ci]

* Add r-magics to pyobj; more tests [skip ci]

* More pybridge tests

* Add plugin library paths to build command

* Remove walrus operator [skip ci]

* Fix optional operator handling; Fix right-magic handling

Co-authored-by: Ibrahim Numanagić <ibrahimpasa@gmail.com>
Co-authored-by: Ibrahim Numanagić <inumanag@users.noreply.github.com>
2022-08-02 14:53:17 -04:00
Ibrahim Numanagić cb945f569c
Typechecker refactoring (#20)
* Initial refactor commit

* Support external vars

* Simplify refactor; Python scoping [wip]

* Python scoping [wip]

* Python scoping [fix loops; wip]

* Fix lambdas

* Python scoping [test fixes; wip]

* Fix scoping [wip]

* Fix basic tests [no-ci]

* Fix tests

* CallExpr refactoring [wip]

* CallExpr refactoring [wip]

* Remove activeUnbounds tracking

* Add core.codon

* Move Function and other core types to core.codon; Revamp Function and Callable types

* Refactor IntExpr, FloatExpr and CallExpr

* Refactor ClassStmt

* Refactor context, IdExpr and DotExpr

* Refactor DotExpr and AssignStmt

* Refactor ImportStmt

* Refactor FunctionStmt

* Refactor

* Remove UpdateStmt

* Refactor AssignReplacementVisitor

* Make SimplifyVisitor in-place

* Fix new scoping

* Fix import type alias handling

* Add docstrings; Complete Simplify refactoring

* Fixes for seqtest

* Refactor typecheck [wip]

* Refactor typecheck [wip]

* Refactor typecheck/access; Remove void anduse NoneType; Fix #18

* Refactor typecheck/assign

* clang-format and cmake-format

* Fix none types in IR

* Multi-error support in simplify

* Fix IR tests for new void

* Simplify ClassStmt

* Refactor cond.cpp

* Refactor error.cpp

* Refactor function.cpp and simplify unbounds

* Refactor op.cpp

* Refactor call.cpp [wip] [no-ci]

* seqassertn updates [noci]

* Refactor call.cpp

* Refactor call.cpp

* Refactor call.cpp

* Refactor typecheck

* clang-tidy updates [noci]

* Refactor infer.cpp [wip]

* Refactor infer.cpp

* Refactor wrapExpr

* Remove visitedAsts

* Remove old base logic

* Refactor typecheck ctx

* Fix JIT bug

* Fix JIT tests

* Scoping fixes [wip] [noci]

* Fix ImperativeForFlow var store

* Add newlines [noci]

* Dump IR module with log flag

* Fix scoping bugs; Add &, ^ and | static operations; Address stylistic review issues

* Fix side effect analysis for for-loops

* Add support for class variables and ClassVar

* Refactor special dot-member cases

* Add codon app tests

* Fix class variables; clang-tidy

* Fix __argv__

* Add datetime constants and update tests

* Fix #25; Add Py_None, Py_True and Py_False; External var support [wip]

* External var support [wip]

* Dump LLVM IR when debug flags are active

* clang-format

* Fix arg var construction

* Extern var fixes

* Undo extern var changes related to stdout etc.

* Fix tuple magics

* Fix extern vars and tuple magics

* Fix duplicate var name error

* Fix extern vars

* Fix #16

* Fix side-effect analysis for try-catch

* Move test C var to test executable

* Add staticmethod

* Fix var status for try-catch

* Fix tests

* Fix shell var name

* Fix test

* Fix app test

* Fix scoping issue (remove dominated identifier from stack)

* Fix no-pie issue

* Use PIC when building library object

* Don't use -no-pie when building library [noci]

* Use -relocation-model=pic in test

* Fix lib build on Linux

* Fix lib build

* Update exceptions to use subclasses vs. header

* Fix __repr__

* Fix tests

* Fix exceptions test

* Don't build docs

Co-authored-by: A. R. Shajii <ars@ars.me>
2022-07-26 16:06:00 -04:00
A. R. Shajii f6bffa50a2
Full regex implementation (#38)
* IR escape analysis (WIP)

* Handle calls (WIP)

* Fix argument tracking (WIP)

* Cleanup

* Fix function caching

* Add annotations

* Add capture analysis

* Fixes

* Add tests

* More tests & fixes

* Refactor

* Add escape interface

* Fix consts

* Fix throw side effect

* Fix case for vararg C functions

* Add IR pass timing

* Fix internal func capture status

* Avoid warning on exe build

* More tests

* Fix var tracking & more tests

* Fix derived computation and more tests

* Optimization

* Better derived set generation

* More tests

* Cache reaching-def results

* Fix pass group repeat

* Fix use-after-free issue

* Initial re functions

* Cleanup

* Add parseCode

* Add parseCode

* Fix IR realization

* Allow for NumPy conversions

* Update re

* clang-format

* Add pattern methods

* Add more functions

* More functions

* Fixes

* Cleanup

* Add more functions

* Add groups()

* Add flags

* Use optionals where needed

* Support errors

* Fix replacement

* Fix sub

* Fix unescape

* Add tests

* Fix expand

* More tests

* More tests

* More tests

* Add remaining tests

* Revert Python changes

* Use atomic alloc

* Fix test

* Fix errors

* Fix unescape

Co-authored-by: Ibrahim Numanagić <ibrahimpasa@gmail.com>
2022-07-08 23:17:50 +00:00
A. R. Shajii 01840deb5f
Escape analysis in IR (#33)
* IR escape analysis (WIP)

* Handle calls (WIP)

* Fix argument tracking (WIP)

* Cleanup

* Fix function caching

* Add annotations

* Add capture analysis

* Fixes

* Add tests

* More tests & fixes

* Refactor

* Add escape interface

* Fix consts

* Fix throw side effect

* Fix case for vararg C functions

* Add IR pass timing

* Fix internal func capture status

* Avoid warning on exe build

* More tests

* Fix var tracking & more tests

* Fix derived computation and more tests

* Optimization

* Better derived set generation

* More tests

* Cache reaching-def results

* Fix pass group repeat

* Fix use-after-free issue
2022-07-02 11:48:19 -04:00
A. R. Shajii d87f08e45d
Allow compilation to shared library (#35)
* Add new "-lib" option to make shared library

* Fix description

* Add main() as ctor if building shared library

* Fix extensions for macOS

* Minor refactor

* Make Import class a tuple
2022-06-26 17:27:31 -04:00
A. R. Shajii af7cce08fe
Add special cases for length-1 patterns (#32) 2022-06-18 10:27:25 -04:00
A. R. Shajii 7114f3430a Fix ref type construction in IR 2022-05-20 20:44:49 -04:00
A. R. Shajii 753151157d
Py interop fix (#23)
* Fix incref/decref

* Fixes

* Fix set __to_py__

* Add more Python conversion tests

* clang-format

* Make from_py/to_py use cobj instead of pyobj

* Remove unneeded increfs

* Fix cython

* Ignore __init_test__ in doc generation

* Add exception check

Co-authored-by: Ishak Numanagić <ishak.numanagic@gmail.com>
Co-authored-by: Ibrahim Numanagić <ibrahimpasa@gmail.com>
2022-04-07 00:33:49 -04:00
Ibrahim Numanagić 12e8fe7666
@codon Python decorator and Python interop fixes (#19)
* Codon decorator

* Move to extra/cython, add error handling

* Small fixes

* CR

* CR

* Fix cython CI

* Fix cython CI v2

* Fix cython CI v3

* Fix cython CI v4

* Fix cython CI v5

* Fix cython CI v6

* Fix cython CI v7

* Fix cython CI v8

* Fix cython CI v9

* Fix cython CI v10

* Fix cython CI v11

* CR

* Fix CI

* Fix CI

* Fix CI

* Fix CI

* Fix CI

Co-authored-by: Ishak Numanagić <ishak.numanagic@gmail.com>
2022-03-31 10:22:26 +02:00
Ishak Numanagić 8d72ff8cfa CR pt. 1 2022-02-28 21:21:46 +01:00
Ishak Numanagić ac6fa3275b Fix timsort 2022-02-28 21:07:53 +01:00
Ishak Numanagić 0b1b6a6450 stdlib/internal/types/collections/set.codon 2022-02-28 21:07:53 +01:00
Ishak Numanagić 2d707e35a2 stdlib/internal/types/collections/list.codon 2022-02-28 21:07:53 +01:00
Ishak Numanagić 5bfc46d1b5 stdlib/internal/types/collections/dict.codon 2022-02-28 21:07:53 +01:00
Ishak Numanagić a306ce7c82 stdlib/internal/types/str.codon 2022-02-28 21:07:53 +01:00
Ishak Numanagić e9a841a471 stdlib/internal/types/slice.codon 2022-02-28 21:07:53 +01:00
Ishak Numanagić ea7477cfd0 stdlib/internal/types/range.codon 2022-02-28 21:07:53 +01:00
Ishak Numanagić 2871013247 stdlib/internal/types/ptr.codon 2022-02-28 21:07:53 +01:00
Ishak Numanagić 52ecba78ba stdlib/internal/types/optional.codon 2022-02-28 21:07:53 +01:00
Ishak Numanagić 06af65b403 stdlib/internal/types/intn.codon 2022-02-28 21:07:53 +01:00
Ishak Numanagić f67799da90 stdlib/internal/types/int.codon 2022-02-28 21:07:53 +01:00
Ishak Numanagić da5fe988ac stdlib/internal/types/generator.codon 2022-02-28 21:07:53 +01:00
Ishak Numanagić 252ad8408a stdlib/internal/types/float.codon 2022-02-28 21:07:53 +01:00
Ishak Numanagić 25c35f8466 stdlib/internal/types/error.codon 2022-02-28 21:07:53 +01:00
Ishak Numanagić 8b8c5a8729 stdlib/internal/types/complex.codon 2022-02-28 21:07:53 +01:00
Ishak Numanagić eda3b38beb stdlib/internal/types/byte.codon 2022-02-28 21:07:53 +01:00
Ishak Numanagić c5d5e254cf stdlib/internal/types/bool.codon 2022-02-28 21:07:53 +01:00
Ishak Numanagić 5815686f54 stdlib/internal/str.codon 2022-02-28 21:07:53 +01:00
Ishak Numanagić 4e59779aa8 stdlib/internal/sort.codon 2022-02-28 21:07:53 +01:00
Ishak Numanagić 1adc29a9f7 stdlib/internal/python.codon 2022-02-28 21:07:53 +01:00
Ishak Numanagić f8e29e2a3a stdlib/internal/khash.codon 2022-02-28 20:57:12 +01:00
Ishak Numanagić eee893b32a stdlib/internal/internal.codon 2022-02-28 20:57:12 +01:00
Ishak Numanagić 25fa9a5da5 stdlib/internal/gc.codon 2022-02-28 20:57:12 +01:00
Ishak Numanagić e1a0dbcb92 stdlib/internal/file.codon 2022-02-28 20:57:12 +01:00
Ishak Numanagić d0929248f4 stdlib/internal/dlopen.codon 2022-02-28 20:57:12 +01:00
Ishak Numanagić 3c94e2bae9 stdlib/internal/c_stubs.codon 2022-02-28 20:57:12 +01:00
Ishak Numanagić 049a1fa48c stdlib/internal/builtin.codon 2022-02-28 20:57:12 +01:00
Ishak Numanagić f1658ec62e stdlib/internal/box.codon 2022-02-28 20:57:12 +01:00
Ishak Numanagić 7bb259909b stdlib/internal/attributes.codon 2022-02-28 20:57:12 +01:00
Ishak Numanagić 047127ff58 stdlib/internal/__init_test__.codon 2022-02-28 20:56:16 +01:00
Ibrahim Numanagić 1ec5cd2958 Merge branch 'jupyter-fixes' into auto-class-deduction 2022-02-25 09:22:56 -08:00
Ibrahim Numanagić 2506cb849e Use @overload for top-level function overloads; Partial function bugfixes 2022-02-18 17:27:24 -08:00
Ibrahim Numanagić fd06afaa61 Fix linux build [wip] 2022-01-25 13:17:37 -08:00
Ibrahim Numanagić c3c48b9c6d Add Matplotlib plot support 2022-01-18 21:57:38 -08:00
Ibrahim Numanagić de678930d8 Add Matplotlib plot support 2022-01-18 21:19:52 -08:00
Ibrahim Numanagić a7a316f178 Merge remote-tracking branch 'origin/develop' into jupyter-fixes 2022-01-18 12:47:20 -08:00
Ibrahim Numanagić cc634d1940
Improved logic for handling overloaded functions (#10)
* Backport seq-lang/seq@develop fixes

* Backport seq-lang/seq@develop fixes

* Select the last matching overload by default (remove scoring logic); Add dispatch stubs for partial overload support

* Select the last matching overload by default [wip]

* Fix various bugs and update tests

* Add support for partial functions with *args/**kwargs; Fix partial method dispatch

* Update .gitignore

* Fix grammar to allow variable names that have reserved word as a prefix

* Add support for super() call

* Add super() tests; Allow static inheritance to inherit @extend methods

* Support for overloaded functions [wip; base logic done]

* Support for overloaded functions

* Update .gitignore

* Fix partial dots

* Rename function overload 'super' to 'superf'

* Add support for super()

* Add tests for super()

* Add tuple_offsetof

* Add tuple support for super()

* Add isinstance support for inherited classes; Fix review issues

Co-authored-by: A. R. Shajii <ars@ars.me>
2022-01-11 20:39:15 -05:00
Ibrahim Numanagić d3fa986dbc Merge branch 'fn-dispatch' into auto-class-deduction 2022-01-11 12:12:46 -08:00
Ibrahim Numanagić 9dde5be88f Add tuple support for super() 2022-01-11 11:04:03 -08:00
Ibrahim Numanagić 65bc56eb21 Add tuple_offsetof 2022-01-09 10:15:02 -08:00
Ibrahim Numanagić 5672cebe1c Add support for super() 2022-01-07 18:26:14 -08:00
A. R. Shajii a51a4eb0bd Merge branch 'develop' into jupyter-fixes 2022-01-06 12:48:37 -05:00
Ibrahim Numanagić 5dcc51a667 Add class auto-deduction support 2022-01-04 19:39:53 -08:00
Ibrahim Numanagić 0f38fc6473 Jupiter display fixes 2022-01-04 10:13:59 -08:00
Ibrahim Numanagić c79035b180 Merge remote-tracking branch 'origin/develop' into fn-dispatch 2021-12-29 17:07:24 -08:00
Ibrahim Numanagić 18d1d9b51e
Seq backports (#8)
* Backport seq-lang/seq@develop fixes

* Backport seq-lang/seq@develop fixes

* Resolve review issues

* Resolve File.__copy__() issue

* Resolve incorrect partial handling of object methods

* Use ints and floats for __suffix__ methods

* Fix float test

* Update complex tests

* Fix float constructor

* Fix cmath test

Co-authored-by: A. R. Shajii <ars@ars.me>
2021-12-29 19:46:15 -05:00
Ibrahim Numanagić 5bca6e47a9 Support for overloaded functions 2021-12-29 09:56:07 -08:00
Ibrahim Numanagić fa7278e616 Support for overloaded functions [wip; base logic done] 2021-12-28 20:58:20 -08:00
A. R. Shajii 55eedf29be
Datetime (#9)
* Initial datetime module

* More functions

* Remove fold

* Fixes

* Fixes

* Fix radd etc.

* Add unittest

* Add default fillchar

* Add remaining tests
2021-12-20 13:07:07 -05:00
Ibrahim Numanagić 3d6090322d Fix various bugs and update tests 2021-12-15 11:44:17 -08:00
Ibrahim Numanagić a68e95fb2b Select the last matching overload by default [wip] 2021-12-12 11:30:57 -08:00
Ibrahim Numanagić ab14cf9fc7 Select the last matching overload by default (remove scoring logic); Add dispatch stubs for partial overload support 2021-12-11 11:19:14 -08:00
Ibrahim Numanagić 721531c409 Backport seq-lang/seq@develop fixes 2021-12-10 13:01:40 -08:00
Ibrahim Numanagić adac82bdef Backport seq-lang/seq@develop fixes 2021-12-10 12:28:19 -08:00
Ibrahim Numanagić 2c72eda249 Revert StmtExpr.ownBlock; Fix JIT printing of void expressions 2021-12-08 09:12:17 -08:00
Ibrahim Numanagić 1681912b2c Add __repr_pretty__ support 2021-11-22 05:32:49 -08:00
Ibrahim Numanagić 0fd028bc52 Fix Jupyter Python support 2021-11-22 04:52:25 -08:00
A. R. Shajii 06063eb1f2 Add gc.register_finalizer() 2021-10-20 15:02:34 -04:00
A. R. Shajii 111080438c Minor cleanup
- Add back old byte formatting with __str__
- Remove some magic numbers in code
2021-10-18 13:36:06 -04:00
Mark Henderson fa51d0b583
Add copy helper function to list (#4)
* Add copy helper function to list

* Add list.copy test

Co-authored-by: ‘markhend’ <‘markhend@gmail.com’>
2021-10-13 16:40:14 -04:00
A. R. Shajii 1cf742d5ec Fix byte __repr__ 2021-10-13 12:21:40 -04:00
A. R. Shajii 35895ed811 Transition to __repr__ 2021-10-12 16:16:24 -04:00
A. R. Shajii 8d4caa2835 Add divmod() 2021-10-09 17:07:41 -04:00
A. R. Shajii 9ad07febb6 Add more builtins
bin(), oct(), hex(), update reversed()
2021-10-08 14:25:11 -04:00
A. R. Shajii 6ed45a644c Add complex tests 2021-10-04 13:07:11 -04:00
A. R. Shajii 587ce851c4 Add more cmath tests 2021-10-04 11:08:28 -04:00
A. R. Shajii 132593a36e Add complex type 2021-10-04 00:05:24 -04:00
A. R. Shajii bf57a4bd48 Add "_" files back 2021-10-02 18:56:18 -04:00
A. R. Shajii 0d185019f3 .seq to .codon 2021-10-01 09:56:35 -04:00
A. R. Shajii ede7765171 Initial commit 2021-09-27 14:02:44 -04:00