llvm-mirror/test/CodeGen/X86/sub.ll

; RUN: llc -march=x86 < %s | FileCheck %s

define i32 @test1(i32 %x) {
  %xor = xor i32 %x, 31
  %sub = sub i32 32, %xor
  ret i32 %sub
; CHECK-LABEL: test1:
; CHECK:      xorl $-32
; CHECK-NEXT: addl $33
; CHECK-NEXT: ret
}
Update test. llvm-svn: 136170 2011-07-27 00:45:39 +02:00			`; RUN: llc -march=x86 < %s \| FileCheck %s`
Add a neat little two's complement hack for x86. On x86 we can't encode an immediate LHS of a sub directly. If the RHS comes from a XOR with a constant we can fold the negation into the xor and add one to the immediate of the sub. Then we can turn the sub into an add, which can be commuted and encoded efficiently. This code is generated for __builtin_clz and friends. llvm-svn: 136167 2011-07-27 00:42:13 +02:00
			`define i32 @test1(i32 %x) {`
			`%xor = xor i32 %x, 31`
			`%sub = sub i32 32, %xor`
			`ret i32 %sub`
Convert CodeGen//.ll tests to use the new CHECK-LABEL for easier debugging. No functionality change and all tests pass after conversion. This was done with the following sed invocation to catch label lines demarking function boundaries: sed -i '' "s/^;\( \)\([A-Z0-9_]\):\( \)test\([A-Za-z0-9_-]\):\( \)$/;\1\2-LABEL:\3test\4:\5/g" test/CodeGen//*.ll which was written conservatively to avoid false positives rather than false negatives. I scanned through all the changes and everything looks correct. llvm-svn: 186258 2013-07-13 22:38:47 +02:00			`; CHECK-LABEL: test1:`
Add a neat little two's complement hack for x86. On x86 we can't encode an immediate LHS of a sub directly. If the RHS comes from a XOR with a constant we can fold the negation into the xor and add one to the immediate of the sub. Then we can turn the sub into an add, which can be commuted and encoded efficiently. This code is generated for __builtin_clz and friends. llvm-svn: 136167 2011-07-27 00:42:13 +02:00			`; CHECK: xorl $-32`
			`; CHECK-NEXT: addl $33`
			`; CHECK-NEXT: ret`
			`}`