search for: heapify

Hi all, I have been writing a pass to heapify some alloca's (it is pessimistization, not optimization). For example, in the following control flow graph, there is a call to malloc inserted in block BB12. In order to avoid memory leak, free's are needed. The free cannot be inserted in BB23 because BB23 is not dominated by BB12. There ar...

...exit blocks that are dominated by BB12 (calls to malloc). I guess we can also insert calls to free at these exit blocks too. > H. > > > On Tue, Nov 12, 2013 at 11:30 PM, Bin Tzeng <bintzeng at gmail.com> wrote: > >> Hi all, >> >> I have been writing a pass to heapify some alloca's (it is >> pessimistization, not optimization). For example, in the following control >> flow graph, there is a call to malloc inserted in block BB12. In order to >> avoid memory leak, free's are needed. The free cannot be inserted in BB23 >> because BB2...

...placing the calls to free at the predecessors (dominated by BB12) of the dominance frontier of BB12 seems to work, however. Is there anything wrong with this? H. On Tue, Nov 12, 2013 at 11:30 PM, Bin Tzeng <bintzeng at gmail.com> wrote: > Hi all, > > I have been writing a pass to heapify some alloca's (it is > pessimistization, not optimization). For example, in the following control > flow graph, there is a call to malloc inserted in block BB12. In order to > avoid memory leak, free's are needed. The free cannot be inserted in BB23 > because BB23 is not dominat...

...alls to malloc). I guess we can also insert calls to > free at these exit blocks too. > >> H. >> >> >> On Tue, Nov 12, 2013 at 11:30 PM, Bin Tzeng <bintzeng at gmail.com> wrote: >> >>> Hi all, >>> >>> I have been writing a pass to heapify some alloca's (it is >>> pessimistization, not optimization). For example, in the following control >>> flow graph, there is a call to malloc inserted in block BB12. In order to >>> avoid memory leak, free's are needed. The free cannot be inserted in BB23 >>...

...ert calls to >> free at these exit blocks too. >> >>> H. >>> >>> >>> On Tue, Nov 12, 2013 at 11:30 PM, Bin Tzeng <bintzeng at gmail.com> wrote: >>> >>>> Hi all, >>>> >>>> I have been writing a pass to heapify some alloca's (it is >>>> pessimistization, not optimization). For example, in the following control >>>> flow graph, there is a call to malloc inserted in block BB12. In order to >>>> avoid memory leak, free's are needed. The free cannot be inserted in B...

...o insert calls to free at these exit blocks too. > > > > > H. > > > > > > > On Tue, Nov 12, 2013 at 11:30 PM, Bin Tzeng < bintzeng at gmail.com > > wrote: > > > > > > Hi all, > > > I have been writing a pass to heapify some alloca's (it is > pessimistization, not optimization). For example, in the following > control flow graph, there is a call to malloc inserted in block > BB12. In order to avoid memory leak, free's are needed. The free > cannot be inserted in BB23 because BB23 is not dominat...

...ert calls to >> free at these exit blocks too. >> >>> H. >>> >>> >>> On Tue, Nov 12, 2013 at 11:30 PM, Bin Tzeng <bintzeng at gmail.com> wrote: >>> >>>> Hi all, >>>> >>>> I have been writing a pass to heapify some alloca's (it is >>>> pessimistization, not optimization). For example, in the following control >>>> flow graph, there is a call to malloc inserted in block BB12. In order to >>>> avoid memory leak, free's are needed. The free cannot be inserted in B...

...exit blocks too. >>> >>>> H. >>>> >>>> >>>> On Tue, Nov 12, 2013 at 11:30 PM, Bin Tzeng <bintzeng at gmail.com> wrote: >>>> >>>>> Hi all, >>>>> >>>>> I have been writing a pass to heapify some alloca's (it is >>>>> pessimistization, not optimization). For example, in the following control >>>>> flow graph, there is a call to malloc inserted in block BB12. In order to >>>>> avoid memory leak, free's are needed. The free cannot be i...