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

[Arthur Eubanks via llvm-commits]

Author: Arthur Eubanks
Date: 2022-02-09T16:00:18-08:00
New Revision: 687263183bc8717dfac8e0310df8efc204fda71b

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

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

Verified that the test properly crashes without D16893's fix.

Added: 
    

Modified: 
    llvm/test/Transforms/CodeGenPrepare/dom-tree.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/CodeGenPrepare/dom-tree.ll b/llvm/test/Transforms/CodeGenPrepare/dom-tree.ll
index 9662ac9559443..1c990ff7073a4 100644
--- 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"