test/CodeGen/AArch64/GlobalISel/legalize-add.mir

   1 # RUN: llc -O0 -run-pass=legalizer -global-isel %s -o - | FileCheck %s
   2
   3 --- |
   4   target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
   5   target triple = "aarch64--"
   6   define void @test_scalar_add_big() {
   7   entry:
   8     ret void
   9   }
  10   define void @test_scalar_add_small() {
  11   entry:
  12     ret void
  13   }
  14   define void @test_vector_add() {
  15   entry:
  16     ret void
  17   }
  18 ...
  19
  20 ---
  21 name:            test_scalar_add_big
  22 registers:
  23   - { id: 0, class: _ }
  24   - { id: 1, class: _ }
  25   - { id: 2, class: _ }
  26   - { id: 3, class: _ }
  27   - { id: 4, class: _ }
  28   - { id: 5, class: _ }
  29   - { id: 6, class: _ }
  30   - { id: 7, class: _ }
  31   - { id: 8, class: _ }
  32 body: |
  33   bb.0.entry:
  34     liveins: %x0, %x1, %x2, %x3
  35     ; CHECK-LABEL: name: test_scalar_add_big
  36     ; CHECK-NOT: G_MERGE_VALUES
  37     ; CHECK-NOT: G_UNMERGE_VALUES
  38     ; CHECK-DAG: [[CARRY0_32:%.*]](s32) = G_CONSTANT i32 0
  39     ; CHECK-DAG: [[CARRY0:%[0-9]+]](s1) = G_TRUNC [[CARRY0_32]]
  40     ; CHECK: [[RES_LO:%.*]](s64), [[CARRY:%.*]](s1) = G_UADDE %0, %2, [[CARRY0]]
  41     ; CHECK: [[RES_HI:%.*]](s64), {{%.*}}(s1) = G_UADDE %1, %3, [[CARRY]]
  42     ; CHECK-NOT: G_MERGE_VALUES
  43     ; CHECK-NOT: G_UNMERGE_VALUES
  44     ; CHECK: %x0 = COPY [[RES_LO]]
  45     ; CHECK: %x1 = COPY [[RES_HI]]
  46
  47     %0(s64) = COPY %x0
  48     %1(s64) = COPY %x1
  49     %2(s64) = COPY %x2
  50     %3(s64) = COPY %x3
  51     %4(s128) = G_MERGE_VALUES %0, %1
  52     %5(s128) = G_MERGE_VALUES %2, %3
  53     %6(s128) = G_ADD %4, %5
  54     %7(s64), %8(s64) = G_UNMERGE_VALUES %6
  55     %x0 = COPY %7
  56     %x1 = COPY %8
  57 ...
  58
  59 ---
  60 name:            test_scalar_add_small
  61 registers:
  62   - { id: 0, class: _ }
  63   - { id: 1, class: _ }
  64   - { id: 2, class: _ }
  65   - { id: 3, class: _ }
  66   - { id: 4, class: _ }
  67   - { id: 5, class: _ }
  68 body: |
  69   bb.0.entry:
  70     liveins: %x0, %x1, %x2, %x3
  71     ; CHECK-LABEL: name: test_scalar_add_small
  72     ; CHECK: [[OP0:%.*]](s32) = G_ANYEXT %2(s8)
  73     ; CHECK: [[OP1:%.*]](s32) = G_ANYEXT %3(s8)
  74     ; CHECK: [[RES32:%.*]](s32) = G_ADD [[OP0]], [[OP1]]
  75     ; CHECK: [[RES:%.*]](s8) = G_TRUNC [[RES32]](s32)
  76
  77     %0(s64) = COPY %x0
  78     %1(s64) = COPY %x1
  79     %2(s8) = G_TRUNC %0
  80     %3(s8) = G_TRUNC %1
  81     %4(s8) = G_ADD %2, %3
  82     %5(s64) = G_ANYEXT %4
  83     %x0 = COPY %5
  84 ...
  85
  86 ---
  87 name:            test_vector_add
  88 registers:
  89   - { id: 0, class: _ }
  90   - { id: 1, class: _ }
  91   - { id: 2, class: _ }
  92   - { id: 3, class: _ }
  93   - { id: 4, class: _ }
  94   - { id: 5, class: _ }
  95   - { id: 6, class: _ }
  96   - { id: 7, class: _ }
  97   - { id: 8, class: _ }
  98 body: |
  99   bb.0.entry:
 100     liveins: %q0, %q1, %q2, %q3
 101     ; CHECK-LABEL: name: test_vector_add
 102     ; CHECK-NOT: G_EXTRACT
 103     ; CHECK-NOT: G_SEQUENCE
 104     ; CHECK: [[RES_LO:%.*]](<2 x s64>) = G_ADD %0, %2
 105     ; CHECK: [[RES_HI:%.*]](<2 x s64>) = G_ADD %1, %3
 106     ; CHECK-NOT: G_EXTRACT
 107     ; CHECK-NOT: G_SEQUENCE
 108     ; CHECK: %q0 = COPY [[RES_LO]]
 109     ; CHECK: %q1 = COPY [[RES_HI]]
 110
 111     %0(<2 x s64>) = COPY %q0
 112     %1(<2 x s64>) = COPY %q1
 113     %2(<2 x s64>) = COPY %q2
 114     %3(<2 x s64>) = COPY %q3
 115     %4(<4 x s64>) = G_MERGE_VALUES %0, %1
 116     %5(<4 x s64>) = G_MERGE_VALUES %2, %3
 117     %6(<4 x s64>) = G_ADD %4, %5
 118     %7(<2 x s64>), %8(<2 x s64>) = G_UNMERGE_VALUES %6
 119     %q0 = COPY %7
 120     %q1 = COPY %8
 121 ...