[GHC] #15864: Fix Int8#, Int16#, Word8#, Word16# tests under LLVM code generator

#15864: Fix Int8#, Int16#, Word8#, Word16# tests under LLVM code generator -------------------------------------+------------------------------------- Reporter: bgamari | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.8.1 Component: Compiler | Version: 8.6.1 (LLVM) | 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: -------------------------------------+------------------------------------- Unfortunately it looks like LLVM doesn't like that we use `bitcast` to narrow integers. E.g. `CmpWord8` currently fails with: {{{ =====> CmpWord8(llvm) 18 of 23 [0, 6, 0] cd "primops/should_run/CmpWord8.run" && "/mnt/work/ghc/ghc- compare-1/inplace/test spaces/ghc-stage2" -o CmpWord8 CmpWord8.hs -dcore-lint -dcmm-lint -no-user-package-db -rtsopts -fno-warn-missed- specialisations -fshow-warning-groups -fdiagnostics-color=never -fno- diagnostics-show-caret -Werror=compat -dno-debug-output -fllvm Compile failed (exit code 1) errors were: [1 of 1] Compiling Main ( CmpInt8.hs, CmpInt8.o ) opt: /run/user/1000/ghc32287_0/ghc_2.ll:14549:20: error: invalid cast opcode for cast from 'i64' to 'i8' %ln6uE = bitcast i64 %ln6uD to i8 ^ `opt' failed in phase `LLVM Optimiser'. (Exit code: 1) }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15864 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#15864: Fix Int8#, Int16#, Word8#, Word16# tests under LLVM code generator -------------------------------------+------------------------------------- Reporter: bgamari | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.8.1 Component: Compiler (LLVM) | Version: 8.6.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by michalt): I thought that `validate` tests LLVM backend if LLVM is available, but this doesn't seem to be happening (despite testsuite is running with `-e ghc_with_llvm=True`)..? In any case, I'm testing fixes. Thanks for CCing me! -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15864#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#15864: Fix Int8#, Int16#, Word8#, Word16# tests under LLVM code generator
-------------------------------------+-------------------------------------
Reporter: bgamari | Owner: (none)
Type: bug | Status: new
Priority: normal | Milestone: 8.8.1
Component: Compiler (LLVM) | Version: 8.6.1
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: None/Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by Ben Gamari

#15864: Fix Int8#, Int16#, Word8#, Word16# tests under LLVM code generator -------------------------------------+------------------------------------- Reporter: bgamari | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: 8.8.1 Component: Compiler (LLVM) | Version: 8.6.1 Resolution: fixed | Keywords: 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 michalt): * status: new => closed * resolution: => fixed Comment: I think this should be fixed. :) Please reopen if there's still something wrong. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15864#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC