xref: /llvm-project/llvm/test/CodeGen/X86/GlobalISel/legalize-ashr-scalar.mir (revision e4c46ddd91eba5ec162225abc1e47aa3c6c13516)
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
2# RUN: llc -mtriple=x86_64-linux-gnu -run-pass=legalizer %s -o - | FileCheck %s
3--- |
4
5  define void @test_ashr() { ret void }
6  define void @test_ashr_i1() { ret void }
7...
8---
9name:            test_ashr
10alignment:       16
11legalized:       false
12regBankSelected: false
13tracksRegLiveness: true
14registers:
15  - { id: 0, class: _, preferred-register: '' }
16  - { id: 1, class: _, preferred-register: '' }
17  - { id: 2, class: _, preferred-register: '' }
18  - { id: 3, class: _, preferred-register: '' }
19  - { id: 4, class: _, preferred-register: '' }
20  - { id: 5, class: _, preferred-register: '' }
21  - { id: 6, class: _, preferred-register: '' }
22  - { id: 7, class: _, preferred-register: '' }
23  - { id: 8, class: _, preferred-register: '' }
24  - { id: 9, class: _, preferred-register: '' }
25  - { id: 10, class: _, preferred-register: '' }
26  - { id: 11, class: _, preferred-register: '' }
27body:             |
28  bb.1 (%ir-block.0):
29    liveins: $rdi, $rsi
30
31    ; CHECK-LABEL: name: test_ashr
32    ; CHECK: liveins: $rdi, $rsi
33    ; CHECK: RET 0
34    %0(s64) = COPY $rdi
35    %1(s64) = COPY $rsi
36    %2(s64) = G_ASHR %0, %1
37
38    %3(s32) = G_TRUNC %0
39    %4(s32) = G_TRUNC %1
40    %5(s32) = G_ASHR %3, %4
41
42    %6(s16) = G_TRUNC %0
43    %7(s16) = G_TRUNC %1
44    %8(s16) = G_ASHR %6, %7
45
46    %9(s8) = G_TRUNC %0
47    %10(s8) = G_TRUNC %1
48    %11(s8) = G_ASHR %9, %10
49
50    RET 0
51
52...
53---
54name:            test_ashr_i1
55alignment:       16
56legalized:       false
57regBankSelected: false
58tracksRegLiveness: true
59registers:
60  - { id: 0, class: _, preferred-register: '' }
61  - { id: 1, class: _, preferred-register: '' }
62  - { id: 2, class: _, preferred-register: '' }
63  - { id: 3, class: _, preferred-register: '' }
64  - { id: 4, class: _, preferred-register: '' }
65body:             |
66  bb.1 (%ir-block.0):
67    liveins: $rdi, $rsi
68
69    ; CHECK-LABEL: name: test_ashr_i1
70    ; CHECK: liveins: $rdi, $rsi
71    ; CHECK: RET 0
72    %0(s64) = COPY $rdi
73    %1(s64) = COPY $rsi
74    %2(s1) = G_TRUNC %0
75    %3(s1) = G_TRUNC %1
76    %4(s1) = G_ASHR %2, %3
77
78    RET 0
79
80...
81