Chandler Carruth | 099f5cb0 | 2012-11-02 08:33:25 +0000 | [diff] [blame] | 1 | ; RUN: opt -loop-idiom < %s -S | FileCheck %s |
Chad Rosier | b451115 | 2011-07-15 19:06:58 +0000 | [diff] [blame] | 2 | target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" |
| 3 | target triple = "x86_64-apple-darwin10.0.0" |
| 4 | |
Stephen Lin | c1c7a13 | 2013-07-14 01:42:54 +0000 | [diff] [blame] | 5 | ; CHECK-LABEL: @memset( |
Chad Rosier | c1e40f8 | 2011-07-15 20:58:38 +0000 | [diff] [blame] | 6 | ; CHECK-NOT: llvm.memset |
Chad Rosier | b451115 | 2011-07-15 19:06:58 +0000 | [diff] [blame] | 7 | define i8* @memset(i8* %b, i32 %c, i64 %len) nounwind uwtable ssp { |
| 8 | entry: |
Chad Rosier | c1e40f8 | 2011-07-15 20:58:38 +0000 | [diff] [blame] | 9 | %cmp1 = icmp ult i64 0, %len |
| 10 | br i1 %cmp1, label %for.body.lr.ph, label %for.end |
Chad Rosier | b451115 | 2011-07-15 19:06:58 +0000 | [diff] [blame] | 11 | |
Chad Rosier | c1e40f8 | 2011-07-15 20:58:38 +0000 | [diff] [blame] | 12 | for.body.lr.ph: ; preds = %entry |
| 13 | %conv6 = trunc i32 %c to i8 |
| 14 | br label %for.body |
Chad Rosier | b451115 | 2011-07-15 19:06:58 +0000 | [diff] [blame] | 15 | |
Chad Rosier | c1e40f8 | 2011-07-15 20:58:38 +0000 | [diff] [blame] | 16 | for.body: ; preds = %for.body.lr.ph, %for.body |
| 17 | %indvar = phi i64 [ 0, %for.body.lr.ph ], [ %indvar.next, %for.body ] |
David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 18 | %p.02 = getelementptr i8, i8* %b, i64 %indvar |
Chad Rosier | c1e40f8 | 2011-07-15 20:58:38 +0000 | [diff] [blame] | 19 | store i8 %conv6, i8* %p.02, align 1 |
| 20 | %indvar.next = add i64 %indvar, 1 |
| 21 | %exitcond = icmp ne i64 %indvar.next, %len |
| 22 | br i1 %exitcond, label %for.body, label %for.cond.for.end_crit_edge |
Chad Rosier | b451115 | 2011-07-15 19:06:58 +0000 | [diff] [blame] | 23 | |
Chad Rosier | c1e40f8 | 2011-07-15 20:58:38 +0000 | [diff] [blame] | 24 | for.cond.for.end_crit_edge: ; preds = %for.body |
| 25 | br label %for.end |
Chad Rosier | b451115 | 2011-07-15 19:06:58 +0000 | [diff] [blame] | 26 | |
Chad Rosier | c1e40f8 | 2011-07-15 20:58:38 +0000 | [diff] [blame] | 27 | for.end: ; preds = %for.cond.for.end_crit_edge, %entry |
| 28 | ret i8* %b |
Chad Rosier | b451115 | 2011-07-15 19:06:58 +0000 | [diff] [blame] | 29 | } |
Chad Rosier | c1e40f8 | 2011-07-15 20:58:38 +0000 | [diff] [blame] | 30 | |