test/CodeGen/X86/GlobalISel/legalize-xor-scalar.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -O0 -mtriple=x86_64-linux-gnu -run-pass=legalizer %s -o - | FileCheck %s
   3
   4 --- |
   5   define i1 @test_xor_i1() {
   6     %ret = xor i1 undef, undef
   7     ret i1 %ret
   8   }
   9
  10   define i8 @test_xor_i8() {
  11     %ret = xor i8 undef, undef
  12     ret i8 %ret
  13   }
  14
  15   define i16 @test_xor_i16() {
  16     %ret = xor i16 undef, undef
  17     ret i16 %ret
  18   }
  19
  20   define i32 @test_xor_i32() {
  21     %ret = xor i32 undef, undef
  22     ret i32 %ret
  23   }
  24
  25   define i64 @test_xor_i64() {
  26     %ret = xor i64 undef, undef
  27     ret i64 %ret
  28   }
  29
  30 ...
  31 ---
  32 name:            test_xor_i1
  33 alignment:       4
  34 legalized:       false
  35 regBankSelected: false
  36 registers:
  37   - { id: 0, class: _, preferred-register: '' }
  38   - { id: 1, class: _, preferred-register: '' }
  39   - { id: 2, class: _, preferred-register: '' }
  40 body:             |
  41   bb.1 (%ir-block.0):
  42
  43     ; CHECK-LABEL: name: test_xor_i1
  44     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $edx
  45     ; CHECK: [[TRUNC:%[0-9]+]]:_(s8) = G_TRUNC [[COPY]](s32)
  46     ; CHECK: [[TRUNC1:%[0-9]+]]:_(s8) = G_TRUNC [[COPY]](s32)
  47     ; CHECK: [[XOR:%[0-9]+]]:_(s8) = G_XOR [[TRUNC]], [[TRUNC1]]
  48     ; CHECK: RET 0
  49     %0(s32) = COPY $edx
  50     %1(s1) = G_TRUNC %0(s32)
  51     %2(s1) = G_XOR %1, %1
  52     %3:_(p0) = G_IMPLICIT_DEF
  53     G_STORE %2, %3 ::(store 1)
  54     RET 0
  55 ...
  56 ---
  57 name:            test_xor_i8
  58 alignment:       4
  59 legalized:       false
  60 regBankSelected: false
  61 registers:
  62   - { id: 0, class: _, preferred-register: '' }
  63   - { id: 1, class: _, preferred-register: '' }
  64 liveins:
  65 fixedStack:
  66 stack:
  67 constants:
  68 body:             |
  69   bb.1 (%ir-block.0):
  70     ; CHECK-LABEL: name: test_xor_i8
  71     ; CHECK: [[DEF:%[0-9]+]]:_(s8) = IMPLICIT_DEF
  72     ; CHECK: [[XOR:%[0-9]+]]:_(s8) = G_XOR [[DEF]], [[DEF]]
  73     ; CHECK: $al = COPY [[XOR]](s8)
  74     ; CHECK: RET 0, implicit $al
  75     %0(s8) = IMPLICIT_DEF
  76     %1(s8) = G_XOR %0, %0
  77     $al = COPY %1(s8)
  78     RET 0, implicit $al
  79
  80 ...
  81 ---
  82 name:            test_xor_i16
  83 alignment:       4
  84 legalized:       false
  85 regBankSelected: false
  86 registers:
  87   - { id: 0, class: _, preferred-register: '' }
  88   - { id: 1, class: _, preferred-register: '' }
  89 liveins:
  90 fixedStack:
  91 stack:
  92 constants:
  93 body:             |
  94   bb.1 (%ir-block.0):
  95     ; CHECK-LABEL: name: test_xor_i16
  96     ; CHECK: [[DEF:%[0-9]+]]:_(s16) = IMPLICIT_DEF
  97     ; CHECK: [[XOR:%[0-9]+]]:_(s16) = G_XOR [[DEF]], [[DEF]]
  98     ; CHECK: $ax = COPY [[XOR]](s16)
  99     ; CHECK: RET 0, implicit $ax
 100     %0(s16) = IMPLICIT_DEF
 101     %1(s16) = G_XOR %0, %0
 102     $ax = COPY %1(s16)
 103     RET 0, implicit $ax
 104
 105 ...
 106 ---
 107 name:            test_xor_i32
 108 alignment:       4
 109 legalized:       false
 110 regBankSelected: false
 111 registers:
 112   - { id: 0, class: _, preferred-register: '' }
 113   - { id: 1, class: _, preferred-register: '' }
 114 liveins:
 115 fixedStack:
 116 stack:
 117 constants:
 118 body:             |
 119   bb.1 (%ir-block.0):
 120     ; CHECK-LABEL: name: test_xor_i32
 121     ; CHECK: [[DEF:%[0-9]+]]:_(s32) = IMPLICIT_DEF
 122     ; CHECK: [[XOR:%[0-9]+]]:_(s32) = G_XOR [[DEF]], [[DEF]]
 123     ; CHECK: $eax = COPY [[XOR]](s32)
 124     ; CHECK: RET 0, implicit $eax
 125     %0(s32) = IMPLICIT_DEF
 126     %1(s32) = G_XOR %0, %0
 127     $eax = COPY %1(s32)
 128     RET 0, implicit $eax
 129
 130 ...
 131 ---
 132 name:            test_xor_i64
 133 alignment:       4
 134 legalized:       false
 135 regBankSelected: false
 136 registers:
 137   - { id: 0, class: _, preferred-register: '' }
 138   - { id: 1, class: _, preferred-register: '' }
 139 liveins:
 140 fixedStack:
 141 stack:
 142 constants:
 143 body:             |
 144   bb.1 (%ir-block.0):
 145     ; CHECK-LABEL: name: test_xor_i64
 146     ; CHECK: [[DEF:%[0-9]+]]:_(s64) = IMPLICIT_DEF
 147     ; CHECK: [[XOR:%[0-9]+]]:_(s64) = G_XOR [[DEF]], [[DEF]]
 148     ; CHECK: $rax = COPY [[XOR]](s64)
 149     ; CHECK: RET 0, implicit $rax
 150     %0(s64) = IMPLICIT_DEF
 151     %1(s64) = G_XOR %0, %0
 152     $rax = COPY %1(s64)
 153     RET 0, implicit $rax
 154
 155 ...