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