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

Layout changes #237

Open
wants to merge 86 commits into
base: main
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
86 commits
Select commit Hold shift + click to select a range
15420f2
minor cleanup of README and gibbon-compiler/gibbon.cabal
ulysses4ever Nov 22, 2023
df7386f
Revert "Fix some iterate TODO's in layout pass"
vidsinghal Dec 10, 2023
71a07bb
Revert "Revert "Fix some iterate TODO's in layout pass""
vidsinghal Dec 10, 2023
4803d91
Revert "Fix some iterate TODO's in layout pass"
vidsinghal Dec 10, 2023
85b9f2a
Revert "remove duplicates"
vidsinghal Dec 10, 2023
e38eee8
Revert "[LayoutOpt]: Add a greedy heuristic to ameliorate solver time…
vidsinghal Dec 10, 2023
5026a72
Revert "add support for global layout optimization for multiple funct…
vidsinghal Dec 10, 2023
8441a8e
Revert "[LayoutOptimization] Test multiple functions. Producer Consum…
vidsinghal Dec 10, 2023
753eed4
Revert "remove old comment in test examples"
vidsinghal Dec 10, 2023
06d69d5
Revert "Add dyn flag to enable layout optimization. Remove dependency…
vidsinghal Dec 10, 2023
5937956
Revert "change failing test to pass"
vidsinghal Dec 10, 2023
21dda55
Revert "edit workflow"
vidsinghal Dec 10, 2023
5f33802
Revert "layout3TagSearch.hs: restore state"
vidsinghal Dec 10, 2023
e0b4495
Revert "forgot to add answer file"
vidsinghal Dec 10, 2023
7d079c8
Revert "Mark layout test failing since need academic liscense to inst…
vidsinghal Dec 10, 2023
e541ab4
Revert "move comments to bottom of file"
vidsinghal Dec 10, 2023
a7103dc
Revert "Main pass to optimize layout when user annotates function"
vidsinghal Dec 10, 2023
1c9b980
Revert "Add pass OptimizeADTLayout"
vidsinghal Dec 10, 2023
2d7234c
Revert "add synthetic bench from marmoset paper to tests"
vidsinghal Dec 10, 2023
c34321d
Revert "Filter blogs unit tests"
vidsinghal Dec 10, 2023
801083c
Revert "blog tag search unit tests"
vidsinghal Dec 10, 2023
bc7bca8
Revert "Additional layout unit tests"
vidsinghal Dec 10, 2023
16aded2
Revert "change failing tests"
vidsinghal Dec 10, 2023
d42428b
Revert "init some layout tests in the test-runner"
vidsinghal Dec 10, 2023
fdea1ec
Revert "AddRAN: missing fields in functionMeta record"
vidsinghal Dec 10, 2023
3280574
Revert "src: HaskellFrontend"
vidsinghal Dec 10, 2023
95a4499
Revert "Passes: Access patterns, update GHC version to 9.4.6 in CI"
vidsinghal Dec 10, 2023
365a109
Revert "fix L1 test"
vidsinghal Dec 10, 2023
be07b89
Revert "fix"
vidsinghal Dec 10, 2023
47b9d3c
Revert "Tests: Fix L1 Typecheck case to fix CI error"
vidsinghal Dec 10, 2023
9fc8680
Revert "Passes: CallGraph"
vidsinghal Dec 10, 2023
60e4a60
Revert "Passes: Support for Definition Use Chains"
vidsinghal Dec 10, 2023
5ff5eed
Revert "Passes: Control Flow Graph"
vidsinghal Dec 10, 2023
6c85f54
Fix-build errors due to merger
vidsinghal Dec 10, 2023
4c5da78
fix failing tests
vidsinghal Dec 10, 2023
c2d1501
WIP
vidsinghal Dec 5, 2023
5365ab0
WIP
vidsinghal Dec 9, 2023
e9a3c19
WIP
vidsinghal Dec 10, 2023
9f848dc
WIP: global opt working
vidsinghal Dec 10, 2023
ec35973
WIP
vidsinghal Dec 10, 2023
0747fe8
WIP
vidsinghal Dec 10, 2023
fa7950a
WIP
vidsinghal Dec 10, 2023
e705da4
WIP
vidsinghal Dec 10, 2023
3fb658e
WIP
vidsinghal Dec 10, 2023
2bbd45a
WIP
vidsinghal Dec 10, 2023
627b354
WIP
vidsinghal Dec 10, 2023
1307d9c
WIP
vidsinghal Dec 10, 2023
5f0360e
Fix infinite loop: inference of recursive and scalar attributes for f…
vidsinghal Dec 11, 2023
2d8b49b
WIP: make sure cost model penalizes placing scalar fields after recur…
vidsinghal Dec 11, 2023
d9de77c
WIP: Greedy mode for global optimization works
vidsinghal Dec 11, 2023
9cc1817
WIP
vidsinghal Dec 11, 2023
b66273b
WIP: decision Tree
vidsinghal Nov 9, 2023
4f5efe7
WIP
vidsinghal Dec 11, 2023
9958c73
WIP: fix logic errors
vidsinghal Dec 11, 2023
81cf339
Add a simple example to test scalar after packed field
vidsinghal Dec 15, 2023
12fbb16
Merge branch 'layout_changes' of github.com:iu-parfunc/gibbon into la…
vidsinghal Dec 15, 2023
6a8b8f5
WIP:fix single field use
vidsinghal Dec 29, 2023
4e729e2
Enable Papi high level stats within the iterate construct
vidsinghal Oct 9, 2023
6f36fdb
edits
vidsinghal Jan 8, 2024
c94f78c
remove dbg calls
vidsinghal Jan 8, 2024
cbc361f
Merge branch 'layout_changes' of github.com:iu-parfunc/gibbon into la…
vidsinghal Jan 8, 2024
cc4eb76
compile time script
vidsinghal Jan 9, 2024
cecb100
Add ghc bench that's in the paper
vidsinghal Jan 9, 2024
daebd24
add benchmarks in paper
vidsinghal Jan 9, 2024
2729734
Merge branch 'layout_changes' of github.com:iu-parfunc/gibbon into la…
vidsinghal Jan 9, 2024
508d2b0
Add user defined ordering back to new cost model
vidsinghal Jan 13, 2024
ef5e75e
ensure packedTy is not assigned a scalarTy
vidsinghal Jan 13, 2024
a164373
list example in design
vidsinghal Jan 16, 2024
d01ccdd
fix examples run in design
vidsinghal Jan 16, 2024
9a5d02e
Ecoop 2024 dockerfile
vidsinghal Jan 20, 2024
aa7b456
Add all benchmarks in one place
vidsinghal Jan 20, 2024
80f6cbf
Merge branch 'layout_changes' of github.com:iu-parfunc/gibbon into la…
vidsinghal Jan 20, 2024
663ab3b
forgot to commit iterate changes
vidsinghal Jan 20, 2024
fd8880c
Add automated script to get all the runtimes numbers in the tables fo…
vidsinghal Jan 20, 2024
fdc9970
add script to generate compile times
vidsinghal Jan 20, 2024
3b66084
cache script
vidsinghal Jan 21, 2024
d465842
Merge branch 'layout_changes' of github.com:iu-parfunc/gibbon into la…
vidsinghal Jan 21, 2024
a1b4724
edit
vidsinghal Jan 21, 2024
7cc0726
cache script
vidsinghal Jan 21, 2024
3940da9
makefile
vidsinghal Jan 21, 2024
d59bf09
remove dbg message
vidsinghal Jan 22, 2024
a6cd95d
remove harcoded papi path
vidsinghal Jan 22, 2024
25fa6ec
add misaligned pre
vidsinghal Jan 25, 2024
9918357
more bench examples
vidsinghal Jan 25, 2024
3da170f
edits
vidsinghal Jan 26, 2024
a82d9bb
edit
vidsinghal Jan 26, 2024
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
fix examples run in design
  • Loading branch information
