llvm/test/CodeGen/AArch64/GlobalISel/legalize-inserts.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -O0 -mtriple=aarch64 -run-pass=legalizer -verify-machineinstrs -global-isel-abort=0 %s -o - | FileCheck %s
   3 # FIXME: Legalize s4_s32.
   4
   5 ---
   6 name:            test_inserts_nonpow2
   7 body: |
   8   bb.0:
   9     liveins: $x0, $x1, $x2
  10
  11
  12     ; CHECK-LABEL: name: test_inserts_nonpow2
  13     ; CHECK: [[COPY:%[0-9]+]]:_(s64) = COPY $x0
  14     ; CHECK: [[COPY1:%[0-9]+]]:_(s64) = COPY $x1
  15     ; CHECK: [[COPY2:%[0-9]+]]:_(s64) = COPY $x2
  16     ; CHECK: [[COPY3:%[0-9]+]]:_(s64) = COPY $x3
  17     ; CHECK: $x0 = COPY [[COPY3]](s64)
  18     ; CHECK: RET_ReallyLR
  19     %0:_(s64) = COPY $x0
  20     %1:_(s64) = COPY $x1
  21     %2:_(s64) = COPY $x2
  22     %3:_(s64) = COPY $x3
  23     %4:_(s192) = G_MERGE_VALUES %0, %1, %2
  24     %5:_(s192) = G_INSERT %4, %3, 0
  25     %6:_(s64), %7:_(s64), %8:_(s64) = G_UNMERGE_VALUES %5
  26     $x0 = COPY %6
  27     RET_ReallyLR
  28 ...
  29 ---
  30 name:            test_inserts_s96
  31 body: |
  32   bb.0:
  33     liveins: $x0, $x1, $x2
  34
  35     ; CHECK-LABEL: name: test_inserts_s96
  36     ; CHECK: [[COPY:%[0-9]+]]:_(s64) = COPY $x0
  37     ; CHECK: [[COPY1:%[0-9]+]]:_(s64) = COPY $x1
  38     ; CHECK: [[COPY2:%[0-9]+]]:_(s64) = COPY $x2
  39     ; CHECK: [[TRUNC:%[0-9]+]]:_(s32) = G_TRUNC [[COPY2]](s64)
  40     ; CHECK: [[UV:%[0-9]+]]:_(s32), [[UV1:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[COPY]](s64)
  41     ; CHECK: [[DEF:%[0-9]+]]:_(s32) = G_IMPLICIT_DEF
  42     ; CHECK: [[MV:%[0-9]+]]:_(s64) = G_MERGE_VALUES [[UV]](s32), [[UV1]](s32)
  43     ; CHECK: [[MV1:%[0-9]+]]:_(s64) = G_MERGE_VALUES [[TRUNC]](s32), [[DEF]](s32)
  44     ; CHECK: $x0 = COPY [[MV]](s64)
  45     ; CHECK: $x1 = COPY [[MV1]](s64)
  46     %0:_(s64) = COPY $x0
  47     %1:_(s64) = COPY $x1
  48     %2:_(s64) = COPY $x2
  49     %3:_(s128) = G_MERGE_VALUES %0:_(s64), %1:_(s64)
  50     %4:_(s96) = G_TRUNC %3(s128)
  51     %5:_(s32) = G_TRUNC %2(s64)
  52     %6:_(s96) = G_INSERT %4, %5(s32), 64
  53     %7:_(s128) = G_ANYEXT %6(s96)
  54     %8:_(s64), %9:_(s64) = G_UNMERGE_VALUES %7
  55     $x0 = COPY %8
  56     $x1 = COPY %9
  57 ...
  58 ---
  59 name:            test_inserts_s65
  60 body: |
  61   bb.0:
  62     liveins: $x0, $x1, $x2
  63
  64     ; CHECK-LABEL: name: test_inserts_s65
  65     ; CHECK: [[COPY:%[0-9]+]]:_(s64) = COPY $x0
  66     ; CHECK: [[COPY1:%[0-9]+]]:_(s64) = COPY $x1
  67     ; CHECK: [[COPY2:%[0-9]+]]:_(s64) = COPY $x2
  68     ; CHECK: [[UV:%[0-9]+]]:_(s8), [[UV1:%[0-9]+]]:_(s8), [[UV2:%[0-9]+]]:_(s8), [[UV3:%[0-9]+]]:_(s8), [[UV4:%[0-9]+]]:_(s8), [[UV5:%[0-9]+]]:_(s8), [[UV6:%[0-9]+]]:_(s8), [[UV7:%[0-9]+]]:_(s8) = G_UNMERGE_VALUES [[COPY]](s64)
  69     ; CHECK: [[C:%[0-9]+]]:_(s8) = G_CONSTANT i8 1
  70     ; CHECK: [[ZEXT:%[0-9]+]]:_(s32) = G_ZEXT [[UV]](s8)
  71     ; CHECK: [[C1:%[0-9]+]]:_(s64) = G_CONSTANT i64 1
  72     ; CHECK: [[LSHR:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT]], [[C1]](s64)
  73     ; CHECK: [[C2:%[0-9]+]]:_(s8) = G_CONSTANT i8 2
  74     ; CHECK: [[ZEXT1:%[0-9]+]]:_(s32) = G_ZEXT [[UV]](s8)
  75     ; CHECK: [[C3:%[0-9]+]]:_(s64) = G_CONSTANT i64 2
  76     ; CHECK: [[LSHR1:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT1]], [[C3]](s64)
  77     ; CHECK: [[C4:%[0-9]+]]:_(s8) = G_CONSTANT i8 3
  78     ; CHECK: [[ZEXT2:%[0-9]+]]:_(s32) = G_ZEXT [[UV]](s8)
  79     ; CHECK: [[C5:%[0-9]+]]:_(s64) = G_CONSTANT i64 3
  80     ; CHECK: [[LSHR2:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT2]], [[C5]](s64)
  81     ; CHECK: [[C6:%[0-9]+]]:_(s8) = G_CONSTANT i8 4
  82     ; CHECK: [[ZEXT3:%[0-9]+]]:_(s32) = G_ZEXT [[UV]](s8)
  83     ; CHECK: [[C7:%[0-9]+]]:_(s64) = G_CONSTANT i64 4
  84     ; CHECK: [[LSHR3:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT3]], [[C7]](s64)
  85     ; CHECK: [[C8:%[0-9]+]]:_(s8) = G_CONSTANT i8 5
  86     ; CHECK: [[ZEXT4:%[0-9]+]]:_(s32) = G_ZEXT [[UV]](s8)
  87     ; CHECK: [[C9:%[0-9]+]]:_(s64) = G_CONSTANT i64 5
  88     ; CHECK: [[LSHR4:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT4]], [[C9]](s64)
  89     ; CHECK: [[C10:%[0-9]+]]:_(s8) = G_CONSTANT i8 6
  90     ; CHECK: [[ZEXT5:%[0-9]+]]:_(s32) = G_ZEXT [[UV]](s8)
  91     ; CHECK: [[C11:%[0-9]+]]:_(s64) = G_CONSTANT i64 6
  92     ; CHECK: [[LSHR5:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT5]], [[C11]](s64)
  93     ; CHECK: [[C12:%[0-9]+]]:_(s8) = G_CONSTANT i8 7
  94     ; CHECK: [[ZEXT6:%[0-9]+]]:_(s32) = G_ZEXT [[UV]](s8)
  95     ; CHECK: [[C13:%[0-9]+]]:_(s64) = G_CONSTANT i64 7
  96     ; CHECK: [[LSHR6:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT6]], [[C13]](s64)
  97     ; CHECK: [[ZEXT7:%[0-9]+]]:_(s32) = G_ZEXT [[UV1]](s8)
  98     ; CHECK: [[LSHR7:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT7]], [[C1]](s64)
  99     ; CHECK: [[ZEXT8:%[0-9]+]]:_(s32) = G_ZEXT [[UV1]](s8)
 100     ; CHECK: [[LSHR8:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT8]], [[C3]](s64)
 101     ; CHECK: [[ZEXT9:%[0-9]+]]:_(s32) = G_ZEXT [[UV1]](s8)
 102     ; CHECK: [[LSHR9:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT9]], [[C5]](s64)
 103     ; CHECK: [[ZEXT10:%[0-9]+]]:_(s32) = G_ZEXT [[UV1]](s8)
 104     ; CHECK: [[LSHR10:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT10]], [[C7]](s64)
 105     ; CHECK: [[ZEXT11:%[0-9]+]]:_(s32) = G_ZEXT [[UV1]](s8)
 106     ; CHECK: [[LSHR11:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT11]], [[C9]](s64)
 107     ; CHECK: [[ZEXT12:%[0-9]+]]:_(s32) = G_ZEXT [[UV1]](s8)
 108     ; CHECK: [[LSHR12:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT12]], [[C11]](s64)
 109     ; CHECK: [[ZEXT13:%[0-9]+]]:_(s32) = G_ZEXT [[UV1]](s8)
 110     ; CHECK: [[LSHR13:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT13]], [[C13]](s64)
 111     ; CHECK: [[ZEXT14:%[0-9]+]]:_(s32) = G_ZEXT [[UV2]](s8)
 112     ; CHECK: [[LSHR14:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT14]], [[C1]](s64)
 113     ; CHECK: [[ZEXT15:%[0-9]+]]:_(s32) = G_ZEXT [[UV2]](s8)
 114     ; CHECK: [[LSHR15:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT15]], [[C3]](s64)
 115     ; CHECK: [[ZEXT16:%[0-9]+]]:_(s32) = G_ZEXT [[UV2]](s8)
 116     ; CHECK: [[LSHR16:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT16]], [[C5]](s64)
 117     ; CHECK: [[ZEXT17:%[0-9]+]]:_(s32) = G_ZEXT [[UV2]](s8)
 118     ; CHECK: [[LSHR17:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT17]], [[C7]](s64)
 119     ; CHECK: [[ZEXT18:%[0-9]+]]:_(s32) = G_ZEXT [[UV2]](s8)
 120     ; CHECK: [[LSHR18:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT18]], [[C9]](s64)
 121     ; CHECK: [[ZEXT19:%[0-9]+]]:_(s32) = G_ZEXT [[UV2]](s8)
 122     ; CHECK: [[LSHR19:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT19]], [[C11]](s64)
 123     ; CHECK: [[ZEXT20:%[0-9]+]]:_(s32) = G_ZEXT [[UV2]](s8)
 124     ; CHECK: [[LSHR20:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT20]], [[C13]](s64)
 125     ; CHECK: [[ZEXT21:%[0-9]+]]:_(s32) = G_ZEXT [[UV3]](s8)
 126     ; CHECK: [[LSHR21:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT21]], [[C1]](s64)
 127     ; CHECK: [[ZEXT22:%[0-9]+]]:_(s32) = G_ZEXT [[UV3]](s8)
 128     ; CHECK: [[LSHR22:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT22]], [[C3]](s64)
 129     ; CHECK: [[ZEXT23:%[0-9]+]]:_(s32) = G_ZEXT [[UV3]](s8)
 130     ; CHECK: [[LSHR23:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT23]], [[C5]](s64)
 131     ; CHECK: [[ZEXT24:%[0-9]+]]:_(s32) = G_ZEXT [[UV3]](s8)
 132     ; CHECK: [[LSHR24:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT24]], [[C7]](s64)
 133     ; CHECK: [[ZEXT25:%[0-9]+]]:_(s32) = G_ZEXT [[UV3]](s8)
 134     ; CHECK: [[LSHR25:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT25]], [[C9]](s64)
 135     ; CHECK: [[ZEXT26:%[0-9]+]]:_(s32) = G_ZEXT [[UV3]](s8)
 136     ; CHECK: [[LSHR26:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT26]], [[C11]](s64)
 137     ; CHECK: [[ZEXT27:%[0-9]+]]:_(s32) = G_ZEXT [[UV3]](s8)
 138     ; CHECK: [[LSHR27:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT27]], [[C13]](s64)
 139     ; CHECK: [[ZEXT28:%[0-9]+]]:_(s32) = G_ZEXT [[UV4]](s8)
 140     ; CHECK: [[LSHR28:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT28]], [[C1]](s64)
 141     ; CHECK: [[ZEXT29:%[0-9]+]]:_(s32) = G_ZEXT [[UV4]](s8)
 142     ; CHECK: [[LSHR29:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT29]], [[C3]](s64)
 143     ; CHECK: [[ZEXT30:%[0-9]+]]:_(s32) = G_ZEXT [[UV4]](s8)
 144     ; CHECK: [[LSHR30:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT30]], [[C5]](s64)
 145     ; CHECK: [[ZEXT31:%[0-9]+]]:_(s32) = G_ZEXT [[UV4]](s8)
 146     ; CHECK: [[LSHR31:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT31]], [[C7]](s64)
 147     ; CHECK: [[ZEXT32:%[0-9]+]]:_(s32) = G_ZEXT [[UV4]](s8)
 148     ; CHECK: [[LSHR32:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT32]], [[C9]](s64)
 149     ; CHECK: [[ZEXT33:%[0-9]+]]:_(s32) = G_ZEXT [[UV4]](s8)
 150     ; CHECK: [[LSHR33:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT33]], [[C11]](s64)
 151     ; CHECK: [[ZEXT34:%[0-9]+]]:_(s32) = G_ZEXT [[UV4]](s8)
 152     ; CHECK: [[LSHR34:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT34]], [[C13]](s64)
 153     ; CHECK: [[ZEXT35:%[0-9]+]]:_(s32) = G_ZEXT [[UV5]](s8)
 154     ; CHECK: [[LSHR35:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT35]], [[C1]](s64)
 155     ; CHECK: [[ZEXT36:%[0-9]+]]:_(s32) = G_ZEXT [[UV5]](s8)
 156     ; CHECK: [[LSHR36:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT36]], [[C3]](s64)
 157     ; CHECK: [[ZEXT37:%[0-9]+]]:_(s32) = G_ZEXT [[UV5]](s8)
 158     ; CHECK: [[LSHR37:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT37]], [[C5]](s64)
 159     ; CHECK: [[ZEXT38:%[0-9]+]]:_(s32) = G_ZEXT [[UV5]](s8)
 160     ; CHECK: [[LSHR38:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT38]], [[C7]](s64)
 161     ; CHECK: [[ZEXT39:%[0-9]+]]:_(s32) = G_ZEXT [[UV5]](s8)
 162     ; CHECK: [[LSHR39:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT39]], [[C9]](s64)
 163     ; CHECK: [[ZEXT40:%[0-9]+]]:_(s32) = G_ZEXT [[UV5]](s8)
 164     ; CHECK: [[LSHR40:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT40]], [[C11]](s64)
 165     ; CHECK: [[ZEXT41:%[0-9]+]]:_(s32) = G_ZEXT [[UV5]](s8)
 166     ; CHECK: [[LSHR41:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT41]], [[C13]](s64)
 167     ; CHECK: [[ZEXT42:%[0-9]+]]:_(s32) = G_ZEXT [[UV6]](s8)
 168     ; CHECK: [[LSHR42:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT42]], [[C1]](s64)
 169     ; CHECK: [[ZEXT43:%[0-9]+]]:_(s32) = G_ZEXT [[UV6]](s8)
 170     ; CHECK: [[LSHR43:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT43]], [[C3]](s64)
 171     ; CHECK: [[ZEXT44:%[0-9]+]]:_(s32) = G_ZEXT [[UV6]](s8)
 172     ; CHECK: [[LSHR44:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT44]], [[C5]](s64)
 173     ; CHECK: [[ZEXT45:%[0-9]+]]:_(s32) = G_ZEXT [[UV6]](s8)
 174     ; CHECK: [[LSHR45:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT45]], [[C7]](s64)
 175     ; CHECK: [[ZEXT46:%[0-9]+]]:_(s32) = G_ZEXT [[UV6]](s8)
 176     ; CHECK: [[LSHR46:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT46]], [[C9]](s64)
 177     ; CHECK: [[ZEXT47:%[0-9]+]]:_(s32) = G_ZEXT [[UV6]](s8)
 178     ; CHECK: [[LSHR47:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT47]], [[C11]](s64)
 179     ; CHECK: [[ZEXT48:%[0-9]+]]:_(s32) = G_ZEXT [[UV6]](s8)
 180     ; CHECK: [[LSHR48:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT48]], [[C13]](s64)
 181     ; CHECK: [[ZEXT49:%[0-9]+]]:_(s32) = G_ZEXT [[UV7]](s8)
 182     ; CHECK: [[LSHR49:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT49]], [[C1]](s64)
 183     ; CHECK: [[ZEXT50:%[0-9]+]]:_(s32) = G_ZEXT [[UV7]](s8)
 184     ; CHECK: [[LSHR50:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT50]], [[C3]](s64)
 185     ; CHECK: [[ZEXT51:%[0-9]+]]:_(s32) = G_ZEXT [[UV7]](s8)
 186     ; CHECK: [[LSHR51:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT51]], [[C5]](s64)
 187     ; CHECK: [[ZEXT52:%[0-9]+]]:_(s32) = G_ZEXT [[UV7]](s8)
 188     ; CHECK: [[LSHR52:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT52]], [[C7]](s64)
 189     ; CHECK: [[ZEXT53:%[0-9]+]]:_(s32) = G_ZEXT [[UV7]](s8)
 190     ; CHECK: [[LSHR53:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT53]], [[C9]](s64)
 191     ; CHECK: [[ZEXT54:%[0-9]+]]:_(s32) = G_ZEXT [[UV7]](s8)
 192     ; CHECK: [[LSHR54:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT54]], [[C11]](s64)
 193     ; CHECK: [[ZEXT55:%[0-9]+]]:_(s32) = G_ZEXT [[UV7]](s8)
 194     ; CHECK: [[LSHR55:%[0-9]+]]:_(s32) = G_LSHR [[ZEXT55]], [[C13]](s64)
 195     ; CHECK: [[C14:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
 196     ; CHECK: [[COPY3:%[0-9]+]]:_(s32) = COPY [[LSHR]](s32)
 197     ; CHECK: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY3]], [[C14]]
 198     ; CHECK: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[AND]], [[C1]](s64)
 199     ; CHECK: [[ANYEXT:%[0-9]+]]:_(s32) = G_ANYEXT [[UV]](s8)
 200     ; CHECK: [[AND1:%[0-9]+]]:_(s32) = G_AND [[ANYEXT]], [[C14]]
 201     ; CHECK: [[COPY4:%[0-9]+]]:_(s32) = COPY [[SHL]](s32)
 202     ; CHECK: [[OR:%[0-9]+]]:_(s32) = G_OR [[AND1]], [[COPY4]]
 203     ; CHECK: [[COPY5:%[0-9]+]]:_(s32) = COPY [[LSHR1]](s32)
 204     ; CHECK: [[AND2:%[0-9]+]]:_(s32) = G_AND [[COPY5]], [[C14]]
 205     ; CHECK: [[SHL1:%[0-9]+]]:_(s32) = G_SHL [[AND2]], [[C3]](s64)
 206     ; CHECK: [[COPY6:%[0-9]+]]:_(s32) = COPY [[OR]](s32)
 207     ; CHECK: [[COPY7:%[0-9]+]]:_(s32) = COPY [[SHL1]](s32)
 208     ; CHECK: [[OR1:%[0-9]+]]:_(s32) = G_OR [[COPY6]], [[COPY7]]
 209     ; CHECK: [[COPY8:%[0-9]+]]:_(s32) = COPY [[LSHR2]](s32)
 210     ; CHECK: [[AND3:%[0-9]+]]:_(s32) = G_AND [[COPY8]], [[C14]]
 211     ; CHECK: [[SHL2:%[0-9]+]]:_(s32) = G_SHL [[AND3]], [[C5]](s64)
 212     ; CHECK: [[COPY9:%[0-9]+]]:_(s32) = COPY [[OR1]](s32)
 213     ; CHECK: [[COPY10:%[0-9]+]]:_(s32) = COPY [[SHL2]](s32)
 214     ; CHECK: [[OR2:%[0-9]+]]:_(s32) = G_OR [[COPY9]], [[COPY10]]
 215     ; CHECK: [[COPY11:%[0-9]+]]:_(s32) = COPY [[LSHR3]](s32)
 216     ; CHECK: [[AND4:%[0-9]+]]:_(s32) = G_AND [[COPY11]], [[C14]]
 217     ; CHECK: [[SHL3:%[0-9]+]]:_(s32) = G_SHL [[AND4]], [[C7]](s64)
 218     ; CHECK: [[COPY12:%[0-9]+]]:_(s32) = COPY [[OR2]](s32)
 219     ; CHECK: [[COPY13:%[0-9]+]]:_(s32) = COPY [[SHL3]](s32)
 220     ; CHECK: [[OR3:%[0-9]+]]:_(s32) = G_OR [[COPY12]], [[COPY13]]
 221     ; CHECK: [[COPY14:%[0-9]+]]:_(s32) = COPY [[LSHR4]](s32)
 222     ; CHECK: [[AND5:%[0-9]+]]:_(s32) = G_AND [[COPY14]], [[C14]]
 223     ; CHECK: [[SHL4:%[0-9]+]]:_(s32) = G_SHL [[AND5]], [[C9]](s64)
 224     ; CHECK: [[COPY15:%[0-9]+]]:_(s32) = COPY [[OR3]](s32)
 225     ; CHECK: [[COPY16:%[0-9]+]]:_(s32) = COPY [[SHL4]](s32)
 226     ; CHECK: [[OR4:%[0-9]+]]:_(s32) = G_OR [[COPY15]], [[COPY16]]
 227     ; CHECK: [[COPY17:%[0-9]+]]:_(s32) = COPY [[LSHR5]](s32)
 228     ; CHECK: [[AND6:%[0-9]+]]:_(s32) = G_AND [[COPY17]], [[C14]]
 229     ; CHECK: [[SHL5:%[0-9]+]]:_(s32) = G_SHL [[AND6]], [[C11]](s64)
 230     ; CHECK: [[COPY18:%[0-9]+]]:_(s32) = COPY [[OR4]](s32)
 231     ; CHECK: [[COPY19:%[0-9]+]]:_(s32) = COPY [[SHL5]](s32)
 232     ; CHECK: [[OR5:%[0-9]+]]:_(s32) = G_OR [[COPY18]], [[COPY19]]
 233     ; CHECK: [[COPY20:%[0-9]+]]:_(s32) = COPY [[LSHR6]](s32)
 234     ; CHECK: [[AND7:%[0-9]+]]:_(s32) = G_AND [[COPY20]], [[C14]]
 235     ; CHECK: [[SHL6:%[0-9]+]]:_(s32) = G_SHL [[AND7]], [[C13]](s64)
 236     ; CHECK: [[COPY21:%[0-9]+]]:_(s32) = COPY [[OR5]](s32)
 237     ; CHECK: [[COPY22:%[0-9]+]]:_(s32) = COPY [[SHL6]](s32)
 238     ; CHECK: [[OR6:%[0-9]+]]:_(s32) = G_OR [[COPY21]], [[COPY22]]
 239     ; CHECK: [[TRUNC:%[0-9]+]]:_(s8) = G_TRUNC [[OR6]](s32)
 240     ; CHECK: [[COPY23:%[0-9]+]]:_(s32) = COPY [[LSHR7]](s32)
 241     ; CHECK: [[AND8:%[0-9]+]]:_(s32) = G_AND [[COPY23]], [[C14]]
 242     ; CHECK: [[SHL7:%[0-9]+]]:_(s32) = G_SHL [[AND8]], [[C1]](s64)
 243     ; CHECK: [[ANYEXT1:%[0-9]+]]:_(s32) = G_ANYEXT [[UV1]](s8)
 244     ; CHECK: [[AND9:%[0-9]+]]:_(s32) = G_AND [[ANYEXT1]], [[C14]]
 245     ; CHECK: [[COPY24:%[0-9]+]]:_(s32) = COPY [[SHL7]](s32)
 246     ; CHECK: [[OR7:%[0-9]+]]:_(s32) = G_OR [[AND9]], [[COPY24]]
 247     ; CHECK: [[COPY25:%[0-9]+]]:_(s32) = COPY [[LSHR8]](s32)
 248     ; CHECK: [[AND10:%[0-9]+]]:_(s32) = G_AND [[COPY25]], [[C14]]
 249     ; CHECK: [[SHL8:%[0-9]+]]:_(s32) = G_SHL [[AND10]], [[C3]](s64)
 250     ; CHECK: [[COPY26:%[0-9]+]]:_(s32) = COPY [[OR7]](s32)
 251     ; CHECK: [[COPY27:%[0-9]+]]:_(s32) = COPY [[SHL8]](s32)
 252     ; CHECK: [[OR8:%[0-9]+]]:_(s32) = G_OR [[COPY26]], [[COPY27]]
 253     ; CHECK: [[COPY28:%[0-9]+]]:_(s32) = COPY [[LSHR9]](s32)
 254     ; CHECK: [[AND11:%[0-9]+]]:_(s32) = G_AND [[COPY28]], [[C14]]
 255     ; CHECK: [[SHL9:%[0-9]+]]:_(s32) = G_SHL [[AND11]], [[C5]](s64)
 256     ; CHECK: [[COPY29:%[0-9]+]]:_(s32) = COPY [[OR8]](s32)
 257     ; CHECK: [[COPY30:%[0-9]+]]:_(s32) = COPY [[SHL9]](s32)
 258     ; CHECK: [[OR9:%[0-9]+]]:_(s32) = G_OR [[COPY29]], [[COPY30]]
 259     ; CHECK: [[COPY31:%[0-9]+]]:_(s32) = COPY [[LSHR10]](s32)
 260     ; CHECK: [[AND12:%[0-9]+]]:_(s32) = G_AND [[COPY31]], [[C14]]
 261     ; CHECK: [[SHL10:%[0-9]+]]:_(s32) = G_SHL [[AND12]], [[C7]](s64)
 262     ; CHECK: [[COPY32:%[0-9]+]]:_(s32) = COPY [[OR9]](s32)
 263     ; CHECK: [[COPY33:%[0-9]+]]:_(s32) = COPY [[SHL10]](s32)
 264     ; CHECK: [[OR10:%[0-9]+]]:_(s32) = G_OR [[COPY32]], [[COPY33]]
 265     ; CHECK: [[COPY34:%[0-9]+]]:_(s32) = COPY [[LSHR11]](s32)
 266     ; CHECK: [[AND13:%[0-9]+]]:_(s32) = G_AND [[COPY34]], [[C14]]
 267     ; CHECK: [[SHL11:%[0-9]+]]:_(s32) = G_SHL [[AND13]], [[C9]](s64)
 268     ; CHECK: [[COPY35:%[0-9]+]]:_(s32) = COPY [[OR10]](s32)
 269     ; CHECK: [[COPY36:%[0-9]+]]:_(s32) = COPY [[SHL11]](s32)
 270     ; CHECK: [[OR11:%[0-9]+]]:_(s32) = G_OR [[COPY35]], [[COPY36]]
 271     ; CHECK: [[COPY37:%[0-9]+]]:_(s32) = COPY [[LSHR12]](s32)
 272     ; CHECK: [[AND14:%[0-9]+]]:_(s32) = G_AND [[COPY37]], [[C14]]
 273     ; CHECK: [[SHL12:%[0-9]+]]:_(s32) = G_SHL [[AND14]], [[C11]](s64)
 274     ; CHECK: [[COPY38:%[0-9]+]]:_(s32) = COPY [[OR11]](s32)
 275     ; CHECK: [[COPY39:%[0-9]+]]:_(s32) = COPY [[SHL12]](s32)
 276     ; CHECK: [[OR12:%[0-9]+]]:_(s32) = G_OR [[COPY38]], [[COPY39]]
 277     ; CHECK: [[COPY40:%[0-9]+]]:_(s32) = COPY [[LSHR13]](s32)
 278     ; CHECK: [[AND15:%[0-9]+]]:_(s32) = G_AND [[COPY40]], [[C14]]
 279     ; CHECK: [[SHL13:%[0-9]+]]:_(s32) = G_SHL [[AND15]], [[C13]](s64)
 280     ; CHECK: [[COPY41:%[0-9]+]]:_(s32) = COPY [[OR12]](s32)
 281     ; CHECK: [[COPY42:%[0-9]+]]:_(s32) = COPY [[SHL13]](s32)
 282     ; CHECK: [[OR13:%[0-9]+]]:_(s32) = G_OR [[COPY41]], [[COPY42]]
 283     ; CHECK: [[TRUNC1:%[0-9]+]]:_(s8) = G_TRUNC [[OR13]](s32)
 284     ; CHECK: [[COPY43:%[0-9]+]]:_(s32) = COPY [[LSHR14]](s32)
 285     ; CHECK: [[AND16:%[0-9]+]]:_(s32) = G_AND [[COPY43]], [[C14]]
 286     ; CHECK: [[SHL14:%[0-9]+]]:_(s32) = G_SHL [[AND16]], [[C1]](s64)
 287     ; CHECK: [[ANYEXT2:%[0-9]+]]:_(s32) = G_ANYEXT [[UV2]](s8)
 288     ; CHECK: [[AND17:%[0-9]+]]:_(s32) = G_AND [[ANYEXT2]], [[C14]]
 289     ; CHECK: [[COPY44:%[0-9]+]]:_(s32) = COPY [[SHL14]](s32)
 290     ; CHECK: [[OR14:%[0-9]+]]:_(s32) = G_OR [[AND17]], [[COPY44]]
 291     ; CHECK: [[COPY45:%[0-9]+]]:_(s32) = COPY [[LSHR15]](s32)
 292     ; CHECK: [[AND18:%[0-9]+]]:_(s32) = G_AND [[COPY45]], [[C14]]
 293     ; CHECK: [[SHL15:%[0-9]+]]:_(s32) = G_SHL [[AND18]], [[C3]](s64)
 294     ; CHECK: [[COPY46:%[0-9]+]]:_(s32) = COPY [[OR14]](s32)
 295     ; CHECK: [[COPY47:%[0-9]+]]:_(s32) = COPY [[SHL15]](s32)
 296     ; CHECK: [[OR15:%[0-9]+]]:_(s32) = G_OR [[COPY46]], [[COPY47]]
 297     ; CHECK: [[COPY48:%[0-9]+]]:_(s32) = COPY [[LSHR16]](s32)
 298     ; CHECK: [[AND19:%[0-9]+]]:_(s32) = G_AND [[COPY48]], [[C14]]
 299     ; CHECK: [[SHL16:%[0-9]+]]:_(s32) = G_SHL [[AND19]], [[C5]](s64)
 300     ; CHECK: [[COPY49:%[0-9]+]]:_(s32) = COPY [[OR15]](s32)
 301     ; CHECK: [[COPY50:%[0-9]+]]:_(s32) = COPY [[SHL16]](s32)
 302     ; CHECK: [[OR16:%[0-9]+]]:_(s32) = G_OR [[COPY49]], [[COPY50]]
 303     ; CHECK: [[COPY51:%[0-9]+]]:_(s32) = COPY [[LSHR17]](s32)
 304     ; CHECK: [[AND20:%[0-9]+]]:_(s32) = G_AND [[COPY51]], [[C14]]
 305     ; CHECK: [[SHL17:%[0-9]+]]:_(s32) = G_SHL [[AND20]], [[C7]](s64)
 306     ; CHECK: [[COPY52:%[0-9]+]]:_(s32) = COPY [[OR16]](s32)
 307     ; CHECK: [[COPY53:%[0-9]+]]:_(s32) = COPY [[SHL17]](s32)
 308     ; CHECK: [[OR17:%[0-9]+]]:_(s32) = G_OR [[COPY52]], [[COPY53]]
 309     ; CHECK: [[COPY54:%[0-9]+]]:_(s32) = COPY [[LSHR18]](s32)
 310     ; CHECK: [[AND21:%[0-9]+]]:_(s32) = G_AND [[COPY54]], [[C14]]
 311     ; CHECK: [[SHL18:%[0-9]+]]:_(s32) = G_SHL [[AND21]], [[C9]](s64)
 312     ; CHECK: [[COPY55:%[0-9]+]]:_(s32) = COPY [[OR17]](s32)
 313     ; CHECK: [[COPY56:%[0-9]+]]:_(s32) = COPY [[SHL18]](s32)
 314     ; CHECK: [[OR18:%[0-9]+]]:_(s32) = G_OR [[COPY55]], [[COPY56]]
 315     ; CHECK: [[COPY57:%[0-9]+]]:_(s32) = COPY [[LSHR19]](s32)
 316     ; CHECK: [[AND22:%[0-9]+]]:_(s32) = G_AND [[COPY57]], [[C14]]
 317     ; CHECK: [[SHL19:%[0-9]+]]:_(s32) = G_SHL [[AND22]], [[C11]](s64)
 318     ; CHECK: [[COPY58:%[0-9]+]]:_(s32) = COPY [[OR18]](s32)
 319     ; CHECK: [[COPY59:%[0-9]+]]:_(s32) = COPY [[SHL19]](s32)
 320     ; CHECK: [[OR19:%[0-9]+]]:_(s32) = G_OR [[COPY58]], [[COPY59]]
 321     ; CHECK: [[COPY60:%[0-9]+]]:_(s32) = COPY [[LSHR20]](s32)
 322     ; CHECK: [[AND23:%[0-9]+]]:_(s32) = G_AND [[COPY60]], [[C14]]
 323     ; CHECK: [[SHL20:%[0-9]+]]:_(s32) = G_SHL [[AND23]], [[C13]](s64)
 324     ; CHECK: [[COPY61:%[0-9]+]]:_(s32) = COPY [[OR19]](s32)
 325     ; CHECK: [[COPY62:%[0-9]+]]:_(s32) = COPY [[SHL20]](s32)
 326     ; CHECK: [[OR20:%[0-9]+]]:_(s32) = G_OR [[COPY61]], [[COPY62]]
 327     ; CHECK: [[TRUNC2:%[0-9]+]]:_(s8) = G_TRUNC [[OR20]](s32)
 328     ; CHECK: [[COPY63:%[0-9]+]]:_(s32) = COPY [[LSHR21]](s32)
 329     ; CHECK: [[AND24:%[0-9]+]]:_(s32) = G_AND [[COPY63]], [[C14]]
 330     ; CHECK: [[SHL21:%[0-9]+]]:_(s32) = G_SHL [[AND24]], [[C1]](s64)
 331     ; CHECK: [[ANYEXT3:%[0-9]+]]:_(s32) = G_ANYEXT [[UV3]](s8)
 332     ; CHECK: [[AND25:%[0-9]+]]:_(s32) = G_AND [[ANYEXT3]], [[C14]]
 333     ; CHECK: [[COPY64:%[0-9]+]]:_(s32) = COPY [[SHL21]](s32)
 334     ; CHECK: [[OR21:%[0-9]+]]:_(s32) = G_OR [[AND25]], [[COPY64]]
 335     ; CHECK: [[COPY65:%[0-9]+]]:_(s32) = COPY [[LSHR22]](s32)
 336     ; CHECK: [[AND26:%[0-9]+]]:_(s32) = G_AND [[COPY65]], [[C14]]
 337     ; CHECK: [[SHL22:%[0-9]+]]:_(s32) = G_SHL [[AND26]], [[C3]](s64)
 338     ; CHECK: [[COPY66:%[0-9]+]]:_(s32) = COPY [[OR21]](s32)
 339     ; CHECK: [[COPY67:%[0-9]+]]:_(s32) = COPY [[SHL22]](s32)
 340     ; CHECK: [[OR22:%[0-9]+]]:_(s32) = G_OR [[COPY66]], [[COPY67]]
 341     ; CHECK: [[COPY68:%[0-9]+]]:_(s32) = COPY [[LSHR23]](s32)
 342     ; CHECK: [[AND27:%[0-9]+]]:_(s32) = G_AND [[COPY68]], [[C14]]
 343     ; CHECK: [[SHL23:%[0-9]+]]:_(s32) = G_SHL [[AND27]], [[C5]](s64)
 344     ; CHECK: [[COPY69:%[0-9]+]]:_(s32) = COPY [[OR22]](s32)
 345     ; CHECK: [[COPY70:%[0-9]+]]:_(s32) = COPY [[SHL23]](s32)
 346     ; CHECK: [[OR23:%[0-9]+]]:_(s32) = G_OR [[COPY69]], [[COPY70]]
 347     ; CHECK: [[COPY71:%[0-9]+]]:_(s32) = COPY [[LSHR24]](s32)
 348     ; CHECK: [[AND28:%[0-9]+]]:_(s32) = G_AND [[COPY71]], [[C14]]
 349     ; CHECK: [[SHL24:%[0-9]+]]:_(s32) = G_SHL [[AND28]], [[C7]](s64)
 350     ; CHECK: [[COPY72:%[0-9]+]]:_(s32) = COPY [[OR23]](s32)
 351     ; CHECK: [[COPY73:%[0-9]+]]:_(s32) = COPY [[SHL24]](s32)
 352     ; CHECK: [[OR24:%[0-9]+]]:_(s32) = G_OR [[COPY72]], [[COPY73]]
 353     ; CHECK: [[COPY74:%[0-9]+]]:_(s32) = COPY [[LSHR25]](s32)
 354     ; CHECK: [[AND29:%[0-9]+]]:_(s32) = G_AND [[COPY74]], [[C14]]
 355     ; CHECK: [[SHL25:%[0-9]+]]:_(s32) = G_SHL [[AND29]], [[C9]](s64)
 356     ; CHECK: [[COPY75:%[0-9]+]]:_(s32) = COPY [[OR24]](s32)
 357     ; CHECK: [[COPY76:%[0-9]+]]:_(s32) = COPY [[SHL25]](s32)
 358     ; CHECK: [[OR25:%[0-9]+]]:_(s32) = G_OR [[COPY75]], [[COPY76]]
 359     ; CHECK: [[COPY77:%[0-9]+]]:_(s32) = COPY [[LSHR26]](s32)
 360     ; CHECK: [[AND30:%[0-9]+]]:_(s32) = G_AND [[COPY77]], [[C14]]
 361     ; CHECK: [[SHL26:%[0-9]+]]:_(s32) = G_SHL [[AND30]], [[C11]](s64)
 362     ; CHECK: [[COPY78:%[0-9]+]]:_(s32) = COPY [[OR25]](s32)
 363     ; CHECK: [[COPY79:%[0-9]+]]:_(s32) = COPY [[SHL26]](s32)
 364     ; CHECK: [[OR26:%[0-9]+]]:_(s32) = G_OR [[COPY78]], [[COPY79]]
 365     ; CHECK: [[COPY80:%[0-9]+]]:_(s32) = COPY [[LSHR27]](s32)
 366     ; CHECK: [[AND31:%[0-9]+]]:_(s32) = G_AND [[COPY80]], [[C14]]
 367     ; CHECK: [[SHL27:%[0-9]+]]:_(s32) = G_SHL [[AND31]], [[C13]](s64)
 368     ; CHECK: [[COPY81:%[0-9]+]]:_(s32) = COPY [[OR26]](s32)
 369     ; CHECK: [[COPY82:%[0-9]+]]:_(s32) = COPY [[SHL27]](s32)
 370     ; CHECK: [[OR27:%[0-9]+]]:_(s32) = G_OR [[COPY81]], [[COPY82]]
 371     ; CHECK: [[TRUNC3:%[0-9]+]]:_(s8) = G_TRUNC [[OR27]](s32)
 372     ; CHECK: [[COPY83:%[0-9]+]]:_(s32) = COPY [[LSHR28]](s32)
 373     ; CHECK: [[AND32:%[0-9]+]]:_(s32) = G_AND [[COPY83]], [[C14]]
 374     ; CHECK: [[SHL28:%[0-9]+]]:_(s32) = G_SHL [[AND32]], [[C1]](s64)
 375     ; CHECK: [[ANYEXT4:%[0-9]+]]:_(s32) = G_ANYEXT [[UV4]](s8)
 376     ; CHECK: [[AND33:%[0-9]+]]:_(s32) = G_AND [[ANYEXT4]], [[C14]]
 377     ; CHECK: [[COPY84:%[0-9]+]]:_(s32) = COPY [[SHL28]](s32)
 378     ; CHECK: [[OR28:%[0-9]+]]:_(s32) = G_OR [[AND33]], [[COPY84]]
 379     ; CHECK: [[COPY85:%[0-9]+]]:_(s32) = COPY [[LSHR29]](s32)
 380     ; CHECK: [[AND34:%[0-9]+]]:_(s32) = G_AND [[COPY85]], [[C14]]
 381     ; CHECK: [[SHL29:%[0-9]+]]:_(s32) = G_SHL [[AND34]], [[C3]](s64)
 382     ; CHECK: [[COPY86:%[0-9]+]]:_(s32) = COPY [[OR28]](s32)
 383     ; CHECK: [[COPY87:%[0-9]+]]:_(s32) = COPY [[SHL29]](s32)
 384     ; CHECK: [[OR29:%[0-9]+]]:_(s32) = G_OR [[COPY86]], [[COPY87]]
 385     ; CHECK: [[COPY88:%[0-9]+]]:_(s32) = COPY [[LSHR30]](s32)
 386     ; CHECK: [[AND35:%[0-9]+]]:_(s32) = G_AND [[COPY88]], [[C14]]
 387     ; CHECK: [[SHL30:%[0-9]+]]:_(s32) = G_SHL [[AND35]], [[C5]](s64)
 388     ; CHECK: [[COPY89:%[0-9]+]]:_(s32) = COPY [[OR29]](s32)
 389     ; CHECK: [[COPY90:%[0-9]+]]:_(s32) = COPY [[SHL30]](s32)
 390     ; CHECK: [[OR30:%[0-9]+]]:_(s32) = G_OR [[COPY89]], [[COPY90]]
 391     ; CHECK: [[COPY91:%[0-9]+]]:_(s32) = COPY [[LSHR31]](s32)
 392     ; CHECK: [[AND36:%[0-9]+]]:_(s32) = G_AND [[COPY91]], [[C14]]
 393     ; CHECK: [[SHL31:%[0-9]+]]:_(s32) = G_SHL [[AND36]], [[C7]](s64)
 394     ; CHECK: [[COPY92:%[0-9]+]]:_(s32) = COPY [[OR30]](s32)
 395     ; CHECK: [[COPY93:%[0-9]+]]:_(s32) = COPY [[SHL31]](s32)
 396     ; CHECK: [[OR31:%[0-9]+]]:_(s32) = G_OR [[COPY92]], [[COPY93]]
 397     ; CHECK: [[COPY94:%[0-9]+]]:_(s32) = COPY [[LSHR32]](s32)
 398     ; CHECK: [[AND37:%[0-9]+]]:_(s32) = G_AND [[COPY94]], [[C14]]
 399     ; CHECK: [[SHL32:%[0-9]+]]:_(s32) = G_SHL [[AND37]], [[C9]](s64)
 400     ; CHECK: [[COPY95:%[0-9]+]]:_(s32) = COPY [[OR31]](s32)
 401     ; CHECK: [[COPY96:%[0-9]+]]:_(s32) = COPY [[SHL32]](s32)
 402     ; CHECK: [[OR32:%[0-9]+]]:_(s32) = G_OR [[COPY95]], [[COPY96]]
 403     ; CHECK: [[COPY97:%[0-9]+]]:_(s32) = COPY [[LSHR33]](s32)
 404     ; CHECK: [[AND38:%[0-9]+]]:_(s32) = G_AND [[COPY97]], [[C14]]
 405     ; CHECK: [[SHL33:%[0-9]+]]:_(s32) = G_SHL [[AND38]], [[C11]](s64)
 406     ; CHECK: [[COPY98:%[0-9]+]]:_(s32) = COPY [[OR32]](s32)
 407     ; CHECK: [[COPY99:%[0-9]+]]:_(s32) = COPY [[SHL33]](s32)
 408     ; CHECK: [[OR33:%[0-9]+]]:_(s32) = G_OR [[COPY98]], [[COPY99]]
 409     ; CHECK: [[COPY100:%[0-9]+]]:_(s32) = COPY [[LSHR34]](s32)
 410     ; CHECK: [[AND39:%[0-9]+]]:_(s32) = G_AND [[COPY100]], [[C14]]
 411     ; CHECK: [[SHL34:%[0-9]+]]:_(s32) = G_SHL [[AND39]], [[C13]](s64)
 412     ; CHECK: [[COPY101:%[0-9]+]]:_(s32) = COPY [[OR33]](s32)
 413     ; CHECK: [[COPY102:%[0-9]+]]:_(s32) = COPY [[SHL34]](s32)
 414     ; CHECK: [[OR34:%[0-9]+]]:_(s32) = G_OR [[COPY101]], [[COPY102]]
 415     ; CHECK: [[TRUNC4:%[0-9]+]]:_(s8) = G_TRUNC [[OR34]](s32)
 416     ; CHECK: [[COPY103:%[0-9]+]]:_(s32) = COPY [[LSHR35]](s32)
 417     ; CHECK: [[AND40:%[0-9]+]]:_(s32) = G_AND [[COPY103]], [[C14]]
 418     ; CHECK: [[SHL35:%[0-9]+]]:_(s32) = G_SHL [[AND40]], [[C1]](s64)
 419     ; CHECK: [[ANYEXT5:%[0-9]+]]:_(s32) = G_ANYEXT [[UV5]](s8)
 420     ; CHECK: [[AND41:%[0-9]+]]:_(s32) = G_AND [[ANYEXT5]], [[C14]]
 421     ; CHECK: [[COPY104:%[0-9]+]]:_(s32) = COPY [[SHL35]](s32)
 422     ; CHECK: [[OR35:%[0-9]+]]:_(s32) = G_OR [[AND41]], [[COPY104]]
 423     ; CHECK: [[COPY105:%[0-9]+]]:_(s32) = COPY [[LSHR36]](s32)
 424     ; CHECK: [[AND42:%[0-9]+]]:_(s32) = G_AND [[COPY105]], [[C14]]
 425     ; CHECK: [[SHL36:%[0-9]+]]:_(s32) = G_SHL [[AND42]], [[C3]](s64)
 426     ; CHECK: [[COPY106:%[0-9]+]]:_(s32) = COPY [[OR35]](s32)
 427     ; CHECK: [[COPY107:%[0-9]+]]:_(s32) = COPY [[SHL36]](s32)
 428     ; CHECK: [[OR36:%[0-9]+]]:_(s32) = G_OR [[COPY106]], [[COPY107]]
 429     ; CHECK: [[COPY108:%[0-9]+]]:_(s32) = COPY [[LSHR37]](s32)
 430     ; CHECK: [[AND43:%[0-9]+]]:_(s32) = G_AND [[COPY108]], [[C14]]
 431     ; CHECK: [[SHL37:%[0-9]+]]:_(s32) = G_SHL [[AND43]], [[C5]](s64)
 432     ; CHECK: [[COPY109:%[0-9]+]]:_(s32) = COPY [[OR36]](s32)
 433     ; CHECK: [[COPY110:%[0-9]+]]:_(s32) = COPY [[SHL37]](s32)
 434     ; CHECK: [[OR37:%[0-9]+]]:_(s32) = G_OR [[COPY109]], [[COPY110]]
 435     ; CHECK: [[COPY111:%[0-9]+]]:_(s32) = COPY [[LSHR38]](s32)
 436     ; CHECK: [[AND44:%[0-9]+]]:_(s32) = G_AND [[COPY111]], [[C14]]
 437     ; CHECK: [[SHL38:%[0-9]+]]:_(s32) = G_SHL [[AND44]], [[C7]](s64)
 438     ; CHECK: [[COPY112:%[0-9]+]]:_(s32) = COPY [[OR37]](s32)
 439     ; CHECK: [[COPY113:%[0-9]+]]:_(s32) = COPY [[SHL38]](s32)
 440     ; CHECK: [[OR38:%[0-9]+]]:_(s32) = G_OR [[COPY112]], [[COPY113]]
 441     ; CHECK: [[COPY114:%[0-9]+]]:_(s32) = COPY [[LSHR39]](s32)
 442     ; CHECK: [[AND45:%[0-9]+]]:_(s32) = G_AND [[COPY114]], [[C14]]
 443     ; CHECK: [[SHL39:%[0-9]+]]:_(s32) = G_SHL [[AND45]], [[C9]](s64)
 444     ; CHECK: [[COPY115:%[0-9]+]]:_(s32) = COPY [[OR38]](s32)
 445     ; CHECK: [[COPY116:%[0-9]+]]:_(s32) = COPY [[SHL39]](s32)
 446     ; CHECK: [[OR39:%[0-9]+]]:_(s32) = G_OR [[COPY115]], [[COPY116]]
 447     ; CHECK: [[COPY117:%[0-9]+]]:_(s32) = COPY [[LSHR40]](s32)
 448     ; CHECK: [[AND46:%[0-9]+]]:_(s32) = G_AND [[COPY117]], [[C14]]
 449     ; CHECK: [[SHL40:%[0-9]+]]:_(s32) = G_SHL [[AND46]], [[C11]](s64)
 450     ; CHECK: [[COPY118:%[0-9]+]]:_(s32) = COPY [[OR39]](s32)
 451     ; CHECK: [[COPY119:%[0-9]+]]:_(s32) = COPY [[SHL40]](s32)
 452     ; CHECK: [[OR40:%[0-9]+]]:_(s32) = G_OR [[COPY118]], [[COPY119]]
 453     ; CHECK: [[COPY120:%[0-9]+]]:_(s32) = COPY [[LSHR41]](s32)
 454     ; CHECK: [[AND47:%[0-9]+]]:_(s32) = G_AND [[COPY120]], [[C14]]
 455     ; CHECK: [[SHL41:%[0-9]+]]:_(s32) = G_SHL [[AND47]], [[C13]](s64)
 456     ; CHECK: [[COPY121:%[0-9]+]]:_(s32) = COPY [[OR40]](s32)
 457     ; CHECK: [[COPY122:%[0-9]+]]:_(s32) = COPY [[SHL41]](s32)
 458     ; CHECK: [[OR41:%[0-9]+]]:_(s32) = G_OR [[COPY121]], [[COPY122]]
 459     ; CHECK: [[TRUNC5:%[0-9]+]]:_(s8) = G_TRUNC [[OR41]](s32)
 460     ; CHECK: [[COPY123:%[0-9]+]]:_(s32) = COPY [[LSHR42]](s32)
 461     ; CHECK: [[AND48:%[0-9]+]]:_(s32) = G_AND [[COPY123]], [[C14]]
 462     ; CHECK: [[SHL42:%[0-9]+]]:_(s32) = G_SHL [[AND48]], [[C1]](s64)
 463     ; CHECK: [[ANYEXT6:%[0-9]+]]:_(s32) = G_ANYEXT [[UV6]](s8)
 464     ; CHECK: [[AND49:%[0-9]+]]:_(s32) = G_AND [[ANYEXT6]], [[C14]]
 465     ; CHECK: [[COPY124:%[0-9]+]]:_(s32) = COPY [[SHL42]](s32)
 466     ; CHECK: [[OR42:%[0-9]+]]:_(s32) = G_OR [[AND49]], [[COPY124]]
 467     ; CHECK: [[COPY125:%[0-9]+]]:_(s32) = COPY [[LSHR43]](s32)
 468     ; CHECK: [[AND50:%[0-9]+]]:_(s32) = G_AND [[COPY125]], [[C14]]
 469     ; CHECK: [[SHL43:%[0-9]+]]:_(s32) = G_SHL [[AND50]], [[C3]](s64)
 470     ; CHECK: [[COPY126:%[0-9]+]]:_(s32) = COPY [[OR42]](s32)
 471     ; CHECK: [[COPY127:%[0-9]+]]:_(s32) = COPY [[SHL43]](s32)
 472     ; CHECK: [[OR43:%[0-9]+]]:_(s32) = G_OR [[COPY126]], [[COPY127]]
 473     ; CHECK: [[COPY128:%[0-9]+]]:_(s32) = COPY [[LSHR44]](s32)
 474     ; CHECK: [[AND51:%[0-9]+]]:_(s32) = G_AND [[COPY128]], [[C14]]
 475     ; CHECK: [[SHL44:%[0-9]+]]:_(s32) = G_SHL [[AND51]], [[C5]](s64)
 476     ; CHECK: [[COPY129:%[0-9]+]]:_(s32) = COPY [[OR43]](s32)
 477     ; CHECK: [[COPY130:%[0-9]+]]:_(s32) = COPY [[SHL44]](s32)
 478     ; CHECK: [[OR44:%[0-9]+]]:_(s32) = G_OR [[COPY129]], [[COPY130]]
 479     ; CHECK: [[COPY131:%[0-9]+]]:_(s32) = COPY [[LSHR45]](s32)
 480     ; CHECK: [[AND52:%[0-9]+]]:_(s32) = G_AND [[COPY131]], [[C14]]
 481     ; CHECK: [[SHL45:%[0-9]+]]:_(s32) = G_SHL [[AND52]], [[C7]](s64)
 482     ; CHECK: [[COPY132:%[0-9]+]]:_(s32) = COPY [[OR44]](s32)
 483     ; CHECK: [[COPY133:%[0-9]+]]:_(s32) = COPY [[SHL45]](s32)
 484     ; CHECK: [[OR45:%[0-9]+]]:_(s32) = G_OR [[COPY132]], [[COPY133]]
 485     ; CHECK: [[COPY134:%[0-9]+]]:_(s32) = COPY [[LSHR46]](s32)
 486     ; CHECK: [[AND53:%[0-9]+]]:_(s32) = G_AND [[COPY134]], [[C14]]
 487     ; CHECK: [[SHL46:%[0-9]+]]:_(s32) = G_SHL [[AND53]], [[C9]](s64)
 488     ; CHECK: [[COPY135:%[0-9]+]]:_(s32) = COPY [[OR45]](s32)
 489     ; CHECK: [[COPY136:%[0-9]+]]:_(s32) = COPY [[SHL46]](s32)
 490     ; CHECK: [[OR46:%[0-9]+]]:_(s32) = G_OR [[COPY135]], [[COPY136]]
 491     ; CHECK: [[COPY137:%[0-9]+]]:_(s32) = COPY [[LSHR47]](s32)
 492     ; CHECK: [[AND54:%[0-9]+]]:_(s32) = G_AND [[COPY137]], [[C14]]
 493     ; CHECK: [[SHL47:%[0-9]+]]:_(s32) = G_SHL [[AND54]], [[C11]](s64)
 494     ; CHECK: [[COPY138:%[0-9]+]]:_(s32) = COPY [[OR46]](s32)
 495     ; CHECK: [[COPY139:%[0-9]+]]:_(s32) = COPY [[SHL47]](s32)
 496     ; CHECK: [[OR47:%[0-9]+]]:_(s32) = G_OR [[COPY138]], [[COPY139]]
 497     ; CHECK: [[COPY140:%[0-9]+]]:_(s32) = COPY [[LSHR48]](s32)
 498     ; CHECK: [[AND55:%[0-9]+]]:_(s32) = G_AND [[COPY140]], [[C14]]
 499     ; CHECK: [[SHL48:%[0-9]+]]:_(s32) = G_SHL [[AND55]], [[C13]](s64)
 500     ; CHECK: [[COPY141:%[0-9]+]]:_(s32) = COPY [[OR47]](s32)
 501     ; CHECK: [[COPY142:%[0-9]+]]:_(s32) = COPY [[SHL48]](s32)
 502     ; CHECK: [[OR48:%[0-9]+]]:_(s32) = G_OR [[COPY141]], [[COPY142]]
 503     ; CHECK: [[TRUNC6:%[0-9]+]]:_(s8) = G_TRUNC [[OR48]](s32)
 504     ; CHECK: [[COPY143:%[0-9]+]]:_(s32) = COPY [[LSHR49]](s32)
 505     ; CHECK: [[AND56:%[0-9]+]]:_(s32) = G_AND [[COPY143]], [[C14]]
 506     ; CHECK: [[SHL49:%[0-9]+]]:_(s32) = G_SHL [[AND56]], [[C1]](s64)
 507     ; CHECK: [[ANYEXT7:%[0-9]+]]:_(s32) = G_ANYEXT [[UV7]](s8)
 508     ; CHECK: [[AND57:%[0-9]+]]:_(s32) = G_AND [[ANYEXT7]], [[C14]]
 509     ; CHECK: [[COPY144:%[0-9]+]]:_(s32) = COPY [[SHL49]](s32)
 510     ; CHECK: [[OR49:%[0-9]+]]:_(s32) = G_OR [[AND57]], [[COPY144]]
 511     ; CHECK: [[COPY145:%[0-9]+]]:_(s32) = COPY [[LSHR50]](s32)
 512     ; CHECK: [[AND58:%[0-9]+]]:_(s32) = G_AND [[COPY145]], [[C14]]
 513     ; CHECK: [[SHL50:%[0-9]+]]:_(s32) = G_SHL [[AND58]], [[C3]](s64)
 514     ; CHECK: [[COPY146:%[0-9]+]]:_(s32) = COPY [[OR49]](s32)
 515     ; CHECK: [[COPY147:%[0-9]+]]:_(s32) = COPY [[SHL50]](s32)
 516     ; CHECK: [[OR50:%[0-9]+]]:_(s32) = G_OR [[COPY146]], [[COPY147]]
 517     ; CHECK: [[COPY148:%[0-9]+]]:_(s32) = COPY [[LSHR51]](s32)
 518     ; CHECK: [[AND59:%[0-9]+]]:_(s32) = G_AND [[COPY148]], [[C14]]
 519     ; CHECK: [[SHL51:%[0-9]+]]:_(s32) = G_SHL [[AND59]], [[C5]](s64)
 520     ; CHECK: [[COPY149:%[0-9]+]]:_(s32) = COPY [[OR50]](s32)
 521     ; CHECK: [[COPY150:%[0-9]+]]:_(s32) = COPY [[SHL51]](s32)
 522     ; CHECK: [[OR51:%[0-9]+]]:_(s32) = G_OR [[COPY149]], [[COPY150]]
 523     ; CHECK: [[COPY151:%[0-9]+]]:_(s32) = COPY [[LSHR52]](s32)
 524     ; CHECK: [[AND60:%[0-9]+]]:_(s32) = G_AND [[COPY151]], [[C14]]
 525     ; CHECK: [[SHL52:%[0-9]+]]:_(s32) = G_SHL [[AND60]], [[C7]](s64)
 526     ; CHECK: [[COPY152:%[0-9]+]]:_(s32) = COPY [[OR51]](s32)
 527     ; CHECK: [[COPY153:%[0-9]+]]:_(s32) = COPY [[SHL52]](s32)
 528     ; CHECK: [[OR52:%[0-9]+]]:_(s32) = G_OR [[COPY152]], [[COPY153]]
 529     ; CHECK: [[COPY154:%[0-9]+]]:_(s32) = COPY [[LSHR53]](s32)
 530     ; CHECK: [[AND61:%[0-9]+]]:_(s32) = G_AND [[COPY154]], [[C14]]
 531     ; CHECK: [[SHL53:%[0-9]+]]:_(s32) = G_SHL [[AND61]], [[C9]](s64)
 532     ; CHECK: [[COPY155:%[0-9]+]]:_(s32) = COPY [[OR52]](s32)
 533     ; CHECK: [[COPY156:%[0-9]+]]:_(s32) = COPY [[SHL53]](s32)
 534     ; CHECK: [[OR53:%[0-9]+]]:_(s32) = G_OR [[COPY155]], [[COPY156]]
 535     ; CHECK: [[COPY157:%[0-9]+]]:_(s32) = COPY [[LSHR54]](s32)
 536     ; CHECK: [[AND62:%[0-9]+]]:_(s32) = G_AND [[COPY157]], [[C14]]
 537     ; CHECK: [[SHL54:%[0-9]+]]:_(s32) = G_SHL [[AND62]], [[C11]](s64)
 538     ; CHECK: [[COPY158:%[0-9]+]]:_(s32) = COPY [[OR53]](s32)
 539     ; CHECK: [[COPY159:%[0-9]+]]:_(s32) = COPY [[SHL54]](s32)
 540     ; CHECK: [[OR54:%[0-9]+]]:_(s32) = G_OR [[COPY158]], [[COPY159]]
 541     ; CHECK: [[COPY160:%[0-9]+]]:_(s32) = COPY [[LSHR55]](s32)
 542     ; CHECK: [[AND63:%[0-9]+]]:_(s32) = G_AND [[COPY160]], [[C14]]
 543     ; CHECK: [[SHL55:%[0-9]+]]:_(s32) = G_SHL [[AND63]], [[C13]](s64)
 544     ; CHECK: [[COPY161:%[0-9]+]]:_(s32) = COPY [[OR54]](s32)
 545     ; CHECK: [[COPY162:%[0-9]+]]:_(s32) = COPY [[SHL55]](s32)
 546     ; CHECK: [[OR55:%[0-9]+]]:_(s32) = G_OR [[COPY161]], [[COPY162]]
 547     ; CHECK: [[TRUNC7:%[0-9]+]]:_(s8) = G_TRUNC [[OR55]](s32)
 548     ; CHECK: [[MV:%[0-9]+]]:_(s64) = G_MERGE_VALUES [[TRUNC]](s8), [[TRUNC1]](s8), [[TRUNC2]](s8), [[TRUNC3]](s8), [[TRUNC4]](s8), [[TRUNC5]](s8), [[TRUNC6]](s8), [[TRUNC7]](s8)
 549     ; CHECK: [[C15:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
 550     ; CHECK: [[COPY163:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 551     ; CHECK: [[SHL56:%[0-9]+]]:_(s32) = G_SHL [[COPY163]], [[C1]](s64)
 552     ; CHECK: [[TRUNC8:%[0-9]+]]:_(s32) = G_TRUNC [[COPY2]](s64)
 553     ; CHECK: [[AND64:%[0-9]+]]:_(s32) = G_AND [[TRUNC8]], [[C14]]
 554     ; CHECK: [[COPY164:%[0-9]+]]:_(s32) = COPY [[SHL56]](s32)
 555     ; CHECK: [[OR56:%[0-9]+]]:_(s32) = G_OR [[AND64]], [[COPY164]]
 556     ; CHECK: [[COPY165:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 557     ; CHECK: [[SHL57:%[0-9]+]]:_(s32) = G_SHL [[COPY165]], [[C3]](s64)
 558     ; CHECK: [[COPY166:%[0-9]+]]:_(s32) = COPY [[OR56]](s32)
 559     ; CHECK: [[COPY167:%[0-9]+]]:_(s32) = COPY [[SHL57]](s32)
 560     ; CHECK: [[OR57:%[0-9]+]]:_(s32) = G_OR [[COPY166]], [[COPY167]]
 561     ; CHECK: [[COPY168:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 562     ; CHECK: [[SHL58:%[0-9]+]]:_(s32) = G_SHL [[COPY168]], [[C5]](s64)
 563     ; CHECK: [[COPY169:%[0-9]+]]:_(s32) = COPY [[OR57]](s32)
 564     ; CHECK: [[COPY170:%[0-9]+]]:_(s32) = COPY [[SHL58]](s32)
 565     ; CHECK: [[OR58:%[0-9]+]]:_(s32) = G_OR [[COPY169]], [[COPY170]]
 566     ; CHECK: [[COPY171:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 567     ; CHECK: [[SHL59:%[0-9]+]]:_(s32) = G_SHL [[COPY171]], [[C7]](s64)
 568     ; CHECK: [[COPY172:%[0-9]+]]:_(s32) = COPY [[OR58]](s32)
 569     ; CHECK: [[COPY173:%[0-9]+]]:_(s32) = COPY [[SHL59]](s32)
 570     ; CHECK: [[OR59:%[0-9]+]]:_(s32) = G_OR [[COPY172]], [[COPY173]]
 571     ; CHECK: [[COPY174:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 572     ; CHECK: [[SHL60:%[0-9]+]]:_(s32) = G_SHL [[COPY174]], [[C9]](s64)
 573     ; CHECK: [[COPY175:%[0-9]+]]:_(s32) = COPY [[OR59]](s32)
 574     ; CHECK: [[COPY176:%[0-9]+]]:_(s32) = COPY [[SHL60]](s32)
 575     ; CHECK: [[OR60:%[0-9]+]]:_(s32) = G_OR [[COPY175]], [[COPY176]]
 576     ; CHECK: [[COPY177:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 577     ; CHECK: [[SHL61:%[0-9]+]]:_(s32) = G_SHL [[COPY177]], [[C11]](s64)
 578     ; CHECK: [[COPY178:%[0-9]+]]:_(s32) = COPY [[OR60]](s32)
 579     ; CHECK: [[COPY179:%[0-9]+]]:_(s32) = COPY [[SHL61]](s32)
 580     ; CHECK: [[OR61:%[0-9]+]]:_(s32) = G_OR [[COPY178]], [[COPY179]]
 581     ; CHECK: [[COPY180:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 582     ; CHECK: [[SHL62:%[0-9]+]]:_(s32) = G_SHL [[COPY180]], [[C13]](s64)
 583     ; CHECK: [[COPY181:%[0-9]+]]:_(s32) = COPY [[OR61]](s32)
 584     ; CHECK: [[COPY182:%[0-9]+]]:_(s32) = COPY [[SHL62]](s32)
 585     ; CHECK: [[OR62:%[0-9]+]]:_(s32) = G_OR [[COPY181]], [[COPY182]]
 586     ; CHECK: [[TRUNC9:%[0-9]+]]:_(s8) = G_TRUNC [[OR62]](s32)
 587     ; CHECK: [[COPY183:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 588     ; CHECK: [[SHL63:%[0-9]+]]:_(s32) = G_SHL [[COPY183]], [[C1]](s64)
 589     ; CHECK: [[COPY184:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 590     ; CHECK: [[COPY185:%[0-9]+]]:_(s32) = COPY [[SHL63]](s32)
 591     ; CHECK: [[OR63:%[0-9]+]]:_(s32) = G_OR [[COPY184]], [[COPY185]]
 592     ; CHECK: [[COPY186:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 593     ; CHECK: [[SHL64:%[0-9]+]]:_(s32) = G_SHL [[COPY186]], [[C3]](s64)
 594     ; CHECK: [[COPY187:%[0-9]+]]:_(s32) = COPY [[OR63]](s32)
 595     ; CHECK: [[COPY188:%[0-9]+]]:_(s32) = COPY [[SHL64]](s32)
 596     ; CHECK: [[OR64:%[0-9]+]]:_(s32) = G_OR [[COPY187]], [[COPY188]]
 597     ; CHECK: [[COPY189:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 598     ; CHECK: [[SHL65:%[0-9]+]]:_(s32) = G_SHL [[COPY189]], [[C5]](s64)
 599     ; CHECK: [[COPY190:%[0-9]+]]:_(s32) = COPY [[OR64]](s32)
 600     ; CHECK: [[COPY191:%[0-9]+]]:_(s32) = COPY [[SHL65]](s32)
 601     ; CHECK: [[OR65:%[0-9]+]]:_(s32) = G_OR [[COPY190]], [[COPY191]]
 602     ; CHECK: [[COPY192:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 603     ; CHECK: [[SHL66:%[0-9]+]]:_(s32) = G_SHL [[COPY192]], [[C7]](s64)
 604     ; CHECK: [[COPY193:%[0-9]+]]:_(s32) = COPY [[OR65]](s32)
 605     ; CHECK: [[COPY194:%[0-9]+]]:_(s32) = COPY [[SHL66]](s32)
 606     ; CHECK: [[OR66:%[0-9]+]]:_(s32) = G_OR [[COPY193]], [[COPY194]]
 607     ; CHECK: [[COPY195:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 608     ; CHECK: [[SHL67:%[0-9]+]]:_(s32) = G_SHL [[COPY195]], [[C9]](s64)
 609     ; CHECK: [[COPY196:%[0-9]+]]:_(s32) = COPY [[OR66]](s32)
 610     ; CHECK: [[COPY197:%[0-9]+]]:_(s32) = COPY [[SHL67]](s32)
 611     ; CHECK: [[OR67:%[0-9]+]]:_(s32) = G_OR [[COPY196]], [[COPY197]]
 612     ; CHECK: [[COPY198:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 613     ; CHECK: [[SHL68:%[0-9]+]]:_(s32) = G_SHL [[COPY198]], [[C11]](s64)
 614     ; CHECK: [[COPY199:%[0-9]+]]:_(s32) = COPY [[OR67]](s32)
 615     ; CHECK: [[COPY200:%[0-9]+]]:_(s32) = COPY [[SHL68]](s32)
 616     ; CHECK: [[OR68:%[0-9]+]]:_(s32) = G_OR [[COPY199]], [[COPY200]]
 617     ; CHECK: [[COPY201:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 618     ; CHECK: [[SHL69:%[0-9]+]]:_(s32) = G_SHL [[COPY201]], [[C13]](s64)
 619     ; CHECK: [[COPY202:%[0-9]+]]:_(s32) = COPY [[OR68]](s32)
 620     ; CHECK: [[COPY203:%[0-9]+]]:_(s32) = COPY [[SHL69]](s32)
 621     ; CHECK: [[OR69:%[0-9]+]]:_(s32) = G_OR [[COPY202]], [[COPY203]]
 622     ; CHECK: [[TRUNC10:%[0-9]+]]:_(s8) = G_TRUNC [[OR69]](s32)
 623     ; CHECK: [[COPY204:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 624     ; CHECK: [[SHL70:%[0-9]+]]:_(s32) = G_SHL [[COPY204]], [[C1]](s64)
 625     ; CHECK: [[COPY205:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 626     ; CHECK: [[COPY206:%[0-9]+]]:_(s32) = COPY [[SHL70]](s32)
 627     ; CHECK: [[OR70:%[0-9]+]]:_(s32) = G_OR [[COPY205]], [[COPY206]]
 628     ; CHECK: [[COPY207:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 629     ; CHECK: [[SHL71:%[0-9]+]]:_(s32) = G_SHL [[COPY207]], [[C3]](s64)
 630     ; CHECK: [[COPY208:%[0-9]+]]:_(s32) = COPY [[OR70]](s32)
 631     ; CHECK: [[COPY209:%[0-9]+]]:_(s32) = COPY [[SHL71]](s32)
 632     ; CHECK: [[OR71:%[0-9]+]]:_(s32) = G_OR [[COPY208]], [[COPY209]]
 633     ; CHECK: [[COPY210:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 634     ; CHECK: [[SHL72:%[0-9]+]]:_(s32) = G_SHL [[COPY210]], [[C5]](s64)
 635     ; CHECK: [[COPY211:%[0-9]+]]:_(s32) = COPY [[OR71]](s32)
 636     ; CHECK: [[COPY212:%[0-9]+]]:_(s32) = COPY [[SHL72]](s32)
 637     ; CHECK: [[OR72:%[0-9]+]]:_(s32) = G_OR [[COPY211]], [[COPY212]]
 638     ; CHECK: [[COPY213:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 639     ; CHECK: [[SHL73:%[0-9]+]]:_(s32) = G_SHL [[COPY213]], [[C7]](s64)
 640     ; CHECK: [[COPY214:%[0-9]+]]:_(s32) = COPY [[OR72]](s32)
 641     ; CHECK: [[COPY215:%[0-9]+]]:_(s32) = COPY [[SHL73]](s32)
 642     ; CHECK: [[OR73:%[0-9]+]]:_(s32) = G_OR [[COPY214]], [[COPY215]]
 643     ; CHECK: [[COPY216:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 644     ; CHECK: [[SHL74:%[0-9]+]]:_(s32) = G_SHL [[COPY216]], [[C9]](s64)
 645     ; CHECK: [[COPY217:%[0-9]+]]:_(s32) = COPY [[OR73]](s32)
 646     ; CHECK: [[COPY218:%[0-9]+]]:_(s32) = COPY [[SHL74]](s32)
 647     ; CHECK: [[OR74:%[0-9]+]]:_(s32) = G_OR [[COPY217]], [[COPY218]]
 648     ; CHECK: [[COPY219:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 649     ; CHECK: [[SHL75:%[0-9]+]]:_(s32) = G_SHL [[COPY219]], [[C11]](s64)
 650     ; CHECK: [[COPY220:%[0-9]+]]:_(s32) = COPY [[OR74]](s32)
 651     ; CHECK: [[COPY221:%[0-9]+]]:_(s32) = COPY [[SHL75]](s32)
 652     ; CHECK: [[OR75:%[0-9]+]]:_(s32) = G_OR [[COPY220]], [[COPY221]]
 653     ; CHECK: [[COPY222:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 654     ; CHECK: [[SHL76:%[0-9]+]]:_(s32) = G_SHL [[COPY222]], [[C13]](s64)
 655     ; CHECK: [[COPY223:%[0-9]+]]:_(s32) = COPY [[OR75]](s32)
 656     ; CHECK: [[COPY224:%[0-9]+]]:_(s32) = COPY [[SHL76]](s32)
 657     ; CHECK: [[OR76:%[0-9]+]]:_(s32) = G_OR [[COPY223]], [[COPY224]]
 658     ; CHECK: [[TRUNC11:%[0-9]+]]:_(s8) = G_TRUNC [[OR76]](s32)
 659     ; CHECK: [[COPY225:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 660     ; CHECK: [[SHL77:%[0-9]+]]:_(s32) = G_SHL [[COPY225]], [[C1]](s64)
 661     ; CHECK: [[COPY226:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 662     ; CHECK: [[COPY227:%[0-9]+]]:_(s32) = COPY [[SHL77]](s32)
 663     ; CHECK: [[OR77:%[0-9]+]]:_(s32) = G_OR [[COPY226]], [[COPY227]]
 664     ; CHECK: [[COPY228:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 665     ; CHECK: [[SHL78:%[0-9]+]]:_(s32) = G_SHL [[COPY228]], [[C3]](s64)
 666     ; CHECK: [[COPY229:%[0-9]+]]:_(s32) = COPY [[OR77]](s32)
 667     ; CHECK: [[COPY230:%[0-9]+]]:_(s32) = COPY [[SHL78]](s32)
 668     ; CHECK: [[OR78:%[0-9]+]]:_(s32) = G_OR [[COPY229]], [[COPY230]]
 669     ; CHECK: [[COPY231:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 670     ; CHECK: [[SHL79:%[0-9]+]]:_(s32) = G_SHL [[COPY231]], [[C5]](s64)
 671     ; CHECK: [[COPY232:%[0-9]+]]:_(s32) = COPY [[OR78]](s32)
 672     ; CHECK: [[COPY233:%[0-9]+]]:_(s32) = COPY [[SHL79]](s32)
 673     ; CHECK: [[OR79:%[0-9]+]]:_(s32) = G_OR [[COPY232]], [[COPY233]]
 674     ; CHECK: [[COPY234:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 675     ; CHECK: [[SHL80:%[0-9]+]]:_(s32) = G_SHL [[COPY234]], [[C7]](s64)
 676     ; CHECK: [[COPY235:%[0-9]+]]:_(s32) = COPY [[OR79]](s32)
 677     ; CHECK: [[COPY236:%[0-9]+]]:_(s32) = COPY [[SHL80]](s32)
 678     ; CHECK: [[OR80:%[0-9]+]]:_(s32) = G_OR [[COPY235]], [[COPY236]]
 679     ; CHECK: [[COPY237:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 680     ; CHECK: [[SHL81:%[0-9]+]]:_(s32) = G_SHL [[COPY237]], [[C9]](s64)
 681     ; CHECK: [[COPY238:%[0-9]+]]:_(s32) = COPY [[OR80]](s32)
 682     ; CHECK: [[COPY239:%[0-9]+]]:_(s32) = COPY [[SHL81]](s32)
 683     ; CHECK: [[OR81:%[0-9]+]]:_(s32) = G_OR [[COPY238]], [[COPY239]]
 684     ; CHECK: [[COPY240:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 685     ; CHECK: [[SHL82:%[0-9]+]]:_(s32) = G_SHL [[COPY240]], [[C11]](s64)
 686     ; CHECK: [[COPY241:%[0-9]+]]:_(s32) = COPY [[OR81]](s32)
 687     ; CHECK: [[COPY242:%[0-9]+]]:_(s32) = COPY [[SHL82]](s32)
 688     ; CHECK: [[OR82:%[0-9]+]]:_(s32) = G_OR [[COPY241]], [[COPY242]]
 689     ; CHECK: [[COPY243:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 690     ; CHECK: [[SHL83:%[0-9]+]]:_(s32) = G_SHL [[COPY243]], [[C13]](s64)
 691     ; CHECK: [[COPY244:%[0-9]+]]:_(s32) = COPY [[OR82]](s32)
 692     ; CHECK: [[COPY245:%[0-9]+]]:_(s32) = COPY [[SHL83]](s32)
 693     ; CHECK: [[OR83:%[0-9]+]]:_(s32) = G_OR [[COPY244]], [[COPY245]]
 694     ; CHECK: [[TRUNC12:%[0-9]+]]:_(s8) = G_TRUNC [[OR83]](s32)
 695     ; CHECK: [[COPY246:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 696     ; CHECK: [[SHL84:%[0-9]+]]:_(s32) = G_SHL [[COPY246]], [[C1]](s64)
 697     ; CHECK: [[COPY247:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 698     ; CHECK: [[COPY248:%[0-9]+]]:_(s32) = COPY [[SHL84]](s32)
 699     ; CHECK: [[OR84:%[0-9]+]]:_(s32) = G_OR [[COPY247]], [[COPY248]]
 700     ; CHECK: [[COPY249:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 701     ; CHECK: [[SHL85:%[0-9]+]]:_(s32) = G_SHL [[COPY249]], [[C3]](s64)
 702     ; CHECK: [[COPY250:%[0-9]+]]:_(s32) = COPY [[OR84]](s32)
 703     ; CHECK: [[COPY251:%[0-9]+]]:_(s32) = COPY [[SHL85]](s32)
 704     ; CHECK: [[OR85:%[0-9]+]]:_(s32) = G_OR [[COPY250]], [[COPY251]]
 705     ; CHECK: [[COPY252:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 706     ; CHECK: [[SHL86:%[0-9]+]]:_(s32) = G_SHL [[COPY252]], [[C5]](s64)
 707     ; CHECK: [[COPY253:%[0-9]+]]:_(s32) = COPY [[OR85]](s32)
 708     ; CHECK: [[COPY254:%[0-9]+]]:_(s32) = COPY [[SHL86]](s32)
 709     ; CHECK: [[OR86:%[0-9]+]]:_(s32) = G_OR [[COPY253]], [[COPY254]]
 710     ; CHECK: [[COPY255:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 711     ; CHECK: [[SHL87:%[0-9]+]]:_(s32) = G_SHL [[COPY255]], [[C7]](s64)
 712     ; CHECK: [[COPY256:%[0-9]+]]:_(s32) = COPY [[OR86]](s32)
 713     ; CHECK: [[COPY257:%[0-9]+]]:_(s32) = COPY [[SHL87]](s32)
 714     ; CHECK: [[OR87:%[0-9]+]]:_(s32) = G_OR [[COPY256]], [[COPY257]]
 715     ; CHECK: [[COPY258:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 716     ; CHECK: [[SHL88:%[0-9]+]]:_(s32) = G_SHL [[COPY258]], [[C9]](s64)
 717     ; CHECK: [[COPY259:%[0-9]+]]:_(s32) = COPY [[OR87]](s32)
 718     ; CHECK: [[COPY260:%[0-9]+]]:_(s32) = COPY [[SHL88]](s32)
 719     ; CHECK: [[OR88:%[0-9]+]]:_(s32) = G_OR [[COPY259]], [[COPY260]]
 720     ; CHECK: [[COPY261:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 721     ; CHECK: [[SHL89:%[0-9]+]]:_(s32) = G_SHL [[COPY261]], [[C11]](s64)
 722     ; CHECK: [[COPY262:%[0-9]+]]:_(s32) = COPY [[OR88]](s32)
 723     ; CHECK: [[COPY263:%[0-9]+]]:_(s32) = COPY [[SHL89]](s32)
 724     ; CHECK: [[OR89:%[0-9]+]]:_(s32) = G_OR [[COPY262]], [[COPY263]]
 725     ; CHECK: [[COPY264:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 726     ; CHECK: [[SHL90:%[0-9]+]]:_(s32) = G_SHL [[COPY264]], [[C13]](s64)
 727     ; CHECK: [[COPY265:%[0-9]+]]:_(s32) = COPY [[OR89]](s32)
 728     ; CHECK: [[COPY266:%[0-9]+]]:_(s32) = COPY [[SHL90]](s32)
 729     ; CHECK: [[OR90:%[0-9]+]]:_(s32) = G_OR [[COPY265]], [[COPY266]]
 730     ; CHECK: [[TRUNC13:%[0-9]+]]:_(s8) = G_TRUNC [[OR90]](s32)
 731     ; CHECK: [[COPY267:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 732     ; CHECK: [[SHL91:%[0-9]+]]:_(s32) = G_SHL [[COPY267]], [[C1]](s64)
 733     ; CHECK: [[COPY268:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 734     ; CHECK: [[COPY269:%[0-9]+]]:_(s32) = COPY [[SHL91]](s32)
 735     ; CHECK: [[OR91:%[0-9]+]]:_(s32) = G_OR [[COPY268]], [[COPY269]]
 736     ; CHECK: [[COPY270:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 737     ; CHECK: [[SHL92:%[0-9]+]]:_(s32) = G_SHL [[COPY270]], [[C3]](s64)
 738     ; CHECK: [[COPY271:%[0-9]+]]:_(s32) = COPY [[OR91]](s32)
 739     ; CHECK: [[COPY272:%[0-9]+]]:_(s32) = COPY [[SHL92]](s32)
 740     ; CHECK: [[OR92:%[0-9]+]]:_(s32) = G_OR [[COPY271]], [[COPY272]]
 741     ; CHECK: [[COPY273:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 742     ; CHECK: [[SHL93:%[0-9]+]]:_(s32) = G_SHL [[COPY273]], [[C5]](s64)
 743     ; CHECK: [[COPY274:%[0-9]+]]:_(s32) = COPY [[OR92]](s32)
 744     ; CHECK: [[COPY275:%[0-9]+]]:_(s32) = COPY [[SHL93]](s32)
 745     ; CHECK: [[OR93:%[0-9]+]]:_(s32) = G_OR [[COPY274]], [[COPY275]]
 746     ; CHECK: [[COPY276:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 747     ; CHECK: [[SHL94:%[0-9]+]]:_(s32) = G_SHL [[COPY276]], [[C7]](s64)
 748     ; CHECK: [[COPY277:%[0-9]+]]:_(s32) = COPY [[OR93]](s32)
 749     ; CHECK: [[COPY278:%[0-9]+]]:_(s32) = COPY [[SHL94]](s32)
 750     ; CHECK: [[OR94:%[0-9]+]]:_(s32) = G_OR [[COPY277]], [[COPY278]]
 751     ; CHECK: [[COPY279:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 752     ; CHECK: [[SHL95:%[0-9]+]]:_(s32) = G_SHL [[COPY279]], [[C9]](s64)
 753     ; CHECK: [[COPY280:%[0-9]+]]:_(s32) = COPY [[OR94]](s32)
 754     ; CHECK: [[COPY281:%[0-9]+]]:_(s32) = COPY [[SHL95]](s32)
 755     ; CHECK: [[OR95:%[0-9]+]]:_(s32) = G_OR [[COPY280]], [[COPY281]]
 756     ; CHECK: [[COPY282:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 757     ; CHECK: [[SHL96:%[0-9]+]]:_(s32) = G_SHL [[COPY282]], [[C11]](s64)
 758     ; CHECK: [[COPY283:%[0-9]+]]:_(s32) = COPY [[OR95]](s32)
 759     ; CHECK: [[COPY284:%[0-9]+]]:_(s32) = COPY [[SHL96]](s32)
 760     ; CHECK: [[OR96:%[0-9]+]]:_(s32) = G_OR [[COPY283]], [[COPY284]]
 761     ; CHECK: [[COPY285:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 762     ; CHECK: [[SHL97:%[0-9]+]]:_(s32) = G_SHL [[COPY285]], [[C13]](s64)
 763     ; CHECK: [[COPY286:%[0-9]+]]:_(s32) = COPY [[OR96]](s32)
 764     ; CHECK: [[COPY287:%[0-9]+]]:_(s32) = COPY [[SHL97]](s32)
 765     ; CHECK: [[OR97:%[0-9]+]]:_(s32) = G_OR [[COPY286]], [[COPY287]]
 766     ; CHECK: [[TRUNC14:%[0-9]+]]:_(s8) = G_TRUNC [[OR97]](s32)
 767     ; CHECK: [[COPY288:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 768     ; CHECK: [[SHL98:%[0-9]+]]:_(s32) = G_SHL [[COPY288]], [[C1]](s64)
 769     ; CHECK: [[COPY289:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 770     ; CHECK: [[COPY290:%[0-9]+]]:_(s32) = COPY [[SHL98]](s32)
 771     ; CHECK: [[OR98:%[0-9]+]]:_(s32) = G_OR [[COPY289]], [[COPY290]]
 772     ; CHECK: [[COPY291:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 773     ; CHECK: [[SHL99:%[0-9]+]]:_(s32) = G_SHL [[COPY291]], [[C3]](s64)
 774     ; CHECK: [[COPY292:%[0-9]+]]:_(s32) = COPY [[OR98]](s32)
 775     ; CHECK: [[COPY293:%[0-9]+]]:_(s32) = COPY [[SHL99]](s32)
 776     ; CHECK: [[OR99:%[0-9]+]]:_(s32) = G_OR [[COPY292]], [[COPY293]]
 777     ; CHECK: [[COPY294:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 778     ; CHECK: [[SHL100:%[0-9]+]]:_(s32) = G_SHL [[COPY294]], [[C5]](s64)
 779     ; CHECK: [[COPY295:%[0-9]+]]:_(s32) = COPY [[OR99]](s32)
 780     ; CHECK: [[COPY296:%[0-9]+]]:_(s32) = COPY [[SHL100]](s32)
 781     ; CHECK: [[OR100:%[0-9]+]]:_(s32) = G_OR [[COPY295]], [[COPY296]]
 782     ; CHECK: [[COPY297:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 783     ; CHECK: [[SHL101:%[0-9]+]]:_(s32) = G_SHL [[COPY297]], [[C7]](s64)
 784     ; CHECK: [[COPY298:%[0-9]+]]:_(s32) = COPY [[OR100]](s32)
 785     ; CHECK: [[COPY299:%[0-9]+]]:_(s32) = COPY [[SHL101]](s32)
 786     ; CHECK: [[OR101:%[0-9]+]]:_(s32) = G_OR [[COPY298]], [[COPY299]]
 787     ; CHECK: [[COPY300:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 788     ; CHECK: [[SHL102:%[0-9]+]]:_(s32) = G_SHL [[COPY300]], [[C9]](s64)
 789     ; CHECK: [[COPY301:%[0-9]+]]:_(s32) = COPY [[OR101]](s32)
 790     ; CHECK: [[COPY302:%[0-9]+]]:_(s32) = COPY [[SHL102]](s32)
 791     ; CHECK: [[OR102:%[0-9]+]]:_(s32) = G_OR [[COPY301]], [[COPY302]]
 792     ; CHECK: [[COPY303:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 793     ; CHECK: [[SHL103:%[0-9]+]]:_(s32) = G_SHL [[COPY303]], [[C11]](s64)
 794     ; CHECK: [[COPY304:%[0-9]+]]:_(s32) = COPY [[OR102]](s32)
 795     ; CHECK: [[COPY305:%[0-9]+]]:_(s32) = COPY [[SHL103]](s32)
 796     ; CHECK: [[OR103:%[0-9]+]]:_(s32) = G_OR [[COPY304]], [[COPY305]]
 797     ; CHECK: [[COPY306:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 798     ; CHECK: [[SHL104:%[0-9]+]]:_(s32) = G_SHL [[COPY306]], [[C13]](s64)
 799     ; CHECK: [[COPY307:%[0-9]+]]:_(s32) = COPY [[OR103]](s32)
 800     ; CHECK: [[COPY308:%[0-9]+]]:_(s32) = COPY [[SHL104]](s32)
 801     ; CHECK: [[OR104:%[0-9]+]]:_(s32) = G_OR [[COPY307]], [[COPY308]]
 802     ; CHECK: [[TRUNC15:%[0-9]+]]:_(s8) = G_TRUNC [[OR104]](s32)
 803     ; CHECK: [[SHL105:%[0-9]+]]:_(s32) = G_SHL [[C15]], [[C1]](s64)
 804     ; CHECK: [[COPY309:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 805     ; CHECK: [[COPY310:%[0-9]+]]:_(s32) = COPY [[SHL105]](s32)
 806     ; CHECK: [[OR105:%[0-9]+]]:_(s32) = G_OR [[COPY309]], [[COPY310]]
 807     ; CHECK: [[COPY311:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 808     ; CHECK: [[SHL106:%[0-9]+]]:_(s32) = G_SHL [[COPY311]], [[C3]](s64)
 809     ; CHECK: [[COPY312:%[0-9]+]]:_(s32) = COPY [[OR105]](s32)
 810     ; CHECK: [[COPY313:%[0-9]+]]:_(s32) = COPY [[SHL106]](s32)
 811     ; CHECK: [[OR106:%[0-9]+]]:_(s32) = G_OR [[COPY312]], [[COPY313]]
 812     ; CHECK: [[COPY314:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 813     ; CHECK: [[SHL107:%[0-9]+]]:_(s32) = G_SHL [[COPY314]], [[C5]](s64)
 814     ; CHECK: [[COPY315:%[0-9]+]]:_(s32) = COPY [[OR106]](s32)
 815     ; CHECK: [[COPY316:%[0-9]+]]:_(s32) = COPY [[SHL107]](s32)
 816     ; CHECK: [[OR107:%[0-9]+]]:_(s32) = G_OR [[COPY315]], [[COPY316]]
 817     ; CHECK: [[COPY317:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 818     ; CHECK: [[SHL108:%[0-9]+]]:_(s32) = G_SHL [[COPY317]], [[C7]](s64)
 819     ; CHECK: [[COPY318:%[0-9]+]]:_(s32) = COPY [[OR107]](s32)
 820     ; CHECK: [[COPY319:%[0-9]+]]:_(s32) = COPY [[SHL108]](s32)
 821     ; CHECK: [[OR108:%[0-9]+]]:_(s32) = G_OR [[COPY318]], [[COPY319]]
 822     ; CHECK: [[COPY320:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 823     ; CHECK: [[SHL109:%[0-9]+]]:_(s32) = G_SHL [[COPY320]], [[C9]](s64)
 824     ; CHECK: [[COPY321:%[0-9]+]]:_(s32) = COPY [[OR108]](s32)
 825     ; CHECK: [[COPY322:%[0-9]+]]:_(s32) = COPY [[SHL109]](s32)
 826     ; CHECK: [[OR109:%[0-9]+]]:_(s32) = G_OR [[COPY321]], [[COPY322]]
 827     ; CHECK: [[COPY323:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 828     ; CHECK: [[SHL110:%[0-9]+]]:_(s32) = G_SHL [[COPY323]], [[C11]](s64)
 829     ; CHECK: [[COPY324:%[0-9]+]]:_(s32) = COPY [[OR109]](s32)
 830     ; CHECK: [[COPY325:%[0-9]+]]:_(s32) = COPY [[SHL110]](s32)
 831     ; CHECK: [[OR110:%[0-9]+]]:_(s32) = G_OR [[COPY324]], [[COPY325]]
 832     ; CHECK: [[COPY326:%[0-9]+]]:_(s32) = COPY [[C15]](s32)
 833     ; CHECK: [[SHL111:%[0-9]+]]:_(s32) = G_SHL [[COPY326]], [[C13]](s64)
 834     ; CHECK: [[COPY327:%[0-9]+]]:_(s32) = COPY [[OR110]](s32)
 835     ; CHECK: [[COPY328:%[0-9]+]]:_(s32) = COPY [[SHL111]](s32)
 836     ; CHECK: [[OR111:%[0-9]+]]:_(s32) = G_OR [[COPY327]], [[COPY328]]
 837     ; CHECK: [[TRUNC16:%[0-9]+]]:_(s8) = G_TRUNC [[OR111]](s32)
 838     ; CHECK: [[MV1:%[0-9]+]]:_(s64) = G_MERGE_VALUES [[TRUNC9]](s8), [[TRUNC10]](s8), [[TRUNC11]](s8), [[TRUNC12]](s8), [[TRUNC13]](s8), [[TRUNC14]](s8), [[TRUNC15]](s8), [[TRUNC16]](s8)
 839     ; CHECK: $x0 = COPY [[MV]](s64)
 840     ; CHECK: $x1 = COPY [[MV1]](s64)
 841     %0:_(s64) = COPY $x0
 842     %1:_(s64) = COPY $x1
 843     %2:_(s64) = COPY $x2
 844     %3:_(s128) = G_MERGE_VALUES %0:_(s64), %1:_(s64)
 845     %4:_(s65) = G_TRUNC %3(s128)
 846     %5:_(s1) = G_TRUNC %2(s64)
 847     %6:_(s65) = G_INSERT %4, %5(s1), 64
 848     %7:_(s128) = G_ANYEXT %6(s65)
 849     %8:_(s64), %9:_(s64) = G_UNMERGE_VALUES %7
 850     $x0 = COPY %8
 851     $x1 = COPY %9
 852 ...
 853 ---
 854 name:            s1_s32_legal
 855 body: |
 856   bb.0:
 857     liveins: $w0, $w1
 858     ; CHECK-LABEL: name: s1_s32_legal
 859     ; CHECK: %val1:_(s32) = COPY $w0
 860     ; CHECK: %val2:_(s32) = COPY $w1
 861     ; CHECK: %op:_(s1) = G_TRUNC %val2(s32)
 862     ; CHECK: %ins:_(s32) = G_INSERT %val1, %op(s1), 0
 863     ; CHECK: $w0 = COPY %ins(s32)
 864     ; CHECK: RET_ReallyLR implicit $w0
 865     %val1:_(s32) = COPY $w0
 866     %val2:_(s32) = COPY $w1
 867     %op:_(s1) = G_TRUNC %val2
 868     %ins:_(s32) = G_INSERT %val1, %op(s1), 0
 869     $w0 = COPY %ins
 870     RET_ReallyLR implicit $w0
 871 ...
 872 ---
 873 name:            s8_s32_legal
 874 body: |
 875   bb.0:
 876     liveins: $w0, $b0
 877     ; CHECK-LABEL: name: s8_s32_legal
 878     ; CHECK: %val:_(s32) = COPY $w0
 879     ; CHECK: %op:_(s8) = COPY $b0
 880     ; CHECK: %ins:_(s32) = G_INSERT %val, %op(s8), 0
 881     ; CHECK: $w0 = COPY %ins(s32)
 882     ; CHECK: RET_ReallyLR implicit $w0
 883     %val:_(s32) = COPY $w0
 884     %op:_(s8) = COPY $b0
 885     %ins:_(s32) = G_INSERT %val, %op(s8), 0
 886     $w0 = COPY %ins
 887     RET_ReallyLR implicit $w0
 888 ...
 889 ---
 890 name:            s16_s32_legal
 891 body: |
 892   bb.0:
 893     liveins: $w0, $h0
 894     ; CHECK-LABEL: name: s16_s32_legal
 895     ; CHECK: %val:_(s32) = COPY $w0
 896     ; CHECK: %op:_(s16) = COPY $h0
 897     ; CHECK: %ins:_(s32) = G_INSERT %val, %op(s16), 0
 898     ; CHECK: $w0 = COPY %ins(s32)
 899     ; CHECK: RET_ReallyLR implicit $w0
 900     %val:_(s32) = COPY $w0
 901     %op:_(s16) = COPY $h0
 902     %ins:_(s32) = G_INSERT %val, %op(s16), 0
 903     $w0 = COPY %ins
 904     RET_ReallyLR implicit $w0
 905 ...
 906 ---
 907 name:            s32_s64_legal
 908 body: |
 909   bb.0:
 910     liveins: $x0, $w0
 911     ; CHECK-LABEL: name: s32_s64_legal
 912     ; CHECK: %val:_(s64) = COPY $x0
 913     ; CHECK: %op:_(s32) = COPY $w0
 914     ; CHECK: %ins:_(s64) = G_INSERT %val, %op(s32), 0
 915     ; CHECK: $x0 = COPY %ins(s64)
 916     ; CHECK: RET_ReallyLR implicit $x0
 917     %val:_(s64) = COPY $x0
 918     %op:_(s32) = COPY $w0
 919     %ins:_(s64) = G_INSERT %val, %op(s32), 0
 920     $x0 = COPY %ins
 921     RET_ReallyLR implicit $x0
 922 ...
 923 ---
 924 name:            s32_p0_legal
 925 body: |
 926   bb.0:
 927     liveins: $x0, $w0
 928     ; CHECK-LABEL: name: s32_p0_legal
 929     ; CHECK: %val:_(p0) = COPY $x0
 930     ; CHECK: %op:_(s32) = COPY $w0
 931     ; CHECK: %ins:_(p0) = G_INSERT %val, %op(s32), 0
 932     ; CHECK: $x0 = COPY %ins(p0)
 933     ; CHECK: RET_ReallyLR implicit $x0
 934     %val:_(p0) = COPY $x0
 935     %op:_(s32) = COPY $w0
 936     %ins:_(p0) = G_INSERT %val, %op(s32), 0
 937     $x0 = COPY %ins
 938     RET_ReallyLR implicit $x0
 939 ...
 940 ---
 941 name:            s32_s128
 942 body: |
 943   bb.0:
 944     liveins: $q0, $w0
 945     ; CHECK-LABEL: name: s32_s128
 946     ; CHECK: %val:_(s128) = COPY $q0
 947     ; CHECK: %op:_(s32) = COPY $w0
 948     ; CHECK: [[UV:%[0-9]+]]:_(s64), [[UV1:%[0-9]+]]:_(s64) = G_UNMERGE_VALUES %val(s128)
 949     ; CHECK: [[INSERT:%[0-9]+]]:_(s64) = G_INSERT [[UV]], %op(s32), 0
 950     ; CHECK: %ins:_(s128) = G_MERGE_VALUES [[INSERT]](s64), [[UV1]](s64)
 951     ; CHECK: $q0 = COPY %ins(s128)
 952     ; CHECK: RET_ReallyLR implicit $q0
 953     %val:_(s128) = COPY $q0
 954     %op:_(s32) = COPY $w0
 955     %ins:_(s128) = G_INSERT %val, %op(s32), 0
 956     $q0 = COPY %ins
 957     RET_ReallyLR implicit $q0
 958 ...
 959 ---
 960 name:            s1_s128
 961 body: |
 962   bb.0:
 963     liveins: $q0, $w0
 964     ; CHECK-LABEL: name: s1_s128
 965     ; CHECK: %val1:_(s128) = COPY $q0
 966     ; CHECK: %val2:_(s32) = COPY $w1
 967     ; CHECK: %op:_(s1) = G_TRUNC %val2(s32)
 968     ; CHECK: [[UV:%[0-9]+]]:_(s64), [[UV1:%[0-9]+]]:_(s64) = G_UNMERGE_VALUES %val1(s128)
 969     ; CHECK: [[INSERT:%[0-9]+]]:_(s64) = G_INSERT [[UV]], %op(s1), 0
 970     ; CHECK: %ins:_(s128) = G_MERGE_VALUES [[INSERT]](s64), [[UV1]](s64)
 971     ; CHECK: $q0 = COPY %ins(s128)
 972     ; CHECK: RET_ReallyLR implicit $q0
 973     %val1:_(s128) = COPY $q0
 974     %val2:_(s32) = COPY $w1
 975     %op:_(s1) = G_TRUNC %val2
 976     %ins:_(s128) = G_INSERT %val1, %op(s1), 0
 977     $q0 = COPY %ins
 978     RET_ReallyLR implicit $q0
 979 ...
 980 ---
 981 name:            s4_s32
 982 body: |
 983   bb.0:
 984     liveins: $w0, $w1
 985     ; FIXME: Can't legalize this right now?
 986
 987     ; CHECK-LABEL: name: s4_s32
 988     ; CHECK: %val1:_(s32) = COPY $w0
 989     ; CHECK: %val2:_(s32) = COPY $w1
 990     ; CHECK: %op:_(s4) = G_TRUNC %val2(s32)
 991     ; CHECK: %ins:_(s32) = G_INSERT %val1, %op(s4), 0
 992     ; CHECK: $w0 = COPY %ins(s32)
 993     ; CHECK: RET_ReallyLR implicit $w0
 994     %val1:_(s32) = COPY $w0
 995     %val2:_(s32) = COPY $w1
 996     %op:_(s4) = G_TRUNC %val2
 997     %ins:_(s32) = G_INSERT %val1, %op(s4), 0
 998     $w0 = COPY %ins
 999     RET_ReallyLR implicit $w0