packages/dph.git
7 years agodph-lifted-vseg: shift reference implementation harness to its own module and cleanup
Ben Lippmeier [Tue, 8 Nov 2011 10:29:56 +0000 (21:29 +1100)] 
dph-lifted-vseg: shift reference implementation harness to its own module and cleanup

7 years agodph-lifted-vseg: eliminate sharing in arrays during zipl
Ben Lippmeier [Tue, 8 Nov 2011 09:55:51 +0000 (20:55 +1100)] 
dph-lifted-vseg: eliminate sharing in arrays during zipl

With lifted zip, we can't guarantee that the two arrays were created in the same way, so have to eliminate sharing via the vsegds before zipping the components.

7 years agodph-lifted-vseg: rejig the pretty printer to handle void arrays
Ben Lippmeier [Tue, 8 Nov 2011 06:43:00 +0000 (17:43 +1100)] 
dph-lifted-vseg: rejig the pretty printer to handle void arrays

7 years agoCompare PArray functions against reference implementation
Ben Lippmeier [Tue, 8 Nov 2011 04:53:16 +0000 (15:53 +1100)] 
Compare PArray functions against reference implementation

7 years agodph-base: add Array compatibility module
Ben Lippmeier [Mon, 7 Nov 2011 06:50:05 +0000 (17:50 +1100)] 
dph-base: add Array compatibility module

7 years agodph-lifted-vseg: fix bug in replicatel
Ben Lippmeier [Mon, 7 Nov 2011 05:24:49 +0000 (16:24 +1100)] 
dph-lifted-vseg: fix bug in replicatel

7 years agodph-lifted-vseg: add docs for Sum2 extracts
Ben Lippmeier [Mon, 7 Nov 2011 04:28:49 +0000 (15:28 +1100)] 
dph-lifted-vseg: add docs for Sum2 extracts

7 years agodph-test: port across extracts1 test for PArrays
Ben Lippmeier [Mon, 7 Nov 2011 03:07:52 +0000 (14:07 +1100)] 
dph-test: port across extracts1 test for PArrays

7 years agodph-lifted-vseg: better docs for Sum2 extract
Ben Lippmeier [Mon, 7 Nov 2011 02:29:50 +0000 (13:29 +1100)] 
dph-lifted-vseg: better docs for Sum2 extract

7 years agodph-lifted-vseg: add extract instance for Sums
Ben Lippmeier [Mon, 7 Nov 2011 02:06:22 +0000 (13:06 +1100)] 
dph-lifted-vseg: add extract instance for Sums

7 years agoPrefer qualified names
Manuel M T Chakravarty [Tue, 8 Nov 2011 23:30:52 +0000 (10:30 +1100)] 
Prefer qualified names

7 years agoWarning police
Manuel M T Chakravarty [Tue, 8 Nov 2011 23:30:26 +0000 (10:30 +1100)] 
Warning police

7 years agodph-lifted-vseg: tweak pretty printer instances
Ben Lippmeier [Fri, 4 Nov 2011 07:44:44 +0000 (18:44 +1100)] 
dph-lifted-vseg: tweak pretty printer instances

7 years agodph-lifted-vseg: make PprVirtual of PArray Bool work
Ben Lippmeier [Fri, 4 Nov 2011 07:06:08 +0000 (18:06 +1100)] 
dph-lifted-vseg: make PprVirtual of PArray Bool work

7 years agodph-lifted-vseg: more void instances
Ben Lippmeier [Fri, 4 Nov 2011 06:58:17 +0000 (17:58 +1100)] 
dph-lifted-vseg: more void instances

7 years agodph-lifted-vseg: fix pretty printing of arrays via PRepr
Ben Lippmeier [Fri, 4 Nov 2011 06:57:53 +0000 (17:57 +1100)] 
dph-lifted-vseg: fix pretty printing of arrays via PRepr

