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