; RUN: not opt -S -passes=verify < %s 2>&1 | FileCheck %s ;; Global variables cannot be scalable vectors, since we don't ;; know the size at compile time. ; CHECK: Globals cannot contain scalable types ; CHECK-NEXT: ptr @ScalableVecGlobal @ScalableVecGlobal = global zeroinitializer ; CHECK-NEXT: Globals cannot contain scalable types ; CHECK-NEXT: ptr @ScalableVecArrayGlobal @ScalableVecArrayGlobal = global [ 8 x ] zeroinitializer ; CHECK-NEXT: Globals cannot contain scalable types ; CHECK-NEXT: ptr @ScalableVecStructGlobal @ScalableVecStructGlobal = external global { i32, } ; CHECK-NEXT: Globals cannot contain scalable types ; CHECK-NEXT: ptr @StructTestGlobal %struct.test = type { , } @StructTestGlobal = global %struct.test zeroinitializer ; CHECK-NEXT: Globals cannot contain scalable types ; CHECK-NEXT: ptr @StructArrayTestGlobal %struct.array.test = type { [2 x ] } @StructArrayTestGlobal = external global %struct.array.test ; CHECK-NEXT: Globals cannot contain scalable types ; CHECK-NEXT: ptr @StructTargetTestGlobal %struct.target.test = type { target("aarch64.svcount"), target("aarch64.svcount") } @StructTargetTestGlobal = external global %struct.target.test