7 years agodph-test: pretty instances for Joint modifiers
Ben Lippmeier [Fri, 4 Nov 2011 06:56:57 +0000 (17:56 +1100)] 
dph-test: pretty instances for Joint modifiers

7 years agodph-test: duplicate PData tests as PArray tests
Ben Lippmeier [Fri, 4 Nov 2011 05:20:22 +0000 (16:20 +1100)] 
dph-test: duplicate PData tests as PArray tests

7 years agodph-test: cleanups
Ben Lippmeier [Fri, 4 Nov 2011 04:40:13 +0000 (15:40 +1100)] 
dph-test: cleanups

7 years agodph-test: add more quickcheck framework for nested arrays
Ben Lippmeier [Fri, 4 Nov 2011 04:28:05 +0000 (15:28 +1100)] 
dph-test: add more quickcheck framework for nested arrays

7 years agodph-test: rename test file
Ben Lippmeier [Thu, 3 Nov 2011 06:26:29 +0000 (17:26 +1100)] 
dph-test: rename test file

7 years agodph-lifted-vseg: fix edge case in concatl when the last segment is empty
Ben Lippmeier [Thu, 3 Nov 2011 05:23:24 +0000 (16:23 +1100)] 
dph-lifted-vseg: fix edge case in concatl when the last segment is empty

7 years agodph-test: add VVector proxy to generate nested arrays of a sensible size
Ben Lippmeier [Thu, 3 Nov 2011 03:58:58 +0000 (14:58 +1100)] 
dph-test: add VVector proxy to generate nested arrays of a sensible size

7 years agodph-test: generate arbitrary arrays by using array operators like append and concat
Ben Lippmeier [Thu, 3 Nov 2011 03:01:05 +0000 (14:01 +1100)] 
dph-test: generate arbitrary arrays by using array operators like append and concat

This makes nested arrays have an interesting physical representation, with multiple physical arrays.

7 years agodph-test: rename war -> framework
Ben Lippmeier [Thu, 3 Nov 2011 01:38:58 +0000 (12:38 +1100)] 
dph-test: rename war -> framework

7 years agodph-test: Add Arbitrary module, and rename some others
Ben Lippmeier [Wed, 2 Nov 2011 06:21:42 +0000 (17:21 +1100)] 
dph-test: Add Arbitrary module, and rename some others

7 years agodph-test: follow PA/PR fun name changes
Ben Lippmeier [Wed, 2 Nov 2011 06:02:34 +0000 (17:02 +1100)] 
dph-test: follow PA/PR fun name changes

7 years agodph-lifted-vseg: add missing show and ppr instances
Ben Lippmeier [Wed, 2 Nov 2011 06:02:11 +0000 (17:02 +1100)] 
dph-lifted-vseg: add missing show and ppr instances

7 years agodph-lifted-vseg: use new vectoriser interface
Ben Lippmeier [Wed, 2 Nov 2011 04:55:49 +0000 (15:55 +1100)] 
dph-lifted-vseg: use new vectoriser interface

7 years agodph-test: drop dependency on regex library
Ben Lippmeier [Wed, 2 Nov 2011 03:07:37 +0000 (14:07 +1100)] 
dph-test: drop dependency on regex library

7 years agodph-examples: add simple smoke tests.
Ben Lippmeier [Fri, 28 Oct 2011 02:26:16 +0000 (13:26 +1100)] 
dph-examples: add simple smoke tests.

7 years agodph-lifted-vseg: add back Prelude operator precedences.
Ben Lippmeier [Fri, 28 Oct 2011 02:26:02 +0000 (13:26 +1100)] 
dph-lifted-vseg: add back Prelude operator precedences.

7 years agodph-test: follow changes for PRFuns tests
Ben Lippmeier [Thu, 27 Oct 2011 06:47:48 +0000 (17:47 +1100)] 
dph-test: follow changes for PRFuns tests

