Changes between Initial Version and Version 1 of Ticket #6070, comment 9


Ignore:
Timestamp:
Feb 15, 2018 7:29:15 AM (22 months ago)
Author:
osa1
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #6070, comment 9

    initial v1  
    1 Just tried with GHC HEAD, unused arg in join point in `Unboxed.hs` vanishes with late demand analysis.
    2 
    3 {{{
    4 let-no-escape {
    5   $j_s4wc [Occ=Once*!T[2], Dmd=<C(C(S)),1*C1(C1(U(U,U)))>]
    6     :: GHC.Prim.Int#
    7        -> GHC.Types.Int
    8        -> (# Unboxed.FingerTree
    9                Unboxed.Size (Unboxed.Node Unboxed.Size c_s44z),
    10              Unboxed.FingerTree
    11                Unboxed.Size (Unboxed.Node Unboxed.Size c_s44z) #)
    12   [LclId[JoinId(2)], Arity=2, Str=<S,U><L,A>, Unf=OtherCon []] = ...
    13 }}}
    14 
    15 After:
    16 
    17 {{{
    18 let-no-escape {
    19   $w$j_s4BK [InlPrag=NOUSERINLINE[0],
    20              Occ=Once*!T[1],
    21              Dmd=<C(S),1*C1(U(U,U))>]
    22     :: GHC.Prim.Int#
    23        -> (# Unboxed.FingerTree
    24                Unboxed.Size (Unboxed.Node Unboxed.Size c_s45o),
    25              Unboxed.FingerTree
    26                Unboxed.Size (Unboxed.Node Unboxed.Size c_s45o) #)
    27   [LclId[JoinId(1)], Arity=1, Str=<S,U>, Unf=OtherCon []] = ...
    28 }}}