1 ; RUN: llc -O3 -o - %s | FileCheck %s
2 ; Test case from PR16882.
3 target triple = "thumbv7s-apple-ios"
5 ; Function Attrs: noreturn
6 define i32 @test1() #0 {
10 tail call void @overflow() #0
14 ; Function Attrs: noreturn
15 declare void @overflow() #0
17 define i32 @test2(i32 %x, i32 %y) {
22 %conv = sext i32 %x to i64
23 %conv1 = sext i32 %y to i64
24 %mul = mul nsw i64 %conv1, %conv
25 %conv2 = trunc i64 %mul to i32
26 %conv3 = sext i32 %conv2 to i64
27 %cmp = icmp eq i64 %mul, %conv3
28 br i1 %cmp, label %if.end, label %if.then
30 if.then: ; preds = %entry
31 tail call void @overflow() #0
34 if.end: ; preds = %entry
38 attributes #0 = { noreturn }