1*091aabc1SRoman Lebedev; RUN: opt -S -o - -passes=function-attrs %s | FileCheck %s 2cee313d2SEric Christopher 3cee313d2SEric Christopher; CHECK-NOT: readnone 4cee313d2SEric Christopherdeclare void @llvm.assume(i1) 5