From 2b110caabfa00a048fceba7e5a0df04cf4c6f691 Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Sat, 24 Oct 2009 23:23:04 +0000 Subject: Make these tests more interesting by using -verify-dom-info and -verify-loop-info, which enable additional (expensive) consistency checks. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@85017 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Transforms/JumpThreading/no-irreducible-loops.ll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/Transforms/JumpThreading') diff --git a/test/Transforms/JumpThreading/no-irreducible-loops.ll b/test/Transforms/JumpThreading/no-irreducible-loops.ll index b4d44187f5..97276b039a 100644 --- a/test/Transforms/JumpThreading/no-irreducible-loops.ll +++ b/test/Transforms/JumpThreading/no-irreducible-loops.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -jump-threading -loop-rotate -instcombine -indvars -loop-unroll -simplifycfg -S > %t +; RUN: opt < %s -jump-threading -loop-rotate -instcombine -indvars -loop-unroll -simplifycfg -S -verify-dom-info -verify-loop-info > %t ; RUN: grep {volatile store} %t | count 3 ; RUN: not grep {br label} %t -- cgit v1.2.3-70-g09d2