search for: strayorange

...itrot 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 <http://www....

...ecause 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>...

...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://lists.llvm.org/...

...Inst *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.html> ------...

..._ZZN12_GLOBAL__N_111CGFFunction7flattenEvE19__PRETTY_FUNCTION__ cafxx at ubuntu:~/Projects/llvm2/Debug+Asserts/bin$ addr2line -e ../lib/CGF.so 5622 /home/cafxx/Projects/llvm2/lib/Transforms/cgf/CGFFunction.cppi:27 the file name and line are correct... -- 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/20110624/465615ae/attachment.html> ------...

...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.html> ------...

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.html> ------...

...directbr %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://lists.llvm.org/...

...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://cafxx.strayorange.com> - +39 333 7643 235 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20110624/bda5ea27/attachment.html> ------...

...) * 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.html> ------...

...gt; > 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 <http://cafxx.strayorange.com> - +39 333 7643 235 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20110624/07611ccf/attachment.html>

...; 21 libc.so.6 0x00007f640b8e1eff __libc_start_main + 255 > 22 opt 0x00000000008a3ec9 > Stack dump: > 0. Program arguments: ./opt -load=CGF.so -cgf -debug test.S > 1. Running pass 'CGF' on module 'test.S'. -- 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/20110624/74cb7938/attachment.html> ------...

On Sun, Jul 31, 2011 at 7:36 AM, Carlo Alberto Ferraris <cafxx at strayorange.com> wrote: > I'm trying to figure out how to feed a blockaddress to a switch condition > AND destination (basically emulating an indirectbr via a switch; I know it's > not a good approach, I'm just experimenting). > Suppose I have the following: > > SwitchInst *s =...

...ing the block? That is, you could duplicate the block, and have the ith predecessor go to the duplicate which goes to the ith successor. You can use JumpThreading::ThreadEdge in lib/Transforms/Scalar/JumpThreading.cpp as a guide. On Tue, Aug 2, 2011 at 10:22 AM, Carlo Alberto Ferraris <cafxx at strayorange.com> wrote: > 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., > -- &g...

...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.html> ------...

...ts/llvm2/Debug+Asserts/lib/CGF.so > /home/cafxx/Projects/llvm2/lib/Transforms/cgf/Debug+Asserts/CGFPass.o \ > > -Wl,--version-script,/home/cafxx/Projects/llvm2/lib/Transforms/cgf/Debug+Asserts/CGF.exports.map > -lpthread -ldl -lm > -- 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/20110624/521f314a/attachment.html> ------...

...m2/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 Alberto Ferraris <cafxx at strayorange.com> > website/blog - +39 333 7643 235 > <cafxx.vcf>_______________________________________________ > LLVM Developers mailing list > LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu > http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev Thanks, Justin Holewinski ------...

...rk (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>

...dr2line -e ../lib/CGF.so 5622 > /home/cafxx/Projects/llvm2/lib/Transforms/cgf/CGFFunction.cppi:27 > > the file name and line are correct… I meant on the stack trace, for your initial trace: $ addr2line -e CGF.so 0x00007f640b6a24fd > > -- > Carlo Alberto Ferraris <cafxx at strayorange.com> > website/blog - +39 333 7643 235 > <cafxx.vcf>_______________________________________________ > LLVM Developers mailing list > LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu > http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev Thanks, Justin Holewinski ------...

Nella citazione lunedì 1 agosto 2011 08:13:12, Eli Friedman ha scritto: > On Sun, Jul 31, 2011 at 7:36 AM, Carlo Alberto Ferraris > <cafxx at strayorange.com> wrote: >> I'm trying to figure out how to feed a blockaddress to a switch condition >> AND destination (basically emulating an indirectbr via a switch; I know it's >> not a good approach, I'm just experimenting). >> Suppose I have the following: >>...