not really XFailing these, as only incompleteness is wrong in the graph
authorAndrew Lenharth <andrewl@lenharth.org>
Wed, 28 Jun 2006 20:14:30 +0000 (20:14 +0000)
committerAndrew Lenharth <andrewl@lenharth.org>
Wed, 28 Jun 2006 20:14:30 +0000 (20:14 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@28967 91177308-0d34-0410-b5e6-96231b3b80d8

test/Analysis/DSGraph/GlobalsGraphFuncPtr.ll
test/Analysis/DSGraph/constant_globals.ll

index cb974a97e960fbc107281de838a9676db47de92b..99ac4734d4247a89174e592b953f2b5fdde20a19 100644 (file)
@@ -4,7 +4,8 @@
 ; -- latter should remain unresolved in main() and copied to GG
 ; -- globals in GG pointed to by latter should be marked I, but not other nodes
 ;
-; RUN: analyze %s -datastructure-gc -dsgc-check-flags=KnownPtr:S,UnknownPtr:SI -dsgc-dspass=bu
+; FIXME: KnownPtr should be just S.
+; RUN: analyze %s -datastructure-gc -dsgc-check-flags=KnownPtr:SI,UnknownPtr:SI -dsgc-dspass=bu
 
 %Z = internal global int 0
 %X = internal global int 0
index 82cfb968325b162a8fa092156580a8acf9187b3c..f42aec91e5d21692d147d4c7a6726f18ce9e9edb 100644 (file)
@@ -1,4 +1,5 @@
-; RUN: analyze %s -datastructure-gc -dsgc-dspass=bu -dsgc-check-flags=A:SM
+; FIXME: A should just be SM
+; RUN: analyze %s -datastructure-gc -dsgc-dspass=bu -dsgc-check-flags=A:SIM
 ; Constant globals should not mark stuff incomplete.  This should allow the 
 ; bu pass to resolve the indirect call immediately in "test", allowing %A to
 ; be marked complete and the store to happen.