Eric Christopher | 79cc1e3 | 2014-09-02 22:28:02 +0000 | [diff] [blame] | 1 | ; RUN: %lli -relocation-model=pic -code-model=small %s > /dev/null |
Lang Hames | 6e9f030 | 2016-08-19 17:06:39 +0000 | [diff] [blame] | 2 | ; XFAIL: mips-, mipsel-, aarch64, arm, i686, i386 |
Andrew Kaylor | c4c1ff6 | 2013-08-19 23:52:53 +0000 | [diff] [blame] | 3 | |
| 4 | @count = global i32 1, align 4 |
| 5 | |
| 6 | define i32 @main() nounwind uwtable { |
| 7 | entry: |
| 8 | %retval = alloca i32, align 4 |
| 9 | %i = alloca i32, align 4 |
| 10 | store i32 0, i32* %retval |
| 11 | store i32 0, i32* %i, align 4 |
| 12 | br label %for.cond |
| 13 | |
| 14 | for.cond: ; preds = %for.inc, %entry |
David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 15 | %0 = load i32, i32* %i, align 4 |
Andrew Kaylor | c4c1ff6 | 2013-08-19 23:52:53 +0000 | [diff] [blame] | 16 | %cmp = icmp slt i32 %0, 49 |
| 17 | br i1 %cmp, label %for.body, label %for.end |
| 18 | |
| 19 | for.body: ; preds = %for.cond |
David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 20 | %1 = load i32, i32* @count, align 4 |
Andrew Kaylor | c4c1ff6 | 2013-08-19 23:52:53 +0000 | [diff] [blame] | 21 | %inc = add nsw i32 %1, 1 |
| 22 | store i32 %inc, i32* @count, align 4 |
| 23 | br label %for.inc |
| 24 | |
| 25 | for.inc: ; preds = %for.body |
David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 26 | %2 = load i32, i32* %i, align 4 |
Andrew Kaylor | c4c1ff6 | 2013-08-19 23:52:53 +0000 | [diff] [blame] | 27 | %inc1 = add nsw i32 %2, 1 |
| 28 | store i32 %inc1, i32* %i, align 4 |
| 29 | br label %for.cond |
| 30 | |
| 31 | for.end: ; preds = %for.cond |
David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 32 | %3 = load i32, i32* @count, align 4 |
Andrew Kaylor | c4c1ff6 | 2013-08-19 23:52:53 +0000 | [diff] [blame] | 33 | %sub = sub nsw i32 %3, 50 |
| 34 | ret i32 %sub |
| 35 | } |