Stg-lint and bootstrapping (fails?)

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
11 messages Options
Reply | Threaded
Open this post in threaded view
|

Stg-lint and bootstrapping (fails?)

Gabor Greif-2
Hi all,

I tried an stg-lint build thus:

$ make V=1 GhcStage2HcOpts="-O1 -g -dstg-lint"

... and failed:

"inplace/bin/ghc-stage1" -hisuf hi -osuf  o -hcsuf hc -static  -O0
-H64m -Wall -fllvm-fill-undef-with-garbage    -Werror
-this-unit-id base-4.10.0.0 -hide-all-packages -i -ilibraries/base/.
-ilibraries/base/dist-install/build
-Ilibraries/base/dist-install/build
-ilibraries/base/dist-install/build/./autogen
-Ilibraries/base/dist-install/build/./autogen -Ilibraries/base/include
  -optP-DOPTIMISE_INTEGER_GCD_LCM -optP-include
-optPlibraries/base/dist-install/build/./autogen/cabal_macros.h
-package-id rts -package-id ghc-prim-0.5.1.0 -package-id
integer-gmp-1.0.1.0 -this-unit-id base -XHaskell2010 -O -dcore-lint
-dno-debug-output  -no-user-package-db -rtsopts  -Wno-trustworthy-safe
-Wno-deprecated-flags     -Wnoncanonical-monad-instances  -odir
libraries/base/dist-install/build -hidir
libraries/base/dist-install/build -stubdir
libraries/base/dist-install/build   -dynamic-too -c
libraries/base/./System/Mem/Weak.hs -o
libraries/base/dist-install/build/System/Mem/Weak.o -dyno
libraries/base/dist-install/build/System/Mem/Weak.dyn_o
"inplace/bin/ghc-stage1" -hisuf hi -osuf  o -hcsuf hc -static  -O0
-H64m -Wall -fllvm-fill-undef-with-garbage    -Werror
-this-unit-id base-4.10.0.0 -hide-all-packages -i -ilibraries/base/.
-ilibraries/base/dist-install/build
-Ilibraries/base/dist-install/build
-ilibraries/base/dist-install/build/./autogen
-Ilibraries/base/dist-install/build/./autogen -Ilibraries/base/include
  -optP-DOPTIMISE_INTEGER_GCD_LCM -optP-include
-optPlibraries/base/dist-install/build/./autogen/cabal_macros.h
-package-id rts -package-id ghc-prim-0.5.1.0 -package-id
integer-gmp-1.0.1.0 -this-unit-id base -XHaskell2010 -O -dcore-lint
-dno-debug-output  -no-user-package-db -rtsopts  -Wno-trustworthy-safe
-Wno-deprecated-flags     -Wnoncanonical-monad-instances  -odir
libraries/base/dist-install/build -hidir
libraries/base/dist-install/build -stubdir
libraries/base/dist-install/build   -dynamic-too -c
libraries/base/./Control/Monad/IO/Class.hs -o
libraries/base/dist-install/build/Control/Monad/IO/Class.o -dyno
libraries/base/dist-install/build/Control/Monad/IO/Class.dyn_o
"inplace/bin/ghc-stage1" -hisuf hi -osuf  o -hcsuf hc -static  -O0
-H64m -Wall -fllvm-fill-undef-with-garbage    -Werror  -Iincludes
-Iincludes/dist -Iincludes/dist-derivedconstants/header
-Iincludes/dist-ghcconstants/header   -this-unit-id ghc-8.3
-hide-all-packages -i -icompiler/backpack -icompiler/basicTypes
-icompiler/cmm -icompiler/codeGen -icompiler/coreSyn
-icompiler/deSugar -icompiler/ghci -icompiler/hsSyn -icompiler/iface
-icompiler/llvmGen -icompiler/main -icompiler/nativeGen
-icompiler/parser -icompiler/prelude -icompiler/profiling
-icompiler/rename -icompiler/simplCore -icompiler/simplStg
-icompiler/specialise -icompiler/stgSyn -icompiler/stranal
-icompiler/typecheck -icompiler/types -icompiler/utils
-icompiler/vectorise -icompiler/stage2/build -Icompiler/stage2/build
-icompiler/stage2/build/./autogen -Icompiler/stage2/build/./autogen
-Icompiler/. -Icompiler/parser -Icompiler/utils
-Icompiler/../rts/dist/build -Icompiler/stage2   -optP-DGHCI
-optP-include -optPcompiler/stage2/build/./autogen/cabal_macros.h
-package-id base-4.10.0.0 -package-id deepseq-1.4.3.0 -package-id
directory-1.3.0.2 -package-id process-1.6.1.0 -package-id
bytestring-0.10.8.2 -package-id binary-0.8.5.1 -package-id
time-1.8.0.2 -package-id containers-0.5.10.2 -package-id array-0.5.2.0
-package-id filepath-1.4.1.2 -package-id template-haskell-2.12.0.0
-package-id hpc-0.6.0.3 -package-id transformers-0.5.2.0 -package-id
ghc-boot-8.3 -package-id ghc-boot-th-8.3 -package-id ghci-8.3
-package-id unix-2.7.2.2 -package-id terminfo-0.4.1.0 -Wall
-fno-warn-name-shadowing -this-unit-id ghc -XHaskell2010
-optc-DTHREADED_RTS -DGHCI_TABLES_NEXT_TO_CODE -DSTAGE=2 -Rghc-timing
-O1 -g -dstg-lint  -no-user-package-db -rtsopts
-Wnoncanonical-monad-instances  -odir compiler/stage2/build -hidir
compiler/stage2/build -stubdir compiler/stage2/build   -dynamic-too -c
compiler/utils/Exception.hs -o compiler/stage2/build/Exception.o -dyno
compiler/stage2/build/Exception.dyn_o
/home/ggreif/%NoBackup%/ghc-head/libraries/base/dist-install/build/GHC/IO/Exception.hi
Declaration for $fExceptionIOException4
Unfolding of $fExceptionIOException4:
  Failed to load interface for ?GHC.Fingerprint?
  There are files missing in the ?base-4.10.0.0? package,
  try running 'ghc-pkg check'.
  Use -v to see a list of the files searched for.
