<div dir="ltr"><p class="MsoNormal" style="font-size:12.8px">All,</p><p class="MsoNormal" style="font-size:12.8px"><br></p><p class="MsoNormal" style="font-size:12.8px">I am facing a problem with LLVM 3.5 Compiler and suspect it is a bug in the clang. I earlier posted this query to llvm-dev list. </p><p class="MsoNormal" style="font-size:12.8px"><br></p><p class="MsoNormal" style="font-size:12.8px">Here is my observation.</p><p class="MsoNormal" style="font-size:12.8px"> </p><p class="MsoNormal" style="font-size:12.8px">I am trying to support a target specific function attribute for a particular target machine.</p><p class="MsoNormal" style="font-size:12.8px">Having followed the steps specified in the compiler documentation, I see the attribute is passed to the backend if we include the attribute in the function definition. But this attribute is not propagate to the backend if I include it only in the function’s prototype/declaration (in the C program).</p><p class="MsoNormal" style="font-size:12.8px"> </p><p class="MsoNormal" style="font-size:12.8px">This virtual function (given below) invocation in clang/lib/CodeGen/CodeGenModul<wbr>e.cpp in clang is responsible for attaching the target specific attributes to the backend CodeGen objects (functions, variables etc.)</p><p class="MsoNormal" style="font-size:12.8px;text-indent:0.5in">getTargetCodeGenInfo().SetTarg<wbr>etAttributes(D, GO, *this)</p><p class="MsoNormal" style="font-size:12.8px"> </p><p class="MsoNormal" style="font-size:12.8px">I found that this virtual function is getting invoked only for function definitions and not for function declarations.</p><p class="MsoNormal" style="font-size:12.8px"> </p><p class="MsoNormal" style="font-size:12.8px">Actual requirement:</p><p class="MsoNormal" style="font-size:12.8px">Along with regular C functions we have special functions supported in the target and its definition and invocation will always come in different compilation units. There must be a way to recognize these special functions at the call-sites during codegen in the backend. By attaching some info in the function prototype, we can recognize these special functions at the call-site during backend codegen. That’s why I thought of a new target specific attribute to achieve this purpose.</p><p class="MsoNormal" style="font-size:12.8px"> </p><p class="MsoNormal" style="font-size:12.8px"><b><u>Is it really a bug?</u></b></p><p class="MsoNormal" style="font-size:12.8px">When I compile a program having function declarations/prototypes with generic attributes like <span style="color:rgb(127,0,85)">__attribute__</span><span style="color:black">((</span><b><span style="color:rgb(127,0,85)">const</span></b><span style="color:black">)), clang will add it to that function’s attributelist in the IR and it will be available in the backend.</span></p><p class="MsoNormal" style="font-size:12.8px"> </p><p class="MsoNormal" style="font-size:12.8px">Similarly I expected the target specific attribute should also be added to the attributelist available in the backend and I should be able to identify it using <b>F.hasFnAttribute("XYZ")</b>, where XYZ is the new attribute name.</p><p class="MsoNormal" style="font-size:12.8px"> </p><div>I understand that a look-up in the prototype for function-attrs is very rare at codegen. But I was keen to ask this when I found that the standard attributes (<b>'const',</b> for example) are actually propagated to the backend through function prototype.</div><div><br></div><div>In the sample program below I have declared function <b>foo</b> with attribute '<b>const'</b> and you can see '<b>readnone'</b> is added to the attribute list.</div><div><br></div><div><b><u>Sample Program:</u></b></div><div><br></div><div>extern void __attribute__((const)) foo (int);</div><div><br></div><div>int main ()</div><div>{</div><div><span class="gmail-Apple-tab-span" style="white-space:pre">    </span>int  my_var = 45;</div><div><br></div><div><span class="gmail-Apple-tab-span" style="white-space:pre">    </span>foo(my_var);</div><div><span class="gmail-Apple-tab-span" style="white-space:pre">   </span>return 0;</div><div>}</div><div>-----------------------------------------------------------------</div><div><b><u>Generated IR:</u></b></div><div><br></div><div>; Function Attrs: nounwind</div><div>define i16 @main() #0 {</div><div>  %1 = alloca i16, align 2</div><div>  %my_var = alloca i16, align 2</div><div>  store i16 0, i16* %1</div><div>  call void @llvm.dbg.declare(metadata !{i16* %my_var}, metadata !13), !dbg !14</div><div>  store i16 45, i16* %my_var, align 2, !dbg !15</div><div>  %2 = load i16* %my_var, align 2, !dbg !16</div><div>  call void @foo(i16 %2) #1, !dbg !16</div><div>  ret i16 0, !dbg !17</div><div>}</div><div><br></div><div>; Function Attrs: nounwind readnone</div><div>declare void @llvm.dbg.declare(metadata, metadata) #1</div><div><br></div><div>; Function Attrs: nounwind <b style="background-color:rgb(241,194,50)">readnone</b></div><div>declare void @foo(i16) #2</div><div>--------------------------------------------------------------------------------------------------------------------</div><p class="MsoNormal" style="font-size:12.8px"><br></p><p class="MsoNormal" style="font-size:12.8px">Since I work with LLVM 3.5 code-base, I am not sure whether this issue (if it is really a bug) has already been fixed with recent compiler releases.</p><p class="MsoNormal" style="font-size:12.8px">Please write to me.</p><p class="MsoNormal" style="font-size:12.8px"> </p><p class="MsoNormal" style="font-size:12.8px">Thanks,</p><p class="MsoNormal" style="font-size:12.8px">Christu</p></div>