[llvm] 53075f8 - Verifier: Move test from test/Analysis to test/Verifier

[Matt Arsenault via llvm-commits]

Author: Matt Arsenault
Date: 2023-01-05T10:26:02-05:00
New Revision: 53075f8f4ef03905fed6db86841361621a02a9be

URL: https://github.com/llvm/llvm-project/commit/53075f8f4ef03905fed6db86841361621a02a9be
DIFF: https://github.com/llvm/llvm-project/commit/53075f8f4ef03905fed6db86841361621a02a9be.diff

LOG: Verifier: Move test from test/Analysis to test/Verifier

This test was purely checking the verifier error, and had no reason
to be running instcombine.

Added: 
    llvm/test/Verifier/tbaa-cyclic.ll

Modified: 
    

Removed: 
    llvm/test/Analysis/TypeBasedAliasAnalysis/cyclic.ll


################################################################################
diff  --git a/llvm/test/Analysis/TypeBasedAliasAnalysis/cyclic.ll b/llvm/test/Verifier/tbaa-cyclic.ll
similarity index 91%
rename from llvm/test/Analysis/TypeBasedAliasAnalysis/cyclic.ll
rename to llvm/test/Verifier/tbaa-cyclic.ll
index 2dcdd2d72137b..134fd7c4648cc 100644
--- a/llvm/test/Analysis/TypeBasedAliasAnalysis/cyclic.ll
+++ b/llvm/test/Verifier/tbaa-cyclic.ll
@@ -1,4 +1,4 @@
-; RUN: not opt -passes=instcombine < %s 2>&1 | FileCheck %s
+; RUN: not llvm-as -disable-output < %s 2>&1 | FileCheck %s
 ; CHECK: Access type node must be a valid scalar type
 
 define void @test6(ptr %gi) #0 {