llvm-6502/test/Transforms/InstCombine/2007-11-25-CompatibleAttributes.ll

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

@.str = internal constant [4 x i8] c"%d\0A\00"		; <[4 x i8]*> [#uses=1]

define i32 @main(i32 %argc, i8** %argv) {
entry:
	%tmp32 = tail call i32 (i8* noalias , ...) nounwind * bitcast (i32 (i8*, ...) nounwind * @printf to i32 (i8* noalias , ...) nounwind *)( i8* getelementptr ([4 x i8]* @.str, i32 0, i32 0) noalias , i32 0 ) nounwind 		; <i32> [#uses=0]
	ret i32 undef
}

declare i32 @printf(i8*, ...) nounwind
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. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@81537 91177308-0d34-0410-b5e6-96231b3b80d8 2009-09-11 18:01:28 +00:00			`; RUN: opt < %s -instcombine -S \| not grep bitcast`
Fix PR1816. If a bitcast of a function only exists because of a trivial difference in function attributes, allow calls to it to be converted to direct calls. Based on a patch by Török Edwin. While there, move the various lists of mutually incompatible parameters etc out of the verifier and into ParameterAttributes.h. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@44315 91177308-0d34-0410-b5e6-96231b3b80d8 2007-11-25 14:10:56 +00:00			`; PR1716`

			`@.str = internal constant [4 x i8] c"%d\0A\00" ; <[4 x i8]*> [#uses=1]`

			`define i32 @main(i32 %argc, i8** %argv) {`
			`entry:`
			`%tmp32 = tail call i32 (i8* noalias , ...) nounwind * bitcast (i32 (i8, ...) nounwind @printf to i32 (i8* noalias , ...) nounwind )( i8 getelementptr ([4 x i8]* @.str, i32 0, i32 0) noalias , i32 0 ) nounwind ; <i32> [#uses=0]`
			`ret i32 undef`
			`}`

			`declare i32 @printf(i8*, ...) nounwind`