| commit | 3f7255aa9286642152ead3665fdec3be09c23faf | |
| author | Douglas Katzman <dougk@google.com> | |
| Thu, 31 Aug 2017 23:47:48 +0000 (31 19:47 -0400) | ||
| committer | Douglas Katzman <dougk@google.com> | |
| Thu, 31 Aug 2017 23:58:42 +0000 (31 19:58 -0400) | ||
| tree | 4394f0786f7afd164eebb9a40e0f625dbb8ab1d9 | treesnapshot (tar.gz zip) |
| parent | 35b4a4e8366a8ceda588b3a9c1a6bc76ffa22bd4 | commitdiff |
Remove unnecessary tests of page_free_p()
1. (page_free_p(i) || pages_bytes_used(i) == 0)
becomes "!pages_bytes_used(i)"
2. (!page_free_p(i) && pages_bytes_used(i) != 0)
becomes "pages_bytes_used(i) != 0"
These transforms hold because page.allocated = FREE_PAGE_FLAG
implies that page_bytes_used() is zero. The reverse is untrue.
Pages are marked not-free before the bytes_used become nonzero.
(Some known test failures exist due to the assembler change, unrelated)
1. (page_free_p(i) || pages_bytes_used(i) == 0)
becomes "!pages_bytes_used(i)"
2. (!page_free_p(i) && pages_bytes_used(i) != 0)
becomes "pages_bytes_used(i) != 0"
These transforms hold because page.allocated = FREE_PAGE_FLAG
implies that page_bytes_used() is zero. The reverse is untrue.
Pages are marked not-free before the bytes_used become nonzero.
(Some known test failures exist due to the assembler change, unrelated)
| src/runtime/gencgc.c | diffblobblamehistory |