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.

Sign up for GitHub

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

Enforce that arrays in expressions are ArrayVars #457

Merged
merged 42 commits into from
Jun 5, 2020
Merged

Enforce that arrays in expressions are ArrayVars #457

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
42 commits
Select commit Hold shift + click to select a range
8e5a592
Refactor AST for representation types, split tuple
ivogabe Dec 20, 2019
4c93627
Refactor tuple to pairs and use repr type for exps
ivogabe Mar 9, 2020
63ed053
Refactor to use surface types for expressions
ivogabe Mar 18, 2020
5624933
Remove old unused code
ivogabe Mar 18, 2020
24087b3
Add Vec(Un)Pack; ShapeRcons -> ShapeRsnoc
ivogabe Mar 20, 2020
ec5299b
Add IsPattern instances for Vec
ivogabe Mar 20, 2020
9ad29f0
Merge branch 'master' into refactor-expression-tuples
ivogabe Mar 22, 2020
0f4a326
Add code which was accidentally removed
ivogabe Mar 22, 2020
bc5e432
Add Vec patterns and evaluation, remove Typeable
ivogabe Mar 24, 2020
e796599
Add remark on counting in acc functions
ivogabe Mar 24, 2020
e2a734c
Increase reduction depth for type checking tuples
ivogabe Mar 24, 2020
3814227
Remove Product
ivogabe Mar 24, 2020
48a9448
Remove Typeable
ivogabe Mar 24, 2020
b896c9a
Fix value of ignore
ivogabe Mar 25, 2020
fd3f121
Fix intersect and union
ivogabe Mar 25, 2020
6c1d464
Make pretty printing tuples more clear
ivogabe Mar 25, 2020
1858874
Fix lazy evaluation of logical operators
ivogabe Mar 25, 2020
1d1cfd0
Fix missing patterns for Vec(Un)Pack
ivogabe Mar 25, 2020
cfd2f12
Remove Typeable in tests, update tests with tuples
ivogabe Mar 25, 2020
4c22c29
Remove injectivity annotation on GArrayData
ivogabe Mar 26, 2020
948b65c
Fix pattern matching on GADTs for GHC 8.4
ivogabe Mar 26, 2020
e0b0d85
Fixes for GHC 8.2
ivogabe Mar 26, 2020
7f51c91
Fix GHC warnings
ivogabe Mar 26, 2020
a2685d7
Scan' returns a pair instead of 2-tuple internally
ivogabe Mar 30, 2020
9d4e6f5
Strictness of &&, ||; minor changes for acc-llvm
ivogabe Apr 23, 2020
906bf08
Add allocate, dim0, dim1, dim2 to Representation
ivogabe Apr 24, 2020
ce84817
Also use representation types for (A)foreign
ivogabe Apr 29, 2020
6723bf6
Use SingleType instead of Scalar for remove memory
ivogabe May 7, 2020
e6f52e4
Fix shrinking bug
ivogabe May 8, 2020
9949294
Merge branch 'master' of https://github.com/AccelerateHS/accelerate i…
ivogabe May 10, 2020
6244ee6
Fix pattern synonyms for Ordering after merge
ivogabe May 11, 2020
3879e2b
Remove unused import
ivogabe May 11, 2020
8143b46
Remove redundant parentheses
ivogabe May 14, 2020
90e332d
Fix alignment
ivogabe May 14, 2020
9d9ca38
Split let bindings when RHS is a pair
ivogabe May 15, 2020
efb4aa8
Split Alet bindings if RHS is an Apair
ivogabe May 15, 2020
de2149a
Add stencilHalo
ivogabe May 20, 2020
f08ccfa
Fix parentheses of tuples in pretty printer
ivogabe May 20, 2020
54875b2
Descend into Afuns in shrinking
ivogabe May 20, 2020
2061b69
Don't inline an Acc into an Awhile loop
ivogabe May 20, 2020
9e2dadb
Replace acc type arg of Exp by ArrayVar
ivogabe May 25, 2020
eb10416
Fix compile errors on old GHCs and warnings
ivogabe May 25, 2020
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
2 changes: 1 addition & 1 deletion accelerate.cabal
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -333,7 +333,6 @@ Library
Data.Array.Accelerate.Error
Data.Array.Accelerate.Lifetime
Data.Array.Accelerate.Pretty
Data.Array.Accelerate.Product
Data.Array.Accelerate.Smart
Data.Array.Accelerate.Trafo
Data.Array.Accelerate.Type
Expand Down Expand Up @@ -381,6 +380,7 @@ Library
Data.Array.Accelerate.Trafo.Base
Data.Array.Accelerate.Trafo.Config
Data.Array.Accelerate.Trafo.Fusion
Data.Array.Accelerate.Trafo.LetSplit
Data.Array.Accelerate.Trafo.Sharing
Data.Array.Accelerate.Trafo.Shrink
Data.Array.Accelerate.Trafo.Simplify
Expand Down
0 src/Data/Array/Accelerate/Product.hs → icebox/Product.hs
View file
Open in desktop
File renamed without changes.
10 changes: 8 additions & 2 deletions src/Data/Array/Accelerate.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -303,6 +303,9 @@ module Data.Array.Accelerate (
-- ** Scalar data types
Exp,

-- ** SIMD vectors
Vec, VecElt,

-- ** Type classes
-- *** Basic type classes
Eq(..),
Expand Down Expand Up @@ -333,7 +336,7 @@ module Data.Array.Accelerate (
-- ** Pattern synonyms
-- $pattern_synonyms
--
pattern Pattern, IsProduct, IsTuple,
pattern Pattern,
pattern T2, pattern T3, pattern T4, pattern T5, pattern T6,
pattern T7, pattern T8, pattern T9, pattern T10, pattern T11,
pattern T12, pattern T13, pattern T14, pattern T15, pattern T16,
Expand All @@ -342,6 +345,10 @@ module Data.Array.Accelerate (
pattern I0, pattern I1, pattern I2, pattern I3, pattern I4,
pattern I5, pattern I6, pattern I7, pattern I8, pattern I9,

pattern V2, pattern V2_, pattern V3, pattern V3_,
pattern V4, pattern V4_, pattern V8, pattern V8_,
pattern V16, pattern V16_,

pattern True_, pattern False_,

-- ** Scalar operations
Expand Down Expand Up @@ -417,7 +424,6 @@ import Data.Array.Accelerate.Classes
import Data.Array.Accelerate.Language
import Data.Array.Accelerate.Pattern
import Data.Array.Accelerate.Prelude
import Data.Array.Accelerate.Product
import Data.Array.Accelerate.Pretty () -- show instances
import Data.Array.Accelerate.Type
import qualified Data.Array.Accelerate.Array.Sugar as S
Expand Down
Loading