[klee-dev] make klee support intrinsic function lvm.sadd.with.overflow.i32

[Mark R. Tuttle]

Luca Dariz showed us a solution for unsigned. I want to finish that off for
signed. I am new to the llvm IR and am slowed by that learning curve. Mark
On Oct 17, 2014 5:32 AM, "Dingbao Xie" <xiedingbao at gmail.com> wrote:

> Dear list,
> I found that klee dose not support the LLVM arithmetic with overflow
> intrinsics
> like llvm.sadd.with.overflow.i32. I know that someone else has asked the
> similar
> question. I just want to know is it possible to make klee support it?
> Thanks in advance
>
> --
> Dingbao Xie
>
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
>
-------------- next part --------------
HTML attachment scrubbed and removed