test/Transforms/LoopVectorize/X86/mask4.ll

   1 ; RUN: opt < %s  -O3 -mcpu=corei7-avx -S | FileCheck %s -check-prefix=AVX1
   2 ; RUN: opt < %s  -O3 -mcpu=core-avx2 -S | FileCheck %s -check-prefix=AVX2
   3 ; RUN: opt < %s  -O3 -mcpu=knl -S | FileCheck %s -check-prefix=AVX512
   4
   5 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   6 target triple = "x86_64-pc_linux"
   7
   8 ; The source code:
   9 ;
  10 ;void foo(double *A, double *B, int *trigger) {
  11 ;
  12 ;  for (int i=0; i<10000; i++) {
  13 ;    if (trigger[i] < 100) {
  14 ;          A[i] = B[i*2] + trigger[i]; << non-cosecutive access
  15 ;    }
  16 ;  }
  17 ;}
  18
  19
  20 ;AVX2-NOT: llvm.masked
  21 ;AVX512-NOT: llvm.masked
  22 ;AVX1-NOT: llvm.masked
  23
  24 ; Function Attrs: nounwind uwtable
  25 define void @foo(double* %A, double* %B, i32* %trigger)  {
  26 entry:
  27   %A.addr = alloca double*, align 8
  28   %B.addr = alloca double*, align 8
  29   %trigger.addr = alloca i32*, align 8
  30   %i = alloca i32, align 4
  31   store double* %A, double** %A.addr, align 8
  32   store double* %B, double** %B.addr, align 8
  33   store i32* %trigger, i32** %trigger.addr, align 8
  34   store i32 0, i32* %i, align 4
  35   br label %for.cond
  36
  37 for.cond:                                         ; preds = %for.inc, %entry
  38   %0 = load i32* %i, align 4
  39   %cmp = icmp slt i32 %0, 10000
  40   br i1 %cmp, label %for.body, label %for.end
  41
  42 for.body:                                         ; preds = %for.cond
  43   %1 = load i32* %i, align 4
  44   %idxprom = sext i32 %1 to i64
  45   %2 = load i32** %trigger.addr, align 8
  46   %arrayidx = getelementptr inbounds i32* %2, i64 %idxprom
  47   %3 = load i32* %arrayidx, align 4
  48   %cmp1 = icmp slt i32 %3, 100
  49   br i1 %cmp1, label %if.then, label %if.end
  50
  51 if.then:                                          ; preds = %for.body
  52   %4 = load i32* %i, align 4
  53   %mul = mul nsw i32 %4, 2
  54   %idxprom2 = sext i32 %mul to i64
  55   %5 = load double** %B.addr, align 8
  56   %arrayidx3 = getelementptr inbounds double* %5, i64 %idxprom2
  57   %6 = load double* %arrayidx3, align 8
  58   %7 = load i32* %i, align 4
  59   %idxprom4 = sext i32 %7 to i64
  60   %8 = load i32** %trigger.addr, align 8
  61   %arrayidx5 = getelementptr inbounds i32* %8, i64 %idxprom4
  62   %9 = load i32* %arrayidx5, align 4
  63   %conv = sitofp i32 %9 to double
  64   %add = fadd double %6, %conv
  65   %10 = load i32* %i, align 4
  66   %idxprom6 = sext i32 %10 to i64
  67   %11 = load double** %A.addr, align 8
  68   %arrayidx7 = getelementptr inbounds double* %11, i64 %idxprom6
  69   store double %add, double* %arrayidx7, align 8
  70   br label %if.end
  71
  72 if.end:                                           ; preds = %if.then, %for.body
  73   br label %for.inc
  74
  75 for.inc:                                          ; preds = %if.end
  76   %12 = load i32* %i, align 4
  77   %inc = add nsw i32 %12, 1
  78   store i32 %inc, i32* %i, align 4
  79   br label %for.cond
  80
  81 for.end:                                          ; preds = %for.cond
  82   ret void
  83 }