[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Analysis / ValueTracking / pr23011.ll
blob9edc1c406601e6a7d04e2ca9babaaa29c766a290
1 ; RUN: opt -indvars -S < %s | FileCheck %s
3 declare { i8, i1 } @llvm.smul.with.overflow.i8(i8, i8) nounwind readnone
5 define i1 @test1(i8 %x) {
6  entry:
7 ; CHECK-LABEL: @test1
8   %rem = srem i8 %x, 15
9   %t = call { i8, i1 } @llvm.smul.with.overflow.i8(i8 %rem, i8 %rem)
10 ; CHECK: %t = call { i8, i1 } @llvm.smul.with.overflow.i8(i8 %rem, i8 %rem)
11 ; CHECK: %obit = extractvalue { i8, i1 } %t, 1
12 ; CHECK: ret i1 %obit
13   %obit = extractvalue { i8, i1 } %t, 1
14   ret i1 %obit