<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title></title>
</head>
<body>
<div name="messageBodySection">
<div dir="auto">Maybe also useful to add im using clang version 11.0.3 on macOS </div>
</div>
<div name="messageSignatureSection"><br />
<div class="matchFont">Thank you
<div>Xuan Tang</div>
</div>
</div>
<div name="messageReplySection">On Sep 3, 2020, 20:17 -0500, Xuan Tang <xt585@nyu.edu>, wrote:<br />
<blockquote type="cite" style="border-left-color: grey; border-left-width: thin; border-left-style: solid; margin: 5px 5px;padding-left: 10px;"><br />
<div><font color="#BBBBBB"><i><span style="font-size: 12px;">; Function Attrs: norecurse nounwind readnone ssp uwtable</span></i></font><span style="font-size: 12px;"></span><br />
<font color="#B877DB"><b><span style="font-size: 12px;">define</span></b></font><span style="font-size: 12px;"><font color="#BBBBBB"> { </font><font color="#B877DB"><b>double</b></font><font color="#BBBBBB">, </font><font color="#B877DB"><b>double</b></font><font color="#BBBBBB"> } </font><font color="#FAC29A"><i>@add</i></font><font color="#BBBBBB">(</font><font color="#B877DB"><b>double</b></font><font color="#BBBBBB">, </font><font color="#B877DB"><b>double</b></font><font color="#BBBBBB">, </font><font color="#B877DB"><b>double</b></font><font color="#BBBBBB">, </font><font color="#B877DB"><b>double</b></font><font color="#BBBBBB">) local_unnamed_addr #</font><font color="#F09483">0</font><font color="#BBBBBB"> {</font></span><br />
<font color="#BBBBBB"><span style="font-size: 12px;">  </span></font><span style="font-size: 12px;"><font color="#FAC29A"><i>%5</i></font><font color="#BBBBBB"> = </font><font color="#B877DB"><b>call</b></font><font color="#BBBBBB"> </font><font color="#B877DB"><b>double</b></font><font color="#BBBBBB"> </font><font color="#FAC29A"><i>@llvm.experimental.constrained.fadd</i></font><font color="#BBBBBB">(</font><font color="#B877DB"><b>double</b></font><font color="#BBBBBB"> </font><font color="#FAC29A"><i>%0</i></font><font color="#BBBBBB">, </font><font color="#B877DB"><b>double</b></font><font color="#BBBBBB"> </font><font color="#FAC29A"><i>%2</i></font><font color="#BBBBBB">, </font><font color="#B877DB"><b>metadata</b></font><font color="#BBBBBB"> !</font><font color="#FAB795">"round</font><font color="#25B0BC">.d</font><font color="#FAB795">ownward"</font><font color="#BBBBBB">, </font><font color="#B877DB"><b>metadata</b></font><font color="#BBBBBB"> !</font><font color="#FAB795">"fpexcept</font><font color="#25B0BC">.i</font><font color="#FAB795">gnore"</font><font color="#BBBBBB">)</font></span><br />
<font color="#BBBBBB"><span style="font-size: 12px;">  </span></font><span style="font-size: 12px;"><font color="#FAC29A"><i>%6</i></font><font color="#BBBBBB"> = </font><font color="#B877DB"><b>fadd</b></font><font color="#BBBBBB"> </font><font color="#B877DB"><b>double</b></font><font color="#BBBBBB"> </font><font color="#FAC29A"><i>%1</i></font><font color="#BBBBBB">, </font><font color="#FAC29A"><i>%3</i></font></span><br />
<font color="#BBBBBB"><span style="font-size: 12px;">  </span></font><span style="font-size: 12px;"><font color="#FAC29A"><i>%7</i></font><font color="#BBBBBB"> = </font><font color="#B877DB"><b>insertvalue</b></font><font color="#BBBBBB"> { </font><font color="#B877DB"><b>double</b></font><font color="#BBBBBB">, </font><font color="#B877DB"><b>double</b></font><font color="#BBBBBB"> } undef, </font><font color="#B877DB"><b>double</b></font><font color="#BBBBBB"> </font><font color="#FAC29A"><i>%5</i></font><font color="#BBBBBB">, </font><font color="#F09483">0</font></span><br />
<font color="#BBBBBB"><span style="font-size: 12px;">  </span></font><span style="font-size: 12px;"><font color="#FAC29A"><i>%8</i></font><font color="#BBBBBB"> = </font><font color="#B877DB"><b>insertvalue</b></font><font color="#BBBBBB"> { </font><font color="#B877DB"><b>double</b></font><font color="#BBBBBB">, </font><font color="#B877DB"><b>double</b></font><font color="#BBBBBB"> } </font><font color="#FAC29A"><i>%7</i></font><font color="#BBBBBB">, </font><font color="#B877DB"><b>double</b></font><font color="#BBBBBB"> </font><font color="#FAC29A"><i>%6</i></font><font color="#BBBBBB">, </font><font color="#F09483">1</font></span><br />
<font color="#BBBBBB"><span style="font-size: 12px;">  </span></font><span style="font-size: 12px;"><font color="#B877DB"><b>ret</b></font><font color="#BBBBBB"> { </font><font color="#B877DB"><b>double</b></font><font color="#BBBBBB">, </font><font color="#B877DB"><b>double</b></font><font color="#BBBBBB"> } </font><font color="#FAC29A"><i>%8</i></font></span><br />
<font color="#BBBBBB"><span style="font-size: 12px;">}</span></font><span style="font-size: 12px;"></span><br />
<br />
<font color="#B877DB"><b><span style="font-size: 12px;">declare</span></b></font><span style="font-size: 12px;"><font color="#BBBBBB"> </font><font color="#B877DB"><b>double</b></font><font color="#BBBBBB"> </font><font color="#FAC29A"><i>@llvm.experimental.constrained.fadd</i></font><font color="#BBBBBB">(</font><font color="#B877DB"><b>double</b></font><font color="#BBBBBB">, </font><font color="#B877DB"><b>double</b></font><font color="#BBBBBB">, </font><font color="#B877DB"><b>metadata</b></font><font color="#BBBBBB">, </font><font color="#B877DB"><b>metadata</b></font><font color="#BBBBBB">)</font></span></div>
</blockquote>
</div>
</body>
</html>