7 years agodph-lifted-vseg: implement extracts for Sum2
Ben Lippmeier [Tue, 25 Oct 2011 09:05:32 +0000 (20:05 +1100)] 
dph-lifted-vseg: implement extracts for Sum2

7 years agodph-common-vseg: refactor to use PDatas in nested arrays instead of plain Vectors...
Ben Lippmeier [Tue, 25 Oct 2011 06:38:28 +0000 (17:38 +1100)] 
dph-common-vseg: refactor to use PDatas in nested arrays instead of plain Vectors of PData

7 years agodph-prim: export scattered segment count
Ben Lippmeier [Thu, 20 Oct 2011 02:42:40 +0000 (13:42 +1100)] 
dph-prim: export scattered segment count

8 years agoWarning police
Manuel M T Chakravarty [Mon, 24 Oct 2011 12:27:30 +0000 (23:27 +1100)] 
Warning police

8 years agoExport interface to vectoriser via Data.Array.Parallel.Prim
Manuel M T Chakravarty [Mon, 24 Oct 2011 03:50:14 +0000 (14:50 +1100)] 
Export interface to vectoriser via Data.Array.Parallel.Prim

* All module in this package that use the vectoriser now need to depend on 'Data.Array.Parallel.Prim' (by importing it)
* 'VectDepend' can now go

8 years agoWeaken vector dependency again
Ben Lippmeier [Wed, 19 Oct 2011 02:22:49 +0000 (13:22 +1100)] 
Weaken vector dependency again

8 years agoGo back to vector 0.8 so it builds with the head
Ben Lippmeier [Wed, 19 Oct 2011 01:51:47 +0000 (12:51 +1100)] 
Go back to vector 0.8 so it builds with the head

8 years agodph-prim-vseg: Sums module isn't used anymore
Ben Lippmeier [Tue, 18 Oct 2011 10:02:56 +0000 (21:02 +1100)] 
dph-prim-vseg: Sums module isn't used anymore

8 years agodph-lifted-vseg: add back minIndex / maxIndex
Ben Lippmeier [Tue, 18 Oct 2011 09:57:56 +0000 (20:57 +1100)] 
dph-lifted-vseg: add back minIndex / maxIndex

8 years agodph-lifted-vseg: add zips and unzips
Ben Lippmeier [Tue, 18 Oct 2011 09:31:51 +0000 (20:31 +1100)] 
dph-lifted-vseg: add zips and unzips

8 years agodph-lifter-vseg: beautify lifted combinators
Ben Lippmeier [Tue, 18 Oct 2011 08:52:01 +0000 (19:52 +1100)] 
dph-lifter-vseg: beautify lifted combinators

8 years agodpg-lifted-vsegd: rename DD functions to PD functions. These are now the ones that...
Ben Lippmeier [Tue, 18 Oct 2011 08:26:38 +0000 (19:26 +1100)] 
dpg-lifted-vsegd: rename DD functions to PD functions. These are now the ones that work on PData but don't need a dictionary for the element type.

8 years agodph-lifted-vseg: refactor to push all plain PArray functions into PArray module
Ben Lippmeier [Tue, 18 Oct 2011 08:16:14 +0000 (19:16 +1100)] 
dph-lifted-vseg: refactor to push all plain PArray functions into PArray module

8 years agodph-lifted-vseg: rename PD functions to PA functions to reflect what dictionary they...
Ben Lippmeier [Tue, 18 Oct 2011 07:29:13 +0000 (18:29 +1100)] 
dph-lifted-vseg: rename PD functions to PA functions to reflect what dictionary they take

8 years agoMakefile wibble
Ben Lippmeier [Tue, 18 Oct 2011 06:03:39 +0000 (17:03 +1100)] 
Makefile wibble

8 years agodph-lifted-vseg: Add more Prelude functions
Ben Lippmeier [Tue, 18 Oct 2011 06:03:26 +0000 (17:03 +1100)] 
dph-lifted-vseg: Add more Prelude functions

