[test] Test domtree validity with -verify-dom-info instead of -analyze

Verified that the test properly crashes without D16893's fix.
llvm · Feb 10, 2022 · 6872631 · 6872631
1 parent 666aa43
commit 6872631
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/llvm/test/Transforms/CodeGenPrepare/dom-tree.ll b/llvm/test/Transforms/CodeGenPrepare/dom-tree.ll
@@ -1,11 +1,11 @@
 ; REQUIRES: arm-registered-target
-; RUN: opt -S -loop-unroll -codegenprepare < %s -domtree -analyze | FileCheck %s
+; RUN: opt -S -loop-unroll -codegenprepare < %s -domtree -verify-dom-info | FileCheck %s
 ;
 ; Checks that the dom tree is properly invalidated after an operation that will
 ; invalidate it in CodeGenPrepare. If the domtree isn't properly invalidated,
 ; this will likely segfault, or print badref.
 
-; CHECK-NOT: <badref>
+; CHECK: @f
 
 target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"
 target triple = "armv7--linux-gnueabihf"