xref: /llvm-project/llvm/test/CodeGen/PowerPC/peephole-counter-XToI.mir (revision 6e1a04247d6cc3295be8e3b14286f95983632e1c)
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 4
2# REQUIRES: asserts
3# RUN: llc -mtriple=powerpc64le-unknown-linux-gnu -verify-machineinstrs \
4# RUN:   -run-pass ppc-mi-peepholes %s -o - | FileCheck %s --check-prefix=ALL
5# RUN: llc -mtriple=powerpc64le-unknown-linux-gnu -verify-machineinstrs \
6# RUN:   -run-pass ppc-mi-peepholes %s -o - -debug-counter=ppc-xtoi-peephole=0-7 \
7# RUN:   | FileCheck %s --check-prefix=ALL
8# RUN: llc -mtriple=powerpc64le-unknown-linux-gnu -verify-machineinstrs \
9# RUN:   -run-pass ppc-mi-peepholes %s -o - -debug-counter=ppc-xtoi-peephole=3-4 \
10# RUN:   | FileCheck %s --check-prefix=ONE-FIRSTSTORE
11# RUN: llc -mtriple=powerpc64le-unknown-linux-gnu -verify-machineinstrs \
12# RUN:   -run-pass ppc-mi-peepholes %s -o - -debug-counter=ppc-xtoi-peephole=5-6 \
13# RUN:   | FileCheck %s --check-prefix=ONE-SECONDSTORE
14# RUN: llc -mtriple=powerpc64le-unknown-linux-gnu -verify-machineinstrs \
15# RUN:   -run-pass ppc-mi-peepholes %s -o - -debug-counter=ppc-xtoi-peephole=3-6 \
16# RUN:   | FileCheck %s --check-prefix=TWO
17
18---
19name: foldDForm
20tracksRegLiveness: true
21body:             |
22  bb.0.entry:
23    liveins: $x3
24
25    ; ALL-LABEL: name: foldDForm
26    ; ALL: liveins: $x3
27    ; ALL-NEXT: {{  $}}
28    ; ALL-NEXT: [[COPY:%[0-9]+]]:g8rc_and_g8rc_nox0 = COPY killed $x3
29    ; ALL-NEXT: dead [[ADDI8_:%[0-9]+]]:g8rc_and_g8rc_nox0 = ADDI8 [[COPY]], 144
30    ; ALL-NEXT: [[LI8_:%[0-9]+]]:g8rc = LI8 0
31    ; ALL-NEXT: STD [[LI8_]], 160, [[COPY]]
32    ; ALL-NEXT: dead [[ADDI8_1:%[0-9]+]]:g8rc_and_g8rc_nox0 = ADDI8 [[COPY]], 160
33    ; ALL-NEXT: STD [[LI8_]], 176, [[COPY]]
34    ; ALL-NEXT: dead [[ADDI8_2:%[0-9]+]]:g8rc_and_g8rc_nox0 = ADDI8 [[COPY]], 176
35    ; ALL-NEXT: STD killed [[LI8_]], 192, killed [[COPY]]
36    ; ALL-NEXT: BLR8 implicit $lr8, implicit $rm
37    ;
38    ; ONE-FIRSTSTORE-LABEL: name: foldDForm
39    ; ONE-FIRSTSTORE: liveins: $x3
40    ; ONE-FIRSTSTORE-NEXT: {{  $}}
41    ; ONE-FIRSTSTORE-NEXT: [[COPY:%[0-9]+]]:g8rc_and_g8rc_nox0 = COPY killed $x3
42    ; ONE-FIRSTSTORE-NEXT: dead [[ADDI8_:%[0-9]+]]:g8rc_and_g8rc_nox0 = ADDI8 [[COPY]], 144
43    ; ONE-FIRSTSTORE-NEXT: [[LI8_:%[0-9]+]]:g8rc = LI8 0
44    ; ONE-FIRSTSTORE-NEXT: STD [[LI8_]], 160, [[COPY]]
45    ; ONE-FIRSTSTORE-NEXT: [[ADDI8_1:%[0-9]+]]:g8rc_and_g8rc_nox0 = ADDI8 [[COPY]], 160
46    ; ONE-FIRSTSTORE-NEXT: STD [[LI8_]], 16, killed [[ADDI8_1]]
47    ; ONE-FIRSTSTORE-NEXT: [[ADDI8_2:%[0-9]+]]:g8rc_and_g8rc_nox0 = ADDI8 killed [[COPY]], 176
48    ; ONE-FIRSTSTORE-NEXT: STD killed [[LI8_]], 16, killed [[ADDI8_2]]
49    ; ONE-FIRSTSTORE-NEXT: BLR8 implicit $lr8, implicit $rm
50    ;
51    ; ONE-SECONDSTORE-LABEL: name: foldDForm
52    ; ONE-SECONDSTORE: liveins: $x3
53    ; ONE-SECONDSTORE-NEXT: {{  $}}
54    ; ONE-SECONDSTORE-NEXT: [[COPY:%[0-9]+]]:g8rc_and_g8rc_nox0 = COPY killed $x3
55    ; ONE-SECONDSTORE-NEXT: [[ADDI8_:%[0-9]+]]:g8rc_and_g8rc_nox0 = ADDI8 [[COPY]], 144
56    ; ONE-SECONDSTORE-NEXT: [[LI8_:%[0-9]+]]:g8rc = LI8 0
57    ; ONE-SECONDSTORE-NEXT: STD [[LI8_]], 16, killed [[ADDI8_]]
58    ; ONE-SECONDSTORE-NEXT: dead [[ADDI8_1:%[0-9]+]]:g8rc_and_g8rc_nox0 = ADDI8 [[COPY]], 160
59    ; ONE-SECONDSTORE-NEXT: STD [[LI8_]], 176, [[COPY]]
60    ; ONE-SECONDSTORE-NEXT: [[ADDI8_2:%[0-9]+]]:g8rc_and_g8rc_nox0 = ADDI8 killed [[COPY]], 176
61    ; ONE-SECONDSTORE-NEXT: STD killed [[LI8_]], 16, killed [[ADDI8_2]]
62    ; ONE-SECONDSTORE-NEXT: BLR8 implicit $lr8, implicit $rm
63    ;
64    ; TWO-LABEL: name: foldDForm
65    ; TWO: liveins: $x3
66    ; TWO-NEXT: {{  $}}
67    ; TWO-NEXT: [[COPY:%[0-9]+]]:g8rc_and_g8rc_nox0 = COPY killed $x3
68    ; TWO-NEXT: dead [[ADDI8_:%[0-9]+]]:g8rc_and_g8rc_nox0 = ADDI8 [[COPY]], 144
69    ; TWO-NEXT: [[LI8_:%[0-9]+]]:g8rc = LI8 0
70    ; TWO-NEXT: STD [[LI8_]], 160, [[COPY]]
71    ; TWO-NEXT: dead [[ADDI8_1:%[0-9]+]]:g8rc_and_g8rc_nox0 = ADDI8 [[COPY]], 160
72    ; TWO-NEXT: STD [[LI8_]], 176, [[COPY]]
73    ; TWO-NEXT: [[ADDI8_2:%[0-9]+]]:g8rc_and_g8rc_nox0 = ADDI8 killed [[COPY]], 176
74    ; TWO-NEXT: STD killed [[LI8_]], 16, killed [[ADDI8_2]]
75    ; TWO-NEXT: BLR8 implicit $lr8, implicit $rm
76    %0:g8rc_and_g8rc_nox0 = COPY $x3
77    %1:g8rc_and_g8rc_nox0 = ADDI8 %0:g8rc_and_g8rc_nox0, 144
78    %2:g8rc = LI8 0
79    STD %2:g8rc, 16, %1:g8rc_and_g8rc_nox0
80    %3:g8rc_and_g8rc_nox0 = ADDI8 %0:g8rc_and_g8rc_nox0, 160
81    STD %2:g8rc, 16, %3:g8rc_and_g8rc_nox0
82    %4:g8rc_and_g8rc_nox0 = ADDI8 %0:g8rc_and_g8rc_nox0, 176
83    STD killed %2:g8rc, 16, %4:g8rc_and_g8rc_nox0
84    BLR8 implicit $lr8, implicit $rm
85...
86