GHC 不优化主模块以外的模块

发布于 2024-12-04 00:30:19 字数 815 浏览 15 评论 0原文

我目前正在用 Haskell 编写一个多模块程序。我发现了一个奇怪的问题，即使我传递了 -O2 等，我的文件也没有得到正确优化。相关文件是共享 3D 矢量数学模块。当单独编译为 .o 时，这些模块会被正确优化。当使用 --make 编译为较大程序的一部分时，它们未正确优化。核心是完全不同的。

我已将一些简单的精简测试代码放入了 vector.hs 文件中：

data TestVector = TestVector !Double !Double !Double !Double

addVec :: TestVector -> TestVector -> TestVector

addVec (TestVector x1 y1 z1 w1) (TestVector x2 y2 z2 w2) =
  TestVector (x1 + x2) (y1 + y2) (z1 + z2) (w1 + w2)

并从 main 导入它...

import Vector

此代码作为独立的 .hs 文件的编译方式与我使用 --make

我的命令行是：

ghc -tmpdir tmp -hidir hi -odir obj -fext-core -fexcess-precision -funbox-strict-fields -threaded -rtsopts -fwarn-missing-signatures -Wall -O2 Main.hs -o main

干杯

原文

I'm currently writing a multi-module program in Haskell. I've found a strange problem where my files aren't being optimized properly, even though I'm passing in -O2 and so on. The files in question are shared 3D vector maths modules. When compiled individually to a .o, these modules are optimized correctly. When compiled as part of a larger program using --make, they are not optimized correctly. The core is quite different.

I've put in some simple stripped-down test code into a vector.hs file:

data TestVector = TestVector !Double !Double !Double !Double

addVec :: TestVector -> TestVector -> TestVector

addVec (TestVector x1 y1 z1 w1) (TestVector x2 y2 z2 w2) =
  TestVector (x1 + x2) (y1 + y2) (z1 + z2) (w1 + w2)

And imported it from main...

import Vector

This code gets compiled differently as a standalone .hs file as opposed to when I build main.hs using --make

My command line is:

ghc -tmpdir tmp -hidir hi -odir obj -fext-core -fexcess-precision -funbox-strict-fields -threaded -rtsopts -fwarn-missing-signatures -Wall -O2 Main.hs -o main

Cheers

分享到QQ

分享到微博