llvm/test/Transforms/MemCpyOpt/memcpy-byval-forwarding-clobbers.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -passes=memcpyopt -S %s | FileCheck %s
   3
   4 declare void @init(i64* nocapture sret(i64) align 8)
   5
   6 declare i1 @check(i64* readonly byval(i64) align 8) readonly argmemonly
   7
   8 declare void @clobber(i8*) argmemonly
   9
  10 declare void @llvm.lifetime.start.p0i8(i64 immarg, i8* nocapture)
  11 declare void @llvm.lifetime.end.p0i8(i64 immarg, i8* nocapture)
  12 declare void @llvm.memcpy.p0i8.p0i8.i64(i8* noalias nocapture writeonly, i8* noalias nocapture readonly, i64, i1 immarg)
  13
  14 ; %a.2's lifetime ends before the call to @check. Cannot replace
  15 ; %a.1 with %a.2 in the call to @check.
  16 define i1 @alloca_forwarding_lifetime_end_clobber() {
  17 ; CHECK-LABEL: @alloca_forwarding_lifetime_end_clobber(
  18 ; CHECK-NEXT:  entry:
  19 ; CHECK-NEXT:    [[A_1:%.*]] = alloca i64, align 8
  20 ; CHECK-NEXT:    [[A_2:%.*]] = alloca i64, align 8
  21 ; CHECK-NEXT:    [[BC_A_1:%.*]] = bitcast i64* [[A_1]] to i8*
  22 ; CHECK-NEXT:    [[BC_A_2:%.*]] = bitcast i64* [[A_2]] to i8*
  23 ; CHECK-NEXT:    call void @llvm.lifetime.start.p0i8(i64 8, i8* [[BC_A_2]])
  24 ; CHECK-NEXT:    call void @init(i64* sret(i64) align 8 [[A_2]])
  25 ; CHECK-NEXT:    store i8 0, i8* [[BC_A_2]], align 1
  26 ; CHECK-NEXT:    call void @llvm.memcpy.p0i8.p0i8.i64(i8* [[BC_A_1]], i8* [[BC_A_2]], i64 8, i1 false)
  27 ; CHECK-NEXT:    call void @llvm.lifetime.end.p0i8(i64 8, i8* [[BC_A_2]])
  28 ; CHECK-NEXT:    [[CALL:%.*]] = call i1 @check(i64* byval(i64) align 8 [[A_1]])
  29 ; CHECK-NEXT:    ret i1 [[CALL]]
  30 ;
  31 entry:
  32   %a.1 = alloca i64, align 8
  33   %a.2 = alloca i64, align 8
  34   %bc.a.1 = bitcast i64* %a.1 to i8*
  35   %bc.a.2 = bitcast i64* %a.2 to i8*
  36   call void @llvm.lifetime.start.p0i8(i64 8, i8* %bc.a.2)
  37   call void @init(i64* sret(i64) align 8 %a.2)
  38   store i8 0, i8* %bc.a.2
  39   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %bc.a.1, i8* %bc.a.2, i64 8, i1 false)
  40   call void @llvm.lifetime.end.p0i8(i64 8, i8* %bc.a.2)
  41   ;call void @clobber(i8* %bc.a.2)
  42   %call = call i1 @check(i64* byval(i64) align 8 %a.1)
  43   ret i1 %call
  44 }
  45
  46 ; There is a call clobbering %a.2 before the call to @check. Cannot replace
  47 ; %a.1 with %a.2 in the call to @check.
  48 define i1 @alloca_forwarding_call_clobber() {
  49 ; CHECK-LABEL: @alloca_forwarding_call_clobber(
  50 ; CHECK-NEXT:  entry:
  51 ; CHECK-NEXT:    [[A_1:%.*]] = alloca i64, align 8
  52 ; CHECK-NEXT:    [[A_2:%.*]] = alloca i64, align 8
  53 ; CHECK-NEXT:    [[BC_A_1:%.*]] = bitcast i64* [[A_1]] to i8*
  54 ; CHECK-NEXT:    [[BC_A_2:%.*]] = bitcast i64* [[A_2]] to i8*
  55 ; CHECK-NEXT:    call void @llvm.lifetime.start.p0i8(i64 8, i8* [[BC_A_2]])
  56 ; CHECK-NEXT:    call void @init(i64* sret(i64) align 8 [[A_2]])
  57 ; CHECK-NEXT:    store i8 0, i8* [[BC_A_2]], align 1
  58 ; CHECK-NEXT:    call void @llvm.memcpy.p0i8.p0i8.i64(i8* [[BC_A_1]], i8* [[BC_A_2]], i64 8, i1 false)
  59 ; CHECK-NEXT:    call void @clobber(i8* [[BC_A_2]])
  60 ; CHECK-NEXT:    [[CALL:%.*]] = call i1 @check(i64* byval(i64) align 8 [[A_1]])
  61 ; CHECK-NEXT:    ret i1 [[CALL]]
  62 ;
  63 entry:
  64   %a.1 = alloca i64, align 8
  65   %a.2 = alloca i64, align 8
  66   %bc.a.1 = bitcast i64* %a.1 to i8*
  67   %bc.a.2 = bitcast i64* %a.2 to i8*
  68   call void @llvm.lifetime.start.p0i8(i64 8, i8* %bc.a.2)
  69   call void @init(i64* sret(i64) align 8 %a.2)
  70   store i8 0, i8* %bc.a.2
  71   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %bc.a.1, i8* %bc.a.2, i64 8, i1 false)
  72   call void @clobber(i8* %bc.a.2)
  73   %call = call i1 @check(i64* byval(i64) align 8 %a.1)
  74   ret i1 %call
  75 }
  76
  77 define i1 @alloca_forwarding_call_clobber_after() {
  78 ; CHECK-LABEL: @alloca_forwarding_call_clobber_after(
  79 ; CHECK-NEXT:  entry:
  80 ; CHECK-NEXT:    [[A_1:%.*]] = alloca i64, align 8
  81 ; CHECK-NEXT:    [[A_2:%.*]] = alloca i64, align 8
  82 ; CHECK-NEXT:    [[BC_A_1:%.*]] = bitcast i64* [[A_1]] to i8*
  83 ; CHECK-NEXT:    [[BC_A_2:%.*]] = bitcast i64* [[A_2]] to i8*
  84 ; CHECK-NEXT:    call void @llvm.lifetime.start.p0i8(i64 8, i8* [[BC_A_2]])
  85 ; CHECK-NEXT:    call void @init(i64* sret(i64) align 8 [[A_2]])
  86 ; CHECK-NEXT:    store i8 0, i8* [[BC_A_2]], align 1
  87 ; CHECK-NEXT:    call void @llvm.memcpy.p0i8.p0i8.i64(i8* [[BC_A_1]], i8* [[BC_A_2]], i64 8, i1 false)
  88 ; CHECK-NEXT:    [[CALL:%.*]] = call i1 @check(i64* byval(i64) align 8 [[A_2]])
  89 ; CHECK-NEXT:    call void @clobber(i8* [[BC_A_2]])
  90 ; CHECK-NEXT:    ret i1 [[CALL]]
  91 ;
  92 entry:
  93   %a.1 = alloca i64, align 8
  94   %a.2 = alloca i64, align 8
  95   %bc.a.1 = bitcast i64* %a.1 to i8*
  96   %bc.a.2 = bitcast i64* %a.2 to i8*
  97   call void @llvm.lifetime.start.p0i8(i64 8, i8* %bc.a.2)
  98   call void @init(i64* sret(i64) align 8 %a.2)
  99   store i8 0, i8* %bc.a.2
 100   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %bc.a.1, i8* %bc.a.2, i64 8, i1 false)
 101   %call = call i1 @check(i64* byval(i64) align 8 %a.1)
 102   call void @clobber(i8* %bc.a.2)
 103   ret i1 %call
 104 }
 105
 106 define i1 @alloca_forwarding_unrelated_call_noclobber() {
 107 ; CHECK-LABEL: @alloca_forwarding_unrelated_call_noclobber(
 108 ; CHECK-NEXT:  entry:
 109 ; CHECK-NEXT:    [[A_1:%.*]] = alloca i64, align 8
 110 ; CHECK-NEXT:    [[A_2:%.*]] = alloca i64, align 8
 111 ; CHECK-NEXT:    [[A_3:%.*]] = alloca i64, align 8
 112 ; CHECK-NEXT:    [[BC_A_1:%.*]] = bitcast i64* [[A_1]] to i8*
 113 ; CHECK-NEXT:    [[BC_A_2:%.*]] = bitcast i64* [[A_2]] to i8*
 114 ; CHECK-NEXT:    call void @llvm.lifetime.start.p0i8(i64 8, i8* [[BC_A_2]])
 115 ; CHECK-NEXT:    call void @init(i64* sret(i64) align 8 [[A_2]])
 116 ; CHECK-NEXT:    store i8 0, i8* [[BC_A_2]], align 1
 117 ; CHECK-NEXT:    call void @llvm.memcpy.p0i8.p0i8.i64(i8* [[BC_A_1]], i8* [[BC_A_2]], i64 8, i1 false)
 118 ; CHECK-NEXT:    [[BC_A_3:%.*]] = bitcast i64* [[A_3]] to i8*
 119 ; CHECK-NEXT:    call void @clobber(i8* [[BC_A_3]])
 120 ; CHECK-NEXT:    [[CALL:%.*]] = call i1 @check(i64* byval(i64) align 8 [[A_2]])
 121 ; CHECK-NEXT:    ret i1 [[CALL]]
 122 ;
 123 entry:
 124   %a.1 = alloca i64, align 8
 125   %a.2 = alloca i64, align 8
 126   %a.3 = alloca i64, align 8
 127   %bc.a.1 = bitcast i64* %a.1 to i8*
 128   %bc.a.2 = bitcast i64* %a.2 to i8*
 129   call void @llvm.lifetime.start.p0i8(i64 8, i8* %bc.a.2)
 130   call void @init(i64* sret(i64) align 8 %a.2)
 131   store i8 0, i8* %bc.a.2
 132   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %bc.a.1, i8* %bc.a.2, i64 8, i1 false)
 133   %bc.a.3 = bitcast i64* %a.3 to i8*
 134   call void @clobber(i8* %bc.a.3)
 135   %call = call i1 @check(i64* byval(i64) align 8 %a.1)
 136   ret i1 %call
 137 }
 138