| ; RUN: llc < %s -mtriple=thumbv6-apple-darwin | FileCheck %s | |
| %umul.ty = type { i32, i1 } | |
| define i32 @func(i32 %a) nounwind { | |
| ; CHECK: func | |
| ; CHECK: muldi3 | |
| %tmp0 = tail call %umul.ty @llvm.umul.with.overflow.i32(i32 %a, i32 37) | |
| %tmp1 = extractvalue %umul.ty %tmp0, 0 | |
| %tmp2 = select i1 undef, i32 -1, i32 %tmp1 | |
| ret i32 %tmp2 | |
| } | |
| declare %umul.ty @llvm.umul.with.overflow.i32(i32, i32) nounwind readnone |