[llvm] b01f499 - [NFC][Verifier] Split token1.ll into two, assert/non-assert versions

[Roman Lebedev via llvm-commits]

Author: Roman Lebedev
Date: 2021-04-28T13:58:38+03:00
New Revision: b01f499861235f414f6740bbf950d095bceada4d

URL: https://github.com/llvm/llvm-project/commit/b01f499861235f414f6740bbf950d095bceada4d
DIFF: https://github.com/llvm/llvm-project/commit/b01f499861235f414f6740bbf950d095bceada4d.diff

LOG: [NFC][Verifier] Split token1.ll into two, assert/non-assert versions

Added: 
    llvm/test/Verifier/token1-with-asserts.ll
    llvm/test/Verifier/token1-without-asserts.ll

Modified: 
    

Removed: 
    llvm/test/Verifier/token1.ll


################################################################################
diff  --git a/llvm/test/Verifier/token1.ll b/llvm/test/Verifier/token1-with-asserts.ll
similarity index 100%
rename from llvm/test/Verifier/token1.ll
rename to llvm/test/Verifier/token1-with-asserts.ll

diff  --git a/llvm/test/Verifier/token1-without-asserts.ll b/llvm/test/Verifier/token1-without-asserts.ll
new file mode 100644
index 000000000000..ef2d25c045d2
--- /dev/null
+++ b/llvm/test/Verifier/token1-without-asserts.ll
@@ -0,0 +1,12 @@
+; REQUIRES: !asserts
+; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s
+
+define void @f(token %A, token %B) {
+entry:
+  br label %bb
+
+bb:
+  %phi = phi token [ %A, %bb ], [ %B, %entry]
+; CHECK: PHI nodes cannot have token type!
+  br label %bb
+}