154 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py2# RUN: llc -mtriple=riscv64 -run-pass=legalizer -verify-machineinstrs %s -o - | FileCheck %s3 4---5name: p0_s646body: |7 bb.0:8 liveins: $x109 10 ; CHECK-LABEL: name: p0_s6411 ; CHECK: liveins: $x1012 ; CHECK-NEXT: {{ $}}13 ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $x1014 ; CHECK-NEXT: [[INTTOPTR:%[0-9]+]]:_(p0) = G_INTTOPTR [[COPY]](s64)15 ; CHECK-NEXT: $x10 = COPY [[INTTOPTR]](p0)16 ; CHECK-NEXT: PseudoRET implicit $x1017 %0:_(s64) = COPY $x1018 %1:_(p0) = G_INTTOPTR %0(s64)19 $x10 = COPY %1(p0)20 PseudoRET implicit $x1021 22...23---24name: p0_s3225body: |26 bb.0:27 liveins: $x1028 29 ; CHECK-LABEL: name: p0_s3230 ; CHECK: liveins: $x1031 ; CHECK-NEXT: {{ $}}32 ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $x1033 ; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 429496729534 ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s64) = G_AND [[COPY]], [[C]]35 ; CHECK-NEXT: [[INTTOPTR:%[0-9]+]]:_(p0) = G_INTTOPTR [[AND]](s64)36 ; CHECK-NEXT: $x10 = COPY [[INTTOPTR]](p0)37 ; CHECK-NEXT: PseudoRET implicit $x1038 %1:_(s64) = COPY $x1039 %0:_(s32) = G_TRUNC %1(s64)40 %2:_(p0) = G_INTTOPTR %0(s32)41 $x10 = COPY %2(p0)42 PseudoRET implicit $x1043 44...45---46name: p0_s1647body: |48 bb.0:49 liveins: $x1050 51 ; CHECK-LABEL: name: p0_s1652 ; CHECK: liveins: $x1053 ; CHECK-NEXT: {{ $}}54 ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $x1055 ; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 6553556 ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s64) = G_AND [[COPY]], [[C]]57 ; CHECK-NEXT: [[INTTOPTR:%[0-9]+]]:_(p0) = G_INTTOPTR [[AND]](s64)58 ; CHECK-NEXT: $x10 = COPY [[INTTOPTR]](p0)59 ; CHECK-NEXT: PseudoRET implicit $x1060 %1:_(s64) = COPY $x1061 %0:_(s16) = G_TRUNC %1(s64)62 %2:_(p0) = G_INTTOPTR %0(s16)63 $x10 = COPY %2(p0)64 PseudoRET implicit $x1065 66...67---68name: p0_s869body: |70 bb.0:71 liveins: $x1072 73 ; CHECK-LABEL: name: p0_s874 ; CHECK: liveins: $x1075 ; CHECK-NEXT: {{ $}}76 ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $x1077 ; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 25578 ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s64) = G_AND [[COPY]], [[C]]79 ; CHECK-NEXT: [[INTTOPTR:%[0-9]+]]:_(p0) = G_INTTOPTR [[AND]](s64)80 ; CHECK-NEXT: $x10 = COPY [[INTTOPTR]](p0)81 ; CHECK-NEXT: PseudoRET implicit $x1082 %1:_(s64) = COPY $x1083 %0:_(s8) = G_TRUNC %1(s64)84 %2:_(p0) = G_INTTOPTR %0(s8)85 $x10 = COPY %2(p0)86 PseudoRET implicit $x1087 88...89---90name: p0_s191body: |92 bb.0:93 liveins: $x1094 95 ; CHECK-LABEL: name: p0_s196 ; CHECK: liveins: $x1097 ; CHECK-NEXT: {{ $}}98 ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $x1099 ; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 1100 ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s64) = G_AND [[COPY]], [[C]]101 ; CHECK-NEXT: [[INTTOPTR:%[0-9]+]]:_(p0) = G_INTTOPTR [[AND]](s64)102 ; CHECK-NEXT: $x10 = COPY [[INTTOPTR]](p0)103 ; CHECK-NEXT: PseudoRET implicit $x10104 %1:_(s64) = COPY $x10105 %0:_(s1) = G_TRUNC %1(s64)106 %2:_(p0) = G_INTTOPTR %0(s1)107 $x10 = COPY %2(p0)108 PseudoRET implicit $x10109 110...111---112name: p0_s128113body: |114 bb.0:115 liveins: $x10, $x11116 117 ; CHECK-LABEL: name: p0_s128118 ; CHECK: liveins: $x10, $x11119 ; CHECK-NEXT: {{ $}}120 ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $x10121 ; CHECK-NEXT: [[INTTOPTR:%[0-9]+]]:_(p0) = G_INTTOPTR [[COPY]](s64)122 ; CHECK-NEXT: $x10 = COPY [[INTTOPTR]](p0)123 ; CHECK-NEXT: PseudoRET implicit $x10124 %1:_(s64) = COPY $x10125 %2:_(s64) = COPY $x11126 %0:_(s128) = G_MERGE_VALUES %1(s64), %2(s64)127 %3:_(p0) = G_INTTOPTR %0(s128)128 $x10 = COPY %3(p0)129 PseudoRET implicit $x10130 131...132---133name: p0_s88134body: |135 bb.0:136 liveins: $x10, $x11137 138 ; CHECK-LABEL: name: p0_s88139 ; CHECK: liveins: $x10, $x11140 ; CHECK-NEXT: {{ $}}141 ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $x10142 ; CHECK-NEXT: [[INTTOPTR:%[0-9]+]]:_(p0) = G_INTTOPTR [[COPY]](s64)143 ; CHECK-NEXT: $x10 = COPY [[INTTOPTR]](p0)144 ; CHECK-NEXT: PseudoRET implicit $x10145 %1:_(s64) = COPY $x10146 %2:_(s64) = COPY $x11147 %3:_(s128) = G_MERGE_VALUES %1(s64), %2(s64)148 %0:_(s88) = G_TRUNC %3(s128)149 %4:_(p0) = G_INTTOPTR %0(s88)150 $x10 = COPY %4(p0)151 PseudoRET implicit $x10152 153...154