Index: lib/Transforms/Scalar/GVN.cpp =================================================================== --- lib/Transforms/Scalar/GVN.cpp +++ lib/Transforms/Scalar/GVN.cpp @@ -1362,6 +1362,8 @@ } markInstructionForDeletion(IntrinsicI); return false; + } else if (isa(V)) { + return false; } Constant *True = ConstantInt::getTrue(V->getContext()); Index: test/Transforms/GVN/no-crash-on-undef-assume.ll =================================================================== --- /dev/null +++ test/Transforms/GVN/no-crash-on-undef-assume.ll @@ -0,0 +1,8 @@ +; RUN: opt < %s -gvn -S + +define i1 @foo() { + call void @llvm.assume(i1 undef) + ret i1 undef +} + +declare void @llvm.assume(i1)