================ @@ -276,3 +285,12 @@ module attributes { dlti.dl_spec = #dlti.dl_spec< return } } + +// ----- + + ---------------- gysit wrote: ```suggestion ``` ultra nit: double newline https://github.com/llvm/llvm-project/pull/72874