diff --git a/test/Analysis/LoadVN/call_pure_function.ll b/test/Analysis/LoadVN/call_pure_function.ll new file mode 100644 index 00000000000..c9de486c066 --- /dev/null +++ b/test/Analysis/LoadVN/call_pure_function.ll @@ -0,0 +1,13 @@ +; RUN: llvm-as < %s | opt -basicaa -load-vn -gcse -instcombine | llvm-dis | not grep sub +declare int %strlen(sbyte*) +declare void %use(int %X) + +sbyte %test(sbyte* %P, sbyte* %Q) { + %A = load sbyte* %Q + %X = call int %strlen(sbyte* %P) + %B = load sbyte* %Q ;; CSE with A. + call void %use(int %X) ;; make strlen not dead + + %C = sub sbyte %A, %B + ret sbyte %C +}