| David Green | bd72be0 | 2018-12-10 20:55:34 +0000 | [diff] [blame] | 1 | ; RUN: not llc -verify-machineinstrs -o - -mtriple=s390x-linux-gnu -code-model=tiny < %s 2>&1 | FileCheck %s --check-prefix=TINY |
| 2 | ; RUN: not llc -verify-machineinstrs -o - -mtriple=s390x-linux-gnu -code-model=kernel < %s 2>&1 | FileCheck %s --check-prefix=KERNEL |
| David Green | ca29c27 | 2018-12-07 12:10:23 +0000 | [diff] [blame] | 3 | |
| 4 | ; TINY: Target does not support the tiny CodeModel |
| 5 | ; KERNEL: Target does not support the kernel CodeModel |
| 6 | |
| 7 | define void @foo() { |
| 8 | ret void |
| 9 | } |