llvm/test/Transforms/InstCombine/srem1.ll
Dan Gohman a60832b018 Fix a bogus srem rule - a negative value srem'd by a power-of-2
can have a non-negative result; for example, -16%16 is 0. Also,
clarify the related comments. This fixes PR2670.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@54767 91177308-0d34-0410-b5e6-96231b3b80d8
2008-08-13 23:12:35 +00:00

19 lines
596 B
LLVM

; RUN: llvm-as < %s | opt -instcombine
; PR2670
@g_127 = external global i32 ; <i32*> [#uses=1]
define i32 @func_56(i32 %p_58, i32 %p_59, i32 %p_61, i16 signext %p_62) nounwind {
entry:
%call = call i32 (...)* @rshift_s_s( i32 %p_61, i32 1 ) ; <i32> [#uses=1]
%conv = sext i32 %call to i64 ; <i64> [#uses=1]
%or = or i64 -1734012817166602727, %conv ; <i64> [#uses=1]
%rem = srem i64 %or, 1 ; <i64> [#uses=1]
%cmp = icmp eq i64 %rem, 1 ; <i1> [#uses=1]
%cmp.ext = zext i1 %cmp to i32 ; <i32> [#uses=1]
store i32 %cmp.ext, i32* @g_127
ret i32 undef
}
declare i32 @rshift_s_s(...)