================ @@ -0,0 +1,12 @@ +; RUN: llvm-as < %s | llvm-dis - | FileCheck %s + +; CHECK: define void @f() [[ATTR:#[0-9]+]] ---------------- lenary wrote: I switched to `--implicit-check-not`. https://github.com/llvm/llvm-project/pull/163665