blob: 9334bf36d805375a38ace649a3cbdafef6112a11 [file] [log] [blame]
Jan Wen Voung6dc30762013-03-12 16:27:52 +00001; REQUIRES: asserts
Chandler Carruth5da53432012-07-02 18:37:59 +00002; RUN: llc < %s -o /dev/null -stats 2>&1 | FileCheck %s -check-prefix=STATS
Devang Patelc2686882011-12-14 23:20:38 +00003; 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) 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 %v.5 = select i1 undef, i32 undef, i32 0
Manman Renf0499ba2013-04-29 22:58:55 +000018 %0 = load i8* undef, align 1
Devang Patelc2686882011-12-14 23:20:38 +000019 %conv88 = zext i8 %0 to i32
20 %sub89 = sub nsw i32 0, %conv88
21 %v.8 = select i1 undef, i32 undef, i32 %sub89
Manman Renf0499ba2013-04-29 22:58:55 +000022 %1 = load i8* null, align 1
Devang Patelc2686882011-12-14 23:20:38 +000023 %conv108 = zext i8 %1 to i32
Manman Renf0499ba2013-04-29 22:58:55 +000024 %2 = load i8* undef, align 1
Devang Patelc2686882011-12-14 23:20:38 +000025 %conv110 = zext i8 %2 to i32
26 %sub111 = sub nsw i32 %conv108, %conv110
27 %cmp112 = icmp slt i32 %sub111, 0
28 %sub115 = sub nsw i32 0, %sub111
29 %v.10 = select i1 %cmp112, i32 %sub115, i32 %sub111
30 %add62 = add i32 0, %v.5
31 %add73 = add i32 %add62, 0
32 %add84 = add i32 %add73, 0
33 %add95 = add i32 %add84, %v.8
34 %add106 = add i32 %add95, 0
35 %add117 = add i32 %add106, %v.10
36 %add128 = add i32 %add117, 0
37 %add139 = add i32 %add128, 0
38 %add150 = add i32 %add139, 0
39 %add161 = add i32 %add150, 0
40 %add172 = add i32 %add161, 0
41 br i1 undef, label %for.cond, label %if.end299
42
43if.end299: ; preds = %for.body, %for.cond
44 %s.10 = phi i32 [ %add172, %for.body ], [ 0, %for.cond ]
45 ret i32 %s.10
46}