llvm dev - Nov 2005 - [LLVMdev] Memory management and LLVM types

I am somewhat confused about how I should go about releasing LLVM 
types. Some types are owned by a Module, and others I am not sure 
about. Are there any general rules or guidelines that I should be aware 
of? It appears to me that whenever I am passing a "new" object into a 
container type like a module or basic block that the container owns the 
object. Is that accurate? If this is true, why does it work for me to:

- Load a module from bytecode.
- Get some pointers to types inside that module.
- Delete the module.
- Use these types again.

I'm using electric fence, so I don't *think* that it is luck, but I 
could be wrong. Should I be deleting the pointers that I get out of the 
module?

A related question is how should I delete the module? I see that there 
is a "dropAllReferences" method. Is this called automatically for me 
from the Module's destructor?

Thanks,

Evan Jones

--
Evan Jones
http://evanjones.ca/

On Tue, 1 Nov 2005, Evan Jones wrote:
> I am somewhat confused about how I should go about releasing LLVM types.
Some
> types are owned by a Module, and others I am not sure about.
Actually, no types are owned by a module: all types are global entities.
> Are there any general rules or guidelines that I should be aware of? It 
> appears to me that whenever I am passing a "new" object into a
container
> type like a module or basic block that the container owns the object. Is 
> that accurate?
This is true for program objects like instructions and basic blocks. 
Types and constants are special, in that they are automatically
"uniqued"
by the system so that there is only one instance of a particular type 
structure running around in the system.  This allows us to use pointer 
equality to check to see if two types are equivalent.
> If this is true, why does it work for me to:
> - Load a module from bytecode.
> - Get some pointers to types inside that module.
> - Delete the module.
> - Use these types again.
The types are not owned by the module.
> I'm using electric fence, so I don't *think* that it is luck, but I
could be
> wrong. Should I be deleting the pointers that I get out of the module?
Not for types :)
> A related question is how should I delete the module? I see that there is a
> "dropAllReferences" method. Is this called automatically for me
from the
> Module's destructor?
Yes, it is.  Just deleting the module should work.

If you REALLY want to delve into type archana, hold your breath and read 
some of this:
http://llvm.cs.uiuc.edu/docs/ProgrammersManual.html#TypeResolve

:)

-Chris

-- 
http://nondot.org/sabre/
http://llvm.org/