llvm-project/llvm/test/Transforms/InstCombine/2008-01-06-VoidCast.ll

; RUN: opt < %s -instcombine -S | not grep bitcast

define void @f(i16 %y) {
	ret void
}

define i32 @g(i32 %y) {
	%x = call i32 bitcast (void (i16)* @f to i32 (i32)*)( i32 %y )		; <i32> [#uses=1]
	ret i32 %x
}
Change tests from "opt %s" to "opt < %s" so that opt doesn't see the input filename so that opt doesn't print the input filename in the output so that grep lines in the tests don't unintentionally match strings in the input filename. llvm-svn: 81537 2009-09-12 02:01:28 +08:00			`; RUN: opt < %s -instcombine -S \| not grep bitcast`
When transforming a call to a bitcast function into a direct call with cast parameters and cast return value (if any), instcombine was prepared to cast any non-void return value into any other, whether castable or not. Add a new predicate for testing whether casting is valid, and check it both for the return value and (as a cleanup) for the parameters. llvm-svn: 45657 2008-01-06 18:12:28 +08:00
			`define void @f(i16 %y) {`
			`ret void`
			`}`

			`define i32 @g(i32 %y) {`
			`%x = call i32 bitcast (void (i16)* @f to i32 (i32)*)( i32 %y ) ; <i32> [#uses=1]`
			`ret i32 %x`
			`}`