llvm-6502/test/Transforms/InstCombine/2012-3-15-or-xor-constant.ll

; RUN: opt < %s -instcombine -S | FileCheck %s
; PR12234

@g = extern_weak global i32
define i32 @function(i32 %x) nounwind {
entry:
  %xor = xor i32 %x, 1
  store volatile i32 %xor, i32* inttoptr (i64 1 to i32*), align 4
  %or4 = or i32 or (i32 zext (i1 icmp eq (i32* @g, i32* null) to i32), i32 1), %xor
  ret i32 %or4
}
; CHECK-LABEL: define i32 @function(
In InstCombiner::visitOr, make sure we reverse the operand swap used for checking for or-of-xor operations after those checks; a later check expects that any constant will be in Op1. PR12234. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@152884 91177308-0d34-0410-b5e6-96231b3b80d8 2012-03-16 00:52:42 +00:00			`; RUN: opt < %s -instcombine -S \| FileCheck %s`
			`; PR12234`

			`@g = extern_weak global i32`
			`define i32 @function(i32 %x) nounwind {`
			`entry:`
			`%xor = xor i32 %x, 1`
			`store volatile i32 %xor, i32* inttoptr (i64 1 to i32*), align 4`
			`%or4 = or i32 or (i32 zext (i1 icmp eq (i32* @g, i32* null) to i32), i32 1), %xor`
			`ret i32 %or4`
			`}`
Catch more CHECK that can be converted to CHECK-LABEL in Transforms for easier debugging. No functionality change. This conversion was done with the following bash script: find test/Transforms -name ".ll" \| \ while read NAME; do echo "$NAME" if ! grep -q "^; RUN: llc" $NAME; then TEMP=`mktemp -t temp` cp $NAME $TEMP sed -n "s/^define [^@]@\([A-Za-z0-9_]\)(.$/\1/p" < $NAME \| \ while read FUNC; do sed -i '' "s/;\(.\)\([A-Za-z0-9_]\):\( \)define\([^@]\)@$FUNC\([( ]*\)\$/;\1\2-LABEL:\3define\4@$FUNC(/g" $TEMP done mv $TEMP $NAME fi done git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@186269 91177308-0d34-0410-b5e6-96231b3b80d8 2013-07-14 01:50:49 +00:00			`; CHECK-LABEL: define i32 @function(`