archived-llvm

mirror of https://github.com/RPCS3/llvm.git synced 2026-01-31 01:25:19 +01:00

Files

Sanjay Patel e7291efa87 [InstCombine] Fold nuw left-shifts in ugt/ule comparisons.

This transforms

%a = shl nuw %x, c1
%b = icmp {ugt|ule} %a, c0

into

%b = icmp {ugt|ule} %x, (c0 >> c1)

z3:

(declare-const x (_ BitVec 64))
(declare-const c0 (_ BitVec 64))
(declare-const c1 (_ BitVec 64))

(push)
(assert (= x (bvlshr (bvshl x c1) c1)))  ; nuw
(assert (not (= (bvugt (bvshl x c1) c0)
                (bvugt x
                       (bvlshr c0 c1)))))
(check-sat)
(get-model)
(pop)

(push)
(assert (= x (bvlshr (bvshl x c1) c1)))  ; nuw
(assert (not (= (bvule (bvshl x c1) c0)
                (bvule x
                       (bvlshr c0 c1)))))
(check-sat)
(get-model)
(pop)

Patch by bryant!

Differential Revision: https://reviews.llvm.org/D25913


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@285729 91177308-0d34-0410-b5e6-96231b3b80d8

2016-11-01 19:19:29 +00:00

Coroutines

[coroutines] Store an address of destroy OR cleanup part in the coroutine frame.

2016-10-08 00:22:50 +00:00

Hello

Add auto-exporting of symbols from tools so that plugins work on Windows

2016-05-26 11:16:43 +00:00

InstCombine

[InstCombine] Fold nuw left-shifts in ugt/ule comparisons.

2016-11-01 19:19:29 +00:00

Instrumentation

[asan] Move instrumented null-terminated strings to a special section, LLVM part