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