1# RUN: llc -mtriple powerpc-unknown-aix-xcoff -x mir -mcpu=pwr4 -mattr=-altivec \
2# RUN: -run-pass=prologepilog --verify-machineinstrs < %s | \
3# RUN: FileCheck %s --check-prefixes=CHECK
4
5---
6name:            CRMultiSave
7alignment:       16
8tracksRegLiveness: true
9liveins:
10  - { reg: '$r3', virtual-reg: '' }
11body:             |
12  bb.0.entry:
13    liveins: $r3
14    renamable $r29 = ANDI_rec killed renamable $r3, 1, implicit-def dead $cr0, implicit-def $cr0gt
15    renamable $cr2lt = COPY $cr0gt
16    renamable $cr4lt = COPY $cr0gt
17    renamable $r3 = COPY $r29
18    BLR implicit $lr, implicit $rm, implicit $r3
19
20    ; CHECK-LABEL:  fixedStack:
21    ; CHECK-NEXT:   - { id: 0, type: spill-slot, offset: -12, size: 4, alignment: 4, stack-id: default,
22    ; CHECK-NEXT:       callee-saved-register: '$r29', callee-saved-restored: true, debug-info-variable: '',
23    ; CHECK-NEXT:       debug-info-expression: '', debug-info-location: '' }
24    ; CHECK-NEXT:   - { id: 1, type: default, offset: 4, size: 4, alignment: 4, stack-id: default,
25    ; CHECK-NEXT:       isImmutable: true, isAliased: false, callee-saved-register: '$cr4',
26    ; CHECK-NEXT:       callee-saved-restored: true, debug-info-variable: '', debug-info-expression: '',
27    ; CHECK-NEXT:       debug-info-location: '' }
28    ; CHECK-LABEL:  stack:
29
30    ; CHECK:      bb.0.entry:
31    ; CHECK-NEXT:  liveins: $r3, $r29, $cr2, $cr4
32
33    ; CHECK:      $r12 = MFCR implicit killed $cr2, implicit killed $cr4
34    ; CHECK-NEXT: STW killed $r12, 4, $r1
35    ; CHECK-NEXT: STW killed $r29, -12, $r1 :: (store 4 into %fixed-stack.0)
36
37    ; CHECK:      $r29 = LWZ -12, $r1 :: (load 4 from %fixed-stack.0)
38    ; CHECK-NEXT: $r12 = LWZ 4, $r1
39    ; CHECK-NEXT: $cr2 = MTOCRF $r12
40    ; CHECK-NEXT: $cr4 = MTOCRF killed $r12
41
42...
43---
44name:            CR3Save
45alignment:       16
46tracksRegLiveness: true
47liveins:
48  - { reg: '$r3', virtual-reg: '' }
49body:             |
50  bb.0.entry:
51    liveins: $r3
52    renamable $r14 = ANDI_rec killed renamable $r3, 1, implicit-def dead $cr0, implicit-def $cr0gt
53    renamable $cr3lt = COPY $cr0gt
54    renamable $r3 = COPY $r14
55    BLR implicit $lr, implicit $rm, implicit $r3
56
57    ; CHECK-LABEL: fixedStack:
58    ; CHECK-NEXT:  - { id: 0, type: spill-slot, offset: -72, size: 4, alignment: 8, stack-id: default,
59    ; CHECK-NEXT:      callee-saved-register: '$r14', callee-saved-restored: true, debug-info-variable: '',
60    ; CHECK-NEXT:      debug-info-expression: '', debug-info-location: '' }
61    ; CHECK-NEXT:  - { id: 1, type: default, offset: 4, size: 4, alignment: 4, stack-id: default,
62    ; CHECK-NEXT:      isImmutable: true, isAliased: false, callee-saved-register: '$cr3',
63    ; CHECK-NEXT:      callee-saved-restored: true, debug-info-variable: '', debug-info-expression: '',
64    ; CHECK-NEXT:      debug-info-location: '' }
65    ; CHECK-LABEL: stack:
66
67    ; CHECK:      bb.0.entry:
68    ; CHECK-NEXT:   liveins: $r3, $r14, $cr3
69
70    ; CHECK:      $r12 = MFCR implicit killed $cr3
71    ; CHECK-NEXT: STW killed $r12, 4, $r1
72    ; CHECK-NEXT: STW killed $r14, -72, $r1 :: (store 4 into %fixed-stack.0, align 8)
73
74    ; CHECK:      $r14 = LWZ -72, $r1 :: (load 4 from %fixed-stack.0, align 8)
75    ; CHECK-NEXT: $r12 = LWZ 4, $r1
76    ; CHECK-NEXT: $cr3 = MTOCRF killed $r12
77