llvm/test/Transforms/MemCpyOpt/capturing-func.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -basic-aa -memcpyopt -S -verify-memoryssa | FileCheck %s
   3
   4 target datalayout = "e"
   5
   6 declare void @foo(i8*)
   7 declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture, i32, i1) nounwind
   8
   9 define void @test() {
  10 ; CHECK-LABEL: @test(
  11 ; CHECK-NEXT:    [[PTR1:%.*]] = alloca i8, align 1
  12 ; CHECK-NEXT:    [[PTR2:%.*]] = alloca i8, align 1
  13 ; CHECK-NEXT:    call void @foo(i8* [[PTR2]])
  14 ; CHECK-NEXT:    call void @llvm.memcpy.p0i8.p0i8.i32(i8* [[PTR1]], i8* [[PTR2]], i32 1, i1 false)
  15 ; CHECK-NEXT:    call void @foo(i8* [[PTR1]])
  16 ; CHECK-NEXT:    ret void
  17 ;
  18   %ptr1 = alloca i8
  19   %ptr2 = alloca i8
  20   call void @foo(i8* %ptr2)
  21   call void @llvm.memcpy.p0i8.p0i8.i32(i8* %ptr1, i8* %ptr2, i32 1, i1 false)
  22   call void @foo(i8* %ptr1)
  23   ret void
  24
  25   ; Check that the transformation isn't applied if the called function can
  26   ; capture the pointer argument (i.e. the nocapture attribute isn't present)
  27 }