[llvm-commits] CVS: llvm/test/Regression/Analysis/DSGraph/strcpy.ll
Chris Lattner
lattner at cs.uiuc.edu
Fri Feb 20 17:06:04 PST 2004
Changes in directory llvm/test/Regression/Analysis/DSGraph:
strcpy.ll added (r1.1)
---
Log message:
new testcase
---
Diffs of the changes: (+34 -0)
Index: llvm/test/Regression/Analysis/DSGraph/strcpy.ll
diff -c /dev/null llvm/test/Regression/Analysis/DSGraph/strcpy.ll:1.1
*** /dev/null Fri Feb 20 17:05:53 2004
--- llvm/test/Regression/Analysis/DSGraph/strcpy.ll Fri Feb 20 17:05:43 2004
***************
*** 0 ****
--- 1,34 ----
+ ; 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
+ }
More information about the llvm-commits
mailing list