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

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple=aarch64 -run-pass=legalizer -verify-machineinstrs -global-isel-abort=0 %s -o - | FileCheck %s
   3
   4 ...
   5 ---
   6 name:            s32
   7 tracksRegLiveness: true
   8 body:             |
   9   bb.0:
  10     liveins: $w0, $w1
  11     ; CHECK-LABEL: name: s32
  12     ; CHECK: liveins: $w0, $w1
  13     ; CHECK: %x:_(s32) = COPY $w0
  14     ; CHECK: %y:_(s32) = COPY $w1
  15     ; CHECK: [[SSUBO:%[0-9]+]]:_(s32), [[SSUBO1:%[0-9]+]]:_(s1) = G_SSUBO %x, %y
  16     ; CHECK: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 31
  17     ; CHECK: [[ASHR:%[0-9]+]]:_(s32) = G_ASHR [[SSUBO]], [[C]](s64)
  18     ; CHECK: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 -2147483648
  19     ; CHECK: [[ADD:%[0-9]+]]:_(s32) = G_ADD [[ASHR]], [[C1]]
  20     ; CHECK: %ssubsat:_(s32) = G_SELECT [[SSUBO1]](s1), [[ADD]], [[SSUBO]]
  21     ; CHECK: $w0 = COPY %ssubsat(s32)
  22     ; CHECK: RET_ReallyLR implicit $w0
  23     %x:_(s32) = COPY $w0
  24     %y:_(s32) = COPY $w1
  25     %ssubsat:_(s32) = G_SSUBSAT %x, %y
  26     $w0 = COPY %ssubsat(s32)
  27     RET_ReallyLR implicit $w0
  28
  29 ...
  30 ---
  31 name:            s64
  32 tracksRegLiveness: true
  33 body:             |
  34   bb.0:
  35     liveins: $x0, $x1
  36     ; CHECK-LABEL: name: s64
  37     ; CHECK: liveins: $x0, $x1
  38     ; CHECK: %x:_(s64) = COPY $x0
  39     ; CHECK: %y:_(s64) = COPY $x1
  40     ; CHECK: [[SSUBO:%[0-9]+]]:_(s64), [[SSUBO1:%[0-9]+]]:_(s1) = G_SSUBO %x, %y
  41     ; CHECK: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 63
  42     ; CHECK: [[ASHR:%[0-9]+]]:_(s64) = G_ASHR [[SSUBO]], [[C]](s64)
  43     ; CHECK: [[C1:%[0-9]+]]:_(s64) = G_CONSTANT i64 -9223372036854775808
  44     ; CHECK: [[ADD:%[0-9]+]]:_(s64) = G_ADD [[ASHR]], [[C1]]
  45     ; CHECK: %ssubsat:_(s64) = G_SELECT [[SSUBO1]](s1), [[ADD]], [[SSUBO]]
  46     ; CHECK: $x0 = COPY %ssubsat(s64)
  47     ; CHECK: RET_ReallyLR implicit $x0
  48     %x:_(s64) = COPY $x0
  49     %y:_(s64) = COPY $x1
  50     %ssubsat:_(s64) = G_SSUBSAT %x, %y
  51     $x0 = COPY %ssubsat(s64)
  52     RET_ReallyLR implicit $x0
  53
  54 ...
  55 ---
  56 name:            s16
  57 tracksRegLiveness: true
  58 body:             |
  59   bb.0:
  60     liveins: $w0, $w1, $w2
  61
  62     ; CHECK-LABEL: name: s16
  63     ; CHECK: liveins: $w0, $w1, $w2
  64     ; CHECK: %copy_1:_(s32) = COPY $w0
  65     ; CHECK: %copy_2:_(s32) = COPY $w1
  66     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY %copy_1(s32)
  67     ; CHECK: [[SEXT_INREG:%[0-9]+]]:_(s32) = G_SEXT_INREG [[COPY]], 16
  68     ; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY %copy_2(s32)
  69     ; CHECK: [[SEXT_INREG1:%[0-9]+]]:_(s32) = G_SEXT_INREG [[COPY1]], 16
  70     ; CHECK: [[SUB:%[0-9]+]]:_(s32) = G_SUB [[SEXT_INREG]], [[SEXT_INREG1]]
  71     ; CHECK: [[COPY2:%[0-9]+]]:_(s32) = COPY [[SUB]](s32)
  72     ; CHECK: [[SEXT_INREG2:%[0-9]+]]:_(s32) = G_SEXT_INREG [[COPY2]], 16
  73     ; CHECK: [[ICMP:%[0-9]+]]:_(s32) = G_ICMP intpred(ne), [[SUB]](s32), [[SEXT_INREG2]]
  74     ; CHECK: [[TRUNC:%[0-9]+]]:_(s1) = G_TRUNC [[ICMP]](s32)
  75     ; CHECK: [[C:%[0-9]+]]:_(s16) = G_CONSTANT i16 15
  76     ; CHECK: [[COPY3:%[0-9]+]]:_(s32) = COPY [[SUB]](s32)
  77     ; CHECK: [[SEXT_INREG3:%[0-9]+]]:_(s32) = G_SEXT_INREG [[COPY3]], 16
  78     ; CHECK: [[C1:%[0-9]+]]:_(s64) = G_CONSTANT i64 15
  79     ; CHECK: [[ASHR:%[0-9]+]]:_(s32) = G_ASHR [[SEXT_INREG3]], [[C1]](s64)
  80     ; CHECK: [[COPY4:%[0-9]+]]:_(s32) = COPY [[ASHR]](s32)
  81     ; CHECK: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 -32768
  82     ; CHECK: [[ADD:%[0-9]+]]:_(s32) = G_ADD [[COPY4]], [[C2]]
  83     ; CHECK: [[COPY5:%[0-9]+]]:_(s32) = COPY [[ADD]](s32)
  84     ; CHECK: [[COPY6:%[0-9]+]]:_(s32) = COPY [[SUB]](s32)
  85     ; CHECK: [[SELECT:%[0-9]+]]:_(s32) = G_SELECT [[TRUNC]](s1), [[COPY5]], [[COPY6]]
  86     ; CHECK: %ext:_(s32) = COPY [[SELECT]](s32)
  87     ; CHECK: $w0 = COPY %ext(s32)
  88     ; CHECK: RET_ReallyLR implicit $w0
  89     %copy_1:_(s32) = COPY $w0
  90     %x:_(s16) = G_TRUNC %copy_1(s32)
  91     %copy_2:_(s32) = COPY $w1
  92     %y:_(s16) = G_TRUNC %copy_2(s32)
  93     %ssubsat:_(s16) = G_SSUBSAT %x, %y
  94     %ext:_(s32) = G_ANYEXT %ssubsat(s16)
  95     $w0 = COPY %ext(s32)
  96     RET_ReallyLR implicit $w0
  97
  98 ...
  99 ---
 100 name:            s1
 101 tracksRegLiveness: true
 102 body:             |
 103   bb.0:
 104     liveins: $w0, $w1, $w2
 105
 106     ; CHECK-LABEL: name: s1
 107     ; CHECK: liveins: $w0, $w1, $w2
 108     ; CHECK: %copy_1:_(s32) = COPY $w0
 109     ; CHECK: %copy_2:_(s32) = COPY $w1
 110     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY %copy_1(s32)
 111     ; CHECK: [[SEXT_INREG:%[0-9]+]]:_(s32) = G_SEXT_INREG [[COPY]], 1
 112     ; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY %copy_2(s32)
 113     ; CHECK: [[SEXT_INREG1:%[0-9]+]]:_(s32) = G_SEXT_INREG [[COPY1]], 1
 114     ; CHECK: [[SUB:%[0-9]+]]:_(s32) = G_SUB [[SEXT_INREG]], [[SEXT_INREG1]]
 115     ; CHECK: [[COPY2:%[0-9]+]]:_(s32) = COPY [[SUB]](s32)
 116     ; CHECK: [[SEXT_INREG2:%[0-9]+]]:_(s32) = G_SEXT_INREG [[COPY2]], 1
 117     ; CHECK: [[ICMP:%[0-9]+]]:_(s32) = G_ICMP intpred(ne), [[SUB]](s32), [[SEXT_INREG2]]
 118     ; CHECK: [[TRUNC:%[0-9]+]]:_(s1) = G_TRUNC [[ICMP]](s32)
 119     ; CHECK: [[C:%[0-9]+]]:_(s8) = G_CONSTANT i8 0
 120     ; CHECK: [[COPY3:%[0-9]+]]:_(s32) = COPY [[SUB]](s32)
 121     ; CHECK: [[SEXT_INREG3:%[0-9]+]]:_(s32) = G_SEXT_INREG [[COPY3]], 1
 122     ; CHECK: [[C1:%[0-9]+]]:_(s64) = G_CONSTANT i64 0
 123     ; CHECK: [[ASHR:%[0-9]+]]:_(s32) = G_ASHR [[SEXT_INREG3]], [[C1]](s64)
 124     ; CHECK: [[COPY4:%[0-9]+]]:_(s32) = COPY [[ASHR]](s32)
 125     ; CHECK: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
 126     ; CHECK: [[ADD:%[0-9]+]]:_(s32) = G_ADD [[COPY4]], [[C2]]
 127     ; CHECK: [[COPY5:%[0-9]+]]:_(s32) = COPY [[ADD]](s32)
 128     ; CHECK: [[COPY6:%[0-9]+]]:_(s32) = COPY [[SUB]](s32)
 129     ; CHECK: [[SELECT:%[0-9]+]]:_(s32) = G_SELECT [[TRUNC]](s1), [[COPY5]], [[COPY6]]
 130     ; CHECK: %ext:_(s32) = COPY [[SELECT]](s32)
 131     ; CHECK: $w0 = COPY %ext(s32)
 132     ; CHECK: RET_ReallyLR implicit $w0
 133     %copy_1:_(s32) = COPY $w0
 134     %x:_(s1) = G_TRUNC %copy_1(s32)
 135     %copy_2:_(s32) = COPY $w1
 136     %y:_(s1) = G_TRUNC %copy_2(s32)
 137     %ssubsat:_(s1) = G_SSUBSAT %x, %y
 138     %ext:_(s32) = G_ANYEXT %ssubsat(s1)
 139     $w0 = COPY %ext(s32)
 140     RET_ReallyLR implicit $w0
 141
 142 ...
 143 ---
 144 name:            s3
 145 tracksRegLiveness: true
 146 body:             |
 147   bb.0:
 148     liveins: $w0, $w1, $w2
 149
 150     ; CHECK-LABEL: name: s3
 151     ; CHECK: liveins: $w0, $w1, $w2
 152     ; CHECK: %copy_1:_(s32) = COPY $w0
 153     ; CHECK: %copy_2:_(s32) = COPY $w1
 154     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY %copy_1(s32)
 155     ; CHECK: [[SEXT_INREG:%[0-9]+]]:_(s32) = G_SEXT_INREG [[COPY]], 3
 156     ; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY %copy_2(s32)
 157     ; CHECK: [[SEXT_INREG1:%[0-9]+]]:_(s32) = G_SEXT_INREG [[COPY1]], 3
 158     ; CHECK: [[SUB:%[0-9]+]]:_(s32) = G_SUB [[SEXT_INREG]], [[SEXT_INREG1]]
 159     ; CHECK: [[COPY2:%[0-9]+]]:_(s32) = COPY [[SUB]](s32)
 160     ; CHECK: [[SEXT_INREG2:%[0-9]+]]:_(s32) = G_SEXT_INREG [[COPY2]], 3
 161     ; CHECK: [[ICMP:%[0-9]+]]:_(s32) = G_ICMP intpred(ne), [[SUB]](s32), [[SEXT_INREG2]]
 162     ; CHECK: [[TRUNC:%[0-9]+]]:_(s1) = G_TRUNC [[ICMP]](s32)
 163     ; CHECK: [[C:%[0-9]+]]:_(s8) = G_CONSTANT i8 2
 164     ; CHECK: [[COPY3:%[0-9]+]]:_(s32) = COPY [[SUB]](s32)
 165     ; CHECK: [[SEXT_INREG3:%[0-9]+]]:_(s32) = G_SEXT_INREG [[COPY3]], 3
 166     ; CHECK: [[C1:%[0-9]+]]:_(s64) = G_CONSTANT i64 2
 167     ; CHECK: [[ASHR:%[0-9]+]]:_(s32) = G_ASHR [[SEXT_INREG3]], [[C1]](s64)
 168     ; CHECK: [[COPY4:%[0-9]+]]:_(s32) = COPY [[ASHR]](s32)
 169     ; CHECK: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 4
 170     ; CHECK: [[ADD:%[0-9]+]]:_(s32) = G_ADD [[COPY4]], [[C2]]
 171     ; CHECK: [[COPY5:%[0-9]+]]:_(s32) = COPY [[ADD]](s32)
 172     ; CHECK: [[COPY6:%[0-9]+]]:_(s32) = COPY [[SUB]](s32)
 173     ; CHECK: [[SELECT:%[0-9]+]]:_(s32) = G_SELECT [[TRUNC]](s1), [[COPY5]], [[COPY6]]
 174     ; CHECK: %ext:_(s32) = COPY [[SELECT]](s32)
 175     ; CHECK: $w0 = COPY %ext(s32)
 176     ; CHECK: RET_ReallyLR implicit $w0
 177     %copy_1:_(s32) = COPY $w0
 178     %x:_(s3) = G_TRUNC %copy_1(s32)
 179     %copy_2:_(s32) = COPY $w1
 180     %y:_(s3) = G_TRUNC %copy_2(s32)
 181     %ssubsat:_(s3) = G_SSUBSAT %x, %y
 182     %ext:_(s32) = G_ANYEXT %ssubsat(s3)
 183     $w0 = COPY %ext(s32)
 184     RET_ReallyLR implicit $w0
 185
 186 ...
 187 ---
 188 name:            s36
 189 tracksRegLiveness: true
 190 body:             |
 191   bb.0:
 192     liveins: $x0, $x1
 193
 194     ; CHECK-LABEL: name: s36
 195     ; CHECK: liveins: $x0, $x1
 196     ; CHECK: %copy_1:_(s64) = COPY $x0
 197     ; CHECK: %copy_2:_(s64) = COPY $x1
 198     ; CHECK: [[COPY:%[0-9]+]]:_(s64) = COPY %copy_1(s64)
 199     ; CHECK: [[SEXT_INREG:%[0-9]+]]:_(s64) = G_SEXT_INREG [[COPY]], 36
 200     ; CHECK: [[COPY1:%[0-9]+]]:_(s64) = COPY %copy_2(s64)
 201     ; CHECK: [[SEXT_INREG1:%[0-9]+]]:_(s64) = G_SEXT_INREG [[COPY1]], 36
 202     ; CHECK: [[SUB:%[0-9]+]]:_(s64) = G_SUB [[SEXT_INREG]], [[SEXT_INREG1]]
 203     ; CHECK: [[COPY2:%[0-9]+]]:_(s64) = COPY [[SUB]](s64)
 204     ; CHECK: [[SEXT_INREG2:%[0-9]+]]:_(s64) = G_SEXT_INREG [[COPY2]], 36
 205     ; CHECK: [[ICMP:%[0-9]+]]:_(s32) = G_ICMP intpred(ne), [[SUB]](s64), [[SEXT_INREG2]]
 206     ; CHECK: [[TRUNC:%[0-9]+]]:_(s1) = G_TRUNC [[ICMP]](s32)
 207     ; CHECK: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 35
 208     ; CHECK: [[COPY3:%[0-9]+]]:_(s64) = COPY [[SUB]](s64)
 209     ; CHECK: [[SEXT_INREG3:%[0-9]+]]:_(s64) = G_SEXT_INREG [[COPY3]], 36
 210     ; CHECK: [[C1:%[0-9]+]]:_(s64) = G_CONSTANT i64 68719476735
 211     ; CHECK: [[COPY4:%[0-9]+]]:_(s64) = COPY [[C]](s64)
 212     ; CHECK: [[AND:%[0-9]+]]:_(s64) = G_AND [[COPY4]], [[C1]]
 213     ; CHECK: [[ASHR:%[0-9]+]]:_(s64) = G_ASHR [[SEXT_INREG3]], [[AND]](s64)
 214     ; CHECK: [[C2:%[0-9]+]]:_(s64) = G_CONSTANT i64 34359738368
 215     ; CHECK: [[COPY5:%[0-9]+]]:_(s64) = COPY [[ASHR]](s64)
 216     ; CHECK: [[COPY6:%[0-9]+]]:_(s64) = COPY [[C2]](s64)
 217     ; CHECK: [[ADD:%[0-9]+]]:_(s64) = G_ADD [[COPY5]], [[COPY6]]
 218     ; CHECK: [[COPY7:%[0-9]+]]:_(s64) = COPY [[ADD]](s64)
 219     ; CHECK: [[COPY8:%[0-9]+]]:_(s64) = COPY [[SUB]](s64)
 220     ; CHECK: [[SELECT:%[0-9]+]]:_(s64) = G_SELECT [[TRUNC]](s1), [[COPY7]], [[COPY8]]
 221     ; CHECK: %ext:_(s64) = COPY [[SELECT]](s64)
 222     ; CHECK: $x0 = COPY %ext(s64)
 223     ; CHECK: RET_ReallyLR implicit $x0
 224     %copy_1:_(s64) = COPY $x0
 225     %x:_(s36) = G_TRUNC %copy_1(s64)
 226     %copy_2:_(s64) = COPY $x1
 227     %y:_(s36) = G_TRUNC %copy_2(s64)
 228     %ssubsat:_(s36) = G_SSUBSAT %x, %y
 229     %ext:_(s64) = G_ANYEXT %ssubsat(s36)
 230     $x0 = COPY %ext(s64)
 231     RET_ReallyLR implicit $x0
 232
 233 ...
 234 ---
 235 name:            s88
 236 tracksRegLiveness: true
 237 body:             |
 238   bb.0:
 239     liveins: $q0, $q1, $x0
 240     ; CHECK-LABEL: name: s88
 241     ; CHECK: liveins: $q0, $q1, $x0
 242     ; CHECK: %copy_1:_(s128) = COPY $q0
 243     ; CHECK: %copy_2:_(s128) = COPY $q1
 244     ; CHECK: [[COPY:%[0-9]+]]:_(s128) = COPY %copy_1(s128)
 245     ; CHECK: [[EXTRACT:%[0-9]+]]:_(s64) = G_EXTRACT [[COPY]](s128), 0
 246     ; CHECK: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 64
 247     ; CHECK: [[C1:%[0-9]+]]:_(s64) = G_CONSTANT i64 0
 248     ; CHECK: [[UV:%[0-9]+]]:_(s64), [[UV1:%[0-9]+]]:_(s64) = G_UNMERGE_VALUES [[COPY]](s128)
 249     ; CHECK: [[COPY1:%[0-9]+]]:_(s128) = COPY %copy_2(s128)
 250     ; CHECK: [[EXTRACT1:%[0-9]+]]:_(s64) = G_EXTRACT [[COPY1]](s128), 0
 251     ; CHECK: [[UV2:%[0-9]+]]:_(s64), [[UV3:%[0-9]+]]:_(s64) = G_UNMERGE_VALUES [[COPY1]](s128)
 252     ; CHECK: [[USUBO:%[0-9]+]]:_(s64), [[USUBO1:%[0-9]+]]:_(s1) = G_USUBO [[EXTRACT]], [[EXTRACT1]]
 253     ; CHECK: [[TRUNC:%[0-9]+]]:_(s32) = G_TRUNC [[UV1]](s64)
 254     ; CHECK: [[SEXT_INREG:%[0-9]+]]:_(s32) = G_SEXT_INREG [[TRUNC]], 24
 255     ; CHECK: [[TRUNC1:%[0-9]+]]:_(s32) = G_TRUNC [[UV3]](s64)
 256     ; CHECK: [[SEXT_INREG1:%[0-9]+]]:_(s32) = G_SEXT_INREG [[TRUNC1]], 24
 257     ; CHECK: [[USUBE:%[0-9]+]]:_(s32), [[USUBE1:%[0-9]+]]:_(s1) = G_USUBE [[SEXT_INREG]], [[SEXT_INREG1]], [[USUBO1]]
 258     ; CHECK: [[COPY2:%[0-9]+]]:_(s32) = COPY [[USUBE]](s32)
 259     ; CHECK: [[SEXT_INREG2:%[0-9]+]]:_(s32) = G_SEXT_INREG [[COPY2]], 24
 260     ; CHECK: [[ICMP:%[0-9]+]]:_(s32) = G_ICMP intpred(ne), [[USUBE]](s32), [[SEXT_INREG2]]
 261     ; CHECK: [[TRUNC2:%[0-9]+]]:_(s1) = G_TRUNC [[ICMP]](s32)
 262     ; CHECK: [[UV4:%[0-9]+]]:_(s8), [[UV5:%[0-9]+]]:_(s8), [[UV6:%[0-9]+]]:_(s8), [[UV7:%[0-9]+]]:_(s8), [[UV8:%[0-9]+]]:_(s8), [[UV9:%[0-9]+]]:_(s8), [[UV10:%[0-9]+]]:_(s8), [[UV11:%[0-9]+]]:_(s8) = G_UNMERGE_VALUES [[USUBO]](s64)
 263     ; CHECK: [[UV12:%[0-9]+]]:_(s8), [[UV13:%[0-9]+]]:_(s8), [[UV14:%[0-9]+]]:_(s8), [[UV15:%[0-9]+]]:_(s8) = G_UNMERGE_VALUES [[USUBE]](s32)
 264     ; CHECK: [[DEF:%[0-9]+]]:_(s8) = G_IMPLICIT_DEF
 265     ; CHECK: [[DEF1:%[0-9]+]]:_(s32) = G_IMPLICIT_DEF
 266     ; CHECK: [[UV16:%[0-9]+]]:_(s8), [[UV17:%[0-9]+]]:_(s8), [[UV18:%[0-9]+]]:_(s8), [[UV19:%[0-9]+]]:_(s8) = G_UNMERGE_VALUES [[DEF1]](s32)
 267     ; CHECK: [[UV20:%[0-9]+]]:_(s8), [[UV21:%[0-9]+]]:_(s8), [[UV22:%[0-9]+]]:_(s8), [[UV23:%[0-9]+]]:_(s8) = G_UNMERGE_VALUES [[DEF1]](s32)
 268     ; CHECK: [[MV:%[0-9]+]]:_(s32) = G_MERGE_VALUES [[UV4]](s8), [[UV5]](s8), [[UV6]](s8), [[UV7]](s8)
 269     ; CHECK: [[MV1:%[0-9]+]]:_(s32) = G_MERGE_VALUES [[UV8]](s8), [[UV9]](s8), [[UV10]](s8), [[UV11]](s8)
 270     ; CHECK: [[MV2:%[0-9]+]]:_(s32) = G_MERGE_VALUES [[UV12]](s8), [[UV13]](s8), [[UV14]](s8), [[DEF]](s8)
 271     ; CHECK: [[MV3:%[0-9]+]]:_(s32) = G_MERGE_VALUES [[UV16]](s8), [[UV17]](s8), [[UV18]](s8), [[UV20]](s8)
 272     ; CHECK: [[C2:%[0-9]+]]:_(s64) = G_CONSTANT i64 87
 273     ; CHECK: [[C3:%[0-9]+]]:_(s64) = G_CONSTANT i64 40
 274     ; CHECK: [[MV4:%[0-9]+]]:_(s64) = G_MERGE_VALUES [[MV]](s32), [[MV1]](s32)
 275     ; CHECK: [[MV5:%[0-9]+]]:_(s64) = G_MERGE_VALUES [[MV2]](s32), [[MV3]](s32)
 276     ; CHECK: [[SHL:%[0-9]+]]:_(s64) = G_SHL [[MV4]], [[C3]](s64)
 277     ; CHECK: [[SHL1:%[0-9]+]]:_(s64) = G_SHL [[MV5]], [[C3]](s64)
 278     ; CHECK: [[C4:%[0-9]+]]:_(s64) = G_CONSTANT i64 24
 279     ; CHECK: [[LSHR:%[0-9]+]]:_(s64) = G_LSHR [[MV4]], [[C4]](s64)
 280     ; CHECK: [[OR:%[0-9]+]]:_(s64) = G_OR [[SHL1]], [[LSHR]]
 281     ; CHECK: [[LSHR1:%[0-9]+]]:_(s64) = G_LSHR [[SHL]], [[C3]](s64)
 282     ; CHECK: [[SHL2:%[0-9]+]]:_(s64) = G_SHL [[OR]], [[C4]](s64)
 283     ; CHECK: [[OR1:%[0-9]+]]:_(s64) = G_OR [[LSHR1]], [[SHL2]]
 284     ; CHECK: [[ASHR:%[0-9]+]]:_(s64) = G_ASHR [[OR]], [[C3]](s64)
 285     ; CHECK: [[C5:%[0-9]+]]:_(s64) = G_CONSTANT i64 23
 286     ; CHECK: [[ASHR1:%[0-9]+]]:_(s64) = G_ASHR [[ASHR]], [[C5]](s64)
 287     ; CHECK: [[C6:%[0-9]+]]:_(s64) = G_CONSTANT i64 63
 288     ; CHECK: [[C7:%[0-9]+]]:_(s64) = G_CONSTANT i64 -8388608
 289     ; CHECK: [[UADDO:%[0-9]+]]:_(s64), [[UADDO1:%[0-9]+]]:_(s1) = G_UADDO [[ASHR1]], [[C1]]
 290     ; CHECK: [[MV6:%[0-9]+]]:_(s64) = G_MERGE_VALUES [[MV]](s32), [[MV1]](s32)
 291     ; CHECK: [[SELECT:%[0-9]+]]:_(s64) = G_SELECT [[TRUNC2]](s1), [[UADDO]], [[MV6]]
 292     ; CHECK: $x0 = COPY [[SELECT]](s64)
 293     ; CHECK: RET_ReallyLR implicit $x0
 294     %copy_1:_(s128) = COPY $q0
 295     %x:_(s88) = G_TRUNC %copy_1(s128)
 296     %copy_2:_(s128) = COPY $q1
 297     %y:_(s88) = G_TRUNC %copy_2(s128)
 298     %ssubsat:_(s88) = G_SSUBSAT %x, %y
 299     %trunc:_(s64) = G_TRUNC %ssubsat(s88)
 300     $x0 = COPY %trunc(s64)
 301     RET_ReallyLR implicit $x0