rename test
authorChris Lattner <sabre@nondot.org>
Sun, 30 Aug 2009 22:14:17 +0000 (22:14 +0000)
committerChris Lattner <sabre@nondot.org>
Sun, 30 Aug 2009 22:14:17 +0000 (22:14 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@80523 91177308-0d34-0410-b5e6-96231b3b80d8

test/Transforms/LICM/2003-08-04-TrappingInstHoist.ll [deleted file]
test/Transforms/LICM/hoisting.ll [new file with mode: 0644]

diff --git a/test/Transforms/LICM/2003-08-04-TrappingInstHoist.ll b/test/Transforms/LICM/2003-08-04-TrappingInstHoist.ll
deleted file mode 100644 (file)
index 821c8a3..0000000
+++ /dev/null
@@ -1,50 +0,0 @@
-; RUN: llvm-as < %s | opt -licm | llvm-dis | FileCheck %s
-
-@X = global i32 0              ; <i32*> [#uses=1]
-
-declare void @foo()
-
-; This testcase tests for a problem where LICM hoists 
-; potentially trapping instructions when they are not guaranteed to execute.
-define i32 @test1(i1 %c) {
-; CHECK: @test1
-       %A = load i32* @X               ; <i32> [#uses=2]
-       br label %Loop
-Loop:          ; preds = %LoopTail, %0
-       call void @foo( )
-       br i1 %c, label %LoopTail, label %IfUnEqual
-        
-IfUnEqual:             ; preds = %Loop
-; CHECK: IfUnEqual:
-; CHECK-NEXT: sdiv i32 4, %A
-       %B1 = sdiv i32 4, %A            ; <i32> [#uses=1]
-       br label %LoopTail
-        
-LoopTail:              ; preds = %IfUnEqual, %Loop
-       %B = phi i32 [ 0, %Loop ], [ %B1, %IfUnEqual ]          ; <i32> [#uses=1]
-       br i1 %c, label %Loop, label %Out
-Out:           ; preds = %LoopTail
-       %C = sub i32 %A, %B             ; <i32> [#uses=1]
-       ret i32 %C
-}
-
-
-declare void @foo2(i32)
-
-
-;; It is ok and desirable to hoist this potentially trapping instruction.
-define i32 @test2(i1 %c) {
-; CHECK: @test2
-; CHECK-NEXT: load i32* @X
-; CHECK-NEXT: %B = sdiv i32 4, %A
-       %A = load i32* @X               ; <i32> [#uses=2]
-       br label %Loop
-Loop:
-        ;; Should have hoisted this div!
-       %B = sdiv i32 4, %A             ; <i32> [#uses=2]
-       call void @foo2( i32 %B )
-       br i1 %c, label %Loop, label %Out
-Out:           ; preds = %Loop
-       %C = sub i32 %A, %B             ; <i32> [#uses=1]
-       ret i32 %C
-}
diff --git a/test/Transforms/LICM/hoisting.ll b/test/Transforms/LICM/hoisting.ll
new file mode 100644 (file)
index 0000000..821c8a3
--- /dev/null
@@ -0,0 +1,50 @@
+; RUN: llvm-as < %s | opt -licm | llvm-dis | FileCheck %s
+
+@X = global i32 0              ; <i32*> [#uses=1]
+
+declare void @foo()
+
+; This testcase tests for a problem where LICM hoists 
+; potentially trapping instructions when they are not guaranteed to execute.
+define i32 @test1(i1 %c) {
+; CHECK: @test1
+       %A = load i32* @X               ; <i32> [#uses=2]
+       br label %Loop
+Loop:          ; preds = %LoopTail, %0
+       call void @foo( )
+       br i1 %c, label %LoopTail, label %IfUnEqual
+        
+IfUnEqual:             ; preds = %Loop
+; CHECK: IfUnEqual:
+; CHECK-NEXT: sdiv i32 4, %A
+       %B1 = sdiv i32 4, %A            ; <i32> [#uses=1]
+       br label %LoopTail
+        
+LoopTail:              ; preds = %IfUnEqual, %Loop
+       %B = phi i32 [ 0, %Loop ], [ %B1, %IfUnEqual ]          ; <i32> [#uses=1]
+       br i1 %c, label %Loop, label %Out
+Out:           ; preds = %LoopTail
+       %C = sub i32 %A, %B             ; <i32> [#uses=1]
+       ret i32 %C
+}
+
+
+declare void @foo2(i32)
+
+
+;; It is ok and desirable to hoist this potentially trapping instruction.
+define i32 @test2(i1 %c) {
+; CHECK: @test2
+; CHECK-NEXT: load i32* @X
+; CHECK-NEXT: %B = sdiv i32 4, %A
+       %A = load i32* @X               ; <i32> [#uses=2]
+       br label %Loop
+Loop:
+        ;; Should have hoisted this div!
+       %B = sdiv i32 4, %A             ; <i32> [#uses=2]
+       call void @foo2( i32 %B )
+       br i1 %c, label %Loop, label %Out
+Out:           ; preds = %Loop
+       %C = sub i32 %A, %B             ; <i32> [#uses=1]
+       ret i32 %C
+}