1; REQUIRES: asserts
2; RUN: llc < %s -o /dev/null -stats 2>&1 | FileCheck %s -check-prefix=STATS
3; Radar 10266272
4target datalayout = "e-p:32:32:32-i1:8:32-i8:8:32-i16:16:32-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:32:64-v128:32:128-a0:0:32-n32-S32"
5target triple = "thumbv7-apple-ios4.0.0"
6; STATS-NOT: machine-sink
7
8define i32 @foo(i32 %h, i32 %arg1) nounwind readonly ssp {
9entry:
10  br label %for.cond
11
12for.cond:                                         ; preds = %for.body, %entry
13  %cmp = icmp slt i32 0, %h
14  br i1 %cmp, label %for.body, label %if.end299
15
16for.body:                                         ; preds = %for.cond
17  %cond0 = icmp ne i32 %arg1, 42
18  %v.5 = select i1 %cond0, i32 undef, i32 0
19  %0 = load i8, i8* undef, align 1
20  %conv88 = zext i8 %0 to i32
21  %sub89 = sub nsw i32 0, %conv88
22  %cond1 = icmp ne i32 %arg1, 23
23  %v.8 = select i1 %cond1, i32 undef, i32 %sub89
24  %1 = load i8, i8* null, align 1
25  %conv108 = zext i8 %1 to i32
26  %2 = load i8, i8* undef, align 1
27  %conv110 = zext i8 %2 to i32
28  %sub111 = sub nsw i32 %conv108, %conv110
29  %cmp112 = icmp slt i32 %sub111, 0
30  %sub115 = sub nsw i32 0, %sub111
31  %abs = select i1 %cmp112, i32 %sub115, i32 %sub111
32  %add95 = add i32 %v.5, %v.8
33  %add117 = add i32 %add95, %abs
34  br i1 undef, label %for.cond, label %if.end299
35
36if.end299:                                        ; preds = %for.body, %for.cond
37  %s.10 = phi i32 [ %add117, %for.body ], [ 0, %for.cond ]
38  ret i32 %s.10
39}
40