1; RUN: opt -S -o - -function-attrs %s | FileCheck %s
2; RUN: opt -S -o - -passes=function-attrs %s | FileCheck %s
3
4; CHECK-NOT: readnone
5declare void @llvm.assume(i1)
6