- ghc-tickets - Haskell.org

Re: [GHC] #5218: Add unpackCStringLen# to create Strings from string literals
by GHC 12 Apr '17

12 Apr '17

#5218: Add unpackCStringLen# to create Strings from string literals -------------------------------------+------------------------------------- Reporter: tibbe | Owner: thoughtpolice Type: feature request | Status: patch Priority: normal | Milestone: Component: Compiler | Version: 7.0.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime | Unknown/Multiple performance bug | Test Case: Blocked By: | Blocking: Related Tickets: #5877 #10064 | Differential Rev(s): Phab:D2443 Wiki Page: | -------------------------------------+------------------------------------- Changes (by winter): * cc: winter (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5218#comment:71> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #13565: Compiler allocations on sched in nofib regressed by 10% between 091333313 and 1883afb2
by GHC 12 Apr '17

12 Apr '17

#13565: Compiler allocations on sched in nofib regressed by 10% between 091333313 and 1883afb2 -------------------------------------+------------------------------------- Reporter: bgamari | Owner: (none) Type: task | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Compile-time Unknown/Multiple | performance bug Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Compiler allocations increased from 500MB to 550MB on the `Main` module of `sched` somewhere between 09333313f32be975faf9158fcd3648489d78ad82 and 03e8d26fe0a8f7981a76550118f3c584cad76c47. Investigate. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13565> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #13542: Solaris build fails with collect2: execv: Arg list too long
by GHC 12 Apr '17

12 Apr '17

#13542: Solaris build fails with collect2: execv: Arg list too long -------------------------------------+------------------------------------- Reporter: kgardas | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.1 Keywords: | Operating System: Solaris Architecture: | Type of failure: Building GHC Unknown/Multiple | failed Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- It looks like HEAD build is broken on Solaris and Solaris-derived OSes. It fails with: {{{ gmake --no-print-directory -f ghc.mk phase=final all "inplace/bin/ghc-stage1" -hisuf hi -osuf o -hcsuf hc -static -H32m -O -Wall -this-unit-id ghc-prim-0.5.0.0 -hide-all-packages -i -ilibraries/ghc-prim/. -ilibraries/ghc-prim/dist-install/build -Ilibraries /ghc-prim/dist-install/build -ilibraries/ghc-prim/dist- install/build/./autogen -Ilibraries/ghc-prim/dist-install/build/./autogen -Ilibraries/ghc-prim/. -optP-include -optPlibraries/ghc-prim/dist- install/build/./autogen/cabal_macros.h -package-id rts -this-unit-id ghc- prim -XHaskell2010 -O2 -no-user-package-db -rtsopts -Wno-trustworthy-safe -Wno-deprecated-flags -Wnoncanonical-monad-instances -odir libraries /ghc-prim/dist-install/build -hidir libraries/ghc-prim/dist-install/build -stubdir libraries/ghc-prim/dist-install/build -split-objs -dynamic-too -c libraries/ghc-prim/./GHC/Types.hs -o libraries/ghc-prim/dist- install/build/GHC/Types.o -dyno libraries/ghc-prim/dist- install/build/GHC/Types.dyn_o gcc: error trying to exec '/usr/gcc/4.8/lib/gcc/i386-pc- solaris2.11/4.8.2/collect2': execv: Arg list too long `gcc' failed in phase `Linker'. (Exit code: 1) gmake[1]: *** [libraries/ghc-prim/dist-install/build/GHC/Types.o] Error 1 gmake: *** [all] Error 2 }}} on Solaris 11.2 and with: {{{ "inplace/bin/ghc-stage1" -hisuf hi -osuf o -hcsuf hc -static -H32m -O -Wall -this-unit-id ghc-prim-0.5.0.0 -hide-all-packages -i -ilibraries/ghc-prim/. -ilibraries/ghc-prim/dist-install/build -Ilibraries /ghc-prim/dist-install/build -ilibraries/ghc-prim/dist- install/build/./autogen -Ilibraries/ghc-prim/dist-install/build/./autogen -Ilibraries/ghc-prim/. -optP-include -optPlibraries/ghc-prim/dist- install/build/./autogen/cabal_macros.h -package-id rts -this-unit-id ghc- prim -XHaskell2010 -O2 -no-user-package-db -rtsopts -Wno-trustworthy-safe -Wno-deprecated-flags -Wnoncanonical-monad-instances -odir libraries /ghc-prim/dist-install/build -hidir libraries/ghc-prim/dist-install/build -stubdir libraries/ghc-prim/dist-install/build -split-objs -dynamic-too -c libraries/ghc-prim/./GHC/Types.hs -o libraries/ghc-prim/dist- install/build/GHC/Types.o -dyno libraries/ghc-prim/dist- install/build/GHC/Types.dyn_o gcc: error trying to exec '/opt/local/gcc47/libexec/gcc/i486-sun- solaris2.11/4.7.4/collect2': execv: Arg list too long `gcc' failed in phase `Linker'. (Exit code: 1) libraries/ghc-prim/ghc.mk:4: recipe for target 'libraries/ghc-prim/dist- install/build/GHC/Types.o' failed gmake[1]: *** [libraries/ghc-prim/dist-install/build/GHC/Types.o] Error 1 Makefile:122: recipe for target 'all' failed gmake: *** [all] Error 2 }}} on SmartOS. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13542> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

