1; RUN: not --crash llc -verify-machineinstrs -o - -mtriple=s390x-linux-gnu -code-model=tiny < %s 2>&1 | FileCheck %s --check-prefix=TINY
2; RUN: not --crash llc -verify-machineinstrs -o - -mtriple=s390x-linux-gnu -code-model=kernel < %s 2>&1 | FileCheck %s --check-prefix=KERNEL
3
4; TINY:    Target does not support the tiny CodeModel
5; KERNEL:    Target does not support the kernel CodeModel
6
7define void @foo() {
8  ret void
9}
10