test/CodeGen/AMDGPU/GlobalISel/legalize-usubo.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple=amdgcn-mesa-mesa3d -mcpu=fiji -O0 -run-pass=legalizer %s -o - | FileCheck %s
   3
   4 ---
   5 name: test_usubo_s32
   6 body: |
   7   bb.0:
   8     liveins: $vgpr0, $vgpr1
   9
  10     ; CHECK-LABEL: name: test_usubo_s32
  11     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $vgpr0
  12     ; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY $vgpr1
  13     ; CHECK: [[USUBO:%[0-9]+]]:_(s32), [[USUBO1:%[0-9]+]]:_(s1) = G_USUBO [[COPY]], [[COPY1]]
  14     ; CHECK: [[ZEXT:%[0-9]+]]:_(s32) = G_ZEXT [[USUBO1]](s1)
  15     ; CHECK: $vgpr0 = COPY [[USUBO]](s32)
  16     ; CHECK: $vgpr1 = COPY [[ZEXT]](s32)
  17     %0:_(s32) = COPY $vgpr0
  18     %1:_(s32) = COPY $vgpr1
  19     %2:_(s32), %3:_(s1) = G_USUBO %0, %1
  20     %4:_(s32) = G_ZEXT %3
  21     $vgpr0 = COPY %2
  22     $vgpr1 = COPY %4
  23 ...
  24
  25 ---
  26 name: test_usubo_s7
  27 body: |
  28   bb.0:
  29     liveins: $vgpr0, $vgpr1
  30
  31     ; CHECK-LABEL: name: test_usubo_s7
  32     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $vgpr0
  33     ; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY $vgpr1
  34     ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 127
  35     ; CHECK: [[COPY2:%[0-9]+]]:_(s32) = COPY [[COPY]](s32)
  36     ; CHECK: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY2]], [[C]]
  37     ; CHECK: [[COPY3:%[0-9]+]]:_(s32) = COPY [[COPY1]](s32)
  38     ; CHECK: [[AND1:%[0-9]+]]:_(s32) = G_AND [[COPY3]], [[C]]
  39     ; CHECK: [[SUB:%[0-9]+]]:_(s32) = G_SUB [[AND]], [[AND1]]
  40     ; CHECK: [[AND2:%[0-9]+]]:_(s32) = G_AND [[SUB]], [[C]]
  41     ; CHECK: [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(ne), [[SUB]](s32), [[AND2]]
  42     ; CHECK: [[COPY4:%[0-9]+]]:_(s32) = COPY [[SUB]](s32)
  43     ; CHECK: [[AND3:%[0-9]+]]:_(s32) = G_AND [[COPY4]], [[C]]
  44     ; CHECK: [[ZEXT:%[0-9]+]]:_(s32) = G_ZEXT [[ICMP]](s1)
  45     ; CHECK: $vgpr0 = COPY [[AND3]](s32)
  46     ; CHECK: $vgpr1 = COPY [[ZEXT]](s32)
  47     %0:_(s32) = COPY $vgpr0
  48     %1:_(s32) = COPY $vgpr1
  49     %2:_(s7) = G_TRUNC %0
  50     %3:_(s7) = G_TRUNC %1
  51
  52     %4:_(s7), %5:_(s1) = G_USUBO %2, %3
  53     %6:_(s32) = G_ZEXT %4
  54     %7:_(s32) = G_ZEXT %5
  55     $vgpr0 = COPY %6
  56     $vgpr1 = COPY %7
  57 ...
  58
  59 ---
  60 name: test_usubo_s16
  61 body: |
  62   bb.0:
  63     liveins: $vgpr0, $vgpr1
  64
  65     ; CHECK-LABEL: name: test_usubo_s16
  66     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $vgpr0
  67     ; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY $vgpr1
  68     ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 65535
  69     ; CHECK: [[COPY2:%[0-9]+]]:_(s32) = COPY [[COPY]](s32)
  70     ; CHECK: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY2]], [[C]]
  71     ; CHECK: [[COPY3:%[0-9]+]]:_(s32) = COPY [[COPY1]](s32)
  72     ; CHECK: [[AND1:%[0-9]+]]:_(s32) = G_AND [[COPY3]], [[C]]
  73     ; CHECK: [[SUB:%[0-9]+]]:_(s32) = G_SUB [[AND]], [[AND1]]
  74     ; CHECK: [[AND2:%[0-9]+]]:_(s32) = G_AND [[SUB]], [[C]]
  75     ; CHECK: [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(ne), [[SUB]](s32), [[AND2]]
  76     ; CHECK: [[COPY4:%[0-9]+]]:_(s32) = COPY [[SUB]](s32)
  77     ; CHECK: [[AND3:%[0-9]+]]:_(s32) = G_AND [[COPY4]], [[C]]
  78     ; CHECK: [[ZEXT:%[0-9]+]]:_(s32) = G_ZEXT [[ICMP]](s1)
  79     ; CHECK: $vgpr0 = COPY [[AND3]](s32)
  80     ; CHECK: $vgpr1 = COPY [[ZEXT]](s32)
  81     %0:_(s32) = COPY $vgpr0
  82     %1:_(s32) = COPY $vgpr1
  83     %2:_(s16) = G_TRUNC %0
  84     %3:_(s16) = G_TRUNC %1
  85
  86     %4:_(s16), %5:_(s1) = G_USUBO %2, %3
  87     %6:_(s32) = G_ZEXT %4
  88     %7:_(s32) = G_ZEXT %5
  89     $vgpr0 = COPY %6
  90     $vgpr1 = COPY %7
  91 ...