[llvm-commits] [poolalloc] r111562 - /poolalloc/trunk/test/dsa/regression/2010-08-19-SimpleCallGraph.ll

[Will Dietz]

Author: wdietz2
Date: Thu Aug 19 16:16:06 2010
New Revision: 111562

URL: http://llvm.org/viewvc/llvm-project?rev=111562&view=rev
Log:
Test to reproduce PR7929, from bugzilla.

Added:
    poolalloc/trunk/test/dsa/regression/2010-08-19-SimpleCallGraph.ll

Added: poolalloc/trunk/test/dsa/regression/2010-08-19-SimpleCallGraph.ll
URL: http://llvm.org/viewvc/llvm-project/poolalloc/trunk/test/dsa/regression/2010-08-19-SimpleCallGraph.ll?rev=111562&view=auto
==============================================================================
--- poolalloc/trunk/test/dsa/regression/2010-08-19-SimpleCallGraph.ll (added)
+++ poolalloc/trunk/test/dsa/regression/2010-08-19-SimpleCallGraph.ll Thu Aug 19 16:16:06 2010
@@ -0,0 +1,100 @@
+; ModuleID = 'test.c'
+; RUN: dsaopt %s -calltarget -analyze
+; RUN: dsaopt %s -calltarget -dsa-no-filter-callcc=false -analyze
+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-apple-darwin10.4"
+
+%struct.a = type { i32, i32, i32, i32, i32, i32, i32, i32 }
+
+define i32 @func1(%struct.a* byval %bar) nounwind ssp {
+entry:
+  %retval = alloca i32                            ; <i32*> [#uses=2]
+  %0 = alloca i32                                 ; <i32*> [#uses=2]
+  %"alloca point" = bitcast i32 0 to i32          ; <i32> [#uses=0]
+  %1 = getelementptr inbounds %struct.a* %bar, i32 0, i32 6 ; <i32*> [#uses=1]
+  %2 = load i32* %1, align 4                      ; <i32> [#uses=1]
+  %3 = getelementptr inbounds %struct.a* %bar, i32 0, i32 0 ; <i32*> [#uses=1]
+  store i32 %2, i32* %3, align 4
+  %4 = getelementptr inbounds %struct.a* %bar, i32 0, i32 1 ; <i32*> [#uses=1]
+  %5 = load i32* %4, align 4                      ; <i32> [#uses=1]
+  %6 = mul nsw i32 %5, 2                          ; <i32> [#uses=1]
+  store i32 %6, i32* %0, align 4
+  %7 = load i32* %0, align 4                      ; <i32> [#uses=1]
+  store i32 %7, i32* %retval, align 4
+  br label %return
+
+return:                                           ; preds = %entry
+  %retval1 = load i32* %retval                    ; <i32> [#uses=1]
+  ret i32 %retval1
+}
+
+define i32 @func2(%struct.a* %bar) nounwind ssp {
+entry:
+  %retval = alloca i32                            ; <i32*> [#uses=2]
+  %0 = alloca i32                                 ; <i32*> [#uses=2]
+  %"alloca point" = bitcast i32 0 to i32          ; <i32> [#uses=0]
+  %1 = getelementptr inbounds %struct.a* %bar, i32 0, i32 6 ; <i32*> [#uses=1]
+  %2 = load i32* %1, align 4                      ; <i32> [#uses=1]
+  %3 = getelementptr inbounds %struct.a* %bar, i32 0, i32 0 ; <i32*> [#uses=1]
+  store i32 %2, i32* %3, align 4
+  %4 = getelementptr inbounds %struct.a* %bar, i32 0, i32 0 ; <i32*> [#uses=1]
+  %5 = load i32* %4, align 4                      ; <i32> [#uses=1]
+  %6 = getelementptr inbounds %struct.a* %bar, i32 0, i32 1 ; <i32*> [#uses=1]
+  %7 = load i32* %6, align 4                      ; <i32> [#uses=1]
+  %8 = add nsw i32 %5, %7                         ; <i32> [#uses=1]
+  %9 = getelementptr inbounds %struct.a* %bar, i32 0, i32 2 ; <i32*> [#uses=1]
+  %10 = load i32* %9, align 4                     ; <i32> [#uses=1]
+  %11 = add nsw i32 %8, %10                       ; <i32> [#uses=1]
+  %12 = getelementptr inbounds %struct.a* %bar, i32 0, i32 7 ; <i32*> [#uses=1]
+  %13 = load i32* %12, align 4                    ; <i32> [#uses=1]
+  %14 = add nsw i32 %11, %13                      ; <i32> [#uses=1]
+  store i32 %14, i32* %0, align 4
+  %15 = load i32* %0, align 4                     ; <i32> [#uses=1]
+  store i32 %15, i32* %retval, align 4
+  br label %return
+
+return:                                           ; preds = %entry
+  %retval1 = load i32* %retval                    ; <i32> [#uses=1]
+  ret i32 %retval1
+}
+
+define i32 @main(i32 %argc, i8** %argv) nounwind ssp {
+entry:
+  %argc_addr = alloca i32                         ; <i32*> [#uses=3]
+  %argv_addr = alloca i8**                        ; <i8***> [#uses=1]
+  %retval = alloca i32                            ; <i32*> [#uses=2]
+  %0 = alloca i32                                 ; <i32*> [#uses=2]
+  %data = alloca %struct.a                        ; <%struct.a*> [#uses=3]
+  %f = alloca i32 (%struct.a*)*                   ; <i32 (%struct.a*)**> [#uses=3]
+  %"alloca point" = bitcast i32 0 to i32          ; <i32> [#uses=0]
+  store i32 %argc, i32* %argc_addr
+  store i8** %argv, i8*** %argv_addr
+  %1 = getelementptr inbounds %struct.a* %data, i32 0, i32 0 ; <i32*> [#uses=1]
+  %2 = load i32* %argc_addr, align 4              ; <i32> [#uses=1]
+  store i32 %2, i32* %1, align 4
+  %3 = load i32* %argc_addr, align 4              ; <i32> [#uses=1]
+  %4 = icmp sle i32 %3, 1                         ; <i1> [#uses=1]
+  br i1 %4, label %bb, label %bb1
+
+bb:                                               ; preds = %entry
+  store i32 (%struct.a*)* @func1, i32 (%struct.a*)** %f, align 8
+  br label %bb2
+
+bb1:                                              ; preds = %entry
+  store i32 (%struct.a*)* @func2, i32 (%struct.a*)** %f, align 8
+  br label %bb2
+
+bb2:                                              ; preds = %bb1, %bb
+  %5 = load i32 (%struct.a*)** %f, align 8        ; <i32 (%struct.a*)*> [#uses=1]
+  %6 = call fastcc i32 %5(%struct.a* byval %data) nounwind ; <i32> [#uses=0]
+  %7 = getelementptr inbounds %struct.a* %data, i32 0, i32 0 ; <i32*> [#uses=1]
+  %8 = load i32* %7, align 4                      ; <i32> [#uses=1]
+  store i32 %8, i32* %0, align 4
+  %9 = load i32* %0, align 4                      ; <i32> [#uses=1]
+  store i32 %9, i32* %retval, align 4
+  br label %return
+
+return:                                           ; preds = %bb2
+  %retval3 = load i32* %retval                    ; <i32> [#uses=1]
+  ret i32 %retval3
+}