[llvm-commits] [poolalloc] r114692 - in /poolalloc/trunk/test/dsa/td: extern.ll extern2.ll extern3.ll extern_global.ll
Will Dietz
wdietz2 at illinois.edu
Thu Sep 23 13:41:18 PDT 2010
Author: wdietz2
Date: Thu Sep 23 15:41:17 2010
New Revision: 114692
URL: http://llvm.org/viewvc/llvm-project?rev=114692&view=rev
Log:
Update tests to also verify the 'External' flag is set correctly.
Modified:
poolalloc/trunk/test/dsa/td/extern.ll
poolalloc/trunk/test/dsa/td/extern2.ll
poolalloc/trunk/test/dsa/td/extern3.ll
poolalloc/trunk/test/dsa/td/extern_global.ll
Modified: poolalloc/trunk/test/dsa/td/extern.ll
URL: http://llvm.org/viewvc/llvm-project/poolalloc/trunk/test/dsa/td/extern.ll?rev=114692&r1=114691&r2=114692&view=diff
==============================================================================
--- poolalloc/trunk/test/dsa/td/extern.ll (original)
+++ poolalloc/trunk/test/dsa/td/extern.ll Thu Sep 23 15:41:17 2010
@@ -5,29 +5,29 @@
; once the interprocedural passes run.
;--calling a function that calls an undefined (external) function.
; Should be incomplete, tests very basic tracking.
-;RUN: dsaopt %s -dsa-local -analyze -verify-flags "main:ptrExtern+I"
-;RUN: dsaopt %s -dsa-local -analyze -verify-flags "main:ptr+I"
-;RUN: dsaopt %s -dsa-local -analyze -verify-flags "main:ptrViaExtern+I"
-
-;RUN: dsaopt %s -dsa-bu -analyze -verify-flags "main:ptrExtern+I"
-;RUN: dsaopt %s -dsa-bu -analyze -verify-flags "main:ptr-I"
-;RUN: dsaopt %s -dsa-bu -analyze -verify-flags "main:ptrViaExtern+I"
-
-;RUN: dsaopt %s -dsa-td -analyze -verify-flags "main:ptrExtern+I"
-;RUN: dsaopt %s -dsa-td -analyze -verify-flags "main:ptr-I"
-;RUN: dsaopt %s -dsa-td -analyze -verify-flags "main:ptrViaExtern+I"
-
-;RUN: dsaopt %s -dsa-cbu -analyze -verify-flags "main:ptrExtern+I"
-;RUN: dsaopt %s -dsa-cbu -analyze -verify-flags "main:ptr-I"
-;RUN: dsaopt %s -dsa-cbu -analyze -verify-flags "main:ptrViaExtern+I"
-
-;RUN: dsaopt %s -dsa-eq -analyze -verify-flags "main:ptrExtern+I"
-;RUN: dsaopt %s -dsa-eq -analyze -verify-flags "main:ptr-I"
-;RUN: dsaopt %s -dsa-eq -analyze -verify-flags "main:ptrViaExtern+I"
-
-;RUN: dsaopt %s -dsa-eqtd -analyze -verify-flags "main:ptrExtern+I"
-;RUN: dsaopt %s -dsa-eqtd -analyze -verify-flags "main:ptr-I"
-;RUN: dsaopt %s -dsa-eqtd -analyze -verify-flags "main:ptrViaExtern+I"
+;RUN: dsaopt %s -dsa-local -analyze -verify-flags "main:ptrExtern+IE"
+;RUN: dsaopt %s -dsa-local -analyze -verify-flags "main:ptr+I-E"
+;RUN: dsaopt %s -dsa-local -analyze -verify-flags "main:ptrViaExtern+IE"
+
+;RUN: dsaopt %s -dsa-bu -analyze -verify-flags "main:ptrExtern+IE"
+;RUN: dsaopt %s -dsa-bu -analyze -verify-flags "main:ptr-IE"
+;RUN: dsaopt %s -dsa-bu -analyze -verify-flags "main:ptrViaExtern+IE"
+
+;RUN: dsaopt %s -dsa-td -analyze -verify-flags "main:ptrExtern+IE"
+;RUN: dsaopt %s -dsa-td -analyze -verify-flags "main:ptr-IE"
+;RUN: dsaopt %s -dsa-td -analyze -verify-flags "main:ptrViaExtern+IE"
+
+;RUN: dsaopt %s -dsa-cbu -analyze -verify-flags "main:ptrExtern+IE"
+;RUN: dsaopt %s -dsa-cbu -analyze -verify-flags "main:ptr-IE"
+;RUN: dsaopt %s -dsa-cbu -analyze -verify-flags "main:ptrViaExtern+IE"
+
+;RUN: dsaopt %s -dsa-eq -analyze -verify-flags "main:ptrExtern+IE"
+;RUN: dsaopt %s -dsa-eq -analyze -verify-flags "main:ptr-IE"
+;RUN: dsaopt %s -dsa-eq -analyze -verify-flags "main:ptrViaExtern+IE"
+
+;RUN: dsaopt %s -dsa-eqtd -analyze -verify-flags "main:ptrExtern+IE"
+;RUN: dsaopt %s -dsa-eqtd -analyze -verify-flags "main:ptr-IE"
+;RUN: dsaopt %s -dsa-eqtd -analyze -verify-flags "main:ptrViaExtern+IE"
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
target triple = "x86_64-unknown-linux-gnu"
Modified: poolalloc/trunk/test/dsa/td/extern2.ll
URL: http://llvm.org/viewvc/llvm-project/poolalloc/trunk/test/dsa/td/extern2.ll?rev=114692&r1=114691&r2=114692&view=diff
==============================================================================
--- poolalloc/trunk/test/dsa/td/extern2.ll (original)
+++ poolalloc/trunk/test/dsa/td/extern2.ll Thu Sep 23 15:41:17 2010
@@ -1,22 +1,22 @@
;Here we get a pointer from an external function and pass it to a callee.
;We then test that the flags on that pointer are set appropriately.
-;RUN: dsaopt %s -dsa-local -analyze -verify-flags "main:ptr+I"
-;RUN: dsaopt %s -dsa-local -analyze -verify-flags "takesPointer:ptr+I"
+;RUN: dsaopt %s -dsa-local -analyze -verify-flags "main:ptr+IE"
+;RUN: dsaopt %s -dsa-local -analyze -verify-flags "takesPointer:ptr+IE"
-;RUN: dsaopt %s -dsa-bu -analyze -verify-flags "main:ptr+I"
-;RUN: dsaopt %s -dsa-bu -analyze -verify-flags "takesPointer:ptr+I"
+;RUN: dsaopt %s -dsa-bu -analyze -verify-flags "main:ptr+IE"
+;RUN: dsaopt %s -dsa-bu -analyze -verify-flags "takesPointer:ptr+IE"
-;RUN: dsaopt %s -dsa-td -analyze -verify-flags "main:ptr+I"
-;RUN: dsaopt %s -dsa-td -analyze -verify-flags "takesPointer:ptr+I"
+;RUN: dsaopt %s -dsa-td -analyze -verify-flags "main:ptr+IE"
+;RUN: dsaopt %s -dsa-td -analyze -verify-flags "takesPointer:ptr+IE"
-;RUN: dsaopt %s -dsa-cbu -analyze -verify-flags "main:ptr+I"
-;RUN: dsaopt %s -dsa-cbu -analyze -verify-flags "takesPointer:ptr+I"
+;RUN: dsaopt %s -dsa-cbu -analyze -verify-flags "main:ptr+IE"
+;RUN: dsaopt %s -dsa-cbu -analyze -verify-flags "takesPointer:ptr+IE"
-;RUN: dsaopt %s -dsa-eq -analyze -verify-flags "main:ptr+I"
-;RUN: dsaopt %s -dsa-eq -analyze -verify-flags "takesPointer:ptr+I"
+;RUN: dsaopt %s -dsa-eq -analyze -verify-flags "main:ptr+IE"
+;RUN: dsaopt %s -dsa-eq -analyze -verify-flags "takesPointer:ptr+IE"
-;RUN: dsaopt %s -dsa-eqtd -analyze -verify-flags "main:ptr+I"
-;RUN: dsaopt %s -dsa-eqtd -analyze -verify-flags "takesPointer:ptr+I"
+;RUN: dsaopt %s -dsa-eqtd -analyze -verify-flags "main:ptr+IE"
+;RUN: dsaopt %s -dsa-eqtd -analyze -verify-flags "takesPointer:ptr+IE"
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
Modified: poolalloc/trunk/test/dsa/td/extern3.ll
URL: http://llvm.org/viewvc/llvm-project/poolalloc/trunk/test/dsa/td/extern3.ll?rev=114692&r1=114691&r2=114692&view=diff
==============================================================================
--- poolalloc/trunk/test/dsa/td/extern3.ll (original)
+++ poolalloc/trunk/test/dsa/td/extern3.ll Thu Sep 23 15:41:17 2010
@@ -12,7 +12,7 @@
;This should be marked incomplete and external due to the
;unification-based nature of DSA.
-;RUN: dsaopt %s -dsa-td -analyze -verify-flags "getPointer:ptr+I"
+;RUN: dsaopt %s -dsa-td -analyze -verify-flags "getPointer:ptr+IE"
define i32* @getPointer() nounwind {
entry:
%0 = tail call noalias i8* @malloc(i64 4) nounwind ; <i8*> [#uses=1]
@@ -22,14 +22,14 @@
;This should be marked incomplete and external due to the
;unification-based nature of DSA.
-;RUN: dsaopt %s -dsa-td -analyze -verify-flags "takesPointer:ptr+I"
+;RUN: dsaopt %s -dsa-td -analyze -verify-flags "takesPointer:ptr+IE"
define i32 @takesPointer(i32* %ptr) nounwind {
entry:
%0 = load i32* %ptr, align 4 ; <i32> [#uses=1]
ret i32 %0
}
-;RUN: dsaopt %s -dsa-td -analyze -verify-flags "getPointerInternal:ptr-I"
+;RUN: dsaopt %s -dsa-td -analyze -verify-flags "getPointerInternal:ptr-IE"
define internal i32* @getPointerInternal() nounwind {
entry:
%0 = tail call noalias i8* @malloc(i64 4) nounwind ; <i8*> [#uses=1]
@@ -37,7 +37,7 @@
ret i32* %ptr
}
-;RUN: dsaopt %s -dsa-td -analyze -verify-flags "takesPointerInternal:ptr-I"
+;RUN: dsaopt %s -dsa-td -analyze -verify-flags "takesPointerInternal:ptr-IE"
define internal i32 @takesPointerInternal(i32* %ptr) nounwind {
entry:
%0 = load i32* %ptr, align 4 ; <i32> [#uses=1]
@@ -52,8 +52,8 @@
ret i32 0
}
-;RUN: dsaopt %s -dsa-td -analyze -verify-flags "checkExterns:get+I"
-;RUN: dsaopt %s -dsa-td -analyze -verify-flags "checkExterns:take+I"
+;RUN: dsaopt %s -dsa-td -analyze -verify-flags "checkExterns:get+IE"
+;RUN: dsaopt %s -dsa-td -analyze -verify-flags "checkExterns:take+IE"
define void @checkExterns() nounwind {
%get = tail call i32* ()* @getPointerExtern() nounwind ; <i32*> [#uses=0]
%1 = tail call noalias i8* @malloc(i64 4) nounwind ; <i8*> [#uses=2]
@@ -63,8 +63,8 @@
ret void
}
-;RUN: dsaopt %s -dsa-td -analyze -verify-flags "checkExternals:get+I"
-;RUN: dsaopt %s -dsa-td -analyze -verify-flags "checkExternals:take+I"
+;RUN: dsaopt %s -dsa-td -analyze -verify-flags "checkExternals:get+IE"
+;RUN: dsaopt %s -dsa-td -analyze -verify-flags "checkExternals:take+IE"
define void @checkExternals() nounwind {
entry:
%get = tail call i32* ()* @getPointer() nounwind ; <i32*> [#uses=0]
@@ -75,8 +75,8 @@
ret void
}
-;RUN: dsaopt %s -dsa-td -analyze -verify-flags "checkInternals:get-I"
-;RUN: dsaopt %s -dsa-td -analyze -verify-flags "checkInternals:take-I"
+;RUN: dsaopt %s -dsa-td -analyze -verify-flags "checkInternals:get-IE"
+;RUN: dsaopt %s -dsa-td -analyze -verify-flags "checkInternals:take-IE"
define void @checkInternals() nounwind {
entry:
%get = tail call i32* ()* @getPointerInternal() nounwind ; <i32*> [#uses=0]
Modified: poolalloc/trunk/test/dsa/td/extern_global.ll
URL: http://llvm.org/viewvc/llvm-project/poolalloc/trunk/test/dsa/td/extern_global.ll?rev=114692&r1=114691&r2=114692&view=diff
==============================================================================
--- poolalloc/trunk/test/dsa/td/extern_global.ll (original)
+++ poolalloc/trunk/test/dsa/td/extern_global.ll Thu Sep 23 15:41:17 2010
@@ -2,22 +2,23 @@
;This tests how DSA handles external globals and their completeness in TD.
; Externally visible globals should be incomplete
-;RUN: dsaopt %s -dsa-td -analyze -verify-flags globalInt+I
+;RUN: dsaopt %s -dsa-td -analyze -verify-flags globalInt+GIE
; Externally visible global and what it points to should be incomplete
-;RUN: dsaopt %s -dsa-td -analyze -verify-flags globalIntPtr+I
-;RUN: dsaopt %s -dsa-td -analyze -verify-flags globalIntPtr:0+I
+;RUN: dsaopt %s -dsa-td -analyze -verify-flags globalIntPtr+GIE
+;RUN: dsaopt %s -dsa-td -analyze -verify-flags globalIntPtr:0+GIE
; Externally visible global and what it points to should be incomplete,
; this time with a struct and point to some stack memory...
-;RUN: dsaopt %s -dsa-td -analyze -verify-flags globalStructWithPointers+I
-;RUN: dsaopt %s -dsa-td -analyze -verify-flags globalStructWithPointers:8+I
-;RUN: dsaopt %s -dsa-td -analyze -verify-flags globalStructWithPointers:8:8+I
-;RUN: dsaopt %s -dsa-td -analyze -check-same-node=globalStructWithPointers:8,globalStructWithPointers:8:8
-; Globals that aren't marked 'external' shouldn't be incomplete
-;RUN: dsaopt %s -dsa-td -analyze -verify-flags normalGlobal-I
-;RUN: dsaopt %s -dsa-td -analyze -verify-flags internalGlobal-I
+;RUN: dsaopt %s -dsa-td -analyze -verify-flags globalStructWithPointers+GIE
+;RUN: dsaopt %s -dsa-td -analyze -verify-flags globalStructWithPointers:8+IE
+;RUN: dsaopt %s -dsa-td -analyze -verify-flags globalStructWithPointers:8:8+IE
+;RUN: dsaopt %s -dsa-td -analyze -verify-flags main:s+IES
+; Globals that aren't marked 'external' shouldn't be incomplete (or external)
+;RUN: dsaopt %s -dsa-td -analyze -verify-flags normalGlobal+G-IE
+;RUN: dsaopt %s -dsa-td -analyze -verify-flags internalGlobal+G-IE
; Check some edges of the graph
;RUN: dsaopt %s -dsa-td -analyze -check-same-node=normalGlobal:0,globalIntPtr
;RUN: dsaopt %s -dsa-td -analyze -check-same-node=internalGlobal:0,normalGlobal
+;RUN: dsaopt %s -dsa-td -analyze -check-same-node=globalStructWithPointers:8,globalStructWithPointers:8:8
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
target triple = "x86_64-unknown-linux-gnu"
More information about the llvm-commits
mailing list