summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorAkira Hatanaka <ahatanaka@mips.com>2012-06-14 20:51:13 +0000
committerAkira Hatanaka <ahatanaka@mips.com>2012-06-14 20:51:13 +0000
commit6b0cd9b9c65dc8c91827ddd926e050738ea590fd (patch)
tree431cd723e2878987d7a72061e438214b33cce4f6 /test
parent0180694b2f416e2247af1d284d701b19e1431a6c (diff)
downloadllvm-6b0cd9b9c65dc8c91827ddd926e050738ea590fd.tar.gz
llvm-6b0cd9b9c65dc8c91827ddd926e050738ea590fd.tar.bz2
llvm-6b0cd9b9c65dc8c91827ddd926e050738ea590fd.tar.xz
Make machine verifier check the first instruction of the last bundle instead of
the last instruction of a basic block. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@158468 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
-rw-r--r--test/CodeGen/Mips/machineverifier.ll21
1 files changed, 21 insertions, 0 deletions
diff --git a/test/CodeGen/Mips/machineverifier.ll b/test/CodeGen/Mips/machineverifier.ll
new file mode 100644
index 0000000000..c673fe557e
--- /dev/null
+++ b/test/CodeGen/Mips/machineverifier.ll
@@ -0,0 +1,21 @@
+; RUN: llc < %s -march=mipsel -verify-machineinstrs
+; Make sure machine verifier understands the last instruction of a basic block
+; is not the terminator instruction after delay slot filler pass is run.
+
+@g = external global i32
+
+define void @foo() nounwind {
+entry:
+ %0 = load i32* @g, align 4
+ %tobool = icmp eq i32 %0, 0
+ br i1 %tobool, label %if.end, label %if.then
+
+if.then: ; preds = %entry
+ %add = add nsw i32 %0, 10
+ store i32 %add, i32* @g, align 4
+ br label %if.end
+
+if.end: ; preds = %entry, %if.then
+ ret void
+}
+