llvm/llvm/test/Transforms/FunctionAttrs/assume.ll

; RUN: opt -S -o - -passes=function-attrs %s | FileCheck %s

; CHECK-NOT: readnone
declare void @llvm.assume(i1)