pr31343.ll

   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 pr31343.c
   4 ; opt -correlated-propagation -mem2reg -instcombine -loop-simplify -indvars -instnamer pr31343.s > pr31343.ll
   5 ;
   6 ; ModuleID = 'pr31343.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"
   9
  10 %struct.anon = type { i32, i32 }
  11
  12 @main1.ub = internal unnamed_addr constant [16 x i32] [i32 1, i32 3, i32 6, i32 9, i32 12, i32 15, i32 18, i32 21, i32 24, i32 27, i32 30, i32 33, i32 36, i32 39, i32 42, i32 45], align 16
  13 @main1.uc = internal unnamed_addr constant [16 x i32] [i32 1, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15], align 16
  14 @pS = common global [100 x %struct.anon] zeroinitializer, align 16
  15
  16 define void @main1() nounwind uwtable {
  17 entry:
  18   %ub = alloca [16 x i32], align 16
  19   %uc = alloca [16 x i32], align 16
  20   %tmp = bitcast [16 x i32]* %ub to i8*
  21   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %tmp, i8* bitcast ([16 x i32]* @main1.ub to i8*), i64 64, i32 16, i1 false)
  22   %tmp2 = bitcast [16 x i32]* %uc to i8*
  23   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %tmp2, i8* bitcast ([16 x i32]* @main1.uc to i8*), i64 64, i32 16, i1 false)
  24   br label %for.cond
  25
  26 for.cond:                                         ; preds = %for.inc42, %entry
  27   %indvar2 = phi i64 [ %indvar.next3, %for.inc42 ], [ 0, %entry ]
  28   %y = getelementptr [100 x %struct.anon]* @pS, i64 0, i64 %indvar2, i32 1
  29   %scevgep = getelementptr [100 x %struct.anon]* @pS, i64 0, i64 %indvar2
  30   %x = bitcast %struct.anon* %scevgep to i32*
  31   %exitcond4 = icmp ne i64 %indvar2, 16
  32   br i1 %exitcond4, label %for.body, label %for.end45
  33
  34 for.body:                                         ; preds = %for.cond
  35   store i32 0, i32* %x, align 8
  36   store i32 0, i32* %y, align 4
  37   br label %for.cond10
  38
  39 for.cond10:                                       ; preds = %for.inc, %for.body
  40   %indvar = phi i64 [ %indvar.next, %for.inc ], [ 0, %for.body ]
  41   %arrayidx20 = getelementptr [16 x i32]* %uc, i64 0, i64 %indvar
  42   %arrayidx16 = getelementptr [16 x i32]* %ub, i64 0, i64 %indvar
  43   %exitcond = icmp ne i64 %indvar, 16
  44   br i1 %exitcond, label %for.body13, label %for.end
  45
  46 for.body13:                                       ; preds = %for.cond10
  47   %tmp17 = load i32* %arrayidx16, align 4
  48   %tmp21 = load i32* %arrayidx20, align 4
  49   %sub = sub i32 %tmp17, %tmp21
  50   %tmp25 = load i32* %arrayidx16, align 4
  51   %tmp29 = load i32* %arrayidx20, align 4
  52   %sub30 = sub i32 %tmp25, %tmp29
  53   store i32 %sub, i32* %x, align 8
  54   store i32 %sub30, i32* %y, align 4
  55   br label %for.inc
  56
  57 for.inc:                                          ; preds = %for.body13
  58   %indvar.next = add i64 %indvar, 1
  59   br label %for.cond10
  60
  61 for.end:                                          ; preds = %for.cond10
  62   br label %for.inc42
  63
  64 for.inc42:                                        ; preds = %for.end
  65   %indvar.next3 = add i64 %indvar2, 1
  66   br label %for.cond
  67
  68 for.end45:                                        ; preds = %for.cond
  69   ret void
  70 }
  71
  72 declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i32, i1) nounwind
  73 ; CHECK: define