move test to llvm/test/Assembler

Author: Keenuts

llvm/test/Assembler/convergence-control.ll

@@ -24,6 +24,13 @@ define void @mixed2() {
   ret void
 }
 
+; convergence control token can be used on non-convergent calls,
+; but it has no effect.
+define void @mixed3() {
+  %t05_tok1 = call token @llvm.experimental.convergence.anchor()
+  call void @g() [ "convergencectrl"(token %t05_tok1) ]
+  ret void
+}
 
 define void @region_nesting1(i1 %arg) convergent {
 A:

llvm/test/Verifier/convergencectrl-invalid.ll

@@ -20,14 +20,6 @@ define void @wrong_token() {
   ret void
 }
 
-; convergence control token can be used on non-convergent calls, but it has no effect.
-; CHECK-NEXT  call void @g(){{.*}}%t05_tok1
-define void @missing.attribute() {
-  %t05_tok1 = call token @llvm.experimental.convergence.anchor()
-  call void @g() [ "convergencectrl"(token %t05_tok1) ]
-  ret void
-}
-
 ; CHECK: The 'convergencectrl' bundle requires exactly one token use.
 ; CHECK-NEXT:  call void @g()
 define void @multiple_tokens() {