ghc-stage1: panic! (the 'impossible' happened)
  (GHC version 8.3.20170815 for x86_64-unknown-linux):
        kindPrimRep
  * -> *
  typePrimRep (m_as6 :: * -> *)
  Call stack:
      CallStack (from HasCallStack):
        callStackDoc, called at compiler/utils/Outputable.hs:1138:37
in ghc:Outputable
        pprPanic, called at compiler/simplStg/RepType.hs:344:5 in ghc:RepType
        kindPrimRep, called at compiler/simplStg/RepType.hs:305:18 in
ghc:RepType
        typePrimRep, called at compiler/stgSyn/StgLint.hs:437:17 in ghc:StgLint

Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug

<<ghc: 144952288 bytes, 38 GCs, 4093040/9445544 avg/max bytes
residency (4 samples), 61M in use, 0.000 INIT (0.000 elapsed), 0.355
MUT (0.386 elapsed), 0.216 GC (0.216 elapsed) :ghc>>
make[1]: *** [compiler/stage2/build/Exception.o] Error 1
make: *** [all] Error 2

What is the status of stg-lint? Is the above expected to happen? This
is stock `master` branch as of today.

Cheers,

    Gabor
_______________________________________________
ghc-devs mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
Reply | Threaded
Open this post in threaded view
|

Re: Stg-lint and bootstrapping (fails?)

Ben Gamari-2
Gabor Greif <[hidden email]> writes:

