Skip to content

GHC 8.10.7 with LLVM backend (13) compile Agda stucked

We met very long compile time of agda when we tried to upgrade cabal-install to 3.6.2.0 in homebrew arm64 env.

after doing some investigating, we found compile progress stuck at:

[363 of 397] Compiling Agda.TypeChecking.Serialise.Instances.Errors ( src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs, dist/build/Agda/TypeChecking/Serialise/Instances/Errors.o, dist/build/Agda/TypeChecking/Serialise/Instances/Errors.dyn_o )

and running

llc -O1 -enable-tbaa -relocation-model=pic -mcpu=apple-a7 -mattr=+fp-armv8,+neon,+crypto,+zcm,+zcz,+sha2,+aes /var/folders/56/8q033xr15vvdhdcpn26p70kr0000gn/T/ghc74066_0/ghc_3570.bc -o /var/folders/56/8q033xr15vvdhdcpn26p70kr0000gn/T/ghc74066_0/ghc_3571.lm_s

I can successfully built with llvm 12, so maybe there's a llvm compatibility issue behind this.

ghc_3570.bc's file size is 397M, I can upload it if needed

Edited by FTS
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information