diff --git a/llvm/test/Regression/Transforms/DeadStoreElimination/context-sensitive.llx b/llvm/test/Regression/Transforms/DeadStoreElimination/context-sensitive.llx new file mode 100644 index 000000000000..428030c8e242 --- /dev/null +++ b/llvm/test/Regression/Transforms/DeadStoreElimination/context-sensitive.llx @@ -0,0 +1,15 @@ +; RUN: llvm-as < %s | opt -dse | llvm-dis | not grep DEAD + +declare void %ext() + +int* %caller() { + %P = malloc int + %DEAD = load int* %P + %DEAD2 = add int %DEAD, 1 + store int %DEAD2, int* %P ;; dead store + + call void %ext() ; Can not clobber *P + + store int 0, int* %P + ret int* %P +}