> Hi all,
>
> I tried an stg-lint build thus:
>
How timely; just yesterday I looked at a number of stg lint issues after
having noticed a number of issues with it over the past few months.
I pushed patches for a number of issues (#14116, #14117, #14118) to
Phabricator, but the bigger problem is #14120, which I don't yet have a
compelling solution for (other than the "give up on catching all but the
most trivial type errors" approach).

Cheers,

- Ben


_______________________________________________
ghc-devs mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

signature.asc (497 bytes) Download Attachment
Reply | Threaded
Open this post in threaded view
|

Re: Stg-lint and bootstrapping (fails?)

Gabor Greif-2
Hi Ben,

thanks for also looking into the issue! I am in the process of
debugging a miscompilation related to #13861 (self-inflicted,
hahahar), but without a working linter I am pretty much toast... I'll
wait a bit more until your fixed hit master.

Unrelated to linting, but seemingly related to "-g" I get a ton of
warnings like this:

WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [go58_akKa]

Is this perhaps covered by your fixes?

Cheers,

    Gabor

On 8/16/17, Ben Gamari <[hidden email]> wrote:

> Gabor Greif <[hidden email]> writes:
>
>> Hi all,
>>
>> I tried an stg-lint build thus:
>>
> How timely; just yesterday I looked at a number of stg lint issues after
> having noticed a number of issues with it over the past few months.
> I pushed patches for a number of issues (#14116, #14117, #14118) to
> Phabricator, but the bigger problem is #14120, which I don't yet have a
> compelling solution for (other than the "give up on catching all but the
> most trivial type errors" approach).
>
> Cheers,
>
> - Ben
>
>
_______________________________________________
ghc-devs mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
Reply | Threaded
Open this post in threaded view
|

Re: Stg-lint and bootstrapping (fails?)

Ben Gamari-2
Gabor Greif <[hidden email]> writes:

> Hi Ben,
>
> thanks for also looking into the issue! I am in the process of
> debugging a miscompilation related to #13861 (self-inflicted,
> hahahar), but without a working linter I am pretty much toast... I'll
> wait a bit more until your fixed hit master.
>
If it helps I can give you a conservative "fix" which should at least
allow the linter to pass valid code (at the expense of missing some bad
programs). Ultimately this may be what we are focused to accept anyways.

I'll discuss this with Simon next week.

> Unrelated to linting, but seemingly related to "-g" I get a ton of
> warnings like this:
>
> WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
>   OccurAnal failed to rediscover join point(s): [go58_akKa]
>
> Is this perhaps covered by your fixes?
>
I'm afraid not; this is the simplifier complaining that it lost track of
a join point which should be solely an optimization.

Cheers,

- Ben

_______________________________________________
ghc-devs mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

signature.asc (497 bytes) Download Attachment
Reply | Threaded
Open this post in threaded view
|

RE: Stg-lint and bootstrapping (fails?)

GHC - devs mailing list
In reply to this post by Gabor Greif-2
| WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|   OccurAnal failed to rediscover join point(s): [go58_akKa]

That shouldn't happen!  If you can make a repro case, please open a ticket.

Simon

| -----Original Message-----
| From: ghc-devs [mailto:[hidden email]] On Behalf Of Gabor
| Greif
| Sent: 17 August 2017 09:49
| To: Ben Gamari <[hidden email]>
| Cc: ghc-devs <[hidden email]>
| Subject: Re: Stg-lint and bootstrapping (fails?)
|
| [You don't often get email from [hidden email]. Learn why this is
| important at http://aka.ms/LearnAboutSenderIdentification.]
|
| Hi Ben,
|
| thanks for also looking into the issue! I am in the process of debugging
| a miscompilation related to #13861 (self-inflicted, hahahar), but without
| a working linter I am pretty much toast... I'll wait a bit more until
| your fixed hit master.
|
| Unrelated to linting, but seemingly related to "-g" I get a ton of
| warnings like this:
|
| WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|   OccurAnal failed to rediscover join point(s): [go58_akKa]
|
| Is this perhaps covered by your fixes?
|
| Cheers,
|
|     Gabor
|
| On 8/16/17, Ben Gamari <[hidden email]> wrote:
| > Gabor Greif <[hidden email]> writes:
| >
| >> Hi all,
| >>
| >> I tried an stg-lint build thus:
| >>
| > How timely; just yesterday I looked at a number of stg lint issues
| > after having noticed a number of issues with it over the past few
| months.
| > I pushed patches for a number of issues (#14116, #14117, #14118) to
| > Phabricator, but the bigger problem is #14120, which I don't yet have
| > a compelling solution for (other than the "give up on catching all but
| > the most trivial type errors" approach).
| >
| > Cheers,
| >
| > - Ben
| >
| >
| _______________________________________________
| ghc-devs mailing list
| [hidden email]
| https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.hask
| ell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-
| devs&data=02%7C01%7Csimonpj%40microsoft.com%7C057084a514e548c9642c08d4e54
| cd776%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636385565585443027&sda
| ta=2NNSmwZJv0czL4BykKENAWW38sUhYHF7IYyXscAfHdw%3D&reserved=0
_______________________________________________
ghc-devs mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
Reply | Threaded
Open this post in threaded view
|

RE: Stg-lint and bootstrapping (fails?)

Ben Gamari-2
Simon Peyton Jones <[hidden email]> writes:

> | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |   OccurAnal failed to rediscover join point(s): [go58_akKa]
>
> That shouldn't happen!  If you can make a repro case, please open a ticket.
>
Oh dear, then I've really misunderstood the intent of this warning. I've
been noticing these during the GHC build for quite some time now.

Cheers,

- Ben


_______________________________________________
ghc-devs mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

signature.asc (497 bytes) Download Attachment
Reply | Threaded
Open this post in threaded view
|

RE: Stg-lint and bootstrapping (fails?)

GHC - devs mailing list
|  Oh dear, then I've really misunderstood the intent of this warning. I've
|  been noticing these during the GHC build for quite some time now.

Really?  

After stumbling on #14142, I removed -dno-debug-output from mk/flavours/validate.mk and re-validated.  Not a single occurrence of

|  > | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|  > |   OccurAnal failed to rediscover join point(s): [go58_akKa]

How can I reproduce what you are seeing?

Simon

|  -----Original Message-----
|  From: Ben Gamari [mailto:[hidden email]]
|  Sent: 19 August 2017 16:54
|  To: Simon Peyton Jones <[hidden email]>; Gabor Greif
|  <[hidden email]>
|  Cc: ghc-devs <[hidden email]>
|  Subject: RE: Stg-lint and bootstrapping (fails?)
|  
|  Simon Peyton Jones <[hidden email]> writes:
|  
|  > | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|  > |   OccurAnal failed to rediscover join point(s): [go58_akKa]
|  >
|  > That shouldn't happen!  If you can make a repro case, please open a
|  ticket.
|  >
|  Oh dear, then I've really misunderstood the intent of this warning. I've
|  been noticing these during the GHC build for quite some time now.
|  
|  Cheers,
|  
|  - Ben

_______________________________________________
ghc-devs mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
Reply | Threaded
Open this post in threaded view
|

Re: Stg-lint and bootstrapping (fails?)

Gabor Greif-2
Hi Simon,

for me it happens on many files that are compiled with

 $ make GhcStage2HcOpts="-O1 -g"

while the stage1 compiler is active.

Tomorrow I can add a concrete invocation.

Cheers,

     Gabor

Em seg, 21 de ago de 2017 às 17:49, Simon Peyton Jones <[hidden email]> escreveu:
|  Oh dear, then I've really misunderstood the intent of this warning. I've
|  been noticing these during the GHC build for quite some time now.

Really?

After stumbling on #14142, I removed -dno-debug-output from mk/flavours/validate.mk and re-validated.  Not a single occurrence of

|  > | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|  > |   OccurAnal failed to rediscover join point(s): [go58_akKa]

How can I reproduce what you are seeing?

Simon

|  -----Original Message-----
|  From: Ben Gamari [mailto:[hidden email]]
|  Sent: 19 August 2017 16:54
|  To: Simon Peyton Jones <[hidden email]>; Gabor Greif
|  <[hidden email]>
|  Cc: ghc-devs <[hidden email]>
|  Subject: RE: Stg-lint and bootstrapping (fails?)
|
|  Simon Peyton Jones <[hidden email]> writes:
|
|  > | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|  > |   OccurAnal failed to rediscover join point(s): [go58_akKa]
|  >
|  > That shouldn't happen!  If you can make a repro case, please open a
|  ticket.
|  >
|  Oh dear, then I've really misunderstood the intent of this warning. I've
|  been noticing these during the GHC build for quite some time now.
|
|  Cheers,
|
|  - Ben


_______________________________________________
ghc-devs mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
Reply | Threaded
Open this post in threaded view
|

Re: Stg-lint and bootstrapping (fails?)

Gabor Greif-2
On 8/21/17, Gabor Greif <[hidden email]> wrote:
> Hi Simon,
>
> for me it happens on many files that are compiled with
>
>   $ make GhcStage2HcOpts="-O1 -g"
>
> while the stage1 compiler is active.
>
> Tomorrow I can add a concrete invocation.

Here is it:

"inplace/bin/ghc-stage1" -hisuf hi -osuf o -hcsuf hc -static -O0 -H64m
-Wall -fllvm-fill-undef-with-garbage -Werror -Iincludes
-Iincludes/dist -Iincludes/dist-derivedconstants/header
-Iincludes/dist-ghcconstants/header -this-unit-id ghc-8.3
-hide-all-packages -i -icompiler/backpack -icompiler/basicTypes
-icompiler/cmm -icompiler/codeGen -icompiler/coreSyn
-icompiler/deSugar -icompiler/ghci -icompiler/hsSyn -icompiler/iface
-icompiler/llvmGen -icompiler/main -icompiler/nativeGen
-icompiler/parser -icompiler/prelude -icompiler/profiling
-icompiler/rename -icompiler/simplCore -icompiler/simplStg
-icompiler/specialise -icompiler/stgSyn -icompiler/stranal
-icompiler/typecheck -icompiler/types -icompiler/utils
-icompiler/vectorise -icompiler/stage2/build -Icompiler/stage2/build
-icompiler/stage2/build/./autogen -Icompiler/stage2/build/./autogen
-Icompiler/. -Icompiler/parser -Icompiler/utils
-Icompiler/../rts/dist/build -Icompiler/stage2 -optP-DGHCI
-optP-include -optPcompiler/stage2/build/./autogen/cabal_macros.h
-package-id base-4.10.0.0 -package-id deepseq-1.4.3.0 -package-id
directory-1.3.0.2 -package-id process-1.6.1.0 -package-id
bytestring-0.10.8.2 -package-id binary-0.8.5.1 -package-id
time-1.8.0.2 -package-id containers-0.5.10.2 -package-id array-0.5.2.0
-package-id filepath-1.4.1.2 -package-id template-haskell-2.12.0.0
-package-id hpc-0.6.0.3 -package-id transformers-0.5.2.0 -package-id
ghc-boot-8.3 -package-id ghc-boot-th-8.3 -package-id ghci-8.3
-package-id unix-2.7.2.2 -package-id terminfo-0.4.1.0 -Wall
-fno-warn-name-shadowing -this-unit-id ghc -XHaskell2010
-optc-DTHREADED_RTS -DGHCI_TABLES_NEXT_TO_CODE -DSTAGE=2 -Rghc-timing
-O1 -no-user-package-db -rtsopts -Wnoncanonical-monad-instances -odir
compiler/stage2/build -hidir compiler/stage2/build -stubdir
compiler/stage2/build -dynamic-too -c compiler/typecheck/TcEvidence.hs
-o compiler/stage2/build/TcEvidence.o -dyno
compiler/stage2/build/TcEvidence.dyn_o
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [$j_soeO]
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [$j_soeN]
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [$j_sosq]
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [$j_soxX]
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [$j_soy2]
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [$j_soy9]
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [$j_soyw]
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [$j_sowZ]
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [$j_sovR]
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [$j_sovx]
WARNING: file compiler/simplCore/SimplCore.hs, line 700
  Simplifier bailing out after 4 iterations [721, 479, 80, 4]
    Size = {terms: 8,035, types: 8,864, coercions: 1,129, joins: 0/96}
WARNING: file compiler/simplCore/OccurAnal.hs, line 2163 Just 3 []
WARNING: file compiler/simplCore/OccurAnal.hs, line 2163 Just 3 []
WARNING: file compiler/simplCore/OccurAnal.hs, line 2163 Just 3 []
WARNING: file compiler/simplCore/SimplCore.hs, line 1024
  Not shorting out: ebv_uniq


And with `-g` I get even more:


$ "inplace/bin/ghc-stage1" -hisuf hi -osuf o -hcsuf hc -static -O0
-H64m -Wall -fllvm-fill-undef-with-garbage -Werror -Iincludes
-Iincludes/dist -Iincludes/dist-derivedconstants/header
-Iincludes/dist-ghcconstants/header -this-unit-id ghc-8.3
-hide-all-packages -i -icompiler/backpack -icompiler/basicTypes
-icompiler/cmm -icompiler/codeGen -icompiler/coreSyn
-icompiler/deSugar -icompiler/ghci -icompiler/hsSyn -icompiler/iface
-icompiler/llvmGen -icompiler/main -icompiler/nativeGen
-icompiler/parser -icompiler/prelude -icompiler/profiling
-icompiler/rename -icompiler/simplCore -icompiler/simplStg
-icompiler/specialise -icompiler/stgSyn -icompiler/stranal
-icompiler/typecheck -icompiler/types -icompiler/utils
-icompiler/vectorise -icompiler/stage2/build -Icompiler/stage2/build
-icompiler/stage2/build/./autogen -Icompiler/stage2/build/./autogen
-Icompiler/. -Icompiler/parser -Icompiler/utils
-Icompiler/../rts/dist/build -Icompiler/stage2 -optP-DGHCI
-optP-include -optPcompiler/stage2/build/./autogen/cabal_macros.h
-package-id base-4.10.0.0 -package-id deepseq-1.4.3.0 -package-id
directory-1.3.0.2 -package-id process-1.6.1.0 -package-id
bytestring-0.10.8.2 -package-id binary-0.8.5.1 -package-id
time-1.8.0.2 -package-id containers-0.5.10.2 -package-id array-0.5.2.0
-package-id filepath-1.4.1.2 -package-id template-haskell-2.12.0.0
-package-id hpc-0.6.0.3 -package-id transformers-0.5.2.0 -package-id
ghc-boot-8.3 -package-id ghc-boot-th-8.3 -package-id ghci-8.3
-package-id unix-2.7.2.2 -package-id terminfo-0.4.1.0 -Wall
-fno-warn-name-shadowing -this-unit-id ghc -XHaskell2010
-optc-DTHREADED_RTS -DGHCI_TABLES_NEXT_TO_CODE -DSTAGE=2 -Rghc-timing
-O1 -g -no-user-package-db -rtsopts -Wnoncanonical-monad-instances
-odir compiler/stage2/build -hidir compiler/stage2/build -stubdir
compiler/stage2/build -dynamic-too -c compiler/typecheck/TcEvidence.hs
-o compiler/stage2/build/TcEvidence.o -dyno
compiler/stage2/build/TcEvidence.dyn_o
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [$j_so9S]
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [$j_so9R]
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [$j_sonu]
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [$j_sot1]
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [$j_sot6]
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [$j_sotd]
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [$j_sotA]
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [$j_sos3]
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [$j_soqV]
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [$j_soqB]
WARNING: file compiler/simplCore/SimplCore.hs, line 700
  Simplifier bailing out after 4 iterations [714, 479, 80, 4]
    Size = {terms: 8,035, types: 8,864, coercions: 1,129, joins: 0/96}
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [go58_akL0]
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [go58_akL0]
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [go58_akL0]
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [go58_akL0]
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [go58_akL0]
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [go58_akL0]
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [go58_akL0]
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [go58_akL0]
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [go58_akL0]
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [go58_akL0]
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [go58_akL0]
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [go58_akL0]
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [go58_akL0]
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [go58_akL0]
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [go58_akL0]
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [go58_akL0]
WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
  OccurAnal failed to rediscover join point(s): [go58_akL0]
... ETC.

Cheers,

    Gabor



>
> Cheers,
>
>       Gabor
>
> Em seg, 21 de ago de 2017 às 17:49, Simon Peyton Jones <
> [hidden email]> escreveu:
>
>> |  Oh dear, then I've really misunderstood the intent of this warning.
>> I've
>> |  been noticing these during the GHC build for quite some time now.
>
>> Really?
>
>> After stumbling on #14142, I removed -dno-debug-output from mk/flavours/
>> validate.mk and re-validated.  Not a single occurrence of
>
>> |  > | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
>> |  > |   OccurAnal failed to rediscover join point(s): [go58_akKa]
>
>> How can I reproduce what you are seeing?
>
>> Simon
>
>> |  -----Original Message-----
>> |  From: Ben Gamari [mailto:[hidden email]]
>> |  Sent: 19 August 2017 16:54
>> |  To: Simon Peyton Jones <[hidden email]>; Gabor Greif
>> |  <[hidden email]>
>> |  Cc: ghc-devs <[hidden email]>
>> |  Subject: RE: Stg-lint and bootstrapping (fails?)
>> |
>> |  Simon Peyton Jones <[hidden email]> writes:
>> |
>> |  > | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
>> |  > |   OccurAnal failed to rediscover join point(s): [go58_akKa]
>> |  >
>> |  > That shouldn't happen!  If you can make a repro case, please open a
>> |  ticket.
>> |  >
>> |  Oh dear, then I've really misunderstood the intent of this warning.
>> I've
>> |  been noticing these during the GHC build for quite some time now.
>> |
>> |  Cheers,
>> |
>> |  - Ben
>
>
>
_______________________________________________
ghc-devs mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
Reply | Threaded
Open this post in threaded view
|

RE: Stg-lint and bootstrapping (fails?)

GHC - devs mailing list
Is this with HEAD?  I have an up to date HEAD, and with your command line I don't get those warnings.  But I do get the OccAnal warnings, so it's not that the warnings are being suppressed.

I'm not sure how to reproduce.

Does this happen on anything smaller?  Eg. on a testsuite program (you'll need to switch off the -dno-debug-output)?

Simon

|  -----Original Message-----
|  From: Gabor Greif [mailto:[hidden email]]
|  Sent: 22 August 2017 09:57
|  To: Simon Peyton Jones <[hidden email]>; ghc-devs <ghc-
|  [hidden email]>
|  Subject: Re: Stg-lint and bootstrapping (fails?)
|  
|  On 8/21/17, Gabor Greif <[hidden email]> wrote:
|  > Hi Simon,
|  >
|  > for me it happens on many files that are compiled with
|  >
|  >   $ make GhcStage2HcOpts="-O1 -g"
|  >
|  > while the stage1 compiler is active.
|  >
|  > Tomorrow I can add a concrete invocation.
|  
|  Here is it:
|  
|  "inplace/bin/ghc-stage1" -hisuf hi -osuf o -hcsuf hc -static -O0 -H64m -Wall
|  -fllvm-fill-undef-with-garbage -Werror -Iincludes -Iincludes/dist -
|  Iincludes/dist-derivedconstants/header
|  -Iincludes/dist-ghcconstants/header -this-unit-id ghc-8.3 -hide-all-packages
|  -i -icompiler/backpack -icompiler/basicTypes -icompiler/cmm -
|  icompiler/codeGen -icompiler/coreSyn -icompiler/deSugar -icompiler/ghci -
|  icompiler/hsSyn -icompiler/iface -icompiler/llvmGen -icompiler/main -
|  icompiler/nativeGen -icompiler/parser -icompiler/prelude -
|  icompiler/profiling -icompiler/rename -icompiler/simplCore -
|  icompiler/simplStg -icompiler/specialise -icompiler/stgSyn -
|  icompiler/stranal -icompiler/typecheck -icompiler/types -icompiler/utils -
|  icompiler/vectorise -icompiler/stage2/build -Icompiler/stage2/build -
|  icompiler/stage2/build/./autogen -Icompiler/stage2/build/./autogen -
|  Icompiler/. -Icompiler/parser -Icompiler/utils -Icompiler/../rts/dist/build
|  -Icompiler/stage2 -optP-DGHCI -optP-include -
|  optPcompiler/stage2/build/./autogen/cabal_macros.h
|  -package-id base-4.10.0.0 -package-id deepseq-1.4.3.0 -package-id
|  directory-1.3.0.2 -package-id process-1.6.1.0 -package-id
|  bytestring-0.10.8.2 -package-id binary-0.8.5.1 -package-id
|  time-1.8.0.2 -package-id containers-0.5.10.2 -package-id array-0.5.2.0 -
|  package-id filepath-1.4.1.2 -package-id template-haskell-2.12.0.0 -package-
|  id hpc-0.6.0.3 -package-id transformers-0.5.2.0 -package-id
|  ghc-boot-8.3 -package-id ghc-boot-th-8.3 -package-id ghci-8.3 -package-id
|  unix-2.7.2.2 -package-id terminfo-0.4.1.0 -Wall -fno-warn-name-shadowing -
|  this-unit-id ghc -XHaskell2010 -optc-DTHREADED_RTS -
|  DGHCI_TABLES_NEXT_TO_CODE -DSTAGE=2 -Rghc-timing
|  -O1 -no-user-package-db -rtsopts -Wnoncanonical-monad-instances -odir
|  compiler/stage2/build -hidir compiler/stage2/build -stubdir
|  compiler/stage2/build -dynamic-too -c compiler/typecheck/TcEvidence.hs -o
|  compiler/stage2/build/TcEvidence.o -dyno
|  compiler/stage2/build/TcEvidence.dyn_o
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [$j_soeO]
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [$j_soeN]
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [$j_sosq]
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [$j_soxX]
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [$j_soy2]
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [$j_soy9]
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [$j_soyw]
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [$j_sowZ]
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [$j_sovR]
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [$j_sovx]
|  WARNING: file compiler/simplCore/SimplCore.hs, line 700
|    Simplifier bailing out after 4 iterations [721, 479, 80, 4]
|      Size = {terms: 8,035, types: 8,864, coercions: 1,129, joins: 0/96}
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2163 Just 3 []
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2163 Just 3 []
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2163 Just 3 []
|  WARNING: file compiler/simplCore/SimplCore.hs, line 1024
|    Not shorting out: ebv_uniq
|  
|  
|  And with `-g` I get even more:
|  
|  
|  $ "inplace/bin/ghc-stage1" -hisuf hi -osuf o -hcsuf hc -static -O0 -H64m -
|  Wall -fllvm-fill-undef-with-garbage -Werror -Iincludes -Iincludes/dist -
|  Iincludes/dist-derivedconstants/header
|  -Iincludes/dist-ghcconstants/header -this-unit-id ghc-8.3 -hide-all-packages
|  -i -icompiler/backpack -icompiler/basicTypes -icompiler/cmm -
|  icompiler/codeGen -icompiler/coreSyn -icompiler/deSugar -icompiler/ghci -
|  icompiler/hsSyn -icompiler/iface -icompiler/llvmGen -icompiler/main -
|  icompiler/nativeGen -icompiler/parser -icompiler/prelude -
|  icompiler/profiling -icompiler/rename -icompiler/simplCore -
|  icompiler/simplStg -icompiler/specialise -icompiler/stgSyn -
|  icompiler/stranal -icompiler/typecheck -icompiler/types -icompiler/utils -
|  icompiler/vectorise -icompiler/stage2/build -Icompiler/stage2/build -
|  icompiler/stage2/build/./autogen -Icompiler/stage2/build/./autogen -
|  Icompiler/. -Icompiler/parser -Icompiler/utils -Icompiler/../rts/dist/build
|  -Icompiler/stage2 -optP-DGHCI -optP-include -
|  optPcompiler/stage2/build/./autogen/cabal_macros.h
|  -package-id base-4.10.0.0 -package-id deepseq-1.4.3.0 -package-id
|  directory-1.3.0.2 -package-id process-1.6.1.0 -package-id
|  bytestring-0.10.8.2 -package-id binary-0.8.5.1 -package-id
|  time-1.8.0.2 -package-id containers-0.5.10.2 -package-id array-0.5.2.0 -
|  package-id filepath-1.4.1.2 -package-id template-haskell-2.12.0.0 -package-
|  id hpc-0.6.0.3 -package-id transformers-0.5.2.0 -package-id
|  ghc-boot-8.3 -package-id ghc-boot-th-8.3 -package-id ghci-8.3 -package-id
|  unix-2.7.2.2 -package-id terminfo-0.4.1.0 -Wall -fno-warn-name-shadowing -
|  this-unit-id ghc -XHaskell2010 -optc-DTHREADED_RTS -
|  DGHCI_TABLES_NEXT_TO_CODE -DSTAGE=2 -Rghc-timing
|  -O1 -g -no-user-package-db -rtsopts -Wnoncanonical-monad-instances -odir
|  compiler/stage2/build -hidir compiler/stage2/build -stubdir
|  compiler/stage2/build -dynamic-too -c compiler/typecheck/TcEvidence.hs -o
|  compiler/stage2/build/TcEvidence.o -dyno
|  compiler/stage2/build/TcEvidence.dyn_o
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [$j_so9S]
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [$j_so9R]
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [$j_sonu]
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [$j_sot1]
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [$j_sot6]
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [$j_sotd]
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [$j_sotA]
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [$j_sos3]
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [$j_soqV]
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [$j_soqB]
|  WARNING: file compiler/simplCore/SimplCore.hs, line 700
|    Simplifier bailing out after 4 iterations [714, 479, 80, 4]
|      Size = {terms: 8,035, types: 8,864, coercions: 1,129, joins: 0/96}
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [go58_akL0]
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [go58_akL0]
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [go58_akL0]
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [go58_akL0]
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [go58_akL0]
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [go58_akL0]
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [go58_akL0]
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [go58_akL0]
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [go58_akL0]
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [go58_akL0]
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [go58_akL0]
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [go58_akL0]
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [go58_akL0]
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [go58_akL0]
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [go58_akL0]
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [go58_akL0]
|  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|    OccurAnal failed to rediscover join point(s): [go58_akL0] ... ETC.
|  
|  Cheers,
|  
|      Gabor
|  
|  
|  
|  >
|  > Cheers,
|  >
|  >       Gabor
|  >
|  > Em seg, 21 de ago de 2017 às 17:49, Simon Peyton Jones <
|  > [hidden email]> escreveu:
|  >
|  >> |  Oh dear, then I've really misunderstood the intent of this warning.
|  >> I've
|  >> |  been noticing these during the GHC build for quite some time now.
|  >
|  >> Really?
|  >
|  >> After stumbling on #14142, I removed -dno-debug-output from
|  >> mk/flavours/ validate.mk and re-validated.  Not a single occurrence
|  >> of
|  >
|  >> |  > | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|  >> |  > |   OccurAnal failed to rediscover join point(s): [go58_akKa]
|  >
|  >> How can I reproduce what you are seeing?
|  >
|  >> Simon
|  >
|  >> |  -----Original Message-----
|  >> |  From: Ben Gamari [mailto:[hidden email]]
|  >> |  Sent: 19 August 2017 16:54
|  >> |  To: Simon Peyton Jones <[hidden email]>; Gabor Greif
|  >> | <[hidden email]>
|  >> |  Cc: ghc-devs <[hidden email]>
|  >> |  Subject: RE: Stg-lint and bootstrapping (fails?)
|  >> |
|  >> |  Simon Peyton Jones <[hidden email]> writes:
|  >> |
|  >> |  > | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
|  >> |  > |   OccurAnal failed to rediscover join point(s): [go58_akKa]
|  >> |  >
|  >> |  > That shouldn't happen!  If you can make a repro case, please
|  >> | open a  ticket.
|  >> |  >
|  >> |  Oh dear, then I've really misunderstood the intent of this warning.
|  >> I've
|  >> |  been noticing these during the GHC build for quite some time now.
|  >> |
|  >> |  Cheers,
|  >> |
|  >> |  - Ben
|  >
|  >
|  >
_______________________________________________
ghc-devs mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
Reply | Threaded
Open this post in threaded view
|

Re: Stg-lint and bootstrapping (fails?)

Gabor Greif-2
Indeed, it does not happen on fresh HEAD, I'll have to dig deeper.
Maybe it is related to my changes, but I only changed Stg-related
stuff. Join-points are a Core thing, right?

Anyway, I'll keep you informed if I figure it out.

Cheers,

    Gabor

On 8/22/17, Simon Peyton Jones <[hidden email]> wrote:

> Is this with HEAD?  I have an up to date HEAD, and with your command line I
> don't get those warnings.  But I do get the OccAnal warnings, so it's not
> that the warnings are being suppressed.
>
> I'm not sure how to reproduce.
>
> Does this happen on anything smaller?  Eg. on a testsuite program (you'll
> need to switch off the -dno-debug-output)?
>
> Simon
>
> |  -----Original Message-----
> |  From: Gabor Greif [mailto:[hidden email]]
> |  Sent: 22 August 2017 09:57
> |  To: Simon Peyton Jones <[hidden email]>; ghc-devs <ghc-
> |  [hidden email]>
> |  Subject: Re: Stg-lint and bootstrapping (fails?)
> |
> |  On 8/21/17, Gabor Greif <[hidden email]> wrote:
> |  > Hi Simon,
> |  >
> |  > for me it happens on many files that are compiled with
> |  >
> |  >   $ make GhcStage2HcOpts="-O1 -g"
> |  >
> |  > while the stage1 compiler is active.
> |  >
> |  > Tomorrow I can add a concrete invocation.
> |
> |  Here is it:
> |
> |  "inplace/bin/ghc-stage1" -hisuf hi -osuf o -hcsuf hc -static -O0 -H64m
> -Wall
> |  -fllvm-fill-undef-with-garbage -Werror -Iincludes -Iincludes/dist -
> |  Iincludes/dist-derivedconstants/header
> |  -Iincludes/dist-ghcconstants/header -this-unit-id ghc-8.3
> -hide-all-packages
> |  -i -icompiler/backpack -icompiler/basicTypes -icompiler/cmm -
> |  icompiler/codeGen -icompiler/coreSyn -icompiler/deSugar -icompiler/ghci
> -
> |  icompiler/hsSyn -icompiler/iface -icompiler/llvmGen -icompiler/main -
> |  icompiler/nativeGen -icompiler/parser -icompiler/prelude -
> |  icompiler/profiling -icompiler/rename -icompiler/simplCore -
> |  icompiler/simplStg -icompiler/specialise -icompiler/stgSyn -
> |  icompiler/stranal -icompiler/typecheck -icompiler/types -icompiler/utils
> -
> |  icompiler/vectorise -icompiler/stage2/build -Icompiler/stage2/build -
> |  icompiler/stage2/build/./autogen -Icompiler/stage2/build/./autogen -
> |  Icompiler/. -Icompiler/parser -Icompiler/utils
> -Icompiler/../rts/dist/build
> |  -Icompiler/stage2 -optP-DGHCI -optP-include -
> |  optPcompiler/stage2/build/./autogen/cabal_macros.h
> |  -package-id base-4.10.0.0 -package-id deepseq-1.4.3.0 -package-id
> |  directory-1.3.0.2 -package-id process-1.6.1.0 -package-id
> |  bytestring-0.10.8.2 -package-id binary-0.8.5.1 -package-id
> |  time-1.8.0.2 -package-id containers-0.5.10.2 -package-id array-0.5.2.0 -
> |  package-id filepath-1.4.1.2 -package-id template-haskell-2.12.0.0
> -package-
> |  id hpc-0.6.0.3 -package-id transformers-0.5.2.0 -package-id
> |  ghc-boot-8.3 -package-id ghc-boot-th-8.3 -package-id ghci-8.3
> -package-id
> |  unix-2.7.2.2 -package-id terminfo-0.4.1.0 -Wall -fno-warn-name-shadowing
> -
> |  this-unit-id ghc -XHaskell2010 -optc-DTHREADED_RTS -
> |  DGHCI_TABLES_NEXT_TO_CODE -DSTAGE=2 -Rghc-timing
> |  -O1 -no-user-package-db -rtsopts -Wnoncanonical-monad-instances -odir
> |  compiler/stage2/build -hidir compiler/stage2/build -stubdir
> |  compiler/stage2/build -dynamic-too -c compiler/typecheck/TcEvidence.hs
> -o
> |  compiler/stage2/build/TcEvidence.o -dyno
> |  compiler/stage2/build/TcEvidence.dyn_o
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [$j_soeO]
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [$j_soeN]
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [$j_sosq]
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [$j_soxX]
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [$j_soy2]
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [$j_soy9]
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [$j_soyw]
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [$j_sowZ]
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [$j_sovR]
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [$j_sovx]
> |  WARNING: file compiler/simplCore/SimplCore.hs, line 700
> |    Simplifier bailing out after 4 iterations [721, 479, 80, 4]
> |      Size = {terms: 8,035, types: 8,864, coercions: 1,129, joins: 0/96}
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2163 Just 3 []
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2163 Just 3 []
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2163 Just 3 []
> |  WARNING: file compiler/simplCore/SimplCore.hs, line 1024
> |    Not shorting out: ebv_uniq
> |
> |
> |  And with `-g` I get even more:
> |
> |
> |  $ "inplace/bin/ghc-stage1" -hisuf hi -osuf o -hcsuf hc -static -O0 -H64m
> -
> |  Wall -fllvm-fill-undef-with-garbage -Werror -Iincludes -Iincludes/dist -
> |  Iincludes/dist-derivedconstants/header
> |  -Iincludes/dist-ghcconstants/header -this-unit-id ghc-8.3
> -hide-all-packages
> |  -i -icompiler/backpack -icompiler/basicTypes -icompiler/cmm -
> |  icompiler/codeGen -icompiler/coreSyn -icompiler/deSugar -icompiler/ghci
> -
> |  icompiler/hsSyn -icompiler/iface -icompiler/llvmGen -icompiler/main -
> |  icompiler/nativeGen -icompiler/parser -icompiler/prelude -
> |  icompiler/profiling -icompiler/rename -icompiler/simplCore -
> |  icompiler/simplStg -icompiler/specialise -icompiler/stgSyn -
> |  icompiler/stranal -icompiler/typecheck -icompiler/types -icompiler/utils
> -
> |  icompiler/vectorise -icompiler/stage2/build -Icompiler/stage2/build -
> |  icompiler/stage2/build/./autogen -Icompiler/stage2/build/./autogen -
> |  Icompiler/. -Icompiler/parser -Icompiler/utils
> -Icompiler/../rts/dist/build
> |  -Icompiler/stage2 -optP-DGHCI -optP-include -
> |  optPcompiler/stage2/build/./autogen/cabal_macros.h
> |  -package-id base-4.10.0.0 -package-id deepseq-1.4.3.0 -package-id
> |  directory-1.3.0.2 -package-id process-1.6.1.0 -package-id
> |  bytestring-0.10.8.2 -package-id binary-0.8.5.1 -package-id
> |  time-1.8.0.2 -package-id containers-0.5.10.2 -package-id array-0.5.2.0 -
> |  package-id filepath-1.4.1.2 -package-id template-haskell-2.12.0.0
> -package-
> |  id hpc-0.6.0.3 -package-id transformers-0.5.2.0 -package-id
> |  ghc-boot-8.3 -package-id ghc-boot-th-8.3 -package-id ghci-8.3
> -package-id
> |  unix-2.7.2.2 -package-id terminfo-0.4.1.0 -Wall -fno-warn-name-shadowing
> -
> |  this-unit-id ghc -XHaskell2010 -optc-DTHREADED_RTS -
> |  DGHCI_TABLES_NEXT_TO_CODE -DSTAGE=2 -Rghc-timing
> |  -O1 -g -no-user-package-db -rtsopts -Wnoncanonical-monad-instances -odir
> |  compiler/stage2/build -hidir compiler/stage2/build -stubdir
> |  compiler/stage2/build -dynamic-too -c compiler/typecheck/TcEvidence.hs
> -o
> |  compiler/stage2/build/TcEvidence.o -dyno
> |  compiler/stage2/build/TcEvidence.dyn_o
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [$j_so9S]
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [$j_so9R]
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [$j_sonu]
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [$j_sot1]
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [$j_sot6]
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [$j_sotd]
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [$j_sotA]
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [$j_sos3]
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [$j_soqV]
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [$j_soqB]
> |  WARNING: file compiler/simplCore/SimplCore.hs, line 700
> |    Simplifier bailing out after 4 iterations [714, 479, 80, 4]
> |      Size = {terms: 8,035, types: 8,864, coercions: 1,129, joins: 0/96}
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [go58_akL0]
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [go58_akL0]
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [go58_akL0]
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [go58_akL0]
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [go58_akL0]
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [go58_akL0]
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [go58_akL0]
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [go58_akL0]
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [go58_akL0]
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [go58_akL0]
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [go58_akL0]
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [go58_akL0]
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [go58_akL0]
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [go58_akL0]
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [go58_akL0]
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [go58_akL0]
> |  WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |    OccurAnal failed to rediscover join point(s): [go58_akL0] ... ETC.
> |
> |  Cheers,
> |
> |      Gabor
> |
> |
> |
> |  >
> |  > Cheers,
> |  >
> |  >       Gabor
> |  >
> |  > Em seg, 21 de ago de 2017 às 17:49, Simon Peyton Jones <
> |  > [hidden email]> escreveu:
> |  >
> |  >> |  Oh dear, then I've really misunderstood the intent of this
> warning.
> |  >> I've
> |  >> |  been noticing these during the GHC build for quite some time now.
> |  >
> |  >> Really?
> |  >
> |  >> After stumbling on #14142, I removed -dno-debug-output from
> |  >> mk/flavours/ validate.mk and re-validated.  Not a single occurrence
> |  >> of
> |  >
> |  >> |  > | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |  >> |  > |   OccurAnal failed to rediscover join point(s): [go58_akKa]
> |  >
> |  >> How can I reproduce what you are seeing?
> |  >
> |  >> Simon
> |  >
> |  >> |  -----Original Message-----
> |  >> |  From: Ben Gamari [mailto:[hidden email]]
> |  >> |  Sent: 19 August 2017 16:54
> |  >> |  To: Simon Peyton Jones <[hidden email]>; Gabor Greif
> |  >> | <[hidden email]>
> |  >> |  Cc: ghc-devs <[hidden email]>
> |  >> |  Subject: RE: Stg-lint and bootstrapping (fails?)
> |  >> |
> |  >> |  Simon Peyton Jones <[hidden email]> writes:
> |  >> |
> |  >> |  > | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695
> |  >> |  > |   OccurAnal failed to rediscover join point(s): [go58_akKa]
> |  >> |  >
> |  >> |  > That shouldn't happen!  If you can make a repro case, please
> |  >> | open a  ticket.
> |  >> |  >
> |  >> |  Oh dear, then I've really misunderstood the intent of this
> warning.
> |  >> I've
> |  >> |  been noticing these during the GHC build for quite some time now.
> |  >> |
> |  >> |  Cheers,
> |  >> |
> |  >> |  - Ben
> |  >
> |  >
> |  >
>
_______________________________________________
ghc-devs mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs