llvm/test/Assembler/target-type-properties.ll

   1 ; RUN: split-file %s %t
   2 ; RUN: not llvm-as < %t/zeroinit-error.ll -o /dev/null 2>&1 | FileCheck --check-prefix=CHECK-ZEROINIT %s
   3 ; RUN: not llvm-as < %t/global-var.ll -o /dev/null 2>&1 | FileCheck --check-prefix=CHECK-GLOBALVAR %s
   4 ; Check target extension type properties are verified in the assembler.
   5
   6 ;--- zeroinit-error.ll
   7 define void @foo() {
   8   %val = freeze target("spirv.DeviceEvent") zeroinitializer
   9   %val2 = freeze target("unknown_target_type") zeroinitializer
  10 ; CHECK-ZEROINIT: error: invalid type for null constant
  11   ret void
  12 }
  13
  14 ;--- global-var.ll
  15 @global = external global target("unknown_target_type")
  16 ; CHECK-GLOBALVAR: Global @global has illegal target extension type