blob: 88019f450e3663545b08cc4681bebf84cd126d95 [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
Matthias Brauneca51512015-03-04 22:31:18 +00008define i32 @foo(i32 %h, i32 %arg1) nounwind readonly ssp {
Devang Patelc2686882011-12-14 23:20:38 +00009entry:
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
Matthias Brauneca51512015-03-04 22:31:18 +000017 %cond0 = icmp ne i32 %arg1, 42
18 %v.5 = select i1 %cond0, i32 undef, i32 0
David Blaikiea79ac142015-02-27 21:17:42 +000019 %0 = load i8, i8* undef, align 1
Devang Patelc2686882011-12-14 23:20:38 +000020 %conv88 = zext i8 %0 to i32
21 %sub89 = sub nsw i32 0, %conv88
Matthias Brauneca51512015-03-04 22:31:18 +000022 %cond1 = icmp ne i32 %arg1, 23
23 %v.8 = select i1 %cond1, i32 undef, i32 %sub89
David Blaikiea79ac142015-02-27 21:17:42 +000024 %1 = load i8, i8* null, align 1
Devang Patelc2686882011-12-14 23:20:38 +000025 %conv108 = zext i8 %1 to i32
David Blaikiea79ac142015-02-27 21:17:42 +000026 %2 = load i8, i8* undef, align 1
Devang Patelc2686882011-12-14 23:20:38 +000027 %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
Matthias Brauneca51512015-03-04 22:31:18 +000031 %abs = select i1 %cmp112, i32 %sub115, i32 %sub111
32 %add95 = add i32 %v.5, %v.8
33 %add117 = add i32 %add95, %abs
Devang Patelc2686882011-12-14 23:20:38 +000034 br i1 undef, label %for.cond, label %if.end299
35
36if.end299: ; preds = %for.body, %for.cond
Matthias Brauneca51512015-03-04 22:31:18 +000037 %s.10 = phi i32 [ %add117, %for.body ], [ 0, %for.cond ]
Devang Patelc2686882011-12-14 23:20:38 +000038 ret i32 %s.10
39}