8 years agodph-lifted-vseg: add Sum2 skeleton and enough stuff to make the treeIndices example...
Ben Lippmeier [Mon, 17 Oct 2011 07:17:42 +0000 (18:17 +1100)] 
dph-lifted-vseg: add Sum2 skeleton and enough stuff to make the treeIndices example compile with the vectoriser.

8 years agodph-lifted-vseg: cleanups and add missing instances
Ben Lippmeier [Mon, 17 Oct 2011 05:42:27 +0000 (16:42 +1100)] 
dph-lifted-vseg: cleanups and add missing instances

8 years agodph-lifted-vseg: remove old UArray conversions from PR class
Ben Lippmeier [Mon, 17 Oct 2011 05:14:00 +0000 (16:14 +1100)] 
dph-lifted-vseg: remove old UArray conversions from PR class

8 years agodph-lifted-vseg: make smvm compile with the new library
Ben Lippmeier [Mon, 17 Oct 2011 04:41:31 +0000 (15:41 +1100)] 
dph-lifted-vseg: make smvm compile with the new library

8 years agodph-lifted-vseg: add more of the vectoriser interface
Ben Lippmeier [Fri, 14 Oct 2011 04:39:07 +0000 (15:39 +1100)] 
dph-lifted-vseg: add more of the vectoriser interface

8 years agodph-lifted-vseg: define more Prelude functions
Ben Lippmeier [Fri, 14 Oct 2011 03:40:48 +0000 (14:40 +1100)] 
dph-lifted-vseg: define more Prelude functions

8 years agodph-lifted-vseg: add new stuff to cabal file
Ben Lippmeier [Fri, 14 Oct 2011 02:31:40 +0000 (13:31 +1100)] 
dph-lifted-vseg: add new stuff to cabal file

8 years agodph-lifted-vseg: add PRepr and start making it work with the generic representation
Ben Lippmeier [Fri, 14 Oct 2011 02:26:35 +0000 (13:26 +1100)] 
dph-lifted-vseg: add PRepr and start making it work with the generic representation

8 years agodph-prim-interface: whitespace
Ben Lippmeier [Fri, 14 Oct 2011 02:25:43 +0000 (13:25 +1100)] 
dph-prim-interface: whitespace

8 years agodph-prim-seq: fix typo in UVSegd
Ben Lippmeier [Fri, 14 Oct 2011 02:25:23 +0000 (13:25 +1100)] 
dph-prim-seq: fix typo in UVSegd

8 years agodph-lifted-vseg: add a lazilly culled version of vsegids and ussegd to uvsegd.
Ben Lippmeier [Thu, 13 Oct 2011 05:21:13 +0000 (16:21 +1100)] 
dph-lifted-vseg: add a lazilly culled version of vsegids and ussegd to uvsegd.

Lifted indexing doesn't care if there are unreachable psegs in the uvsegd, so we can avoid culling them sometimes.

8 years agodph-lifted-vsegd: make replicatesPR take a Segd
Ben Lippmeier [Thu, 13 Oct 2011 03:12:50 +0000 (14:12 +1100)] 
dph-lifted-vsegd: make replicatesPR take a Segd

We'll want to check whether there are zero segment lengths to use updateVSegsReachable

8 years agodph-prim-*: comments and some INLINE wibbles
Ben Lippmeier [Thu, 13 Oct 2011 03:11:48 +0000 (14:11 +1100)] 
dph-prim-*: comments and some INLINE wibbles

8 years agodph-prim-*: add updateVSegsReachable for when we know the result covers all psegs
Ben Lippmeier [Thu, 13 Oct 2011 03:11:05 +0000 (14:11 +1100)] 
dph-prim-*: add updateVSegsReachable for when we know the result covers all psegs

8 years agoRemove unused cabal file
Ben Lippmeier [Wed, 12 Oct 2011 04:41:34 +0000 (15:41 +1100)] 
Remove unused cabal file