vidsinghal committed Jan 16, 2024
commit d01ccdd23ec4e7373045ce73663610acd967b55a
Original file line number Diff line number Diff line change
Expand Up @@ -12,25 +12,25 @@ mkList len = if len <=0
in Cons val rst


addOne :: PackedInt -> PackedInt
addOne val = case val of
P x -> P (expo 100 x) --(x+1+4+2 -1)
power :: PackedInt -> PackedInt
power val = case val of
P x -> P (pow_helper x 100)


expo :: Int -> Int -> Int
expo power val = if power == 0
then val
else val * expo (power-1) val
pow_helper :: Int -> Int -> Int
pow_helper val power = if power == 0
then val
else val * pow_helper (power-1) val

addVal :: List -> List
addVal lst = case lst of
Cons x rst -> let xp = addOne x
rst' = addVal rst
in Cons xp rst'
Nil -> Nil
powerList :: List -> List
powerList lst = case lst of
Cons x rst -> let xp = power x
rst' = powerList rst
in Cons xp rst'
Nil -> Nil


gibbon_main = let
lst = mkList 1000000
lst' = iterate (addVal lst)
lst' = iterate (powerList lst)
in ()
Original file line number Diff line number Diff line change
Expand Up @@ -12,25 +12,25 @@ mkList len = if len <=0
in Cons rst val


addOne :: PackedInt -> PackedInt
addOne val = case val of
P x -> P (expo 100 x) --(x+1+4+2 -1)

addVal :: List -> List
addVal lst = case lst of
Cons rst x -> let rst' = addVal rst
x' = addOne x
power :: PackedInt -> PackedInt
power val = case val of
P x -> P (power_helper x 100)

powerList :: List -> List
powerList lst = case lst of
Cons rst x -> let rst' = powerList rst
x' = power x
in Cons rst' x'
Nil -> Nil

expo :: Int -> Int -> Int
expo power val = if power == 0
then val
else val * expo (power -1) val
power_helper :: Int -> Int -> Int
power_helper val power = if power == 0
then val
else val * power_helper (power -1) val



gibbon_main = let
lst = mkList 1000000
lst' = iterate (addVal lst)
lst' = iterate (powerList lst)
in ()
Loading