<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:Consolas;
panose-1:2 11 6 9 2 2 4 3 2 4;}
@font-face
{font-family:"Hack Nerd Font Mono";
panose-1:0 0 0 0 0 0 0 0 0 0;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
pre
{mso-style-priority:99;
mso-style-link:"HTML Preformatted Char";
margin:0in;
margin-bottom:.0001pt;
font-size:10.0pt;
font-family:"Courier New";}
span.HTMLPreformattedChar
{mso-style-name:"HTML Preformatted Char";
mso-style-priority:99;
mso-style-link:"HTML Preformatted";
font-family:Consolas;}
span.EmailStyle20
{mso-style-type:personal-reply;
font-family:"Calibri",sans-serif;
color:windowtext;}
p.msipheader251902e5, li.msipheader251902e5, div.msipheader251902e5
{mso-style-name:msipheader251902e5;
mso-margin-top-alt:auto;
margin-right:0in;
mso-margin-bottom-alt:auto;
margin-left:0in;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-US" link="blue" vlink="purple">
<div class="WordSection1">
<p class="msipheader251902e5" style="margin:0in;margin-bottom:.0001pt"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:#317100">[AMD Public Use]</span><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Hi Johannes,<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">This fix (<span style="font-family:"Hack Nerd Font Mono",serif">8d94d3c3b44c3a27a69b153cef9be4b8e481150e)</span> does not seem the resolve the issue and the problem still persists.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Regards,<o:p></o:p></p>
<p class="MsoNormal">M Suresh<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<div>
<div style="border:none;border-top:solid #E1E1E1 1.0pt;padding:3.0pt 0in 0in 0in">
<p class="MsoNormal"><b>From:</b> Johannes Doerfert <johannesdoerfert@gmail.com> <br>
<b>Sent:</b> Saturday, May 16, 2020 4:42 AM<br>
<b>To:</b> Mani, Suresh <Suresh.Mani@amd.com>; llvm-dev@lists.llvm.org<br>
<b>Subject:</b> Re: [llvm-dev] Issues with new Attributor (replaceAllUses fails with type mismatch)<o:p></o:p></p>
</div>
</div>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">[CAUTION: External Email] <o:p></o:p></p>
<div>
<p><span style="font-family:"Hack Nerd Font Mono",serif">Hi Suresh,</span><o:p></o:p></p>
<p><o:p> </o:p></p>
<p><span style="font-family:"Hack Nerd Font Mono",serif">thanks for reporting this!</span><o:p></o:p></p>
<p><span style="font-family:"Hack Nerd Font Mono",serif">I thought I fixed this with 8d94d3c3b44c3a27a69b153cef9be4b8e481150e.</span><o:p></o:p></p>
<p><span style="font-family:"Hack Nerd Font Mono",serif">Did you run before or after that commit?</span><o:p></o:p></p>
<p><o:p> </o:p></p>
<p><span style="font-family:"Hack Nerd Font Mono",serif">Cheers,</span><o:p></o:p></p>
<p><span style="font-family:"Hack Nerd Font Mono",serif"> Johannes</span><o:p></o:p></p>
<p><o:p> </o:p></p>
<div>
<p class="MsoNormal">On 5/15/20 7:17 AM, Mani, Suresh via llvm-dev wrote:<o:p></o:p></p>
</div>
<blockquote style="margin-top:5.0pt;margin-bottom:5.0pt">
<pre>[AMD Public Use]<o:p></o:p></pre>
<pre><o:p> </o:p></pre>
<pre>Hi ,<o:p></o:p></pre>
<pre><o:p> </o:p></pre>
<pre>Please ignore the earlier header of Internal and Official use only.<o:p></o:p></pre>
<pre><o:p> </o:p></pre>
<pre>Thanks<o:p></o:p></pre>
<pre>M Suresh<o:p></o:p></pre>
<pre><o:p> </o:p></pre>
<pre>From: llvm-dev <a href="mailto:llvm-dev-bounces@lists.llvm.org"><llvm-dev-bounces@lists.llvm.org></a> On Behalf Of Mani, Suresh via llvm-dev<o:p></o:p></pre>
<pre>Sent: Friday, May 15, 2020 4:37 PM<o:p></o:p></pre>
<pre>To: <a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a><o:p></o:p></pre>
<pre>Subject: [llvm-dev] Issues with new Attributor (replaceAllUses fails with type mismatch)<o:p></o:p></pre>
<pre><o:p> </o:p></pre>
<pre>[CAUTION: External Email]<o:p></o:p></pre>
<pre><o:p> </o:p></pre>
<pre>[AMD Official Use Only - Internal Distribution Only]<o:p></o:p></pre>
<pre><o:p> </o:p></pre>
<pre>Hi ,<o:p></o:p></pre>
<pre><o:p> </o:p></pre>
<pre>There seems to be some issue with attributor, exactly in File Attributor.cpp, Function Attributor::rewriteFunctionSignatures(), Line No: 1600 (approrimate).<o:p></o:p></pre>
<pre><o:p> </o:p></pre>
<pre>The llvm source code at above address is as follows:<o:p></o:p></pre>
<pre><o:p> </o:p></pre>
<pre> // Eliminate the instructions *after* we visited all of them.<o:p></o:p></pre>
<pre> for (auto &CallSitePair : CallSitePairs) {<o:p></o:p></pre>
<pre> CallBase &OldCB = *CallSitePair.first;<o:p></o:p></pre>
<pre> CallBase &NewCB = *CallSitePair.second;<o:p></o:p></pre>
<pre> ModifiedFns.insert(OldCB.getFunction());<o:p></o:p></pre>
<pre> CGUpdater.replaceCallSite(OldCB, NewCB);<o:p></o:p></pre>
<pre> OldCB.replaceAllUsesWith(&NewCB); <---------------------------------------- Failing location<o:p></o:p></pre>
<pre> OldCB.eraseFromParent();<o:p></o:p></pre>
<pre> }<o:p></o:p></pre>
<pre><o:p> </o:p></pre>
<pre>Failure symptom:<o:p></o:p></pre>
<pre>Assertion failed: New->getType() == getType() && "replaceAllUses of value with new value of different type!"<o:p></o:p></pre>
<pre><o:p> </o:p></pre>
<pre>Snaps for IR from failing llvm IR and debug info while debugging is as follows:<o:p></o:p></pre>
<pre><o:p> </o:p></pre>
<pre>Sample situation1:<o:p></o:p></pre>
<pre>Original code in IR -- %133 = call i32 (i32, ...) bitcast (void (i32)* @set_yydebug to i32 (i32, ...)*)(i32 1) #21<o:p></o:p></pre>
<pre>Attribute info ---- attributes #21 = { nounwind }<o:p></o:p></pre>
<pre><o:p> </o:p></pre>
<pre>Debug info:<o:p></o:p></pre>
<pre>OldCB-------------------- %133 = call i32 (i32, ...) bitcast (void (i32)* @0 to i32 (i32, ...)*)(i32 1) #27<o:p></o:p></pre>
<pre>NewCB-------------------- call void @set_yydebug() #27<o:p></o:p></pre>
<pre><o:p> </o:p></pre>
<pre><o:p> </o:p></pre>
<pre>OldCB.replaceAllUsesWith(&NewCB); fails because of a type mismatch b/w OldCB (i32) and NewCB (void) .<o:p></o:p></pre>
<pre>------------------------------------------------------------------------------------------------------------------------------------------------------------------<o:p></o:p></pre>
<pre><o:p> </o:p></pre>
<pre><o:p> </o:p></pre>
<pre>Sample situation 2:<o:p></o:p></pre>
<pre><o:p> </o:p></pre>
<pre>Original code in IR -- %63 = tail call %struct.cv* bitcast (%struct.cv.231* (i8, i64, i32*)* @Perl_find_runcv_where to %struct.cv* (i8, i64, i32*)*)(i8 zeroext 1, i64 %62, i32* null) #14<o:p></o:p></pre>
<pre>Attribute info ---- attributes #14 = { nounwind }<o:p></o:p></pre>
<pre><o:p> </o:p></pre>
<pre>Debug info:<o:p></o:p></pre>
<pre>OldCB --- %63 = tail call %struct.cv.231* @Perl_find_runcv_where(i8 zeroext 1, i64 %62) #14<o:p></o:p></pre>
<pre>NewCB ---%64 = tail call %struct.cv* bitcast (%struct.cv.231* (i8, i64, i32*)* @15 to %struct.cv* (i8, i64, i32*)*)(i8 zeroext 1, i64 %62, i32* noalias align 536870912 null) #14<o:p></o:p></pre>
<pre><o:p> </o:p></pre>
<pre>And hence OldCB.replaceAllUsesWith(&NewCB); fails<o:p></o:p></pre>
<pre>------------------------------------------------------------------------------------------------------------------------------------------------------------------<o:p></o:p></pre>
<pre><o:p> </o:p></pre>
<pre>The complete IR file is very huge, and had no luck in getting a reduced test case.<o:p></o:p></pre>
<pre><o:p> </o:p></pre>
<pre>Thanks<o:p></o:p></pre>
<pre>M Suresh<o:p></o:p></pre>
<pre><o:p> </o:p></pre>
<pre><o:p> </o:p></pre>
<pre><o:p> </o:p></pre>
<pre><o:p> </o:p></pre>
<pre><o:p> </o:p></pre>
<p class="MsoNormal" style="margin-bottom:12.0pt"><o:p> </o:p></p>
<pre>_______________________________________________<o:p></o:p></pre>
<pre>LLVM Developers mailing list<o:p></o:p></pre>
<pre><a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a><o:p></o:p></pre>
<pre><a href="https://nam11.safelinks.protection.outlook.com/?url=https%3A%2F%2Flists.llvm.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fllvm-dev&data=02%7C01%7CSuresh.Mani%40amd.com%7C3ec51ab5f31d4532def708d7f92592d3%7C3dd8961fe4884e608e11a82d994e183d%7C0%7C0%7C637251812084831564&sdata=TH8RFgAGR8Y7ajpinztVmy7b4fffIYd7NmXiEEW19Vo%3D&reserved=0">https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><o:p></o:p></pre>
</blockquote>
</div>
</div>
</body>
</html>