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