Displaying 2 results from an estimated 2 matches for "icse2016".
2016 Aug 29
2
Publication
...p://staticanalysis.org/sas2016/>)*, Edinburgh, September, 2016
The paper is available at
http://www.cs.rutgers.edu/~santosh.nagarakatte/papers/alive-fp-sas16.pdf
-
*Termination-Checking for LLVM Peephole Optimizations [pdf]
<http://www.cs.rutgers.edu/~santosh.nagarakatte/papers/icse2016-alive-loops.pdf>
*David Menendez and Santosh Nagarakatte
*Proceedings of the 38th International Conference on Software
Engineering (ICSE 2016 <http://2016.icse.cs.txstate.edu/>)*, May, 2016
*ACM SIGSOFT Distinguished Paper Award *
The paper is available at
http://www.cs.rutger...
2017 Sep 13
3
How to add optimizations to InstCombine correctly?
There is in fact a transform out there somewhere that reverses yours.
define i64 @foo(i64 %a) {
%b = shl i64 %a, 5
%c = add i64 %b, %a
ret i64 %c
}
becomes
define i64 @foo(i64 %a) {
%c = mul i64 %a, 33
ret i64 %c
}
~Craig
On Wed, Sep 13, 2017 at 10:11 AM, Craig Topper <craig.topper at gmail.com>
wrote:
> Your code seems fine. InstCombine can infinite loop if some other