[llvm-commits] [poolalloc] r130328 - in /poolalloc/trunk/test/dsa/types: array2struct.ll mrv.ll mrv1.ll union1.c union1.ll union2.ll union3.ll union4.ll union_arrays.ll
Arushi Aggarwal
aggarwa4 at illinois.edu
Wed Apr 27 13:48:35 PDT 2011
Author: aggarwa4
Date: Wed Apr 27 15:48:35 2011
New Revision: 130328
URL: http://llvm.org/viewvc/llvm-project?rev=130328&view=rev
Log:
Updated tests to reflect the new type safety
optimizations.
Some fail due to incorrect parsing of array types.
Modified:
poolalloc/trunk/test/dsa/types/array2struct.ll
poolalloc/trunk/test/dsa/types/mrv.ll
poolalloc/trunk/test/dsa/types/mrv1.ll
poolalloc/trunk/test/dsa/types/union1.c
poolalloc/trunk/test/dsa/types/union1.ll
poolalloc/trunk/test/dsa/types/union2.ll
poolalloc/trunk/test/dsa/types/union3.ll
poolalloc/trunk/test/dsa/types/union4.ll
poolalloc/trunk/test/dsa/types/union_arrays.ll
Modified: poolalloc/trunk/test/dsa/types/array2struct.ll
URL: http://llvm.org/viewvc/llvm-project/poolalloc/trunk/test/dsa/types/array2struct.ll?rev=130328&r1=130327&r2=130328&view=diff
==============================================================================
--- poolalloc/trunk/test/dsa/types/array2struct.ll (original)
+++ poolalloc/trunk/test/dsa/types/array2struct.ll Wed Apr 27 15:48:35 2011
@@ -2,9 +2,11 @@
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"
;RUN: dsaopt %s -dsa-local -analyze -check-type=tree,FoldedVOID
+;RUN: dsaopt %s -dsa-local -enable-type-inference-opts -analyze -check-type=tree,12:\[8 x i32\]Array
; LLVM front end converts the type of tree, to a struct type instead of an array of the right type.
; even though structurally equivalent, DSA cant infer this yet.
+
%0 = type { %struct..0tnode, %struct..0tnode, %struct..0tnode, %struct..0tnode, %struct..0tnode, %struct..0tnode, %struct..0tnode, %struct..0tnode, %1, %1, %1, %1, %1, %1, %struct..0tnode, %struct..0tnode, %struct..0tnode, %struct..0tnode, %struct..0tnode, %struct..0tnode, %1 }
%1 = type { i32, i32, i32, [32 x i8] }
%struct..0tnode = type { i32, i32, i32, [8 x i32] }
Modified: poolalloc/trunk/test/dsa/types/mrv.ll
URL: http://llvm.org/viewvc/llvm-project/poolalloc/trunk/test/dsa/types/mrv.ll?rev=130328&r1=130327&r2=130328&view=diff
==============================================================================
--- poolalloc/trunk/test/dsa/types/mrv.ll (original)
+++ poolalloc/trunk/test/dsa/types/mrv.ll Wed Apr 27 15:48:35 2011
@@ -3,6 +3,11 @@
target triple = "x86_64-unknown-linux-gnu"
;RUN: dsaopt %s -dsa-local -analyze -check-type=main:s,0:float|double::4:float::8:float
+;RUN: dsaopt %s -dsa-local -enable-type-inference-opts -analyze -check-type=main:s,0:float|double::4:float::8:float
+;RUN: adsaopt %s -ld-args -deadargelim -dce -o t.bc
+;RUN: dsaopt t.bc -dsa-local -enable-type-inference-opts -analyze -check-type=main:s,0:float::4:float::8:float
+;RUN: adsaopt %s -ld-args -gep-expr-arg -deadargelim -dce -o t.bc
+;RUN: dsaopt t.bc -dsa-local -enable-type-inference-opts -analyze -check-type=main:s,0:float::4:float::8:float
; Function foo, actually accepts an object of struct S. But as
; per calling conventions, the value is passed in registers, after
Modified: poolalloc/trunk/test/dsa/types/mrv1.ll
URL: http://llvm.org/viewvc/llvm-project/poolalloc/trunk/test/dsa/types/mrv1.ll?rev=130328&r1=130327&r2=130328&view=diff
==============================================================================
--- poolalloc/trunk/test/dsa/types/mrv1.ll (original)
+++ poolalloc/trunk/test/dsa/types/mrv1.ll Wed Apr 27 15:48:35 2011
@@ -6,6 +6,13 @@
;RUN: dsaopt %s -dsa-local -analyze -check-type=main:s,0:float|double::4:float::8:float
;RUN: dsaopt %s -dsa-local -analyze -check-type=main:s1,0:float::4:float::8:float
+;RUN: dsaopt %s -dsa-local -enable-type-inference-opts -analyze -check-type=main:s1,VOID
+;RUN: adsaopt %s -ld-args -deadargelim -dce -o t.bc
+;RUN: dsaopt t.bc -dsa-local -enable-type-inference-opts -analyze -check-type=main:s,0:float::4:float::8:float
+;RUN: dsaopt t.bc -dsa-local -enable-type-inference-opts -analyze -check-type=main:s1,VOID
+;RUN: adsaopt %s -ld-args -gep-expr-arg -deadargelim -dce -o t.bc
+;RUN: dsaopt t.bc -dsa-local -enable-type-inference-opts -analyze -check-type=main:s,0:float::4:float::8:float
+;RUN: dsaopt t.bc -dsa-local -enable-type-inference-opts -analyze -check-type=main:s1,VOID
%0 = type { double, float }
%struct.S = type { float, float, float }
Modified: poolalloc/trunk/test/dsa/types/union1.c
URL: http://llvm.org/viewvc/llvm-project/poolalloc/trunk/test/dsa/types/union1.c?rev=130328&r1=130327&r2=130328&view=diff
==============================================================================
--- poolalloc/trunk/test/dsa/types/union1.c (original)
+++ poolalloc/trunk/test/dsa/types/union1.c Wed Apr 27 15:48:35 2011
@@ -1,4 +1,3 @@
-
//--Make sure we can run DSA on it!
//RUN: llvm-gcc %s -c --emit-llvm -o - | \
//RUN: dsaopt -dsa-bu -dsa-td -disable-output
Modified: poolalloc/trunk/test/dsa/types/union1.ll
URL: http://llvm.org/viewvc/llvm-project/poolalloc/trunk/test/dsa/types/union1.ll?rev=130328&r1=130327&r2=130328&view=diff
==============================================================================
--- poolalloc/trunk/test/dsa/types/union1.ll (original)
+++ poolalloc/trunk/test/dsa/types/union1.ll Wed Apr 27 15:48:35 2011
@@ -2,6 +2,10 @@
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"
+;RUN: dsaopt %s -dsa-local -analyze -enable-type-inference-opts -check-type=func:s1,FoldedVOID
+;RUN: adsaopt %s -mem2reg -mergearrgep -dce -o t.bc
+;RUN: dsaopt t.bc -dsa-local -analyze -enable-type-inference-opts -check-type=func:s1,0:i32*
+
%struct.NestedStructType = type { float, i32* }
%struct.StructType = type { float, i32*, %struct.NestedStructType }
%union.UnionType = type { %struct.StructType, [92 x i32] }
Modified: poolalloc/trunk/test/dsa/types/union2.ll
URL: http://llvm.org/viewvc/llvm-project/poolalloc/trunk/test/dsa/types/union2.ll?rev=130328&r1=130327&r2=130328&view=diff
==============================================================================
--- poolalloc/trunk/test/dsa/types/union2.ll (original)
+++ poolalloc/trunk/test/dsa/types/union2.ll Wed Apr 27 15:48:35 2011
@@ -2,6 +2,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"
+;RUN: dsaopt %s -dsa-local -analyze -check-type=func:obj,0:i32::4:i16|i32::8:i32
+;RUN: dsaopt %s -dsa-local -analyze -enable-type-inference-opts -check-type=func:obj,0:i32::4:i32::8:i32
%struct.StructType1 = type { i32, i32, i32 }
%struct.StructType2 = type { i32, i16, i32 }
%union.UnionType = type { %struct.StructType1 }
Modified: poolalloc/trunk/test/dsa/types/union3.ll
URL: http://llvm.org/viewvc/llvm-project/poolalloc/trunk/test/dsa/types/union3.ll?rev=130328&r1=130327&r2=130328&view=diff
==============================================================================
--- poolalloc/trunk/test/dsa/types/union3.ll (original)
+++ poolalloc/trunk/test/dsa/types/union3.ll Wed Apr 27 15:48:35 2011
@@ -1,6 +1,8 @@
; ModuleID = 'union3.bc'
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"
+;RUN: dsaopt %s -dsa-local -analyze -check-type=func:obj,0:i32::4:i16|i32::6:i16::8:i32
+;RUN: dsaopt %s -dsa-local -analyze -enable-type-inference-opts -check-type=func:obj,0:i32::4:i32::8:i32
%struct.StructType1 = type { i32, i32, i32 }
%struct.StructType2 = type { i32, i16, i16, i32 }
Modified: poolalloc/trunk/test/dsa/types/union4.ll
URL: http://llvm.org/viewvc/llvm-project/poolalloc/trunk/test/dsa/types/union4.ll?rev=130328&r1=130327&r2=130328&view=diff
==============================================================================
--- poolalloc/trunk/test/dsa/types/union4.ll (original)
+++ poolalloc/trunk/test/dsa/types/union4.ll Wed Apr 27 15:48:35 2011
@@ -1,6 +1,8 @@
; ModuleID = 'union4.bc'
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"
+;RUN: dsaopt %s -dsa-local -analyze -check-type=func:obj,0:i32::4:i16|i32::6:i16::8:i32
+;RUN: dsaopt %s -dsa-local -analyze -enable-type-inference-opts -check-type=func:obj,0:i32::4:i32::8:i32
%struct.StructType1 = type { i32, i32, i32 }
%struct.StructType2 = type { i32, i16, i16, i32 }
Modified: poolalloc/trunk/test/dsa/types/union_arrays.ll
URL: http://llvm.org/viewvc/llvm-project/poolalloc/trunk/test/dsa/types/union_arrays.ll?rev=130328&r1=130327&r2=130328&view=diff
==============================================================================
--- poolalloc/trunk/test/dsa/types/union_arrays.ll (original)
+++ poolalloc/trunk/test/dsa/types/union_arrays.ll Wed Apr 27 15:48:35 2011
@@ -1,6 +1,10 @@
; ModuleID = 'union_arrays.bc'
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"
+;RUN: dsaopt %s -dsa-local -analyze -check-type=func:obj,FoldedVOID
+;RUN: dsaopt %s -dsa-local -analyze -enable-type-inference-opts -check-type=func:obj,FoldedVOID
+;RUN: adsaopt %s -mem2reg -simplify-gep -mergearrgep -dce -o t.bc
+;RUN: dsaopt t.bc -dsa-local -analyze -enable-type-inference-opts -check-type=func:obj,0:i32|[10 x i32]::40:i16|[10 x i16]::60:i32|[10 x i32]
%struct.StructType1 = type { [10 x i32], [10 x i16], [10 x i32] }
%struct.StructType2 = type { [10 x i32], [10 x i32], [10 x i32] }
More information about the llvm-commits
mailing list