smack icon indicating copy to clipboard operation
smack copied to clipboard

Published 20 hours ago • verified publisher icon smackers

Smack does not model LLVM saturation arithmetic instructions

Open keram88 opened this issue 4 years ago • 1 comments

https://llvm.org/docs/LangRef.html#saturation-arithmetic-intrinsics

This should be pretty easy to implement using the machinery of the IntegerOverflow pass.

keram88 avatar May 13 '20 13:05 keram88

Can we have c regressions first?

shaobo-he avatar May 14 '20 07:05 shaobo-he