search for: printfcall

Displaying 1 result from an estimated 1 matches for "printfcall".

Did you mean: print_call
2017 May 26
2
Printing out a 128 bit decimal
Hi, I was wondering how I can print out the result of some arithmetic on 128 bit integers. After having a look at the API , it seems it is possible to get the integer value from the "ConstantInt::getSextValue() " but the return value is only a int64_t. I wish to print it on the console output and printing as a string or decimal ( using C standard library printf ) My Question :