<html><head><meta http-equiv="Content-Type" content="text/html charset=windows-1252"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">That’s definitely one thing way we could lower, and I suppose the main reason we haven’t gone that direction is because we’d like for the IDs to be at least 32 bits. The optimization thing I’m not sure about, but presumably with -O0 it won’t be a problem? Another thing to consider is clobbering the registers… we have to insert IDs both at function sites and indirect branch/call return sites, and don’t want to worry about messing with regs. That being said, just lowering it as a mov does save us from having to jump over the id, which is a problem on its own. We aren’t set one way or the other, and would love to hear your thoughts.<div><div><br></div><div>Anyway, I’ve made some progress in the lowering. Its rather hacky, and the codegen compiles with a handful of warnings… but the resulting obj has the integer correctly encoded. </div><div><br></div><div>/* Code in Target/ARM/ARMInstrInfo.td */<div><div>def ImmMaxAsmOperand: ImmAsmOperand { let Name = "ImmMax"; }</div><div>def immMax : Operand<i32>, ImmLeaf<i32, [{</div><div> return Imm >= -2147483648 && Imm < 2147483648;</div><div>}]> {</div><div> let ParserMatchClass = ImmMaxAsmOperand;</div><div>}</div><div>def CFITRAP : AXI<(outs), (ins immMax:$id), MiscFrm, NoItinerary,</div><div> "cfiid\t$id", [(int_arm_cfiid immMax:$id)]>,</div><div> Requires<[IsARM]> {</div><div> bits<32> id;</div><div> let Inst = id;</div><div>}</div><div>…</div><div><br></div><div>Is there a better way to do this for 32 bit ids?</div><div><br></div>
<br><div><div>On Mar 3, 2014, at 4:49 PM, JF Bastien <<a href="mailto:jfb@google.com">jfb@google.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div dir="ltr">I may be missing something obvious here, but why isn't a regular immediate sufficient? Do you want to ensure that the value is in a particular BB with movw/movt and doesn't get optimized out, or in a specific constant pool?</div>
<div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Mar 3, 2014 at 11:06 AM, Joseph Battaglia <span dir="ltr"><<a href="mailto:jbattagl@andrew.cmu.edu" target="_blank">jbattagl@andrew.cmu.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin: 0px 0px 0px 0.8ex; border-left-width: 1px; border-left-color: rgb(204, 204, 204); border-left-style: solid; padding-left: 1ex; position: static; z-index: auto;"><div style="word-wrap:break-word">Hello,<div><br></div><div>I’m a newbie here, working on a project to enforce Control Flow Integrity (CFI) on programs compiled with LLVM. We’re using LLVM 3.3 so we can leverage poolalloc's dsa analysis. Ideally this will be as target-independent as possible, but our primary target is ARM. One of our passes requires inserting different i32 IDs at various points into the code we’re compiling. As far as I can tell, it’s impossible to with just LLVM IR, so we’re looking into ways of getting these IDs through the CodeGen. </div>
<div><br></div><div>One thing that looked promising is the function “prefix” value in LLVM 3.4, which is able to emit a global value into the asm. This is the right idea except we need it at arbitrary points in code. We then looked at defining a custom intrinsic function (@llvm.cfiid) that we can insert into the IR and then lower to assembly. It didn’t seem like this was exactly what we wanted either, because the asm that is generated has to be target dependent. We’ve checked out the poolalloc/safecoode projects and there’s some helpful analysis tools, but didn’t find anything relevant to ID lowering.</div>
<div><br></div><div>Our current thrust is to define a custom target intrinsic function (@llvm.arm.cfiid) that we can insert into the IR and lower using a definition in the ARMInstrInfo.td file. Right now, I’m trying to define the pattern and instruction in that file. At first, I just inserted a pattern to lower our intrinsic into a “trap” instruction, which worked fine: </div>
<div><br></div><div>/* Code in IR/IntrinsicsARM.td */ </div><div>/* Note, I’m not positive that IntrNoReturn is correct here, but IntrNoMem type wouldn’t lower to an SDNode because of lack of “results” */</div><div>def int_arm_cfiid : Intrinsic<[], [llvm_i32_ty], [IntrNoReturn]>; </div>
<div><div>…</div><div><br></div><div>/* Code in Target/ARM/ARMInstrInfo.td */</div><div><div>def : Pat<(int_arm_cfiid (i32 imm)),</div><div> (TRAP)>;</div></div><div>...</div><div><br></div><div>Next, I’m trying to create my own “AXI” definition based on the TRAP definition, and then put that into the pattern. I admit that I don’t fully grok the tablegen syntax, so a lot of what I’ve been doing is trial and error, and based on examples in other *.td files.</div>
<div><br></div><div>Here’s what I think I’m shooting for...</div><div><div><br></div><div>/* Code in Target/ARM/ARMInstrInfo.td */</div></div><div><div>def ARMCFIID : AXI<(outs), (ins i32imm:$opt), MiscFrm, NoItinerary,</div>
<div> "cfiid", "\t$opt", [(int_arm_cfiid i32imm:$opt)]>,</div><div> Requires<[IsARM]> {</div><div> bits<32> opt;</div><div> let Inst{31-0} = opt;</div><div>
}</div></div><div>...</div><div><br></div><div>I realize this is very wrong, but just to give you an idea of what I’m trying to do… basically take the i32 param of the intrinsic and encode it as a raw bytes. Obviously, this is broke…</div>
<div><br></div><div>TL;DR:</div><div><ul><li>What’s the best way to lower an IR i32 into code as raw bytes?</li><li>If an Intrinsic is the answer, can it be done entirely in the TableGen files or do I need to do some SDNode stuff as well?</li>
<li>If a TargetIntrinsic is the answer, what’s the proper syntax to define an ARM Instruction and matching it with my intrinsic pattern?</li></ul><div><br></div></div><div>Sorry if this is pretty basic stuff… I’ve been looking at the archives and couldn’t find any other threads that worked for me.</div>
<div><br></div><div>Also, I noticed that there is an llvm-devs google group as well. Is it faux-pas to cross-post to that list as well, or are these lists disjoint enough that it wouldn’t be spammy?</div><div><br></div><div>
<br></div><div><div>Thanks,</div><div>Joe</div></div><div><br></div><div><div style="text-indent:0px;letter-spacing:normal;font-variant:normal;text-align:-webkit-auto;font-style:normal;font-weight:normal;line-height:normal;text-transform:none;white-space:normal;font-family:Helvetica;word-wrap:break-word;word-spacing:0px">
<div style="text-indent:0px;letter-spacing:normal;font-variant:normal;text-align:-webkit-auto;font-style:normal;font-weight:normal;line-height:normal;text-transform:none;white-space:normal;font-family:Helvetica;word-wrap:break-word;word-spacing:0px">
<div>--</div><div><div><b>Joseph Battaglia</b></div><div>M.S. Information Security '14</div><div>Information Networking Institute</div><div>Carnegie Mellon University </div><div><a href="mailto:jabat@cmu.edu" target="_blank">jabat@cmu.edu</a></div>
</div><div style="font-weight:normal"><br></div></div><br style="line-height:normal;text-indent:0px;letter-spacing:normal;text-align:-webkit-auto;font-variant:normal;text-transform:none;font-style:normal;white-space:normal;font-family:Helvetica;font-weight:normal;word-spacing:0px">
<br></div>
</div>
<br></div></div><br>_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:LLVMdev@cs.uiuc.edu">LLVMdev@cs.uiuc.edu</a> <a href="http://llvm.cs.uiuc.edu/" target="_blank">http://llvm.cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a><br>
<br></blockquote></div><br></div>
</blockquote></div><br></div></div></div></body></html>