Re: [GHC] #5218: Add unpackCStringLen# to create Strings from string literals
by GHC 12 Apr '17

12 Apr '17

#5218: Add unpackCStringLen# to create Strings from string literals -------------------------------------+------------------------------------- Reporter: tibbe | Owner: thoughtpolice Type: feature request | Status: patch Priority: normal | Milestone: Component: Compiler | Version: 7.0.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime | Unknown/Multiple performance bug | Test Case: Blocked By: | Blocking: Related Tickets: #5877 #10064 | Differential Rev(s): Phab:D2443 Wiki Page: | -------------------------------------+------------------------------------- Comment (by winter): It looks like we have to make a space-time trade off here, if `ByteArray#` 's overhead is too large, adding a `Int#` will also cost a lot. Suppose GHC is smart enough to float all string constant out, then copying once in runtime is acceptable. Otherwise i would still want to switch space for time. Here i also propose another solution: We still keep primitive literal's type as `Addr#`, but encode the literal's byte length with UTF8 rules, that is using one byte for length less than 0x7F, two bytes for length less than 0x7FF...and so on. Then put these UTF8 encoded length header bytes in front of real bytes content. Now all we have to do left is to add a new unpack function `unpackGHCString#` to decode these header bytes first(we can reuse UTF8 code!!!), then use `memcpy` or whatever you want to do with length info. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5218#comment:70> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #13419: Testing.
by GHC 12 Apr '17

12 Apr '17

#13419: Testing. -------------------------------------+------------------------------------- Reporter: bgamari | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- This is only a test. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13419> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

Re: [GHC] #5218: Add unpackCStringLen# to create Strings from string literals
by GHC 11 Apr '17

11 Apr '17

#5218: Add unpackCStringLen# to create Strings from string literals -------------------------------------+------------------------------------- Reporter: tibbe | Owner: thoughtpolice Type: feature request | Status: patch Priority: normal | Milestone: Component: Compiler | Version: 7.0.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime | Unknown/Multiple performance bug | Test Case: Blocked By: | Blocking: Related Tickets: #5877 #10064 | Differential Rev(s): Phab:D2443 Wiki Page: | -------------------------------------+------------------------------------- Comment (by bgamari): > I mean can we change ByteArray# 's representation into just length and content (removing the header)? I don't believe this is possible; as you point out, the garbage collecting needs the info table pointer. > It seems to me we want a way to write a `ByteArray#` literal, without forcing every string literal to be compiled to a `ByteArray#`. I agree; I can see the value in wanting a `ByteArray#` literal, but making all primitive strings `ByteArray#`s seems like a step too far. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5218#comment:69> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #13523: Be more explicit in generated case alternatives
by GHC 11 Apr '17

11 Apr '17

#13523: Be more explicit in generated case alternatives -------------------------------------+------------------------------------- Reporter: bgamari | Owner: (none) Type: feature | Status: new request | Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- This came up during the GHC call while discussing #13397 and I thought it would be good to record. Often in the compiler we end up with a case analysis with a number of alternatives and a `DEFAULT` case in place of the remaining alternative, {{{!#hs case x of True -> a DEFAULT -> b }}} Arguably we should instead generate, {{{ case x of True -> a False -> b }}} instead as this may allow the code generator may be able to emit better code when it knows the finite bounds of the switch (e.g. using a jump table). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13523> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

Re: [GHC] #5218: Add unpackCStringLen# to create Strings from string literals
by GHC 11 Apr '17

11 Apr '17

#5218: Add unpackCStringLen# to create Strings from string literals -------------------------------------+------------------------------------- Reporter: tibbe | Owner: thoughtpolice Type: feature request | Status: patch Priority: normal | Milestone: Component: Compiler | Version: 7.0.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime | Unknown/Multiple performance bug | Test Case: Blocked By: | Blocking: Related Tickets: #5877 #10064 | Differential Rev(s): Phab:D2443 Wiki Page: | -------------------------------------+------------------------------------- Comment (by rwbarton): It seems to me we want a way to write a `ByteArray#` literal, without forcing every string literal to be compiled to a `ByteArray#`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5218#comment:68> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4121: Refactor the plumbing of CafInfo to make it more robust
by GHC 11 Apr '17

11 Apr '17

#4121: Refactor the plumbing of CafInfo to make it more robust -------------------------------------+------------------------------------- Reporter: dterei | Owner: (none) Type: task | Status: new Priority: low | Milestone: Component: Compiler | Version: 6.12.2 Resolution: | Keywords: CodeGen Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by simonpj): * keywords: => CodeGen -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4121#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2731: Avoid unnecessary evaluation when unpacking constructors
by GHC 11 Apr '17

11 Apr '17

#2731: Avoid unnecessary evaluation when unpacking constructors -------------------------------------+------------------------------------- Reporter: simonpj | Owner: (none) Type: bug | Status: new Priority: lowest | Milestone: Component: Compiler | Version: 6.8.3 Resolution: | Keywords: CodeGen Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime | Unknown/Multiple performance bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by simonpj): * keywords: => CodeGen -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2731#comment:16> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0