1 ; RUN: opt %loadPolly %defaultOpts -polly-codegen -enable-polly-vector -dce -S %s | FileCheck %s
2 ; Obtained from C source as:
3 ; clang -S -emit-llvm -O0 pr47139.c
4 ; opt -correlated-propagation -mem2reg -instcombine -loop-simplify -indvars -instnamer pr47139.s > pr47139.ll
6 ; ModuleID = 'pr47139.s'
7 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"
8 target triple = "x86_64-unknown-linux-gnu"
10 @d = common global i32 0, align 4
12 define void @foo() nounwind uwtable {
16 for.cond: ; preds = %for.inc, %entry
17 %indvar = phi i8 [ %indvar.next, %for.inc ], [ 0, %entry ]
18 %a.0 = phi i32 [ 0, %entry ], [ %or, %for.inc ]
19 %b.0 = add i8 %indvar, 1
20 %exitcond = icmp eq i8 %indvar, -1
21 br i1 %exitcond, label %for.end, label %for.body
23 for.body: ; preds = %for.cond
24 store i32 %a.0, i32* @d, align 4
27 for.inc: ; preds = %for.body
28 %conv = zext i8 %b.0 to i32
29 %or = or i32 %a.0, %conv
30 %indvar.next = add i8 %indvar, 1
33 for.end: ; preds = %for.cond