src/test/codegen/ffi-pure.rs

   1 // compile-flags: -C no-prepopulate-passes
   2 #![crate_type = "lib"]
   3 #![feature(ffi_pure)]
   4
   5 pub fn bar() { unsafe { foo() } }
   6
   7 extern "C" {
   8     // CHECK-LABEL: declare{{.*}}void @foo()
   9     // CHECK-SAME: [[ATTRS:#[0-9]+]]
  10     // The attribute changed from `readonly` to `memory(read)` with LLVM 16.0.
  11     // CHECK-DAG: attributes [[ATTRS]] = { {{.*}}{{readonly|memory\(read\)}}{{.*}} }
  12     #[ffi_pure] pub fn foo();
  13 }