AndreasPK

{- | Pack types of a known size into as few bytes as possible.

We do so by assigning each instance of the Packable class
a 'Width' in bits.

When combining types we add up their widths using type level computation.

-}

{-# LANGUAGE TypeFamilies #-}

AndreasPK

==================== Tidy Core ====================

Result size of Tidy Core
  = {terms: 17,361, types: 21,327, coercions: 5,089, joins: 99/404}

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$trModule2 = "Load"#

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}

AndreasPK

# First get a list of all packages
cabal list --simple | tee packages.list

# Then compute the locations of their tar files
python3 -c "from fileinput import *; [print(\"https://hackage.haskell.org/package/\"+p+\"/\"+p+\"-\"+ver+\".tar.gz\") for (p,ver) in sorted(dict(map(str.split, input())).items())]" < packages.list | tee files.list

# If you are on windows make sure python didn't use CRLF:
# dos2unix files.list

# Download all the archives - 4 at a time. Some might fail, that is expected.

AndreasPK

module Main where

import           GHC
import           CoreSyn
import           Inst
import           Desugar
import           TcRnMonad
import           TcHsSyn
import           RnExpr
import           GhcMonad

AndreasPK

Andi@Horzube MINGW64 /e/pan-os-syslog
$ cabal new-run bench -w /e/ghc_layout/_quick/stage1/bin/ghc.exe --allow-newer="*"
Up to date
benchmarking 8-1-Traffic-A ...
benchmarked 8-1-Traffic-A
time                 626.4 ns   (611.3 ns .. 647.4 ns)
                     0.987 R²   (0.971 R² .. 0.997 R²)
mean                 618.7 ns   (610.2 ns .. 634.3 ns)
std dev              38.10 ns   (25.20 ns .. 65.38 ns)
variance introduced by outliers: 39% (moderately inflated)

AndreasPK

compiler\nativeGen\X86\CodeGen.hs:169:1: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for `verifyBasicBlock':
        Patterns not matched: _ :: [Instr]
    |
169 | verifyBasicBlock instrs


-- Verifying basic blocks is cheap, but not cheap enough to enable it unconditionally.
verifyBasicBlock :: [Instr] -> ()

AndreasPK

        Tue Aug 27 19:56 2019 Time and Allocation Profiling Report  (Final)

           ghc.exe +RTS -p -RTS Main.hs --make -O -fforce-recomp

        total time  =        7.72 secs   (7721 ticks @ 1000 us, 1 processor)
        total alloc = 9,747,651,160 bytes  (excludes profiling overheads)

COST CENTRE              MODULE      SRC                                                 %time %alloc

simplIdF                 Simplify    compiler\simplCore\Simplify.hs:899:61-79             16.9   18.1

AndreasPK

        Tue Aug 27 19:56 2019 Time and Allocation Profiling Report  (Final)

           ghc.exe +RTS -p -RTS Main.hs --make -O -fforce-recomp

        total time  =        7.72 secs   (7721 ticks @ 1000 us, 1 processor)
        total alloc = 9,747,651,160 bytes  (excludes profiling overheads)

COST CENTRE              MODULE      SRC                                                 %time %alloc

simplIdF                 Simplify    compiler\simplCore\Simplify.hs:899:61-79             16.9   18.1

AndreasPK

#!/usr/bin/env stack
{-
    stack
    script
    --resolver lts-12.20
    --package text,trifecta,containers,parsers,mtl,vector,deepseq
-}
{-# LANGUAGE RecordWildCards, BangPatterns #-}
{-# OPTIONS_GHC -O2 #-}

AndreasPK

        
        
    | x == A = e1
    | x == B = e2
    | predFunc(x) = e3
        
      case (case x of { C1 -> (Weight: 1000) A;
                        C2 -> (Weight: 1000) B;
                        C3 -> (Weight: 1000) e3; } ) of
            {