1
0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-25 20:23:11 +01:00
llvm-mirror/test/Analysis/ValueTracking/pr23011.ll
Sanjoy Das 40f3beb387 [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

llvm-svn: 233225
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
}