llvm-6502/test/Transforms/GlobalOpt/2012-05-11-blockaddress.ll

; RUN: opt < %s -globalopt -S | FileCheck %s
; Check that the mere presence of a blockaddress doesn't prevent -globalopt
; from promoting @f to fastcc.

; CHECK-LABEL: define{{.*}}fastcc{{.*}}@f(
define internal i8* @f() {
  ret i8* blockaddress(@f, %L1)
L1:
  ret i8* null
}

define void @g() {
  ; CHECK: call{{.*}}fastcc{{.*}}@f
  %p = call i8* @f()
  ret void
}
Teach Function::hasAddressTaken that BlockAddress doesn't really take the address of a function. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@156703 91177308-0d34-0410-b5e6-96231b3b80d8 2012-05-12 08:30:16 +00:00			`; RUN: opt < %s -globalopt -S \| FileCheck %s`
			`; Check that the mere presence of a blockaddress doesn't prevent -globalopt`
			`; from promoting @f to fastcc.`

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{{.}}fastcc{{.}}@f(`
Teach Function::hasAddressTaken that BlockAddress doesn't really take the address of a function. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@156703 91177308-0d34-0410-b5e6-96231b3b80d8 2012-05-12 08:30:16 +00:00			`define internal i8* @f() {`
			`ret i8* blockaddress(@f, %L1)`
			`L1:`
			`ret i8* null`
			`}`

			`define void @g() {`
			`; CHECK: call{{.}}fastcc{{.}}@f`
			`%p = call i8* @f()`
			`ret void`
			`}`