llvm-6502/test/Analysis/ValueTracking/pr23011.ll
Sanjoy Das 93d88192a2 [ValueTracking] Fix PR23011.
Summary:
`ComputeNumSignBits` returns incorrect results for `srem` instructions.
This change fixes the issue and adds a test case.

Reviewers: nadav, nicholas, atrick

Subscribers: llvm-commits

Differential Revision: http://reviews.llvm.org/D8600

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@233225 91177308-0d34-0410-b5e6-96231b3b80d8
2015-03-25 22:33:53 +00:00

16 lines
469 B
LLVM

; RUN: opt -indvars -S < %s | FileCheck %s
declare { i8, i1 } @llvm.smul.with.overflow.i8(i8, i8) nounwind readnone
define i1 @test1(i8 %x) {
entry:
; CHECK-LABEL: @test1
%rem = srem i8 %x, 15
%t = call { i8, i1 } @llvm.smul.with.overflow.i8(i8 %rem, i8 %rem)
; CHECK: %t = call { i8, i1 } @llvm.smul.with.overflow.i8(i8 %rem, i8 %rem)
; CHECK: %obit = extractvalue { i8, i1 } %t, 1
; CHECK: ret i1 %obit
%obit = extractvalue { i8, i1 } %t, 1
ret i1 %obit
}