test/Transforms/SLPVectorizer/X86/atomics.ll

   1 ; RUN: opt < %s -basicaa -slp-vectorizer -S |FileCheck %s
   2 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
   3
   4 @x = global [4 x i32] zeroinitializer, align 16
   5 @a = global [4 x i32] zeroinitializer, align 16
   6
   7 ; The SLPVectorizer should not vectorize atomic stores and it should not
   8 ; schedule regular stores around atomic stores.
   9
  10 ; CHECK-LABEL: test
  11 ; CHECK: store i32
  12 ; CHECK: store atomic i32
  13 ; CHECK: store i32
  14 ; CHECK: store atomic i32
  15 ; CHECK: store i32
  16 ; CHECK: store atomic i32
  17 ; CHECK: store i32
  18 ; CHECK: store atomic i32
  19 define void @test() {
  20 entry:
  21   store i32 0, i32* getelementptr inbounds ([4 x i32]* @a, i64 0, i64 0), align 16
  22   store atomic i32 0, i32* getelementptr inbounds ([4 x i32]* @x, i64 0, i64 0) release, align 16
  23   store i32 0, i32* getelementptr inbounds ([4 x i32]* @a, i64 0, i64 1), align 4
  24   store atomic i32 1, i32* getelementptr inbounds ([4 x i32]* @x, i64 0, i64 1) release, align 4
  25   store i32 0, i32* getelementptr inbounds ([4 x i32]* @a, i64 0, i64 2), align 8
  26   store atomic i32 2, i32* getelementptr inbounds ([4 x i32]* @x, i64 0, i64 2) release, align 8
  27   store i32 0, i32* getelementptr inbounds ([4 x i32]* @a, i64 0, i64 3), align 4
  28   store atomic i32 3, i32* getelementptr inbounds ([4 x i32]* @x, i64 0, i64 3) release, align 4
  29   ret void
  30 }
  31