From 2faaddab606145baa77c7dc2e578980c0274e372 Mon Sep 17 00:00:00 2001
From: Chris Lattner <sabre@nondot.org>
Date: Tue, 9 Dec 2003 16:56:51 +0000
Subject: [PATCH] New testcases for LICM improvement: code sinking.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@10339 91177308-0d34-0410-b5e6-96231b3b80d8
---
 test/Transforms/LICM/sink_inst.ll          | 18 ++++++++++++++++++
 test/Transforms/LICM/sink_load.ll          | 20 ++++++++++++++++++++
 test/Transforms/LICM/sink_trapping_inst.ll | 17 +++++++++++++++++
 3 files changed, 55 insertions(+)
 create mode 100644 test/Transforms/LICM/sink_inst.ll
 create mode 100644 test/Transforms/LICM/sink_load.ll
 create mode 100644 test/Transforms/LICM/sink_trapping_inst.ll

diff --git a/test/Transforms/LICM/sink_inst.ll b/test/Transforms/LICM/sink_inst.ll
new file mode 100644
index 00000000000..8f8722c0b93
--- /dev/null
+++ b/test/Transforms/LICM/sink_inst.ll
@@ -0,0 +1,18 @@
+; If the result of an instruction is only used outside of the loop, sink
+; the instruction to the exit blocks instead of executing it on every
+; iteration of the loop.
+;
+; RUN: llvm-as < %s | opt -licm | llvm-dis | grep -C1 mul | grep Out: 
+
+int %test(int %N) {
+Entry:
+	br label %Loop
+Loop:
+        %N_addr.0.pn = phi int [ %dec, %Loop ], [ %N, %Entry ]
+        %tmp.6 = mul int %N, %N_addr.0.pn
+        %dec = add int %N_addr.0.pn, -1
+        %tmp.1 = setne int %N_addr.0.pn, 1
+        br bool %tmp.1, label %Loop, label %Out
+Out:
+	ret int %tmp.6
+}
diff --git a/test/Transforms/LICM/sink_load.ll b/test/Transforms/LICM/sink_load.ll
new file mode 100644
index 00000000000..b4c0f2e21ed
--- /dev/null
+++ b/test/Transforms/LICM/sink_load.ll
@@ -0,0 +1,20 @@
+; To reduce register pressure, if a load is hoistable out of the loop, and the
+; result of the load is only used outside of the loop, sink the load instead of
+; hoisting it!
+;
+; RUN: llvm-as < %s | opt -licm | llvm-dis | grep -C1 load | grep Out: 
+
+%X = global int 5
+
+int %test(int %N) {
+Entry:
+	br label %Loop
+Loop:
+        %N_addr.0.pn = phi int [ %dec, %Loop ], [ %N, %Entry ]
+        %tmp.6 = load int* %X
+        %dec = add int %N_addr.0.pn, -1
+        %tmp.1 = setne int %N_addr.0.pn, 1
+        br bool %tmp.1, label %Loop, label %Out
+Out:
+	ret int %tmp.6
+}
diff --git a/test/Transforms/LICM/sink_trapping_inst.ll b/test/Transforms/LICM/sink_trapping_inst.ll
new file mode 100644
index 00000000000..a35c48c4b72
--- /dev/null
+++ b/test/Transforms/LICM/sink_trapping_inst.ll
@@ -0,0 +1,17 @@
+; Potentially trapping instructions may be sunk as long as they are guaranteed
+; to be executed.
+;
+; RUN: llvm-as < %s | opt -licm | llvm-dis | grep -C1 div | grep Out: 
+
+int %test(int %N) {
+Entry:
+	br label %Loop
+Loop:
+        %N_addr.0.pn = phi int [ %dec, %Loop ], [ %N, %Entry ]
+        %tmp.6 = div int %N, %N_addr.0.pn
+        %dec = add int %N_addr.0.pn, -1
+        %tmp.1 = setne int %N_addr.0.pn, 0
+        br bool %tmp.1, label %Loop, label %Out
+Out:
+	ret int %tmp.6
+}
-- 
2.34.1