test/Transforms/MemCpyOpt/atomic.ll

   1 ; RUN: opt -basicaa -memcpyopt -S < %s | FileCheck %s
   2
   3 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"
   4 target triple = "x86_64-apple-macosx10.7.0"
   5
   6 @x = global i32 0
   7
   8 declare void @otherf(i32*)
   9
  10 declare void @llvm.memset.p0i8.i64(i8* nocapture, i8, i64, i1) nounwind
  11
  12 ; memcpyopt should not touch atomic ops
  13 define void @test1() nounwind uwtable ssp {
  14 ; CHECK: test1
  15 ; CHECK: store atomic
  16   %x = alloca [101 x i32], align 16
  17   %bc = bitcast [101 x i32]* %x to i8*
  18   call void @llvm.memset.p0i8.i64(i8* %bc, i8 0, i64 400, i1 false)
  19   %gep1 = getelementptr inbounds [101 x i32], [101 x i32]* %x, i32 0, i32 100
  20   store atomic i32 0, i32* %gep1 unordered, align 4
  21   %gep2 = getelementptr inbounds [101 x i32], [101 x i32]* %x, i32 0, i32 0
  22   call void @otherf(i32* %gep2)
  23   ret void
  24 }
  25
  26 ; memcpyopt across unordered store
  27 define void @test2() nounwind uwtable ssp {
  28 ; CHECK: test2
  29 ; CHECK: call
  30 ; CHECK-NEXT: store atomic
  31 ; CHECK-NEXT: call
  32   %old = alloca i32
  33   %new = alloca i32
  34   call void @otherf(i32* nocapture %old)
  35   store atomic i32 0, i32* @x unordered, align 4
  36   %v = load i32, i32* %old
  37   store i32 %v, i32* %new
  38   call void @otherf(i32* nocapture %new)
  39   ret void
  40 }
  41