diff options
| author | Ömer Sinan Ağacan <omeragacan@gmail.com> | 2018-08-21 16:06:29 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-08-21 18:56:12 -0400 |
| commit | 2693eb11f55f2001701c90c24183e21c794a8be1 (patch) | |
| tree | 4dc837aaa892c3b442c1d9693f69139989cf6387 /compiler/codeGen | |
| parent | 68a1fc29b4bb3eae54e4d96c9aec20e700040f34 (diff) | |
| download | haskell-2693eb11f55f2001701c90c24183e21c794a8be1.tar.gz | |
Properly tag fun field of PAPs generated by ap_0_fast
Currently ap_0_fast doesn't maintain the invariant for PAP fun fields
which says if the closure can be tagged, it should be. This is checked
by `Sanity.c:checkPAP` and correctly implemented by `genautoapply`.
This causes sanity check failures when we have a profiling code like
f = {-# SCC scc #-} g
where g is a PAP or a FUN, and `scc` is different than the current cost
centre.
Test Plan: Slow validate (not done yet)
Reviewers: simonmar, bgamari, erikd
Reviewed By: simonmar
Subscribers: rwbarton, carter
GHC Trac Issues: #15508
Differential Revision: https://phabricator.haskell.org/D5051
Diffstat (limited to 'compiler/codeGen')
0 files changed, 0 insertions, 0 deletions