1
77%
master: 77%

Ran 01 Jul 2023 08:58AM UTC

Files 348

Run time 5s

Badge

Embed ▾

Committed 30 Jun 2023 09:37PM UTC coverage: 87.197% (+0.3%) from 86.914%

Job # #37579.1

Build Type

push

local

Committed by

web-flow

Commit Message

sroa: Mark dead setfields as EFFECT_FREE (#50373)

sroa tries to delete any `setfield!` call for allocations that it
knows it can remove. However, if it does not know that the type is
correct for the allocation, it may not be able to remove the
setfield!. If the type later gets improved (e.g. by irinterp),
the statement becomes eligible for removal, but it currently requires
another sroa pass to actually remove it.

Improve that situation my marking such a statement that is known-dead
as IR_FLAG_EFFECT_FREE, so if we later also prove it nothrow, it
(and the corresponding allocation) immediately become DCE-eligible.

Run Details

73522 of 84317 relevant lines covered (87.2%)

34757350.52 hits per line

JuliaLang / julia / #37579 / 1
77%
master: 77%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #37579.1

JuliaLang / julia / #37579 / 1 77% master: 77%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #37579.1

JuliaLang / julia / #37579 / 1
77%
master: 77%

README BADGES
x