[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / ARM / GlobalISel / arm-select-copy_to_regclass-of-fptosi.mir
blob017cbfd8a6feb3ef8e3bbcc7d2752fb7ce5ab4d5
1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
2 # RUN: llc -mtriple armv7-gnueabihf -run-pass instruction-select \
3 # RUN:     -verify-machineinstrs -o - %s | FileCheck %s
4 ---
5 # Test that we constrain register classes of temporary virtual registers
6 # defined by nested instructions built from a Dst Pattern
8 # G_FPTOSI selects to a (COPY_TO_REGCLASS (VTOSIZS SPR:$a), GPR), where
9 # COPY_TO_REGCLASS doesn't constrain its source register class. It exposes the
10 # bug as we create a tmp reg for VTOSIZS' result and don't constrain its
11 # register class as COPY_TO_REGCLASS' source (which is fine) nor as VTOSIZS'
12 # destination (which is not).
14 # https://bugs.llvm.org/show_bug.cgi?id=35965
15 name:            test_fptosi
16 legalized:       true
17 regBankSelected: true
18 body:             |
19   bb.1:
20     ; CHECK-LABEL: name: test_fptosi
21     ; CHECK: [[COPY:%[0-9]+]]:spr = COPY $s0
22     ; CHECK: [[VTOSIZS:%[0-9]+]]:spr = VTOSIZS [[COPY]], 14, $noreg
23     ; CHECK: [[COPY1:%[0-9]+]]:gpr = COPY [[VTOSIZS]]
24     ; CHECK: $r0 = COPY [[COPY1]]
25     ; CHECK: MOVPCLR 14, $noreg, implicit $r0
26     %0:fprb(s32) = COPY $s0
27     %1:gprb(s32) = G_FPTOSI %0(s32)
28     $r0 = COPY %1(s32)
29     MOVPCLR 14, $noreg, implicit $r0
30 ...