llvm/test/CodeGen/Mips/GlobalISel/legalizer/ctpop.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -O0 -mtriple=mipsel-linux-gnu -run-pass=legalizer -verify-machineinstrs %s -o - | FileCheck %s -check-prefixes=MIPS32
   3 ---
   4 name:            ctpop_i32
   5 alignment:       4
   6 tracksRegLiveness: true
   7 body:             |
   8   bb.1.entry:
   9     liveins: $a0
  10
  11     ; MIPS32-LABEL: name: ctpop_i32
  12     ; MIPS32: liveins: $a0
  13     ; MIPS32: [[COPY:%[0-9]+]]:_(s32) = COPY $a0
  14     ; MIPS32: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
  15     ; MIPS32: [[LSHR:%[0-9]+]]:_(s32) = G_LSHR [[COPY]], [[C]](s32)
  16     ; MIPS32: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 1431655765
  17     ; MIPS32: [[AND:%[0-9]+]]:_(s32) = G_AND [[LSHR]], [[C1]]
  18     ; MIPS32: [[SUB:%[0-9]+]]:_(s32) = G_SUB [[COPY]], [[AND]]
  19     ; MIPS32: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 2
  20     ; MIPS32: [[LSHR1:%[0-9]+]]:_(s32) = G_LSHR [[SUB]], [[C2]](s32)
  21     ; MIPS32: [[C3:%[0-9]+]]:_(s32) = G_CONSTANT i32 858993459
  22     ; MIPS32: [[AND1:%[0-9]+]]:_(s32) = G_AND [[LSHR1]], [[C3]]
  23     ; MIPS32: [[AND2:%[0-9]+]]:_(s32) = G_AND [[SUB]], [[C3]]
  24     ; MIPS32: [[ADD:%[0-9]+]]:_(s32) = G_ADD [[AND1]], [[AND2]]
  25     ; MIPS32: [[C4:%[0-9]+]]:_(s32) = G_CONSTANT i32 4
  26     ; MIPS32: [[LSHR2:%[0-9]+]]:_(s32) = G_LSHR [[ADD]], [[C4]](s32)
  27     ; MIPS32: [[ADD1:%[0-9]+]]:_(s32) = G_ADD [[LSHR2]], [[ADD]]
  28     ; MIPS32: [[C5:%[0-9]+]]:_(s32) = G_CONSTANT i32 252645135
  29     ; MIPS32: [[AND3:%[0-9]+]]:_(s32) = G_AND [[ADD1]], [[C5]]
  30     ; MIPS32: [[C6:%[0-9]+]]:_(s32) = G_CONSTANT i32 16843009
  31     ; MIPS32: [[MUL:%[0-9]+]]:_(s32) = G_MUL [[AND3]], [[C6]]
  32     ; MIPS32: [[C7:%[0-9]+]]:_(s32) = G_CONSTANT i32 24
  33     ; MIPS32: [[LSHR3:%[0-9]+]]:_(s32) = G_LSHR [[MUL]], [[C7]](s32)
  34     ; MIPS32: $v0 = COPY [[LSHR3]](s32)
  35     ; MIPS32: RetRA implicit $v0
  36     %0:_(s32) = COPY $a0
  37     %1:_(s32) = G_CTPOP %0(s32)
  38     $v0 = COPY %1(s32)
  39     RetRA implicit $v0
  40
  41 ...
  42 ---
  43 name:            ctpop_i64
  44 alignment:       4
  45 tracksRegLiveness: true
  46 body:             |
  47   bb.1.entry:
  48     liveins: $a0, $a1
  49
  50     ; MIPS32-LABEL: name: ctpop_i64
  51     ; MIPS32: liveins: $a0, $a1
  52     ; MIPS32: [[COPY:%[0-9]+]]:_(s32) = COPY $a0
  53     ; MIPS32: [[COPY1:%[0-9]+]]:_(s32) = COPY $a1
  54     ; MIPS32: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
  55     ; MIPS32: [[LSHR:%[0-9]+]]:_(s32) = G_LSHR [[COPY]], [[C]](s32)
  56     ; MIPS32: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 1431655765
  57     ; MIPS32: [[AND:%[0-9]+]]:_(s32) = G_AND [[LSHR]], [[C1]]
  58     ; MIPS32: [[SUB:%[0-9]+]]:_(s32) = G_SUB [[COPY]], [[AND]]
  59     ; MIPS32: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 2
  60     ; MIPS32: [[LSHR1:%[0-9]+]]:_(s32) = G_LSHR [[SUB]], [[C2]](s32)
  61     ; MIPS32: [[C3:%[0-9]+]]:_(s32) = G_CONSTANT i32 858993459
  62     ; MIPS32: [[AND1:%[0-9]+]]:_(s32) = G_AND [[LSHR1]], [[C3]]
  63     ; MIPS32: [[AND2:%[0-9]+]]:_(s32) = G_AND [[SUB]], [[C3]]
  64     ; MIPS32: [[ADD:%[0-9]+]]:_(s32) = G_ADD [[AND1]], [[AND2]]
  65     ; MIPS32: [[C4:%[0-9]+]]:_(s32) = G_CONSTANT i32 4
  66     ; MIPS32: [[LSHR2:%[0-9]+]]:_(s32) = G_LSHR [[ADD]], [[C4]](s32)
  67     ; MIPS32: [[ADD1:%[0-9]+]]:_(s32) = G_ADD [[LSHR2]], [[ADD]]
  68     ; MIPS32: [[C5:%[0-9]+]]:_(s32) = G_CONSTANT i32 252645135
  69     ; MIPS32: [[AND3:%[0-9]+]]:_(s32) = G_AND [[ADD1]], [[C5]]
  70     ; MIPS32: [[C6:%[0-9]+]]:_(s32) = G_CONSTANT i32 16843009
  71     ; MIPS32: [[MUL:%[0-9]+]]:_(s32) = G_MUL [[AND3]], [[C6]]
  72     ; MIPS32: [[C7:%[0-9]+]]:_(s32) = G_CONSTANT i32 24
  73     ; MIPS32: [[LSHR3:%[0-9]+]]:_(s32) = G_LSHR [[MUL]], [[C7]](s32)
  74     ; MIPS32: [[LSHR4:%[0-9]+]]:_(s32) = G_LSHR [[COPY1]], [[C]](s32)
  75     ; MIPS32: [[AND4:%[0-9]+]]:_(s32) = G_AND [[LSHR4]], [[C1]]
  76     ; MIPS32: [[SUB1:%[0-9]+]]:_(s32) = G_SUB [[COPY1]], [[AND4]]
  77     ; MIPS32: [[LSHR5:%[0-9]+]]:_(s32) = G_LSHR [[SUB1]], [[C2]](s32)
  78     ; MIPS32: [[AND5:%[0-9]+]]:_(s32) = G_AND [[LSHR5]], [[C3]]
  79     ; MIPS32: [[AND6:%[0-9]+]]:_(s32) = G_AND [[SUB1]], [[C3]]
  80     ; MIPS32: [[ADD2:%[0-9]+]]:_(s32) = G_ADD [[AND5]], [[AND6]]
  81     ; MIPS32: [[LSHR6:%[0-9]+]]:_(s32) = G_LSHR [[ADD2]], [[C4]](s32)
  82     ; MIPS32: [[ADD3:%[0-9]+]]:_(s32) = G_ADD [[LSHR6]], [[ADD2]]
  83     ; MIPS32: [[AND7:%[0-9]+]]:_(s32) = G_AND [[ADD3]], [[C5]]
  84     ; MIPS32: [[MUL1:%[0-9]+]]:_(s32) = G_MUL [[AND7]], [[C6]]
  85     ; MIPS32: [[LSHR7:%[0-9]+]]:_(s32) = G_LSHR [[MUL1]], [[C7]](s32)
  86     ; MIPS32: [[ADD4:%[0-9]+]]:_(s32) = G_ADD [[LSHR7]], [[LSHR3]]
  87     ; MIPS32: [[C8:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
  88     ; MIPS32: $v0 = COPY [[ADD4]](s32)
  89     ; MIPS32: $v1 = COPY [[C8]](s32)
  90     ; MIPS32: RetRA implicit $v0, implicit $v1
  91     %1:_(s32) = COPY $a0
  92     %2:_(s32) = COPY $a1
  93     %0:_(s64) = G_MERGE_VALUES %1(s32), %2(s32)
  94     %3:_(s64) = G_CTPOP %0(s64)
  95     %4:_(s32), %5:_(s32) = G_UNMERGE_VALUES %3(s64)
  96     $v0 = COPY %4(s32)
  97     $v1 = COPY %5(s32)
  98     RetRA implicit $v0, implicit $v1
  99
 100 ...