<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>
</head>
<body dir="ltr">
<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Arial,Helvetica,sans-serif;" dir="ltr">
<p>Hi,</p>
<p><br>
</p>
<p>I was wondering how I can print out the result of some arithmetic on 128 bit integers.</p>
<p><br>
</p>
<p>After having a look at the API , it <i>seems </i>it is possible to get the integer value from the </p>
<p>"ConstantInt::getSextValue() " but the return value is only a int64_t.</p>
<p><br>
</p>
<p><span style="font-family: Calibri, Arial, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 16px;">I wish to print it on the console output and printing as
 a string or decimal  ( using C standard library printf ) </span><br>
</p>
<p><span style="font-family: Calibri, Arial, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 16px;"><br>
</span></p>
<p>My Question : How can I get the returned value of a 128 bit ( or more number of bits ) </p>
<p>arithmetic ? </p>
<p><br>
</p>
<p><br>
</p>
<p>Thanks,</p>
<p>Malhar</p>
<p><br>
</p>
<p><br>
</p>
<p><br>
</p>
</div>
</body>
</html>