forked from OSchip/llvm-project
35 lines
1.4 KiB
LLVM
35 lines
1.4 KiB
LLVM
; We know that strcpy cannot be used to copy pointer values, because
|
|
; pointers might contain null bytes and would stop the copy. The code
|
|
; has no defined way to check for this, so DSA can know that strcpy doesn't
|
|
; require merging the input arguments.
|
|
|
|
; RUN: analyze %s -datastructure-gc --dsgc-abort-if-merged=A,B --dsgc-check-flags=A:SM,B:SR --dsgc-dspass=bu
|
|
|
|
implementation
|
|
|
|
internal void %strcpy(sbyte* %s1, sbyte* %s2) {
|
|
entry:
|
|
br label %loopentry
|
|
|
|
loopentry: ; preds = %entry, %loopentry
|
|
%cann-indvar = phi uint [ 0, %entry ], [ %next-indvar, %loopentry ] ; <uint> [#uses=2]
|
|
%cann-indvar1 = cast uint %cann-indvar to long ; <long> [#uses=2]
|
|
%s1_addr.0 = getelementptr sbyte* %s1, long %cann-indvar1 ; <sbyte*> [#uses=1]
|
|
%s2_addr.0 = getelementptr sbyte* %s2, long %cann-indvar1 ; <sbyte*> [#uses=1]
|
|
%next-indvar = add uint %cann-indvar, 1 ; <uint> [#uses=1]
|
|
%tmp.3 = load sbyte* %s2_addr.0 ; <sbyte> [#uses=2]
|
|
store sbyte %tmp.3, sbyte* %s1_addr.0
|
|
%tmp.4 = setne sbyte %tmp.3, 0 ; <bool> [#uses=1]
|
|
br bool %tmp.4, label %loopentry, label %loopexit
|
|
|
|
loopexit: ; preds = %loopentry
|
|
ret void
|
|
}
|
|
|
|
int %main() {
|
|
%A = alloca sbyte
|
|
%B = alloca sbyte
|
|
call void %strcpy(sbyte* %A, sbyte* %B)
|
|
ret int 0
|
|
}
|