test/CodeGen/X86/store-zero-and-minus-one.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc -mtriple=i686-unknown-linux-gnu %s -o - | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK32
   3 ; RUN: llc -mtriple=x86_64-unknown-linux-gnu %s -o - | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK64
   4
   5 define void @zero_optsize(i32* %p) optsize {
   6 ; CHECK32-LABEL: zero_optsize:
   7 ; CHECK32:       # %bb.0: # %entry
   8 ; CHECK32-NEXT:    movl {{[0-9]+}}(%esp), %eax
   9 ; CHECK32-NEXT:    movl $0, (%eax)
  10 ; CHECK32-NEXT:    retl
  11 ;
  12 ; CHECK64-LABEL: zero_optsize:
  13 ; CHECK64:       # %bb.0: # %entry
  14 ; CHECK64-NEXT:    movl $0, (%rdi)
  15 ; CHECK64-NEXT:    retq
  16 entry:
  17   store i32 0, i32* %p
  18   ret void
  19
  20 }
  21
  22 define void @minus_one_optsize(i32* %p) optsize {
  23 ; CHECK32-LABEL: minus_one_optsize:
  24 ; CHECK32:       # %bb.0: # %entry
  25 ; CHECK32-NEXT:    movl {{[0-9]+}}(%esp), %eax
  26 ; CHECK32-NEXT:    movl $-1, (%eax)
  27 ; CHECK32-NEXT:    retl
  28 ;
  29 ; CHECK64-LABEL: minus_one_optsize:
  30 ; CHECK64:       # %bb.0: # %entry
  31 ; CHECK64-NEXT:    movl $-1, (%rdi)
  32 ; CHECK64-NEXT:    retq
  33 entry:
  34   store i32 -1, i32* %p
  35   ret void
  36
  37 }
  38
  39
  40 define void @zero_64(i64* %p) minsize {
  41 ; CHECK32-LABEL: zero_64:
  42 ; CHECK32:       # %bb.0: # %entry
  43 ; CHECK32-NEXT:    movl {{[0-9]+}}(%esp), %eax
  44 ; CHECK32-NEXT:    andl $0, 4(%eax)
  45 ; CHECK32-NEXT:    andl $0, (%eax)
  46 ; CHECK32-NEXT:    retl
  47 ;
  48 ; CHECK64-LABEL: zero_64:
  49 ; CHECK64:       # %bb.0: # %entry
  50 ; CHECK64-NEXT:    andq $0, (%rdi)
  51 ; CHECK64-NEXT:    retq
  52 entry:
  53   store i64 0, i64* %p
  54   ret void
  55
  56 }
  57
  58 define void @zero_32(i32* %p) minsize {
  59 ; CHECK32-LABEL: zero_32:
  60 ; CHECK32:       # %bb.0: # %entry
  61 ; CHECK32-NEXT:    movl {{[0-9]+}}(%esp), %eax
  62 ; CHECK32-NEXT:    andl $0, (%eax)
  63 ; CHECK32-NEXT:    retl
  64 ;
  65 ; CHECK64-LABEL: zero_32:
  66 ; CHECK64:       # %bb.0: # %entry
  67 ; CHECK64-NEXT:    andl $0, (%rdi)
  68 ; CHECK64-NEXT:    retq
  69 entry:
  70   store i32 0, i32* %p
  71   ret void
  72
  73 }
  74
  75 define void @zero_16(i16* %p) minsize {
  76 ; CHECK32-LABEL: zero_16:
  77 ; CHECK32:       # %bb.0: # %entry
  78 ; CHECK32-NEXT:    movl {{[0-9]+}}(%esp), %eax
  79 ; CHECK32-NEXT:    andw $0, (%eax)
  80 ; CHECK32-NEXT:    retl
  81 ;
  82 ; CHECK64-LABEL: zero_16:
  83 ; CHECK64:       # %bb.0: # %entry
  84 ; CHECK64-NEXT:    andw $0, (%rdi)
  85 ; CHECK64-NEXT:    retq
  86 entry:
  87   store i16 0, i16* %p
  88   ret void
  89
  90 }
  91
  92
  93 define void @minus_one_64(i64* %p) minsize {
  94 ; CHECK32-LABEL: minus_one_64:
  95 ; CHECK32:       # %bb.0: # %entry
  96 ; CHECK32-NEXT:    movl {{[0-9]+}}(%esp), %eax
  97 ; CHECK32-NEXT:    orl $-1, 4(%eax)
  98 ; CHECK32-NEXT:    orl $-1, (%eax)
  99 ; CHECK32-NEXT:    retl
 100 ;
 101 ; CHECK64-LABEL: minus_one_64:
 102 ; CHECK64:       # %bb.0: # %entry
 103 ; CHECK64-NEXT:    orq $-1, (%rdi)
 104 ; CHECK64-NEXT:    retq
 105 entry:
 106   store i64 -1, i64* %p
 107   ret void
 108
 109 }
 110
 111 define void @minus_one_32(i32* %p) minsize {
 112 ; CHECK32-LABEL: minus_one_32:
 113 ; CHECK32:       # %bb.0: # %entry
 114 ; CHECK32-NEXT:    movl {{[0-9]+}}(%esp), %eax
 115 ; CHECK32-NEXT:    orl $-1, (%eax)
 116 ; CHECK32-NEXT:    retl
 117 ;
 118 ; CHECK64-LABEL: minus_one_32:
 119 ; CHECK64:       # %bb.0: # %entry
 120 ; CHECK64-NEXT:    orl $-1, (%rdi)
 121 ; CHECK64-NEXT:    retq
 122 entry:
 123   store i32 -1, i32* %p
 124   ret void
 125
 126 }
 127
 128 define void @minus_one_16(i16* %p) minsize {
 129 ; CHECK32-LABEL: minus_one_16:
 130 ; CHECK32:       # %bb.0: # %entry
 131 ; CHECK32-NEXT:    movl {{[0-9]+}}(%esp), %eax
 132 ; CHECK32-NEXT:    orw $-1, (%eax)
 133 ; CHECK32-NEXT:    retl
 134 ;
 135 ; CHECK64-LABEL: minus_one_16:
 136 ; CHECK64:       # %bb.0: # %entry
 137 ; CHECK64-NEXT:    orw $-1, (%rdi)
 138 ; CHECK64-NEXT:    retq
 139 entry:
 140   store i16 -1, i16* %p
 141   ret void
 142
 143 }
 144
 145 ; FIXME: Make sure we don't use the and/or trick on volatile stores.
 146 define void @volatile_zero_64(i64* %p) minsize {
 147 ; CHECK32-LABEL: volatile_zero_64:
 148 ; CHECK32:       # %bb.0: # %entry
 149 ; CHECK32-NEXT:    movl {{[0-9]+}}(%esp), %eax
 150 ; CHECK32-NEXT:    xorl %ecx, %ecx
 151 ; CHECK32-NEXT:    movl %ecx, 4(%eax)
 152 ; CHECK32-NEXT:    movl %ecx, (%eax)
 153 ; CHECK32-NEXT:    retl
 154 ;
 155 ; CHECK64-LABEL: volatile_zero_64:
 156 ; CHECK64:       # %bb.0: # %entry
 157 ; CHECK64-NEXT:    movq $0, (%rdi)
 158 ; CHECK64-NEXT:    retq
 159 entry:
 160   store volatile i64 0, i64* %p
 161   ret void
 162 }
 163
 164 define void @volatile_zero_32(i32* %p) minsize {
 165 ; CHECK32-LABEL: volatile_zero_32:
 166 ; CHECK32:       # %bb.0: # %entry
 167 ; CHECK32-NEXT:    movl {{[0-9]+}}(%esp), %eax
 168 ; CHECK32-NEXT:    movl $0, (%eax)
 169 ; CHECK32-NEXT:    retl
 170 ;
 171 ; CHECK64-LABEL: volatile_zero_32:
 172 ; CHECK64:       # %bb.0: # %entry
 173 ; CHECK64-NEXT:    movl $0, (%rdi)
 174 ; CHECK64-NEXT:    retq
 175 entry:
 176   store volatile i32 0, i32* %p
 177   ret void
 178 }
 179
 180 define void @volatile_zero_16(i16* %p) minsize {
 181 ; CHECK32-LABEL: volatile_zero_16:
 182 ; CHECK32:       # %bb.0: # %entry
 183 ; CHECK32-NEXT:    movl {{[0-9]+}}(%esp), %eax
 184 ; CHECK32-NEXT:    movw $0, (%eax)
 185 ; CHECK32-NEXT:    retl
 186 ;
 187 ; CHECK64-LABEL: volatile_zero_16:
 188 ; CHECK64:       # %bb.0: # %entry
 189 ; CHECK64-NEXT:    movw $0, (%rdi)
 190 ; CHECK64-NEXT:    retq
 191 entry:
 192   store volatile i16 0, i16* %p
 193   ret void
 194 }
 195
 196
 197 define void @volatile_minus_one_64(i64* %p) minsize {
 198 ; CHECK32-LABEL: volatile_minus_one_64:
 199 ; CHECK32:       # %bb.0: # %entry
 200 ; CHECK32-NEXT:    movl {{[0-9]+}}(%esp), %eax
 201 ; CHECK32-NEXT:    xorl %ecx, %ecx
 202 ; CHECK32-NEXT:    decl %ecx
 203 ; CHECK32-NEXT:    movl %ecx, 4(%eax)
 204 ; CHECK32-NEXT:    movl %ecx, (%eax)
 205 ; CHECK32-NEXT:    retl
 206 ;
 207 ; CHECK64-LABEL: volatile_minus_one_64:
 208 ; CHECK64:       # %bb.0: # %entry
 209 ; CHECK64-NEXT:    movq $-1, (%rdi)
 210 ; CHECK64-NEXT:    retq
 211 entry:
 212   store volatile i64 -1, i64* %p
 213   ret void
 214 }
 215
 216 define void @volatile_minus_one_32(i32* %p) minsize {
 217 ; CHECK32-LABEL: volatile_minus_one_32:
 218 ; CHECK32:       # %bb.0: # %entry
 219 ; CHECK32-NEXT:    movl {{[0-9]+}}(%esp), %eax
 220 ; CHECK32-NEXT:    movl $-1, (%eax)
 221 ; CHECK32-NEXT:    retl
 222 ;
 223 ; CHECK64-LABEL: volatile_minus_one_32:
 224 ; CHECK64:       # %bb.0: # %entry
 225 ; CHECK64-NEXT:    movl $-1, (%rdi)
 226 ; CHECK64-NEXT:    retq
 227 entry:
 228   store volatile i32 -1, i32* %p
 229   ret void
 230 }
 231
 232 define void @volatile_minus_one_16(i16* %p) minsize {
 233 ; CHECK32-LABEL: volatile_minus_one_16:
 234 ; CHECK32:       # %bb.0: # %entry
 235 ; CHECK32-NEXT:    movl {{[0-9]+}}(%esp), %eax
 236 ; CHECK32-NEXT:    movw $-1, (%eax)
 237 ; CHECK32-NEXT:    retl
 238 ;
 239 ; CHECK64-LABEL: volatile_minus_one_16:
 240 ; CHECK64:       # %bb.0: # %entry
 241 ; CHECK64-NEXT:    movw $-1, (%rdi)
 242 ; CHECK64-NEXT:    retq
 243 entry:
 244   store volatile i16 -1, i16* %p
 245   ret void
 246 }