#3181: Regression in unboxing
--------------------------------+-------------------------------------------
Reporter: dolio | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 6.12.2
Component: Compiler | Version: 6.10.2
Keywords: unboxing boxing | Difficulty: Unknown
Os: Linux | Testcase:
Architecture: x86_64 (amd64) | Failure: Runtime performance bug
--------------------------------+-------------------------------------------
Comment(by igloo):
I can't reproduce this. With 6.8.2:
{{{
$ ghc --version
The Glorious Glasgow Haskell Compilation System, version 6.8.2
$ ghc -O -c Vector.hs
$ ghc -O -c StrictPair.hs -ddump-simpl
}}}
I get this:
{{{
$w$j_sBq =
\ (w2_sAq :: GHC.Prim.State# GHC.Prim.RealWorld)
(ww2_sAt :: GHC.Base.Int)
(ww3_sAw :: GHC.Prim.Int#) ->
case w_sAC of wild11_auu { GHC.Base.I# x#_auw ->
case GHC.Prim.<# x#_auw ww3_sAw of wild2_axd {
GHC.Base.False ->
case GHC.Prim.==# x#_auw ww3_sAw of wild12_axg {
GHC.Base.False ->
case GHC.Prim.writeIntArray#
@ GHC.Prim.RealWorld arr_avS
(GHC.Prim.+# ww_sAF 40) x#_auw w2_sAq
of s'1_awJ { __DEFAULT ->
(# s'1_awJ, GHC.Base.() #)
};
GHC.Base.True ->
case GHC.Prim.writeIntArray#
@ GHC.Prim.RealWorld arr_avS
(GHC.Prim.+# ww_sAF 40) x#_auw w2_sAq
of s'1_awJ { __DEFAULT ->
(# s'1_awJ, GHC.Base.() #)
}
};
GHC.Base.True ->
case GHC.Prim.writeIntArray#
@ GHC.Prim.RealWorld arr_avS (GHC.Prim.+#
ww_sAF 40) ww3_sAw w2_sAq
of s'1_awJ { __DEFAULT ->
case ww2_sAt of w3_XAV { GHC.Base.I# ww4_XBA ->
$wa_sBo wild11_auu ww4_XBA ww1_sAJ s'1_awJ
}
}
}
}}}
which seems to have the same boxed `Int`. Can you say exactly how you are
compiling it to get the result you want with 6.8.2 please?
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3181#comment:12>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
