211 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py2# RUN: llc -O0 -mtriple=amdgcn-mesa-mesa3d -mcpu=tahiti -run-pass=legalizer %s -o - | FileCheck %s3 4---5name: trunc_s16_merge_s64_s326 7body: |8 bb.0:9 ; Test that trunc(merge) with trunc-size < merge-source-size creates a trunc10 ; of the merge source11 ; CHECK-LABEL: name: trunc_s16_merge_s64_s3212 ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 013 ; CHECK-NEXT: $vgpr0 = COPY [[C]](s32)14 %0:_(s32) = G_CONSTANT i32 015 %1:_(s32) = G_CONSTANT i32 116 %2:_(s64) = G_MERGE_VALUES %0, %117 %3:_(s16) = G_TRUNC %218 %4:_(s32) = G_ANYEXT %319 $vgpr0 = COPY %420...21 22---23name: trunc_s32_merge_s64_s3224 25body: |26 bb.0:27 ; Test that trunc(merge) with trunc-size == merge-source-size is eliminated28 ; CHECK-LABEL: name: trunc_s32_merge_s64_s3229 ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 030 ; CHECK-NEXT: $vgpr0 = COPY [[C]](s32)31 %0:_(s32) = G_CONSTANT i32 032 %1:_(s32) = G_CONSTANT i32 133 %2:_(s64) = G_MERGE_VALUES %0, %134 %3:_(s32) = G_TRUNC %235 $vgpr0 = COPY %336...37 38---39name: trunc_s64_merge_s128_s3240 41body: |42 bb.0:43 ; Test that trunc(merge) with trunc-size > merge-source-size combines to a44 ; smaller merge45 ; CHECK-LABEL: name: trunc_s64_merge_s128_s3246 ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 047 ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 148 ; CHECK-NEXT: [[MV:%[0-9]+]]:_(s64) = G_MERGE_VALUES [[C]](s32), [[C1]](s32)49 ; CHECK-NEXT: $vgpr0_vgpr1 = COPY [[MV]](s64)50 %0:_(s32) = G_CONSTANT i32 051 %1:_(s32) = G_CONSTANT i32 152 %2:_(s128) = G_MERGE_VALUES %0, %1, %0, %153 %3:_(s64) = G_TRUNC %254 $vgpr0_vgpr1 = COPY %355...56 57---58name: trunc_s32_merge_s128_p059 60body: |61 bb.0:62 ; Test that trunc(merge) with a non-scalar merge source is not combined63 ; CHECK-LABEL: name: trunc_s32_merge_s128_p064 ; CHECK: [[C:%[0-9]+]]:_(p0) = G_CONSTANT i64 065 ; CHECK-NEXT: [[C1:%[0-9]+]]:_(p0) = G_CONSTANT i64 166 ; CHECK-NEXT: [[MV:%[0-9]+]]:_(s128) = G_MERGE_VALUES [[C]](p0), [[C1]](p0)67 ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s32) = G_TRUNC [[MV]](s128)68 ; CHECK-NEXT: $vgpr0 = COPY [[TRUNC]](s32)69 %0:_(p0) = G_CONSTANT i64 070 %1:_(p0) = G_CONSTANT i64 171 %2:_(s128) = G_MERGE_VALUES %0, %172 %3:_(s32) = G_TRUNC %273 $vgpr0 = COPY %374...75 76---77name: trunc_s64_merge_s128_p078 79body: |80 bb.0:81 ; Test that trunc(merge) with a non-scalar merge source is not combined82 ; CHECK-LABEL: name: trunc_s64_merge_s128_p083 ; CHECK: [[C:%[0-9]+]]:_(p0) = G_CONSTANT i64 084 ; CHECK-NEXT: [[C1:%[0-9]+]]:_(p0) = G_CONSTANT i64 185 ; CHECK-NEXT: [[MV:%[0-9]+]]:_(s128) = G_MERGE_VALUES [[C]](p0), [[C1]](p0)86 ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s64) = G_TRUNC [[MV]](s128)87 ; CHECK-NEXT: $vgpr0_vgpr1 = COPY [[TRUNC]](s64)88 %0:_(p0) = G_CONSTANT i64 089 %1:_(p0) = G_CONSTANT i64 190 %2:_(s128) = G_MERGE_VALUES %0, %191 %3:_(s64) = G_TRUNC %292 $vgpr0_vgpr1 = COPY %393...94 95---96name: trunc_s128_merge_s192_p097 98body: |99 bb.0:100 ; Test that trunc(merge) with a non-scalar merge source is not combined101 ; CHECK-LABEL: name: trunc_s128_merge_s192_p0102 ; CHECK: [[C:%[0-9]+]]:_(p0) = G_CONSTANT i64 0103 ; CHECK-NEXT: [[C1:%[0-9]+]]:_(p0) = G_CONSTANT i64 1104 ; CHECK-NEXT: [[MV:%[0-9]+]]:_(s192) = G_MERGE_VALUES [[C]](p0), [[C1]](p0), [[C]](p0)105 ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s128) = G_TRUNC [[MV]](s192)106 ; CHECK-NEXT: $vgpr0_vgpr1_vgpr2_vgpr3 = COPY [[TRUNC]](s128)107 %0:_(p0) = G_CONSTANT i64 0108 %1:_(p0) = G_CONSTANT i64 1109 %2:_(s192) = G_MERGE_VALUES %0, %1, %0110 %3:_(s128) = G_TRUNC %2111 $vgpr0_vgpr1_vgpr2_vgpr3 = COPY %3112...113 114---115name: trunc_s68_merge_s128_s32116 117body: |118 bb.0:119 ; Test that trunc(merge) with trunc-size > merge-source-size and120 ; trunc-size % merge-source-size != 0 can be combined after the G_TRUNCs121 ; have been combined.122 ; CHECK-LABEL: name: trunc_s68_merge_s128_s32123 ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0124 ; CHECK-NEXT: $vgpr0 = COPY [[C]](s32)125 %0:_(s32) = G_CONSTANT i32 0126 %1:_(s32) = G_CONSTANT i32 1127 %2:_(s128) = G_MERGE_VALUES %0, %1, %0, %1128 %3:_(s68) = G_TRUNC %2129 %4:_(s32) = G_TRUNC %3130 $vgpr0 = COPY %4131...132 133---134name: trunc_trunc135 136body: |137 bb.0:138 ; Test that trunc(trunc) is combined to a single trunc139 ; CHECK-LABEL: name: trunc_trunc140 ; CHECK: [[COPY:%[0-9]+]]:_(s64) = COPY $sgpr0_sgpr1141 ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s32) = G_TRUNC [[COPY]](s64)142 ; CHECK-NEXT: $vgpr0 = COPY [[TRUNC]](s32)143 %0:_(s64) = COPY $sgpr0_sgpr1144 %1:_(s48) = G_TRUNC %0145 %2:_(s32) = G_TRUNC %1146 $vgpr0 = COPY %2147...148 149---150name: trunc_sext151 152body: |153 bb.0:154 ; Test that trunc(sext) is replaced with sext source.155 ; CHECK-LABEL: name: trunc_sext156 ; CHECK: [[DEF:%[0-9]+]]:_(s32) = G_IMPLICIT_DEF157 ; CHECK-NEXT: $vgpr0 = COPY [[DEF]](s32)158 %0:_(s32) = G_IMPLICIT_DEF159 %1:_(s64) = G_SEXT %0160 %2:_(s32) = G_TRUNC %1161 $vgpr0 = COPY %2162...163 164---165name: trunc_zext166 167body: |168 bb.0:169 ; Test that trunc(zext) is replaced with zext source.170 ; CHECK-LABEL: name: trunc_zext171 ; CHECK: [[DEF:%[0-9]+]]:_(s32) = G_IMPLICIT_DEF172 ; CHECK-NEXT: $vgpr0 = COPY [[DEF]](s32)173 %0:_(s32) = G_IMPLICIT_DEF174 %1:_(s64) = G_ZEXT %0175 %2:_(s32) = G_TRUNC %1176 $vgpr0 = COPY %2177...178 179---180name: trunc_anyext181 182body: |183 bb.0:184 ; Test that trunc(anyext) is replaced with anyext source.185 ; CHECK-LABEL: name: trunc_anyext186 ; CHECK: [[DEF:%[0-9]+]]:_(s32) = G_IMPLICIT_DEF187 ; CHECK-NEXT: $vgpr0 = COPY [[DEF]](s32)188 %0:_(s32) = G_IMPLICIT_DEF189 %1:_(s64) = G_ANYEXT %0190 %2:_(s32) = G_TRUNC %1191 $vgpr0 = COPY %2192...193 194---195name: trunc_ext196 197body: |198 bb.0:199 ; Test that trunc(sext (trunc (...))) is replaced with source.200 ; CHECK-LABEL: name: trunc_ext201 ; CHECK: [[DEF:%[0-9]+]]:_(s32) = G_IMPLICIT_DEF202 ; CHECK-NEXT: $vgpr0 = COPY [[DEF]](s32)203 %0:_(s32) = G_IMPLICIT_DEF204 %1:_(s64) = G_SEXT %0205 %2:_(s32) = G_TRUNC %1206 %3:_(s128) = G_ZEXT %2207 %4:_(s64) = G_TRUNC %3208 %5:_(s32) = G_TRUNC %4209 $vgpr0 = COPY %5210...211