vect-15.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 vect-15.c
   4 ; opt -correlated-propagation -mem2reg -instcombine -loop-simplify -indvars -instnamer vect-15.s > vect-15.ll
   5 ;
   6 ; ModuleID = 'vect-15.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 @main1.b = internal unnamed_addr constant [16 x i32] [i32 0, 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
  11
  12 define i32 @main1() nounwind uwtable noinline {
  13 entry:
  14   %a = alloca [16 x i32], align 16
  15   %b = alloca [16 x i32], align 16
  16   %tmp = bitcast [16 x i32]* %b to i8*
  17   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %tmp, i8* bitcast ([16 x i32]* @main1.b to i8*), i64 64, i32 16, i1 false)
  18   br label %for.cond
  19
  20 for.cond:                                         ; preds = %for.inc, %entry
  21   %indvar5 = phi i64 [ %indvar.next6, %for.inc ], [ 0, %entry ]
  22   %tmp7 = mul i64 %indvar5, -1
  23   %tmp8 = add i64 %tmp7, 15
  24   %arrayidx = getelementptr [16 x i32]* %b, i64 0, i64 %tmp8
  25   %arrayidx7 = getelementptr [16 x i32]* %a, i64 0, i64 %indvar5
  26   %exitcond = icmp ne i64 %indvar5, 16
  27   br i1 %exitcond, label %for.body, label %for.end
  28
  29 for.body:                                         ; preds = %for.cond
  30   %tmp3 = load i32* %arrayidx, align 4
  31   store i32 %tmp3, i32* %arrayidx7, align 4
  32   br label %for.inc
  33
  34 for.inc:                                          ; preds = %for.body
  35   %indvar.next6 = add i64 %indvar5, 1
  36   br label %for.cond
  37
  38 for.end:                                          ; preds = %for.cond
  39   br label %for.cond9
  40
  41 for.cond9:                                        ; preds = %for.inc23, %for.end
  42   %indvar = phi i64 [ %indvar.next, %for.inc23 ], [ 0, %for.end ]
  43   %tmp1 = mul i64 %indvar, -1
  44   %tmp2 = add i64 %tmp1, 15
  45   %arrayidx20 = getelementptr [16 x i32]* %b, i64 0, i64 %tmp2
  46   %arrayidx15 = getelementptr [16 x i32]* %a, i64 0, i64 %indvar
  47   %i.1 = trunc i64 %indvar to i32
  48   %cmp11 = icmp slt i32 %i.1, 16
  49   br i1 %cmp11, label %for.body12, label %for.end25
  50
  51 for.body12:                                       ; preds = %for.cond9
  52   %tmp16 = load i32* %arrayidx15, align 4
  53   %tmp21 = load i32* %arrayidx20, align 4
  54   %cmp22 = icmp eq i32 %tmp16, %tmp21
  55   br i1 %cmp22, label %if.end, label %if.then
  56
  57 if.then:                                          ; preds = %for.body12
  58   call void @abort() noreturn nounwind
  59   unreachable
  60
  61 if.end:                                           ; preds = %for.body12
  62   br label %for.inc23
  63
  64 for.inc23:                                        ; preds = %if.end
  65   %indvar.next = add i64 %indvar, 1
  66   br label %for.cond9
  67
  68 for.end25:                                        ; preds = %for.cond9
  69   ret i32 0
  70 }
  71
  72 declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i32, i1) nounwind
  73
  74 declare void @abort() noreturn
  75
  76 define i32 @main() nounwind uwtable {
  77 entry:
  78   call void @check_vect()
  79   %call = call i32 @main1()
  80   ret i32 %call
  81 }
  82
  83 define internal void @check_vect() nounwind uwtable noinline {
  84 entry:
  85   %a = alloca i32, align 4
  86   %b = alloca i32, align 4
  87   %c = alloca i32, align 4
  88   %d = alloca i32, align 4
  89   %call = call void (i32)* (i32, void (i32)*)* @signal(i32 4, void (i32)* @sig_ill_handler) nounwind
  90   %call1 = call i32 @__get_cpuid(i32 1, i32* %a, i32* %b, i32* %c, i32* %d)
  91   %tobool = icmp eq i32 %call1, 0
  92   br i1 %tobool, label %if.then, label %lor.lhs.false
  93
  94 lor.lhs.false:                                    ; preds = %entry
  95   %tmp4 = load i32* %d, align 4
  96   %and6 = and i32 %tmp4, 67108864
  97   %cmp = icmp eq i32 %and6, 0
  98   br i1 %cmp, label %if.then, label %if.end
  99
 100 if.then:                                          ; preds = %entry, %lor.lhs.false
 101   call void @exit(i32 0) noreturn nounwind
 102   unreachable
 103
 104 if.end:                                           ; preds = %lor.lhs.false
 105   %call7 = call void (i32)* (i32, void (i32)*)* @signal(i32 4, void (i32)* null) nounwind
 106   ret void
 107 }
 108
 109 declare void (i32)* @signal(i32, void (i32)*) nounwind
 110
 111 define internal void @sig_ill_handler(i32 %sig) nounwind uwtable {
 112 entry:
 113   call void @exit(i32 0) noreturn nounwind
 114   unreachable
 115
 116 return:                                           ; No predecessors!
 117   ret void
 118 }
 119
 120 define internal i32 @__get_cpuid(i32 %__level, i32* %__eax, i32* %__ebx, i32* %__ecx, i32* %__edx) nounwind uwtable inlinehint {
 121 entry:
 122   %and = and i32 %__level, -2147483648
 123   %call = call i32 @__get_cpuid_max(i32 %and, i32* null)
 124   %cmp = icmp ult i32 %call, %__level
 125   br i1 %cmp, label %if.then, label %if.end
 126
 127 if.then:                                          ; preds = %entry
 128   br label %return
 129
 130 if.end:                                           ; preds = %entry
 131   %tmp = call { i32, i32, i32, i32 } asm "cpuid\0A\09", "={ax},={bx},={cx},={dx},0,~{dirflag},~{fpsr},~{flags}"(i32 %__level) nounwind, !srcloc !0
 132   %asmresult = extractvalue { i32, i32, i32, i32 } %tmp, 0
 133   %asmresult8 = extractvalue { i32, i32, i32, i32 } %tmp, 1
 134   %asmresult9 = extractvalue { i32, i32, i32, i32 } %tmp, 2
 135   %asmresult10 = extractvalue { i32, i32, i32, i32 } %tmp, 3
 136   store i32 %asmresult, i32* %__eax, align 4
 137   store i32 %asmresult8, i32* %__ebx, align 4
 138   store i32 %asmresult9, i32* %__ecx, align 4
 139   store i32 %asmresult10, i32* %__edx, align 4
 140   br label %return
 141
 142 return:                                           ; preds = %if.end, %if.then
 143   %retval.0 = phi i32 [ 0, %if.then ], [ 1, %if.end ]
 144   ret i32 %retval.0
 145 }
 146
 147 declare void @exit(i32) noreturn
 148
 149 define internal i32 @__get_cpuid_max(i32 %__ext, i32* %__sig) nounwind uwtable inlinehint {
 150 entry:
 151   %tmp = call { i32, i32, i32, i32 } asm "cpuid\0A\09", "={ax},={bx},={cx},={dx},0,~{dirflag},~{fpsr},~{flags}"(i32 %__ext) nounwind, !srcloc !1
 152   %asmresult = extractvalue { i32, i32, i32, i32 } %tmp, 0
 153   %tobool = icmp eq i32* %__sig, null
 154   br i1 %tobool, label %if.end, label %if.then
 155
 156 if.then:                                          ; preds = %entry
 157   %asmresult1 = extractvalue { i32, i32, i32, i32 } %tmp, 1
 158   store i32 %asmresult1, i32* %__sig, align 4
 159   br label %if.end
 160
 161 if.end:                                           ; preds = %entry, %if.then
 162   ret i32 %asmresult
 163 }
 164
 165 !0 = metadata !{i32 -2147343613, i32 -2147343605}
 166 !1 = metadata !{i32 -2147343736, i32 -2147343728}
 167 ; CHECK: define