search for: cafxx

> Try building with "make VERBOSE=1", which will show you the > command-lines passed to the compiler/linker. Post the output here. there you go: > cafxx at ubuntu:~/Projects/llvm2/lib/Transforms/cgf$ make VERBOSE=1 > llvm[0]: Compiling CGFPass.cpp for Debug+Asserts build (PIC) > if g++ -I/home/cafxx/Projects/llvm2/include > -I/home/cafxx/Projects/llvm2/lib/Transforms/cgf -D_DEBUG > -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTAN...

...L = ../../.. > LIBRARYNAME = CGF > LOADABLE_MODULE = 1 > USEDLIBS = > > ifneq ($(REQUIRES_RTTI), 1) > ifneq ($(REQUIRES_EH), 1) > EXPORTED_SYMBOL_FILE = $(PROJ_SRC_DIR)/CGF.exports > endif > endif > > include $(LEVEL)/Makefile.common and this is the invocation: > cafxx at ubuntu:~/Projects/llvm2/lib/Transforms/cgf$ make > llvm[0]: Compiling CGFPass.cpp for Debug+Asserts build (PIC) > llvm[0]: Linking Debug+Asserts Loadable Module CGF.so -- Carlo Alberto Ferraris <cafxx at strayorange.com <mailto:cafxx at strayorange.com>> website/blog <ht...

On Jun 24, 2011, at 10:49 AM, Carlo Alberto Ferraris wrote: > >> Try building with "make VERBOSE=1", which will show you the command-lines passed to the compiler/linker. Post the output here. > there you go: >> cafxx at ubuntu:~/Projects/llvm2/lib/Transforms/cgf$ make VERBOSE=1 >> llvm[0]: Compiling CGFPass.cpp for Debug+Asserts build (PIC) >> if g++ -I/home/cafxx/Projects/llvm2/include -I/home/cafxx/Projects/llvm2/lib/Transforms/cgf -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MA...

...LE_MODULE = 1 >> USEDLIBS = >> >> ifneq ($(REQUIRES_RTTI), 1) >> ifneq ($(REQUIRES_EH), 1) >> EXPORTED_SYMBOL_FILE = $(PROJ_SRC_DIR)/CGF.exports >> endif >> endif >> >> include $(LEVEL)/Makefile.common > and this is the invocation: >> cafxx at ubuntu:~/Projects/llvm2/lib/Transforms/cgf$ make >> llvm[0]: Compiling CGFPass.cpp for Debug+Asserts build (PIC) >> llvm[0]: Linking Debug+Asserts Loadable Module CGF.so > Try building with "make VERBOSE=1", which will show you the command-lines passed to the compiler/...

...Did it bitrot or was simply removed because a replacement is available? If it's the former, what caused the bitrotting? If it's the latter, what's the replacement? (I've found LiveVariables but I'm not sure it can be used in a ModulePass). b.r. -- Carlo Alberto Ferraris <cafxx at strayorange.com <mailto:cafxx at strayorange.com>> +39 333 7643 235 XMPP <xmpp:cafxx at strayorange.com> Website <http://cafxx.strayorange.com> Blog <http://www.strayorange.com/blog/category/members/cafxx> LinkedIn <http://it.linkedin.com/in/cafxx> Facebook...

> That's a weird one. Does addr2line work? > $ addr2line -e CGF.so <address> cafxx at ubuntu:~/Projects/llvm2/Debug+Asserts/bin$ objdump -t ../lib/CGF.so | grep flatten 0000000000005622 l F .text 0000000000000aa6 _ZN12_GLOBAL__N_111CGFFunction7flattenEv 00000000000041d6 l F .text 000000000000049c _ZN12_GLOBAL__N_111CGFCallSite7flattenEv...

...removed because a replacement is available? > If it's the former, what caused the bitrotting? If it's the latter, > what's the replacement? (I've found LiveVariables but I'm not sure it > can be used in a ModulePass). > b.r. > -- > Carlo Alberto Ferraris <cafxx at strayorange.com > <mailto:cafxx at strayorange.com>> > +39 333 7643 235 XMPP <xmpp:cafxx at strayorange.com> Website > <http://cafxx.strayorange.com> Blog > <http://www.strayorange.com/blog/category/members/cafxx> LinkedIn > <http://it.linkedin.co...

...; or are you installing it first? I'm invoking it directly, I guess:./opt -load=CGF.so -cgf -debug test.S should I install it? (I have no idea about how to do it, though...) > If you run "file CGF.so" on the file you actually load, does it say it > is stripped or non-stripped? cafxx at ubuntu:~/Projects/llvm2/Debug+Asserts/bin$ file ../lib/CGF.so ../lib/CGF.so: ELF 64-bit LSB shared object, x86-64, version 1 (SYSV), dynamically linked, not stripped -- Carlo Alberto Ferraris <cafxx at strayorange.com <mailto:cafxx at strayorange.com>> website/blog <http://ca...

...: SwitchInst *s = SwitchInst::Create(...); BasicBlock *bb = ...; PtrToIntInst k = new PtrToIntInst(BlockAddress::get(bb), <TYPE>, "", s); s->addCase(k, bb); ... is this reasonable? what should I put in place of <TYPE> (the type to cast to)? -- Carlo Alberto Ferraris <cafxx at strayorange.com <mailto:cafxx at strayorange.com>> website/blog <http://cafxx.strayorange.com> - +39 333 7643 235 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20110731/fa1e0254/attachment....

