У меня есть следующая программа для преобразования 6-битного ASCII в двоичный формат.
ascii2bin :: Char -> B.ByteString
ascii2bin = B.reverse . fst . B.unfoldrN 6 decomp . to6BitASCII -- replace to6BitASCII with ord if you want to compile this
where decomp n = case quotRem n 2 of (q,r) -> Just (chr r,q)
bs2bin :: B.ByteString -> B.ByteString
bs2bin = B.concatMap ascii2bin
это создает следующий сегмент ядра:
Rec {
$wa
$wa =
\ ww ww1 ww2 w ->
case ww2 of wild {
__DEFAULT ->
let {
wild2
wild2 = remInt# ww1 2 } in
case leWord# (int2Word# wild2) (__word 1114111) of _ {
False -> (lvl2 wild2) `cast` ...;
True ->
case writeWord8OffAddr#
ww 0 (narrow8Word# (int2Word# (ord# (chr# wild2)))) w
of s2 { __DEFAULT ->
$wa (plusAddr# ww 1) (quotInt# ww1 2) (+# wild 1) s2
}
};
6 -> (# w, (lvl, lvl1, Just (I# ww1)) #)
}
end Rec }
обратите внимание, что ord . chr == id, и поэтому здесь существует избыточная операция: narrow8Word# (int2Word# (ord# (chr# wild2)))
Есть ли причина, по которой GHC бесполезно преобразуется из Int → Char → Int, или это пример плохого генерации кода? Можно ли это оптимизировать?
EDIT: используется GHC 7.4.2, я не пробовал компилироваться с любой другой версией. С тех пор я обнаружил, что проблема остается в GHC 7.6.2, но избыточные операции удаляются в текущей ветки HEAD на github.