8 years agodph-examples: Use DPH Doubles instead of Prelude ones
Ben Lippmeier [Wed, 12 Oct 2011 04:34:11 +0000 (15:34 +1100)] 
dph-examples: Use DPH Doubles instead of Prelude ones

8 years agodph-examples needs -fsimpl-tick-factor
Ben Lippmeier [Wed, 12 Oct 2011 04:33:45 +0000 (15:33 +1100)] 
dph-examples needs -fsimpl-tick-factor

8 years agoAdd SCCs to some NOINLINE functions
Ben Lippmeier [Wed, 12 Oct 2011 04:21:56 +0000 (15:21 +1100)] 
Add SCCs to some NOINLINE functions

8 years agoFix fusion for sumPA
Ben Lippmeier [Tue, 11 Oct 2011 09:23:46 +0000 (20:23 +1100)] 
Fix fusion for sumPA

8 years agoAdd a fast path to concatPR to avoid copying segments when the nested array is known...
Ben Lippmeier [Tue, 11 Oct 2011 07:31:55 +0000 (18:31 +1100)] 
Add a fast path to concatPR to avoid copying segments when the nested array is known to be contiguous and manifest.

8 years agodph-lifted-vseg: uses fusion-phases.h
Ben Lippmeier [Tue, 11 Oct 2011 04:09:56 +0000 (15:09 +1100)] 
dph-lifted-vseg: uses fusion-phases.h

8 years agodph-lifted-vseg: uses PatternGuards
Ben Lippmeier [Tue, 11 Oct 2011 04:09:29 +0000 (15:09 +1100)] 
dph-lifted-vseg: uses PatternGuards

8 years agodph-prim-par: follow name changes
Ben Lippmeier [Tue, 11 Oct 2011 04:09:10 +0000 (15:09 +1100)] 
dph-prim-par: follow name changes

8 years agodph-prim-seq: Fix wrong export
Ben Lippmeier [Tue, 11 Oct 2011 04:08:48 +0000 (15:08 +1100)] 
dph-prim-seq: Fix wrong export

8 years agoAdd Makefile goop for dph-common
Ben Lippmeier [Tue, 11 Oct 2011 02:15:18 +0000 (13:15 +1100)] 
Add Makefile goop for dph-common

8 years agoFollow changes in dph-common.cabal
Ben Lippmeier [Tue, 11 Oct 2011 02:14:47 +0000 (13:14 +1100)] 
Follow changes in dph-common.cabal

8 years agoRevert rename of dph-common for now
Ben Lippmeier [Mon, 10 Oct 2011 23:59:18 +0000 (10:59 +1100)] 
Revert rename of dph-common for now

8 years agoMakefiles need real tab chars, ffs.
Ben Lippmeier [Mon, 10 Oct 2011 06:43:11 +0000 (17:43 +1100)] 
Makefiles need real tab chars, ffs.

8 years agoWhitespace and add more language extension flags
Ben Lippmeier [Mon, 10 Oct 2011 06:40:34 +0000 (17:40 +1100)] 
Whitespace and add more language extension flags

8 years agoAdd Setup.hs for dpg-lifted-vseg
Ben Lippmeier [Mon, 10 Oct 2011 06:38:31 +0000 (17:38 +1100)] 
Add Setup.hs for dpg-lifted-vseg

8 years agoFollow package name changes in cabal files
Ben Lippmeier [Mon, 10 Oct 2011 06:38:15 +0000 (17:38 +1100)] 
Follow package name changes in cabal files

8 years agoMakefile hacks
Ben Lippmeier [Mon, 10 Oct 2011 06:37:55 +0000 (17:37 +1100)] 
Makefile hacks

8 years agoIgnore generated frontend packages
Ben Lippmeier [Mon, 10 Oct 2011 06:37:16 +0000 (17:37 +1100)] 
Ignore generated frontend packages

