llvm/test/CodeGen/X86/xor-icmp.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=i686-unknown   | FileCheck %s --check-prefix=X86
   3 ; RUN: llc < %s -mtriple=x86_64-unknown | FileCheck %s --check-prefix=X64
   4 ; rdar://7367229
   5
   6 define i32 @t(i32 %a, i32 %b) nounwind ssp {
   7 ; X86-LABEL: t:
   8 ; X86:       # %bb.0: # %entry
   9 ; X86-NEXT:    movb {{[0-9]+}}(%esp), %al
  10 ; X86-NEXT:    xorb {{[0-9]+}}(%esp), %al
  11 ; X86-NEXT:    testb $64, %al
  12 ; X86-NEXT:    je .LBB0_1
  13 ; X86-NEXT:  # %bb.2: # %bb1
  14 ; X86-NEXT:    jmp bar # TAILCALL
  15 ; X86-NEXT:  .LBB0_1: # %bb
  16 ; X86-NEXT:    jmp foo # TAILCALL
  17 ;
  18 ; X64-LABEL: t:
  19 ; X64:       # %bb.0: # %entry
  20 ; X64-NEXT:    xorl %esi, %edi
  21 ; X64-NEXT:    xorl %eax, %eax
  22 ; X64-NEXT:    testl $16384, %edi # imm = 0x4000
  23 ; X64-NEXT:    je .LBB0_1
  24 ; X64-NEXT:  # %bb.2: # %bb1
  25 ; X64-NEXT:    jmp bar # TAILCALL
  26 ; X64-NEXT:  .LBB0_1: # %bb
  27 ; X64-NEXT:    jmp foo # TAILCALL
  28 entry:
  29   %0 = and i32 %a, 16384
  30   %1 = icmp ne i32 %0, 0
  31   %2 = and i32 %b, 16384
  32   %3 = icmp ne i32 %2, 0
  33   %4 = xor i1 %1, %3
  34   br i1 %4, label %bb1, label %bb
  35
  36 bb:                                               ; preds = %entry
  37   %5 = tail call i32 (...) @foo() nounwind       ; <i32> [#uses=1]
  38   ret i32 %5
  39
  40 bb1:                                              ; preds = %entry
  41   %6 = tail call i32 (...) @bar() nounwind       ; <i32> [#uses=1]
  42   ret i32 %6
  43 }
  44
  45 declare dso_local i32 @foo(...)
  46
  47 declare dso_local i32 @bar(...)
  48
  49 define i32 @t2(i32 %x, i32 %y) nounwind ssp {
  50 ; X86-LABEL: t2:
  51 ; X86:       # %bb.0: # %entry
  52 ; X86-NEXT:    cmpl $0, {{[0-9]+}}(%esp)
  53 ; X86-NEXT:    sete %al
  54 ; X86-NEXT:    cmpl $0, {{[0-9]+}}(%esp)
  55 ; X86-NEXT:    sete %cl
  56 ; X86-NEXT:    cmpb %al, %cl
  57 ; X86-NEXT:    je .LBB1_1
  58 ; X86-NEXT:  # %bb.2: # %bb
  59 ; X86-NEXT:    jmp foo # TAILCALL
  60 ; X86-NEXT:  .LBB1_1: # %return
  61 ; X86-NEXT:    retl
  62 ;
  63 ; X64-LABEL: t2:
  64 ; X64:       # %bb.0: # %entry
  65 ; X64-NEXT:    testl %edi, %edi
  66 ; X64-NEXT:    sete %al
  67 ; X64-NEXT:    testl %esi, %esi
  68 ; X64-NEXT:    sete %cl
  69 ; X64-NEXT:    cmpb %al, %cl
  70 ; X64-NEXT:    je .LBB1_1
  71 ; X64-NEXT:  # %bb.2: # %bb
  72 ; X64-NEXT:    xorl %eax, %eax
  73 ; X64-NEXT:    jmp foo # TAILCALL
  74 ; X64-NEXT:  .LBB1_1: # %return
  75 ; X64-NEXT:    retq
  76
  77 entry:
  78   %0 = icmp eq i32 %x, 0                          ; <i1> [#uses=1]
  79   %1 = icmp eq i32 %y, 0                          ; <i1> [#uses=1]
  80   %2 = xor i1 %1, %0                              ; <i1> [#uses=1]
  81   br i1 %2, label %bb, label %return
  82
  83 bb:                                               ; preds = %entry
  84   %3 = tail call i32 (...) @foo() nounwind       ; <i32> [#uses=0]
  85   ret i32 undef
  86
  87 return:                                           ; preds = %entry
  88   ret i32 undef
  89 }
  90
  91 ; PR45703
  92 ; https://bugs.llvm.org/show_bug.cgi?id=45703
  93
  94 define i1 @xor_not_bools(i1 zeroext %x, i1 zeroext %y) nounwind {
  95 ; X86-LABEL: xor_not_bools:
  96 ; X86:       # %bb.0:
  97 ; X86-NEXT:    movb {{[0-9]+}}(%esp), %al
  98 ; X86-NEXT:    xorb {{[0-9]+}}(%esp), %al
  99 ; X86-NEXT:    xorb $1, %al
 100 ; X86-NEXT:    retl
 101 ;
 102 ; X64-LABEL: xor_not_bools:
 103 ; X64:       # %bb.0:
 104 ; X64-NEXT:    movl %edi, %eax
 105 ; X64-NEXT:    xorl %esi, %eax
 106 ; X64-NEXT:    xorb $1, %al
 107 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 108 ; X64-NEXT:    retq
 109   %xor = xor i1 %x, %y
 110   %not = xor i1 %xor, true
 111   ret i1 %not
 112 }
 113
 114 ; This is probably not canonical IR; just testing another possible pattern.
 115
 116 define zeroext i1 @xor_not_cmps(i32 %x, i32 %y) nounwind {
 117 ; X86-LABEL: xor_not_cmps:
 118 ; X86:       # %bb.0:
 119 ; X86-NEXT:    cmpl $42, {{[0-9]+}}(%esp)
 120 ; X86-NEXT:    setne %cl
 121 ; X86-NEXT:    cmpl $235, {{[0-9]+}}(%esp)
 122 ; X86-NEXT:    sete %al
 123 ; X86-NEXT:    xorb %cl, %al
 124 ; X86-NEXT:    xorb $1, %al
 125 ; X86-NEXT:    retl
 126 ;
 127 ; X64-LABEL: xor_not_cmps:
 128 ; X64:       # %bb.0:
 129 ; X64-NEXT:    cmpl $42, %edi
 130 ; X64-NEXT:    setne %cl
 131 ; X64-NEXT:    cmpl $235, %esi
 132 ; X64-NEXT:    sete %al
 133 ; X64-NEXT:    xorb %cl, %al
 134 ; X64-NEXT:    xorb $1, %al
 135 ; X64-NEXT:    retq
 136   %cmpx = icmp ne i32 %x, 42
 137   %cmpy = icmp eq i32 %y, 235
 138   %xor = xor i1 %cmpx, %cmpy
 139   %not = xor i1 %xor, 1
 140   ret i1 %not
 141 }
 142
 143 define zeroext i1 @xor_not_cmps_extra_use(i32 %x, i32 %y, i32* %p) nounwind {
 144 ; X86-LABEL: xor_not_cmps_extra_use:
 145 ; X86:       # %bb.0:
 146 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %ecx
 147 ; X86-NEXT:    cmpl $42, {{[0-9]+}}(%esp)
 148 ; X86-NEXT:    setne %dl
 149 ; X86-NEXT:    cmpl $235, {{[0-9]+}}(%esp)
 150 ; X86-NEXT:    sete %al
 151 ; X86-NEXT:    xorb %dl, %al
 152 ; X86-NEXT:    movzbl %al, %edx
 153 ; X86-NEXT:    movl %edx, (%ecx)
 154 ; X86-NEXT:    xorb $1, %al
 155 ; X86-NEXT:    retl
 156 ;
 157 ; X64-LABEL: xor_not_cmps_extra_use:
 158 ; X64:       # %bb.0:
 159 ; X64-NEXT:    cmpl $42, %edi
 160 ; X64-NEXT:    setne %al
 161 ; X64-NEXT:    cmpl $235, %esi
 162 ; X64-NEXT:    sete %cl
 163 ; X64-NEXT:    xorb %al, %cl
 164 ; X64-NEXT:    movzbl %cl, %eax
 165 ; X64-NEXT:    movl %eax, (%rdx)
 166 ; X64-NEXT:    xorb $1, %al
 167 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 168 ; X64-NEXT:    retq
 169   %cmpx = icmp ne i32 %x, 42
 170   %cmpy = icmp eq i32 %y, 235
 171   %xor = xor i1 %cmpx, %cmpy
 172   %z = zext i1 %xor to i32
 173   store i32 %z, i32* %p
 174   %not = xor i1 %xor, 1
 175   ret i1 %not
 176 }