...verse of jump threading). My question is: what is the best way to express such relationships in LLVM IR ("best" in the sense of allowing other optimizations to run effectively)? Bear in mind that in this example N=2, but it may be way bigger than that. -- Carlo Alberto Ferraris <cafxx at strayorange.com <mailto:cafxx at strayorange.com>> website/blog <http://cafxx.strayorange.com> - +39 333 7643 235 -------------- next part -------------- A non-text attachment was scrubbed... Name: cafxx.vcf Type: text/x-vcard Size: 233 bytes Desc: not available URL: <http://...

...999 > br i1 %21, label %16, label %7 the br in %19 should be optimized to branch directly to itself rather than going back to %7 (note that the arg %8 to the indirectbr will always be the address of %19 when coming from %19). Is this a known missed optimization? -- Carlo Alberto Ferraris <cafxx at strayorange.com <mailto:cafxx at strayorange.com>> website/blog <http://cafxx.strayorange.com> - +39 333 7643 235 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20110707/79866d0b/attachment....

...g it first? > I'm invoking it directly, I guess: ./opt -load=CGF.so -cgf -debug test.S > should I install it? (I have no idea about how to do it, though...) > >> If you run "file CGF.so" on the file you actually load, does it say it is stripped or non-stripped? > cafxx at ubuntu:~/Projects/llvm2/Debug+Asserts/bin$ file ../lib/CGF.so > ../lib/CGF.so: ELF 64-bit LSB shared object, x86-64, version 1 (SYSV), dynamically linked, not stripped > That's a weird one. Does addr2line work? $ addr2line -e CGF.so <address> > > -- > Carlo Alber...

I'm working on a pass (both LLVM and the pass have been compiled in debug+asserts mode) but when the pass crashes in the stack trace printed by opt the names of the functions inside my pass don't appear (see frames 14-16). How can I have them displayed? > cafxx at ubuntu:~/Projects/llvm2/Debug+Asserts/bin$ clear && ./opt > -load=CGF.so -cgf -debug test.S > [...] > While deleting: i32 % > Use still stuck around after Def is destroyed: ret i32 <badref> > opt: Value.cpp:76: virtual llvm::Value::~Value(): Assertion > `use_em...

Suppose I have a bb with N predecessors and N successors. What is, in your opinion, the best way to express that the bb has (dynamically) only one successor (i.e. if coming from the i-th predecessor we will always jump to the i-th successor)? b.r., -- Carlo Alberto Ferraris <cafxx at strayorange.com <mailto:cafxx at strayorange.com>> website/blog <http://cafxx.strayorange.com> - +39 333 7643 235 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20110802/642dad07/attachment....

...gt;S') * replace - in B and its successors - all the uses of values in S with the mapped values (S') Does LLVM provide an easy way to do this (because I can't seem to be able to find it)? If not, do you have any suggestions about how to do it? -- Carlo Alberto Ferraris <cafxx at strayorange.com <mailto:cafxx at strayorange.com>> website/blog <http://cafxx.strayorange.com> - +39 333 7643 235 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20110614/618810c8/attachment....

On Jun 24, 2011, at 12:36 PM, Carlo Alberto Ferraris wrote: > >> That's a weird one. Does addr2line work? >> $ addr2line -e CGF.so <address> > cafxx at ubuntu:~/Projects/llvm2/Debug+Asserts/bin$ objdump -t ../lib/CGF.so | grep flatten > 0000000000005622 l F .text 0000000000000aa6 _ZN12_GLOBAL__N_111CGFFunction7flattenEv > 00000000000041d6 l F .text 000000000000049c _ZN12_GLOBAL__N_111CGFCallSite7fla...

..... ... indirectbr %0, [%succ0, %succ1, ...] or %0 = phi i8 [0, %pred0], [1, %pred1], ... ... switch %0, undef, [0, %succ0], [1, %succ1], ... what I'd like to know is which one do you think is better (and why) or if there are better ways I didn't think of. -- Carlo Alberto Ferraris <cafxx at strayorange.com <mailto:cafxx at strayorange.com>> website/blog <http://cafxx.strayorange.com> - +39 333 7643 235 -------------- next part -------------- A non-text attachment was scrubbed... Name: cafxx.vcf Type: text/x-vcard Size: 233 bytes Desc: not available URL: <http://...

...lberto Ferraris wrote: > I'm working on a pass (both LLVM and the pass have been compiled in debug+asserts mode) but when the pass crashes in the stack trace printed by opt the names of the functions inside my pass don't appear (see frames 14-16). How can I have them displayed? >> cafxx at ubuntu:~/Projects/llvm2/Debug+Asserts/bin$ clear && ./opt -load=CGF.so -cgf -debug test.S >> [...] >> While deleting: i32 % >> Use still stuck around after Def is destroyed: ret i32 <badref> >> opt: Value.cpp:76: virtual llvm::Value::~Value(): Assertion `u...

...try > to fix it or file a bug with your test case. In the source it says "If the predecessor is an indirect goto, we can't split the edge. <http://llvm.org/docs/doxygen/html/JumpThreading_8cpp_source.html#l00914>" Why would that be the case? -- Carlo Alberto Ferraris <cafxx at strayorange.com <mailto:cafxx at strayorange.com>> website/blog <http://cafxx.strayorange.com> - +39 333 7643 235 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20110707/ccae877a/attachment....

...'t work (it prints ??:0) I guess because it's PIC code (in the address above the blue part changes at each invocation of opt) Seems to be some issue with gdb not being able to read all of the debug symbols. I'm not sure what else to try. > > -- > Carlo Alberto Ferraris <cafxx at strayorange.com> > website/blog - +39 333 7643 235 > <cafxx.vcf> Thanks, Justin Holewinski -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20110624/355a2c63/attachment.html>