192 lines · plain
1# RUN: llc %s -mtriple=riscv64 --passes='print<reaching-def>' -o - 2>&1 | FileCheck %s2 3---4name: test05tracksRegLiveness: true6stack:7 - { id: 0, name: '', type: default, offset: 0, size: 4, alignment: 4,8 stack-id: default, callee-saved-register: '', callee-saved-restored: true,9 debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }10body: |11 ; CHECK-LABEL: RDA results for test012 ; CHECK-NEXT: %stack.0:{ }13 ; CHECK-NEXT:0: $x10 = LD %stack.0, 0 :: (load (s64))14 ; CHECK-EMPTY:15 ; CHECK-NEXT: implicit $x10:{ 0 }16 ; CHECK-NEXT:1: PseudoRET implicit $x1017 18 bb.0.entry:19 $x10 = LD %stack.0, 0 :: (load (s64))20 PseudoRET implicit $x1021 22...23---24name: test125tracksRegLiveness: true26stack:27 - { id: 0, name: '', type: default, offset: 0, size: 4, alignment: 4,28 stack-id: default, callee-saved-register: '', callee-saved-restored: true,29 debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }30 - { id: 1, name: '', type: default, offset: 0, size: 4, alignment: 4,31 stack-id: default, callee-saved-register: '', callee-saved-restored: true,32 debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }33body: |34 ; CHECK-LABEL: RDA results for test135 ; CHECK-NEXT: %stack.0:{ }36 ; CHECK-NEXT: 0: $x10 = LD %stack.0, 0 :: (load (s64))37 ; CHECK-EMPTY: 38 ; CHECK-NEXT: %stack.1:{ }39 ; CHECK-NEXT: 1: $x11 = LD %stack.1, 0 :: (load (s64))40 ; CHECK-EMPTY: 41 ; CHECK-NEXT: $x10:{ 0 }42 ; CHECK-NEXT: $x11:{ 1 }43 ; CHECK-NEXT: 2: $x10 = ADD $x10, $x1144 ; CHECK-EMPTY: 45 ; CHECK-NEXT: implicit $x10:{ 2 }46 ; CHECK-NEXT: 3: PseudoRET implicit $x1047 48 bb.0.entry:49 $x10 = LD %stack.0, 0 :: (load (s64))50 $x11 = LD %stack.1, 0 :: (load (s64))51 $x10 = ADD $x10, $x1152 PseudoRET implicit $x1053 54...55---56name: test257tracksRegLiveness: true58stack:59 - { id: 0, name: '', type: default, offset: 0, size: 4, alignment: 4,60 stack-id: default, callee-saved-register: '', callee-saved-restored: true,61 debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }62 - { id: 1, name: '', type: default, offset: 0, size: 4, alignment: 4,63 stack-id: default, callee-saved-register: '', callee-saved-restored: true,64 debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }65body: |66 ; CHECK-LABEL: RDA results for test267 ; CHECK-NEXT: %stack.0:{ }68 ; CHECK-NEXT: 0: $x10 = LD %stack.0, 0 :: (load (s64))69 ; CHECK-EMPTY: 70 ; CHECK-NEXT: %stack.1:{ }71 ; CHECK-NEXT: 1: $x11 = LD %stack.1, 0 :: (load (s64))72 ; CHECK-EMPTY: 73 ; CHECK-NEXT: $x10:{ 0 }74 ; CHECK-NEXT: $x11:{ 1 }75 ; CHECK-NEXT: 2: $x10 = ADD $x10, $x1176 ; CHECK-EMPTY: 77 ; CHECK-NEXT: $x10:{ 2 }78 ; CHECK-NEXT: %stack.0:{ }79 ; CHECK-NEXT: 3: SD $x10, %stack.0, 0 :: (store (s64))80 ; CHECK-EMPTY: 81 ; CHECK-NEXT: %stack.0:{ 3 }82 ; CHECK-NEXT: 4: $x10 = LD %stack.0, 0 :: (load (s64))83 ; CHECK-EMPTY: 84 ; CHECK-NEXT: implicit $x10:{ 4 }85 ; CHECK-NEXT: 5: PseudoRET implicit $x1086 87 bb.0.entry:88 $x10 = LD %stack.0, 0 :: (load (s64))89 $x11 = LD %stack.1, 0 :: (load (s64))90 $x10 = ADD $x10, $x1191 SD $x10, %stack.0, 0 :: (store (s64))92 $x10 = LD %stack.0, 0 :: (load (s64))93 PseudoRET implicit $x1094 95...96---97name: test398tracksRegLiveness: true99stack:100 - { id: 0, name: '', type: default, offset: 0, size: 4, alignment: 4,101 stack-id: default, callee-saved-register: '', callee-saved-restored: true,102 debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }103body: |104 ; CHECK-LABEL: RDA results for test3105 ; CHECK-NEXT: $x10:{ }106 ; CHECK-NEXT: $x0:{ }107 ; CHECK-NEXT: 0: BEQ $x10, $x0, %bb.2108 ; CHECK-EMPTY: 109 ; CHECK-NEXT: $x10:{ }110 ; CHECK-NEXT: 1: $x10 = ADDI $x10, 1111 ; CHECK-EMPTY: 112 ; CHECK-NEXT: $x10:{ 1 }113 ; CHECK-NEXT: %stack.0:{ }114 ; CHECK-NEXT: 2: SD $x10, %stack.0, 0 :: (store (s64))115 ; CHECK-EMPTY: 116 ; CHECK-NEXT: $x0:{ }117 ; CHECK-NEXT: $x0:{ }118 ; CHECK-NEXT: 3: BEQ $x0, $x0, %bb.3119 ; CHECK-EMPTY: 120 ; CHECK-NEXT: $x10:{ 1 }121 ; CHECK-NEXT: 4: $x10 = ADDI $x10, 2122 ; CHECK-EMPTY: 123 ; CHECK-NEXT: $x10:{ 4 }124 ; CHECK-NEXT: %stack.0:{ 2 }125 ; CHECK-NEXT: 5: SD $x10, %stack.0, 0 :: (store (s64))126 ; CHECK-EMPTY: 127 ; CHECK-NEXT: %stack.0:{ 2 5 }128 ; CHECK-NEXT: 6: $x10 = LD %stack.0, 0 :: (load (s64))129 ; CHECK-EMPTY: 130 ; CHECK-NEXT: implicit $x10:{ 6 }131 ; CHECK-NEXT: 7: PseudoRET implicit $x10132 133 bb.0.entry:134 liveins: $x10135 BEQ $x10, $x0, %bb.2136 137 bb.1:138 liveins: $x10139 $x10 = ADDI $x10, 1140 SD $x10, %stack.0, 0 :: (store (s64))141 BEQ $x0, $x0, %bb.3142 143 bb.2:144 liveins: $x10145 $x10 = ADDI $x10, 2146 SD $x10, %stack.0, 0 :: (store (s64))147 148 bb.3:149 $x10 = LD %stack.0, 0 :: (load (s64))150 PseudoRET implicit $x10151...152---153name: test4154tracksRegLiveness: true155fixedStack:156 - { id: 0, type: default, offset: 0, size: 4, alignment: 16,157 isImmutable: true, isAliased: false }158stack:159 - { id: 0, name: '', type: default, offset: 0, size: 4, alignment: 4,160 stack-id: default, callee-saved-register: '', callee-saved-restored: true,161 debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }162 - { id: 1, name: '', type: default, offset: 0, size: 4, alignment: 4,163 stack-id: default, callee-saved-register: '', callee-saved-restored: true,164 debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }165body: |166 ; CHECK: RDA results for test4167 ; CHECK-NEXT: $x10:{ }168 ; CHECK-NEXT: %stack.0:{ }169 ; CHECK-NEXT: 0: SD $x10, %stack.0, 0 :: (store (s64))170 ; CHECK-EMPTY:171 ; CHECK-NEXT: $x11:{ }172 ; CHECK-NEXT: %stack.0:{ 0 }173 ; CHECK-NEXT: 1: SD $x11, %stack.0, 0 :: (store (s64))174 ; CHECK-EMPTY:175 ; CHECK-NEXT: $x10:{ }176 ; CHECK-NEXT: %stack.1:{ }177 ; CHECK-NEXT: 2: SD $x10, %stack.1, 0 :: (store (s64))178 ; CHECK-EMPTY:179 ; CHECK-NEXT: $x11:{ }180 ; CHECK-NEXT: %stack.1:{ 2 }181 ; CHECK-NEXT: 3: SD $x11, %stack.1, 0 :: (store (s64))182 ; CHECK-EMPTY:183 ; CHECK-NEXT: 4: PseudoRET184 bb.0.entry:185 liveins: $x10, $x11186 SD $x10, %stack.0, 0 :: (store (s64))187 SD $x11, %stack.0, 0 :: (store (s64))188 SD $x10, %stack.1, 0 :: (store (s64))189 SD $x11, %stack.1, 0 :: (store (s64))190 PseudoRET191...192