8 years agoRename cabal files to match package names
Ben Lippmeier [Mon, 10 Oct 2011 05:51:11 +0000 (16:51 +1100)] 
Rename cabal files to match package names

8 years agodph-test: pass in language flags from war instead of baking them into test files
Ben Lippmeier [Mon, 10 Oct 2011 05:50:40 +0000 (16:50 +1100)] 
dph-test: pass in language flags from war instead of baking them into test files

8 years agoRemove old sdist.mk
Ben Lippmeier [Mon, 10 Oct 2011 05:46:49 +0000 (16:46 +1100)] 
Remove old sdist.mk

8 years agoMore work on dph makefiles
Ben Lippmeier [Mon, 10 Oct 2011 05:46:35 +0000 (16:46 +1100)] 
More work on dph makefiles

8 years agoRemove unused ndp.mk
Ben Lippmeier [Mon, 10 Oct 2011 03:00:20 +0000 (14:00 +1100)] 
Remove unused ndp.mk

8 years agoAdd makefiles
Ben Lippmeier [Mon, 10 Oct 2011 02:57:35 +0000 (13:57 +1100)] 
Add makefiles

8 years agoComments only
Ben Lippmeier [Mon, 10 Oct 2011 02:57:02 +0000 (13:57 +1100)] 
Comments only

8 years agoAdd D.A.P.U.Sequential module to tie together the sequential backend
Ben Lippmeier [Mon, 10 Oct 2011 02:56:14 +0000 (13:56 +1100)] 
Add D.A.P.U.Sequential module to tie together the sequential backend

8 years agoRename dph-common to dph-lifted-copy and dph-common-vseg to dph-lifted-vseg.
Ben Lippmeier [Mon, 10 Oct 2011 02:55:28 +0000 (13:55 +1100)] 
Rename dph-common to dph-lifted-copy and dph-common-vseg to dph-lifted-vseg.
Doing this makes it easier for the build system.

8 years agodph-prim-par: add flag saying whether VSegd is manifest to short cut demotion to...
Ben Lippmeier [Fri, 7 Oct 2011 08:11:55 +0000 (19:11 +1100)] 
dph-prim-par: add flag saying whether VSegd is manifest to short cut demotion to SSegd

8 years agodph-common-vseg: don't inline sumPA for now
Ben Lippmeier [Fri, 7 Oct 2011 04:17:01 +0000 (15:17 +1100)] 
dph-common-vseg: don't inline sumPA for now

8 years agodph-common-vseg: cleanup implementation of concat and unconcat
Ben Lippmeier [Fri, 7 Oct 2011 04:16:33 +0000 (15:16 +1100)] 
dph-common-vseg: cleanup implementation of concat and unconcat

8 years agodph-common-vseg: better indexl for doubles
Ben Lippmeier [Fri, 7 Oct 2011 03:27:43 +0000 (14:27 +1100)] 
dph-common-vseg: better indexl for doubles

8 years agodph-prim-*: tweak inlines again and document why
Ben Lippmeier [Fri, 7 Oct 2011 02:24:12 +0000 (13:24 +1100)] 
dph-prim-*: tweak inlines again and document why

8 years agoAdd docs to fusion phases
Ben Lippmeier [Fri, 7 Oct 2011 01:01:07 +0000 (12:01 +1100)] 
Add docs to fusion phases

8 years agoBe consistent about what INLINE pragmas are used in each module
Ben Lippmeier [Fri, 7 Oct 2011 01:00:47 +0000 (12:00 +1100)] 
Be consistent about what INLINE pragmas are used in each module

8 years agodph-common-vseg: make it compile with the parallel prim library
Ben Lippmeier [Thu, 6 Oct 2011 06:09:18 +0000 (17:09 +1100)] 
dph-common-vseg: make it compile with the parallel prim library

8 years agoAdd UPVSegd
Ben Lippmeier [Thu, 6 Oct 2011 06:00:16 +0000 (17:00 +1100)] 
Add UPVSegd