Commit Graph

687 Commits (128ec5229c3d58b95fca06bb60d3be3b3959f8dc)
 

Author SHA1 Message Date
Ibrahim Numanagić d2d4bb73a7 Use type[] for type variables; Revamp statics and types[wip] 2024-03-01 14:11:23 -08:00
Philip Kaelbling 4400e3d849
Generic Slices (#544)
* Changed slice fields to generics, added check to adjust_indices

* fix typecheck

* Refactored Slice class, fixed test

* fix test

* made slice fields optional, updated tests

* Fix list optimization for new slices; update tests

---------

Co-authored-by: A. R. Shajii <ars@ars.me>
2024-02-25 11:42:31 -05:00
A. R. Shajii 4be3bbf9e7
Add allocation hoist optimization (#534)
* Add allocation hoist optimization

* Fix analysis of nested loops

* Check for irreducible cycles

* Add additional check when analyzing insertvalue

* Add allocation-specific attributes in LLVM IR

* Remove unused calloc function from runtime library

* Add float -> intN and float -> uintN constructors

* Only hoist atomic allocations

* Update codegen

* Simplify codegen

* Change allocation hoist pass to be a function pass

* Fix loop iteration order

* Use 'struct' instead of 'class'

* Add check for phi instructions in header; refactor

* Remove unneeded checks

* Fix C++ benchmark

* Remove annotation
2024-02-22 19:31:19 -05:00
Ibrahim Numanagić d3f3486f5a Fix static.fn_can_call 2024-02-21 17:33:12 -08:00
A. R. Shajii 7a787bfcf1
Import fixes (#542)
* Fix sub-imports

* Fix sub-imports

* Remove log lines

* Fix out-of-module shadowing

---------

Co-authored-by: Ibrahim Numanagić <ibrahimpasa@gmail.com>
2024-02-17 15:31:17 -05:00
Ibrahim Numanagić b853397b34 Fix out-of-module shadowing 2024-02-15 19:37:17 -08:00
Ibrahim Numanagić c16dfb5654
Fix sub-imports (#538)
* Fix sub-imports

* Fix sub-imports

* Remove log lines

---------

Co-authored-by: A. R. Shajii <ars@ars.me>
2024-02-07 10:36:07 -05:00
Ibrahim Numanagić a61ed7d164 Fix sub-imports 2024-02-05 18:07:16 -08:00
Ibrahim Numanagić 9993ddc3e4 Fix sub-imports 2024-02-05 17:12:25 -08:00
dependabot[bot] 927e430dd0
Bump actions/cache from 3 to 4 (#536)
Bumps [actions/cache](https://github.com/actions/cache) from 3 to 4.
- [Release notes](https://github.com/actions/cache/releases)
- [Changelog](https://github.com/actions/cache/blob/main/RELEASES.md)
- [Commits](https://github.com/actions/cache/compare/v3...v4)

---
updated-dependencies:
- dependency-name: actions/cache
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2024-02-02 10:56:13 -05:00
A. R. Shajii e40527f845
Add from-str constructors for several types (#533)
* Add from-str constructors for several types

* Fix tests

* Disable test
2024-01-25 13:41:36 -05:00
A. R. Shajii 725003c64f
Upgrade to LLVM 17 (#531)
* Support LLVM 16

* Update for LLVM 17

* Add climits include

* Use LLVM 17 branch

* Disable tests in clang build

* Fix regex GC issue

* Use new "codon" branch of exaloop/llvm
2024-01-23 17:12:58 -05:00
A. R. Shajii c8bc944a50
Updates - January 2024 (#530)
* Add bz2

* Support 'b' prefix on str

* List.index() throws an exception if item not found

This is consistent with Python. Added find() method that returns -1 similar to str (although this does not exist in Python's list).

* Update complex64 str and repr

* Fix tests

* Add 'default' arg to min() and max()
2024-01-19 11:22:20 -05:00
Ibrahim Numanagić b1b75913ec Fix Python 2024-01-18 11:53:57 -08:00
Ibrahim Numanagić 9a1c2741ee Fix imports and Python [wip] 2024-01-17 21:33:13 -08:00
Ibrahim Numanagić 41dcb83be0 Fix lambdas [wip] 2024-01-16 09:14:37 -08:00
A. R. Shajii d23c8c7a75
Support "key" argument on min() and max() builtins (#505)
* Support "key" argument on min() and max() builtins

* Delay overload selection when arguments are not known (delayed dispatch)

* Delay 'is None' for 'Optional[T]' until type is known

* Fix union overload selection

* Add static string slicing

* Fix itertools.accumulate

* Fix list comprehension optimization ( minitech:imports-in-list-comprehensions )

* Fix match or patterns

* Fix tests and faulty static tuple issue

* Fix OpenMP reductions with new min/max functions

* Fix domination of dominated bindings; Fix hasattr overloads; Fix arg=None handling

* Fix empty return handling; Mark generators with an attribute

* Fix #487

* Fix test

* Fix IR pass

---------

Co-authored-by: Ibrahim Numanagić <ibrahimpasa@gmail.com>
2024-01-12 19:27:29 -05:00
Ibrahim Numanagić 377e619f7f Fix loops 2024-01-09 12:36:18 -08:00
Ibrahim Numanagić 10503d3c2a Fix loops 2024-01-09 12:31:45 -08:00
Ibrahim Numanagić cdc8e17955 Fix static issues 2024-01-08 23:09:29 -08:00
dependabot[bot] 8a0064a611
Bump actions/upload-artifact from 3 to 4 (#523)
Bumps [actions/upload-artifact](https://github.com/actions/upload-artifact) from 3 to 4.
- [Release notes](https://github.com/actions/upload-artifact/releases)
- [Commits](https://github.com/actions/upload-artifact/compare/v3...v4)

---
updated-dependencies:
- dependency-name: actions/upload-artifact
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2024-01-02 13:36:11 -05:00
A. R. Shajii d609629489
Format 1-element tuples as "(x,)" (#521)
* Format 1-element tuples as "(x,)"

Currently, single-element tuple "repr" / "str" gives "(x)", but it should really give "(x,)" according to Python.

* Fix tests
2024-01-02 13:35:55 -05:00
dependabot[bot] f476ff2f92
Bump actions/download-artifact from 3 to 4 (#524)
Bumps [actions/download-artifact](https://github.com/actions/download-artifact) from 3 to 4.
- [Release notes](https://github.com/actions/download-artifact/releases)
- [Commits](https://github.com/actions/download-artifact/compare/v3...v4)

---
updated-dependencies:
- dependency-name: actions/download-artifact
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2024-01-02 13:35:34 -05:00
dependabot[bot] f819bfd943
Bump actions/setup-python from 4 to 5 (#525)
Bumps [actions/setup-python](https://github.com/actions/setup-python) from 4 to 5.
- [Release notes](https://github.com/actions/setup-python/releases)
- [Commits](https://github.com/actions/setup-python/compare/v4...v5)

---
updated-dependencies:
- dependency-name: actions/setup-python
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2024-01-02 13:35:17 -05:00
Ibrahim Numanagić 416cc5fa59
Bugfixes (Dec 2023) (#515)
* Delay overload selection when arguments are not known (delayed dispatch)

* Delay 'is None' for 'Optional[T]' until type is known

* Fix union overload selection

* Add static string slicing

* Fix itertools.accumulate

* Fix list comprehension optimization ( minitech:imports-in-list-comprehensions )

* Fix match or patterns

* Fix tests and faulty static tuple issue
2023-12-26 09:35:03 -05:00
Ibrahim Numanagić cff38ea734 Fix cond tests [wip] 2023-12-13 17:23:50 -08:00
Ibrahim Numanagić bef36e016a Fix call tests [wip] 2023-12-09 18:13:07 -08:00
Kurt McKee 32a624b041
Add a pre-commit config to lint and correct style issues (#470) 2023-12-05 16:08:20 -05:00
A. R. Shajii d1cd21b3e3
Add complex str constructor (#502) 2023-12-05 15:48:34 -05:00
Ibrahim Numanagić abadfeb03e Fix call tests [wip] 2023-12-04 21:28:35 -08:00
Ibrahim Numanagić 32b2af6b1b Fix call tests [wip] 2023-12-04 19:49:21 -08:00
A. R. Shajii b4a3f890ff
Property setters (#501)
* Fix __from_gpu_new__

* Fix GPU tests

* Update GPU debug codegen

* Add will-return attribute for GPU compilation

* Fix isinstance on unresolved types

* Fix union type instantiation and pendingRealizations placement

* Add float16, bfloat16 and float128 IR types

* Add float16, bfloat16 and float128 types

* Mark complex64 as no-python

* Fix float methods

* Add float tests

* Disable some float tests

* Fix bitset in reaching definitions analysis

* Fix static bool unification

* Add property setters

* Remove log

* Add Union hasattr support

* Fix union bugs; Move union logic to internal.codon; Add fn_can_call for any expression

* Fix isinstance(x, Union)

---------

Co-authored-by: Ibrahim Numanagić <ibrahimpasa@gmail.com>
2023-12-04 11:14:08 -05:00
A. R. Shajii 78a3d7d982
Union hasattr (#500)
* Fix __from_gpu_new__

* Fix GPU tests

* Update GPU debug codegen

* Add will-return attribute for GPU compilation

* Fix isinstance on unresolved types

* Fix union type instantiation and pendingRealizations placement

* Add float16, bfloat16 and float128 IR types

* Add float16, bfloat16 and float128 types

* Mark complex64 as no-python

* Fix float methods

* Add float tests

* Disable some float tests

* Fix bitset in reaching definitions analysis

* Fix static bool unification

* Add property setters

* Remove log

* Add Union hasattr support

---------

Co-authored-by: Ibrahim Numanagić <ibrahimpasa@gmail.com>
2023-11-27 12:24:21 -05:00
A. R. Shajii 7fdbc7f21e
Property setters (#499)
* Fix __from_gpu_new__

* Fix GPU tests

* Update GPU debug codegen

* Add will-return attribute for GPU compilation

* Fix isinstance on unresolved types

* Fix union type instantiation and pendingRealizations placement

* Add float16, bfloat16 and float128 IR types

* Add float16, bfloat16 and float128 types

* Mark complex64 as no-python

* Fix float methods

* Add float tests

* Disable some float tests

* Fix bitset in reaching definitions analysis

* Fix static bool unification

* Add property setters

* Remove log

---------

Co-authored-by: Ibrahim Numanagić <ibrahimpasa@gmail.com>
2023-11-22 10:43:25 -05:00
zstadler a257678c4f
Update the applicable bash profile file (#498) 2023-11-21 10:46:36 -05:00
Ibrahim Numanagić 42bb3127f0 Add property setters 2023-11-20 21:09:50 -08:00
A. R. Shajii 2c7440768d
GPU compilation fixes (#496)
* Fix __from_gpu_new__

* Fix GPU tests

* Update GPU debug codegen

* Add will-return attribute for GPU compilation

* Fix isinstance on unresolved types

* Fix union type instantiation and pendingRealizations placement

* Add float16, bfloat16 and float128 IR types

* Add float16, bfloat16 and float128 types

* Mark complex64 as no-python

* Fix float methods

* Add float tests

* Disable some float tests

* Fix bitset in reaching definitions analysis

* Fix static bool unification

---------

Co-authored-by: Ibrahim Numanagić <ibrahimpasa@gmail.com>
2023-11-18 15:14:05 -05:00
Ibrahim Numanagić 1fc0655ea7 Fix static bool unification 2023-11-18 10:37:26 -08:00
A. R. Shajii 4eb641e3cb Add PyCapsule to Python bridge 2023-11-07 11:41:57 -05:00
A. R. Shajii ad504b78b0 Return int from floor(), ceil() and trunc() 2023-10-31 10:18:54 -04:00
Kurt McKee 584ea3b493
Use kebab case, not snake case, for PyPI input keys (#489) 2023-10-26 10:28:13 -04:00
A. R. Shajii 1e6382c564
Fix domination within deeply nested blocks (#485)
Co-authored-by: Ibrahim Numanagić <ibrahimpasa@gmail.com>
2023-10-03 17:04:15 -04:00
dependabot[bot] bee2c2f402
Bump actions/checkout from 2 to 4 (#484)
Bumps [actions/checkout](https://github.com/actions/checkout) from 2 to 4.
- [Release notes](https://github.com/actions/checkout/releases)
- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)
- [Commits](https://github.com/actions/checkout/compare/v2...v4)

---
updated-dependencies:
- dependency-name: actions/checkout
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2023-10-03 10:16:45 -04:00
Ibrahim Numanagić ce459c5667
New Tuple machinery (#462)
* Refactor Tuple class

* Add Tuple[N,...] support; Fix inline operators with list brackets

* Fix Tuple[N,...] support

* Merge Sequre SIMD changes

* Fix repeat-tuple unification

* Fix staticlen in OpenMP

* Fix isinstance unification

* Fix delayed unification with static realization

* Fix CI

* Cleanup

* Use "fcmp une" in float.__ne__()

---------

Co-authored-by: A. R. Shajii <ars@ars.me>
2023-09-26 10:49:14 -04:00
Ibrahim Numanagić 99973373e0 Fix assign tests 2023-09-23 10:01:34 -07:00
Ibrahim Numanagić 6321a03868 Fix assign tests 2023-09-22 15:19:52 -07:00
Ibrahim Numanagić 502eed22f4 Add missing tests 2023-09-22 10:11:00 -07:00
Ibrahim Numanagić 9e6a4e5515 Fix access tests 2023-09-22 10:10:24 -07:00
dependabot[bot] 9933954e30
Bump actions/upload-artifact from 1 to 3 (#473)
Bumps [actions/upload-artifact](https://github.com/actions/upload-artifact) from 1 to 3.
- [Release notes](https://github.com/actions/upload-artifact/releases)
- [Commits](https://github.com/actions/upload-artifact/compare/v1...v3)

---
updated-dependencies:
- dependency-name: actions/upload-artifact
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2023-09-09 10:27:51 -04:00
dependabot[bot] 7cddafb7cf
Bump actions/download-artifact from 1 to 3 (#474)
Bumps [actions/download-artifact](https://github.com/actions/download-artifact) from 1 to 3.
- [Release notes](https://github.com/actions/download-artifact/releases)
- [Commits](https://github.com/actions/download-artifact/compare/v1...v3)

---
updated-dependencies:
- dependency-name: actions/download-artifact
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2023-09-09 10:27:38 -04:00