[llvm-commits] [poolalloc] r131993 - in /poolalloc/trunk/test/dsa/callgraph: calltargets_typemismatch.ll calltargets_variadic.ll
Arushi Aggarwal
aggarwa4 at illinois.edu
Tue May 24 13:22:11 PDT 2011
Author: aggarwa4
Date: Tue May 24 15:22:11 2011
New Revision: 131993
URL: http://llvm.org/viewvc/llvm-project?rev=131993&view=rev
Log:
Test cases to test filtering options
Added:
poolalloc/trunk/test/dsa/callgraph/calltargets_typemismatch.ll
poolalloc/trunk/test/dsa/callgraph/calltargets_variadic.ll
Added: poolalloc/trunk/test/dsa/callgraph/calltargets_typemismatch.ll
URL: http://llvm.org/viewvc/llvm-project/poolalloc/trunk/test/dsa/callgraph/calltargets_typemismatch.ll?rev=131993&view=auto
==============================================================================
--- poolalloc/trunk/test/dsa/callgraph/calltargets_typemismatch.ll (added)
+++ poolalloc/trunk/test/dsa/callgraph/calltargets_typemismatch.ll Tue May 24 15:22:11 2011
@@ -0,0 +1,56 @@
+;RUN: dsaopt %s -dsa-td -analyze -check-callees=main,B
+; ModuleID = 'calltargets.o'
+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"
+
+ at FP = internal global i32* (i32)* null ; <i32* (i32)**> [#uses=3]
+
+define internal i32* @B(i32 %i) nounwind {
+entry:
+ %i_addr = alloca i32 ; <i32*> [#uses=1]
+ %retval = alloca i32* ; <i32**> [#uses=2]
+ %0 = alloca i32* ; <i32**> [#uses=2]
+ %"alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0]
+ store i32 %i, i32* %i_addr
+ store i32* null, i32** %0, align 8
+ %1 = load i32** %0, align 8 ; <i32*> [#uses=1]
+ store i32* %1, i32** %retval, align 8
+ br label %return
+
+return: ; preds = %entry
+ %retval1 = load i32** %retval ; <i32*> [#uses=1]
+ ret i32* %retval1
+}
+
+define internal i32* @A(float %f) nounwind {
+entry:
+ %f_addr = alloca float ; <float*> [#uses=1]
+ %retval = alloca i32* ; <i32**> [#uses=2]
+ %0 = alloca i32* ; <i32**> [#uses=2]
+ %"alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0]
+ store float %f, float* %f_addr
+ store i32* null, i32** %0, align 8
+ %1 = load i32** %0, align 8 ; <i32*> [#uses=1]
+ store i32* %1, i32** %retval, align 8
+ br label %return
+
+return: ; preds = %entry
+ %retval1 = load i32** %retval ; <i32*> [#uses=1]
+ ret i32* %retval1
+}
+
+define void @main() nounwind {
+entry:
+ %i = alloca i32 ; <i32*> [#uses=2]
+ %"alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0]
+ store i32* (i32)* @B, i32* (i32)** @FP, align 8
+ store i32* (i32)* bitcast (i32* (float)* @A to i32* (i32)*), i32* (i32)** @FP, align 8
+ store i32 5, i32* %i, align 4
+ %0 = load i32* (i32)** @FP, align 8 ; <i32* (i32)*> [#uses=1]
+ %1 = load i32* %i, align 4 ; <i32> [#uses=1]
+ %2 = call i32* %0(i32 %1) nounwind ; <i32*> [#uses=0]
+ br label %return
+
+return: ; preds = %entry
+ ret void
+}
Added: poolalloc/trunk/test/dsa/callgraph/calltargets_variadic.ll
URL: http://llvm.org/viewvc/llvm-project/poolalloc/trunk/test/dsa/callgraph/calltargets_variadic.ll?rev=131993&view=auto
==============================================================================
--- poolalloc/trunk/test/dsa/callgraph/calltargets_variadic.ll (added)
+++ poolalloc/trunk/test/dsa/callgraph/calltargets_variadic.ll Tue May 24 15:22:11 2011
@@ -0,0 +1,56 @@
+;RUN: dsaopt %s -dsa-td -analyze -check-callees=main,B,A
+; ModuleID = 'calltargets.o'
+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"
+
+ at FP = common global i32* (i32)* null ; <i32* (i32)**> [#uses=3]
+
+define internal i32* @B(i32 %i) nounwind {
+entry:
+ %i_addr = alloca i32 ; <i32*> [#uses=1]
+ %retval = alloca i32* ; <i32**> [#uses=2]
+ %0 = alloca i32* ; <i32**> [#uses=2]
+ %"alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0]
+ store i32 %i, i32* %i_addr
+ store i32* null, i32** %0, align 8
+ %1 = load i32** %0, align 8 ; <i32*> [#uses=1]
+ store i32* %1, i32** %retval, align 8
+ br label %return
+
+return: ; preds = %entry
+ %retval1 = load i32** %retval ; <i32*> [#uses=1]
+ ret i32* %retval1
+}
+
+define internal i32* @A(i32 %i, ...) nounwind {
+entry:
+ %i_addr = alloca i32 ; <i32*> [#uses=1]
+ %retval = alloca i32* ; <i32**> [#uses=2]
+ %0 = alloca i32* ; <i32**> [#uses=2]
+ %"alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0]
+ store i32 %i, i32* %i_addr
+ store i32* null, i32** %0, align 8
+ %1 = load i32** %0, align 8 ; <i32*> [#uses=1]
+ store i32* %1, i32** %retval, align 8
+ br label %return
+
+return: ; preds = %entry
+ %retval1 = load i32** %retval ; <i32*> [#uses=1]
+ ret i32* %retval1
+}
+
+define void @main() nounwind {
+entry:
+ %i = alloca i32 ; <i32*> [#uses=2]
+ %"alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0]
+ store i32* (i32)* @B, i32* (i32)** @FP, align 8
+ store i32* (i32)* bitcast (i32* (i32, ...)* @A to i32* (i32)*), i32* (i32)** @FP, align 8
+ store i32 5, i32* %i, align 4
+ %0 = load i32* (i32)** @FP, align 8 ; <i32* (i32)*> [#uses=1]
+ %1 = load i32* %i, align 4 ; <i32> [#uses=1]
+ %2 = call i32* %0(i32 %1) nounwind ; <i32*> [#uses=0]
+ br label %return
+
+return: ; preds = %entry
+ ret void
+}
More information about the llvm-commits
mailing list