[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / MachineVerifier / test_g_build_vector_trunc.mir
blobd73e37e1e6e3088a1360e795338adf1cefbaba3f
1 #RUN: not llc -o - -global-isel -run-pass=none -verify-machineinstrs %s 2>&1 | FileCheck %s
2 # REQUIRES: aarch64-registered-target
3 --- |
4   target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
5   target triple = "aarch64-unknown-unknown"
7   define i32 @g_build_vector_trunc() {
8     ret i32 0
9   }
11 ...
12 ---
13 name:            g_build_vector_trunc
14 legalized:       true
15 regBankSelected: false
16 selected:        false
17 tracksRegLiveness: true
18 registers:
19   - { id: 0, class: _, preferred-register: '' }
20 liveins:
21 body:             |
22   bb.0:
23     ; CHECK: Bad machine code: G_BUILD_VECTOR_TRUNC source operand types are not larger than dest elt type
25     %0(s32) = IMPLICIT_DEF
26     %1:_(<2 x s32>) = G_BUILD_VECTOR_TRUNC %0, %0
27 ...