llvm/test/CodeGen/AArch64/GlobalISel/prelegalizercombiner-binop-same-val.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple aarch64 -run-pass=aarch64-prelegalizer-combiner -verify-machineinstrs %s -o - | FileCheck %s
   3
   4 name:            or_same
   5 tracksRegLiveness: true
   6 body:             |
   7   bb.0:
   8     liveins: $x0
   9
  10     ; Fold: x or x -> x
  11     ; CHECK-LABEL: name: or_same
  12     ; CHECK: liveins: $x0
  13     ; CHECK: %copy:_(s64) = COPY $x0
  14     ; CHECK: $x0 = COPY %copy(s64)
  15     ; CHECK: RET_ReallyLR implicit $x0
  16     %copy:_(s64) = COPY $x0
  17     %or:_(s64) = G_OR %copy, %copy
  18     $x0 = COPY %or(s64)
  19     RET_ReallyLR implicit $x0
  20
  21 ...
  22 ---
  23 name:            and_same
  24 tracksRegLiveness: true
  25 body:             |
  26   bb.0:
  27     liveins: $x0
  28
  29     ; Fold: x and x -> x
  30
  31     ; CHECK-LABEL: name: and_same
  32     ; CHECK: liveins: $x0
  33     ; CHECK-NEXT: {{  $}}
  34     ; CHECK-NEXT: %copy:_(s64) = COPY $x0
  35     ; CHECK-NEXT: $x0 = COPY %copy(s64)
  36     ; CHECK-NEXT: RET_ReallyLR implicit $x0
  37     %copy:_(s64) = COPY $x0
  38     %and:_(s64) = G_AND %copy, %copy
  39     $x0 = COPY %and(s64)
  40     RET_ReallyLR implicit $x0
  41
  42 ...
  43 ---
  44 name:            and_same2
  45 tracksRegLiveness: true
  46 body:             |
  47   bb.0:
  48     liveins: $x0, $x1
  49
  50     ; We can fold when the LHS and RHS are guaranteed to be identical.
  51
  52     ; CHECK-LABEL: name: and_same2
  53     ; CHECK: liveins: $x0, $x1
  54     ; CHECK-NEXT: {{  $}}
  55     ; CHECK-NEXT: %copy1:_(s64) = COPY $x0
  56     ; CHECK-NEXT: %copy2:_(s64) = COPY $x1
  57     ; CHECK-NEXT: %or:_(s64) = G_OR %copy1, %copy2
  58     ; CHECK-NEXT: $x0 = COPY %or(s64)
  59     ; CHECK-NEXT: RET_ReallyLR implicit $x0
  60     %copy1:_(s64) = COPY $x0
  61     %copy2:_(s64) = COPY $x1
  62     %or:_(s64) = G_OR %copy1, %copy2
  63     %same_as_or:_(s64) = COPY %or(s64)
  64     %and:_(s64) = G_AND %or, %same_as_or
  65     $x0 = COPY %and(s64)
  66     RET_ReallyLR implicit $x0
  67
  68 ...
  69 ---
  70 name:            or_and_not_same
  71 tracksRegLiveness: true
  72 body:             |
  73   bb.0:
  74     liveins: $x0, $x1, $x2
  75
  76     ; None of the G_ORs or G_ANDs should be eliminated here, because their LHS
  77     ; and RHS values are different.
  78
  79     ; CHECK-LABEL: name: or_and_not_same
  80     ; CHECK: liveins: $x0, $x1, $x2
  81     ; CHECK-NEXT: {{  $}}
  82     ; CHECK-NEXT: %copy1:_(s64) = COPY $x0
  83     ; CHECK-NEXT: %copy2:_(s64) = COPY $x1
  84     ; CHECK-NEXT: %copy3:_(s64) = COPY $x2
  85     ; CHECK-NEXT: %or1:_(s64) = G_OR %copy1, %copy2
  86     ; CHECK-NEXT: %or2:_(s64) = G_OR %copy1, %copy3
  87     ; CHECK-NEXT: %and:_(s64) = G_AND %or1, %or2
  88     ; CHECK-NEXT: $x0 = COPY %and(s64)
  89     ; CHECK-NEXT: RET_ReallyLR implicit $x0
  90     %copy1:_(s64) = COPY $x0
  91     %copy2:_(s64) = COPY $x1
  92     %copy3:_(s64) = COPY $x2
  93     %or1:_(s64) = G_OR %copy1, %copy2
  94     %or2:_(s64) = G_OR %copy1, %copy3
  95     %and:_(s64) = G_AND %or1, %or2
  96     $x0 = COPY %and(s64)
  97     RET_ReallyLR implicit $x0
  98
  99 ...