#7575: LLVM backend does not properly widen certain literal types in call expressions --------------------------------+------------------------------------------- Reporter: thoughtpolice | Owner: Type: bug | Status: new Priority: normal | Component: Compiler (LLVM) Version: 7.7 | Keywords: llvm, codegen Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Building GHC failed | Blockedby: Blocking: | Related: #7571, #7574 --------------------------------+------------------------------------------- Changes (by thoughtpolice): * cc: mad.one@… (added) * failure: None/Unknown => Building GHC failed * version: 7.6.1 => 7.7 * component: Compiler => Compiler (LLVM) * keywords: => llvm, codegen Comment: Word of note. I think I have a test for this: {{{ {-# LANGUAGE MagicHash, UnliftedFFITypes #-} module Main where import GHC.Prim import GHC.Word import System.Environment (getArgs) foreign import ccall unsafe "hs_eqWord64" dummy_eqWord64# :: Word64# -> Word64# -> Bool check :: Word64 -> Word64 -> Bool check (W64# x#) (W64# y#) = dummy_eqWord64# x# y# main :: IO () main = do a <- (read . head) `fmap` getArgs print $ check a 0 }}} At ```-O2```, '''with GHC 7.4.1 on ARM''', this dumps code like: {{{ ... %ln2EJ = call ccc i32 (i64,i64)* @hs_eqWord64( i64 %ln2EI, i64 0 ) nounwind ... }}} So it seems like a regression. I'm rebuilding on my ODROID at the moment and will run this test with the stage1 compiler and see what happens. Intuition tells me this should trigger it based on the code I saw under ```base```. Also note that this will only affect 32 bit builds obviously. On 64bit machines, Word64 is native and does not shell out to ```long long``` and ```ghc-prim``` for Word64. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7575#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#7575: LLVM backend does not properly widen certain literal types in call expressions -------------------------------+-------------------------------------------- Reporter: thoughtpolice | Owner: Type: bug | Status: new Priority: normal | Component: Compiler (LLVM) Version: 7.7 | Keywords: llvm, codegen Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Compile-time crash | Blockedby: Blocking: | Related: #7571, #7574 -------------------------------+-------------------------------------------- Comment(by thoughtpolice): Correction: this test correctly triggers the bug: {{{ {-# LANGUAGE NoImplicitPrelude #-} {-# LANGUAGE MagicHash, UnliftedFFITypes #-} module T7575 where import GHC.Prim import GHC.Word import GHC.Types foreign import ccall unsafe "hs_eqWord64" dummy_eqWord64# :: Word64# -> Word64# -> Bool check :: Word64 -> Word64 -> Bool check (W64# x#) (W64# y#) = dummy_eqWord64# x# y# check2 :: Word64 -> Bool check2 x = check x 0 }}} Testing vs 7.4.1: {{{ $ ghc --version The Glorious Glasgow Haskell Compilation System, version 7.4.1 $ ghc -c -O2 -fforce-recomp T7575.hs $ ~/code/ghc/inplace/bin/ghc-stage1 --version The Glorious Glasgow Haskell Compilation System, version 7.7.20130113 $ ~/code/ghc/inplace/bin/ghc-stage1 -c -O2 -fforce-recomp T7575.hs You are using a new version of LLVM that hasn't been tested yet! We will try though... /home/linaro/bin/opt: /tmp/ghc26188_0/ghc26188_0.ll:594:60: error: argument is not of expected type 'i64' %lnxh = call ccc i32 (i64,i64)* @hs_eqWord64( i64 %lnxg, i32 0 ) nounwind ^ $ ~/code/ghc/inplace/bin/ghc-stage1 -c -O2 -fforce-recomp T7575.hs -pgmlo opt-3.0 -pgmlc llc-3.0 opt-3.0: /tmp/ghc26199_0/ghc26199_0.ll:594:60: error: argument is not of expected type 'i64' %lnxh = call ccc i32 (i64,i64)* @hs_eqWord64( i64 %lnxg, i32 0 ) nounwind ^ $ }}} So this is definitely a compiler regression in the backend somewhere. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7575#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#7575: LLVM backend does not properly widen certain literal types in call expressions -------------------------------+-------------------------------------------- Reporter: thoughtpolice | Owner: Type: bug | Status: new Priority: normal | Component: Compiler (LLVM) Version: 7.7 | Keywords: llvm, codegen Os: Linux | Architecture: arm Failure: Compile-time crash | Blockedby: 7590 Blocking: 7589 | Related: #7571, #7574 -------------------------------+-------------------------------------------- Changes (by bgamari): * cc: bgamari@… (added) -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7575#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#7575: LLVM backend does not properly widen certain literal types in call expressions -------------------------------+-------------------------------------------- Reporter: thoughtpolice | Owner: Type: bug | Status: new Priority: normal | Component: Compiler (LLVM) Version: 7.7 | Keywords: llvm, codegen Os: Linux | Architecture: arm Failure: Compile-time crash | Blockedby: 7590 Blocking: 7589 | Related: #7571, #7574 -------------------------------+-------------------------------------------- Comment(by RudolfVonKrugstein): I discovered that when adding the signature {{{ instance Num Word64 where (...) signum :: Word64 -> Word64 (...) }}} and of course adding {{{ {-# LANGUAGE InstanceSigs #-} }}} To Word.hs, it builds. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7575#comment:9 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#7575: LLVM backend does not properly widen certain literal types in call expressions ------------------------------+--------------------------------------------- Reporter: thoughtpolice | Owner: Type: bug | Status: closed Priority: normal | Component: Compiler (LLVM) Version: 7.7 | Resolution: fixed Keywords: llvm, codegen | Os: Linux Architecture: arm | Failure: Compile-time crash Blockedby: | Blocking: 7589 Related: #7571, #7574 | ------------------------------+--------------------------------------------- Changes (by dterei): * status: new => closed * resolution: => fixed -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7575#comment:13 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler