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

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -O0 -run-pass=legalizer -global-isel-abort=1 %s -o - | FileCheck %s
   3
   4 --- |
   5   target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
   6   target triple = "aarch64--"
   7   define void @test_combines_2() { ret void }
   8   define void @test_combines_3() { ret void }
   9   define void @test_combines_4() { ret void }
  10   define void @test_combines_5() { ret void }
  11   define void @test_combines_6() { ret void }
  12 ...
  13
  14 ---
  15 name:            test_combines_2
  16 body: |
  17   bb.0:
  18     liveins: $w0
  19
  20     ; Here the types don't match.
  21     ; CHECK-LABEL: name: test_combines_2
  22     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
  23     ; CHECK: [[ADD:%[0-9]+]]:_(s32) = G_ADD [[COPY]], [[COPY]]
  24     ; CHECK: [[MV:%[0-9]+]]:_(s64) = G_MERGE_VALUES [[COPY]](s32), [[ADD]](s32)
  25     ; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY [[COPY]](s32)
  26     ; CHECK: $w0 = COPY [[COPY1]](s32)
  27     ; CHECK: [[COPY2:%[0-9]+]]:_(s64) = COPY [[MV]](s64)
  28     ; CHECK: $x0 = COPY [[COPY2]](s64)
  29     %0:_(s32) = COPY $w0
  30
  31     %1:_(s32) = G_ADD %0, %0
  32     %2:_(s64) = G_MERGE_VALUES %0, %1
  33     %3:_(s1) = G_EXTRACT %2, 0
  34     %5:_(s32) = G_ANYEXT %3
  35     $w0 = COPY %5
  36     %4:_(s64) = COPY %2
  37     $x0 = COPY %4
  38 ...
  39
  40 ---
  41 name:            test_combines_3
  42 body: |
  43   bb.0:
  44     liveins: $w0
  45
  46     ; CHECK-LABEL: name: test_combines_3
  47     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
  48     ; CHECK: [[ADD:%[0-9]+]]:_(s32) = G_ADD [[COPY]], [[COPY]]
  49     ; CHECK: [[ADD1:%[0-9]+]]:_(s32) = G_ADD [[COPY]], [[ADD]]
  50     ; CHECK: $w0 = COPY [[ADD1]](s32)
  51     %0:_(s32) = COPY $w0
  52
  53     %1:_(s32) = G_ADD %0, %0
  54     %2:_(s64) = G_MERGE_VALUES %0, %1
  55     %3:_(s32), %4:_(s32) = G_UNMERGE_VALUES %2
  56     %5:_(s32) = G_ADD %3, %4
  57     $w0 = COPY %5
  58 ...
  59
  60 ---
  61 name:            test_combines_4
  62 body: |
  63   bb.0:
  64     liveins: $x0
  65
  66     ; CHECK-LABEL: name: test_combines_4
  67     ; CHECK: [[COPY:%[0-9]+]]:_(s64) = COPY $x0
  68     ; CHECK: [[COPY1:%[0-9]+]]:_(s64) = COPY [[COPY]](s64)
  69     ; CHECK: [[ADD:%[0-9]+]]:_(s64) = G_ADD [[COPY1]], [[COPY1]]
  70     ; CHECK: $x0 = COPY [[ADD]](s64)
  71     %0:_(s64) = COPY $x0
  72
  73     %1:_(s128) = G_MERGE_VALUES %0, %0
  74     %2:_(s64) = G_EXTRACT %1, 0
  75     %3:_(s64) = G_ADD %2, %2
  76     $x0 = COPY %3
  77 ...
  78
  79 ---
  80 name:            test_combines_5
  81 body: |
  82   bb.0:
  83     liveins: $w0
  84
  85     ; CHECK-LABEL: name: test_combines_5
  86     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
  87     ; CHECK: [[ADD:%[0-9]+]]:_(s32) = G_ADD [[COPY]], [[COPY]]
  88     ; CHECK: [[ADD1:%[0-9]+]]:_(s32) = G_ADD [[COPY]], [[ADD]]
  89     ; CHECK: $w0 = COPY [[ADD1]](s32)
  90     %0:_(s32) = COPY $w0
  91
  92     %1:_(s32) = G_ADD %0, %0
  93     %2:_(s64) = G_MERGE_VALUES %0, %1
  94     %6:_(s64) = COPY %2
  95     %7:_(s64) = COPY %6
  96     %8:_(s64) = COPY %7
  97     %3:_(s32), %4:_(s32) = G_UNMERGE_VALUES %8
  98     %5:_(s32) = G_ADD %3, %4
  99     $w0 = COPY %5
 100 ...
 101
 102 ---
 103 name:            test_combines_6
 104 body: |
 105   bb.0:
 106     liveins: $w0
 107
 108     ; CHECK-LABEL: name: test_combines_6
 109     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
 110     ; CHECK: [[ADD:%[0-9]+]]:_(s32) = G_ADD [[COPY]], [[COPY]]
 111     ; CHECK: [[MV:%[0-9]+]]:_(s64) = G_MERGE_VALUES [[COPY]](s32), [[ADD]](s32)
 112     ; CHECK: [[COPY1:%[0-9]+]]:_(s64) = COPY [[MV]](s64)
 113     ; CHECK: [[COPY2:%[0-9]+]]:_(s64) = COPY [[COPY1]](s64)
 114     ; CHECK: [[ADD1:%[0-9]+]]:_(s32) = G_ADD [[COPY]], [[ADD]]
 115     ; CHECK: $w0 = COPY [[ADD1]](s32)
 116     ; CHECK: $x0 = COPY [[COPY2]](s64)
 117     %0:_(s32) = COPY $w0
 118
 119     %1:_(s32) = G_ADD %0, %0
 120     %2:_(s64) = G_MERGE_VALUES %0, %1
 121     %6:_(s64) = COPY %2
 122     %7:_(s64) = COPY %6
 123     %8:_(s64) = COPY %7
 124     %3:_(s32), %4:_(s32) = G_UNMERGE_VALUES %8
 125     %5:_(s32) = G_ADD %3, %4
 126     $w0 = COPY %5
 127     $x0 = COPY %7
 128 ...