Svadev mailing list

[John Criswell <criswell AT illinois.edu>]

On 12/7/11 10:09 PM, Alex Miller wrote: Hi all,

Is there a way that I can run clang such that it will run all of the LTO passes, but then emit bitcode rather than emitting machine code? It'd be nice if I could see the effects of the PoolAllocate pass without having to wade through x86 code.

First, the libLTO in SAFECode does not run automatic pool allocation presently.  This is a future enhancement that we plan to do after we've tested it (and the poolalloc bitmap allocator) on larger programs.

That said, perhaps we should add an --enable-experimental option to the configure script to allow others to use SAFECode features that haven't been as thoroughly tested as the current components.

Second, regarding the question on how to get bitcode out of libLTO, I'm not sure that you can.  I think what you can do is have clang link all of the .o bitcode file together into a single large .o bitcode file.  You can then run that bitcode file through opt; just make sure to run the -internalize pass before -std-compile-opts and poolalloc/DSA/whatever pass(es) you want to test.

-- John T.

Thanks,

Alex

_______________________________________________
svadev mailing list
svadev AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/svadev