test/Analysis/DSGraph/strcpy.ll

   1 ; We know that strcpy cannot be used to copy pointer values, because
   2 ; pointers might contain null bytes and would stop the copy.  The code
   3 ; has no defined way to check for this, so DSA can know that strcpy doesn't
   4 ; require merging the input arguments.
   5
   6 ; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc --dsgc-abort-if-merged=A,B --dsgc-check-flags=A:ASM,B:ASR --dsgc-dspass=bu
   7
   8 implementation
   9
  10 internal void %strcpy(sbyte* %s1, sbyte* %s2) {
  11 entry:
  12         br label %loopentry
  13
  14 loopentry:              ; preds = %entry, %loopentry
  15         %cann-indvar = phi uint [ 0, %entry ], [ %next-indvar, %loopentry ]             ; <uint> [#uses=2]
  16         %cann-indvar1 = cast uint %cann-indvar to long          ; <long> [#uses=2]
  17         %s1_addr.0 = getelementptr sbyte* %s1, long %cann-indvar1               ; <sbyte*> [#uses=1]
  18         %s2_addr.0 = getelementptr sbyte* %s2, long %cann-indvar1               ; <sbyte*> [#uses=1]
  19         %next-indvar = add uint %cann-indvar, 1         ; <uint> [#uses=1]
  20         %tmp.3 = load sbyte* %s2_addr.0         ; <sbyte> [#uses=2]
  21         store sbyte %tmp.3, sbyte* %s1_addr.0
  22         %tmp.4 = setne sbyte %tmp.3, 0          ; <bool> [#uses=1]
  23         br bool %tmp.4, label %loopentry, label %loopexit
  24
  25 loopexit:               ; preds = %loopentry
  26         ret void
  27 }
  28
  29 int %main() {
  30         %A = alloca sbyte
  31         %B = alloca sbyte
  32         call void %strcpy(sbyte* %A, sbyte* %B)
  33         ret int 0
  34 }