llvm.org GIT mirror llvm / release_16 test / Transforms / ArgumentPromotion / control-flow.ll
release_16

Tree @release_16 (Download .tar.gz)

control-flow.ll @release_16raw · history · blame

; RUN: llvm-as < %s | opt -argpromotion | llvm-dis | not grep 'load int\* null'

implementation

internal int %callee(bool %C, int* %P) {
	br bool %C, label %T, label %F
T:
	ret int 17
F:
	%X = load int* %P
	ret int %X
}

int %foo() {
	%X = call int %callee(bool true, int* null)
	ret int %X
}