search for: deadspy

Displaying 6 results from an estimated 6 matches for "deadspy".

Did you mean: deadly
2016 Apr 20
3
RFC: EfficiencySanitizer
...ize of data blocks and > finding steps on the data access graph. > > >> *Dead store detection*: this tool identifies dead stores (write-after-write >> patterns with no intervening read) as well as redundant stores (writes of >> the same value already in memory). Xref the Deadspy paper from CGO 2012. > > This should probably be spotted by the compiler, so I guess it's a > tool for compiler developers to spot missed optimisation opportunities > in the back-end. Not when dead store happens in an external DSO where compiler can't detect it (same applies f...
2016 Apr 21
2
RFC: EfficiencySanitizer
...mation should be collected. Qin > > -Hal > > > > > *Dead store detection*: this tool identifies dead stores > > (write-after-write patterns with no intervening read) as well as > > redundant stores (writes of the same value already in memory). Xref > > the Deadspy paper from CGO 2012. > > > > > > *Single-reference*: this tool identifies data cache lines brought in > > but only read once. These could be candidates for non-temporal > > loads. > > > > > > ==================== > > EfficiencySanitizer > &gt...
2016 Apr 20
2
RFC: EfficiencySanitizer
...many times larger can help determine >> where to spend effort. >> >> *Dead store detection*: this tool identifies dead stores >> (write-after-write patterns with no intervening read) as well as redundant >> stores (writes of the same value already in memory). Xref the Deadspy >> paper from CGO 2012. >> >> *Single-reference*: this tool identifies data cache lines brought in but >> only read once. These could be candidates for non-temporal loads. >> >> ==================== >> EfficiencySanitizer >> ==================== >...
2016 Apr 21
2
RFC: EfficiencySanitizer
...t; >> >> -Hal >> >> > >> > *Dead store detection*: this tool identifies dead stores >> > (write-after-write patterns with no intervening read) as well as >> > redundant stores (writes of the same value already in memory). Xref >> > the Deadspy paper from CGO 2012. >> > >> > >> > *Single-reference*: this tool identifies data cache lines brought in >> > but only read once. These could be candidates for non-temporal >> > loads. >> > >> > >> > ==================== >&g...
2016 Apr 17
15
RFC: EfficiencySanitizer
...close to fitting in current L3 caches or is many times larger can help determine where to spend effort. *Dead store detection*: this tool identifies dead stores (write-after-write patterns with no intervening read) as well as redundant stores (writes of the same value already in memory). Xref the Deadspy paper from CGO 2012. *Single-reference*: this tool identifies data cache lines brought in but only read once. These could be candidates for non-temporal loads. ==================== EfficiencySanitizer ==================== We are proposing the name EfficiencySanitizer, or "esan" for sh...
2016 Apr 18
2
RFC: EfficiencySanitizer
...close to fitting in current L3 caches or is many times larger can help determine where to spend effort. *Dead store detection*: this tool identifies dead stores (write-after-write patterns with no intervening read) as well as redundant stores (writes of the same value already in memory). Xref the Deadspy paper from CGO 2012. *Single-reference*: this tool identifies data cache lines brought in but only read once. These could be candidates for non-temporal loads. ==================== EfficiencySanitizer ==================== We are proposing the name EfficiencySanitizer, or "esan" for sh...