[llvm] [LLVM] convergence verifier should visit all instructions (PR #66200)
Nicolai Hähnle via llvm-commits
llvm-commits at lists.llvm.org
Fri Sep 15 02:39:59 PDT 2023
================
@@ -126,13 +126,18 @@ define void @entry_in_convergent(i32 %x, i32 %y) {
}
; CHECK: Loop intrinsic cannot be preceded by a convergent operation in the same basic block.
-; CHECK: %t60_tok3
+; CHECK-NEXT: %h1
+; CHECK-SAME: %t60_tok3
define void @loop_at_start(i32 %x, i32 %y) convergent {
A:
%t60_tok3 = call token @llvm.experimental.convergence.entry()
br label %B
B:
%z = add i32 %x, %y
+ ; This is not an error
+ %h2 = call token @llvm.experimental.convergence.loop() [ "convergencectrl"(token %t60_tok3) ]
----------------
nhaehnle wrote:
Maybe make that explicit with a CHECK-NOT: %h2?
https://github.com/llvm/llvm-project/pull/66200
More information about the llvm-commits
mailing list