xref: /llvm-project/llvm/test/CodeGen/X86/apx/foldimmediate.mir (revision 36b4b9d988ff1e82758fd5a462120086d21989e7)
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 3
2# RUN: llc -mtriple=x86_64-- -run-pass=peephole-opt %s -o - | FileCheck %s
3--- |
4  define void @foldImmediate() { ret void }
5...
6---
7# Check that immediates can be folded into ALU instructions.
8name: foldImmediate
9registers:
10  - { id: 0, class: gr32 }
11  - { id: 1, class: gr32 }
12  - { id: 2, class: gr32 }
13  - { id: 3, class: gr32 }
14  - { id: 4, class: gr32 }
15  - { id: 5, class: gr32 }
16  - { id: 6, class: gr32 }
17  - { id: 7, class: gr64 }
18  - { id: 8, class: gr64 }
19  - { id: 9, class: gr64 }
20  - { id: 10, class: gr64 }
21  - { id: 11, class: gr64 }
22  - { id: 12, class: gr64 }
23  - { id: 13, class: gr64 }
24  - { id: 14, class: gr64 }
25  - { id: 15, class: gr64 }
26  - { id: 16, class: gr32 }
27  - { id: 17, class: gr64 }
28  - { id: 18, class: gr32 }
29
30body: |
31  bb.0:
32    liveins: $rdi, $rsi
33
34    ; CHECK-LABEL: name: foldImmediate
35    ; CHECK: liveins: $rdi, $rsi
36    ; CHECK-NEXT: {{  $}}
37    ; CHECK-NEXT: [[MOV32ri:%[0-9]+]]:gr32 = MOV32ri 81
38    ; CHECK-NEXT: [[COPY:%[0-9]+]]:gr32 = COPY $edi
39    ; CHECK-NEXT: CTEST32ri [[COPY]], 81, 2, 10, implicit-def $eflags, implicit $eflags
40    ; CHECK-NEXT: NOOP implicit $eflags
41    ; CHECK-NEXT: CCMP32ri [[COPY]], 81, 2, 10, implicit-def $eflags, implicit $eflags
42    ; CHECK-NEXT: NOOP implicit $eflags
43    ; CHECK-NEXT: [[SUBREG_TO_REG:%[0-9]+]]:gr64 = SUBREG_TO_REG 0, killed [[MOV32ri]], %subreg.sub_32bit
44    ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gr64 = COPY $rsi
45    ; CHECK-NEXT: CTEST64ri32 [[COPY1]], 81, 2, 10, implicit-def $eflags, implicit $eflags
46    ; CHECK-NEXT: NOOP implicit $eflags
47    ; CHECK-NEXT: CCMP64ri32 [[COPY1]], 81, 2, 10, implicit-def $eflags, implicit $eflags
48    ; CHECK-NEXT: NOOP implicit $eflags
49    ; CHECK-NEXT: CCMP64rr [[SUBREG_TO_REG]], [[COPY1]], 2, 10, implicit-def $eflags, implicit $eflags
50    ; CHECK-NEXT: NOOP implicit $eflags
51    %0 = MOV32ri 81
52    %1 = COPY $edi
53
54    CTEST32rr %0, %1, 2, 10, implicit-def $eflags, implicit $eflags
55    NOOP implicit $eflags
56
57    CCMP32rr %1, %0, 2, 10, implicit-def $eflags, implicit $eflags
58    NOOP implicit $eflags
59
60    %7 = SUBREG_TO_REG 0, killed %0:gr32, %subreg.sub_32bit
61    %8 = COPY $rsi
62
63    CTEST64rr %8, %7, 2, 10, implicit-def $eflags, implicit $eflags
64    NOOP implicit $eflags
65
66    CCMP64rr %8, %7, 2, 10, implicit-def $eflags, implicit $eflags
67    NOOP implicit $eflags
68    CCMP64rr %7, %8, 2, 10, implicit-def $eflags, implicit $eflags
69    NOOP implicit $eflags
70...
71