1; RUN: opt -passes=indvars -S < %s | FileCheck %s 2 3declare { i8, i1 } @llvm.smul.with.overflow.i8(i8, i8) nounwind readnone 4 5define 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 15} 16