llvm/test/tools/llubi/noalias_scope.ll

; NOTE: Assertions have been autogenerated by utils/update_llubi_test_checks.py UTC_ARGS: --version 6
; RUN: llubi --verbose < %s 2>&1 | FileCheck %s

define void @main() {
entry:
  tail call void @llvm.experimental.noalias.scope.decl(metadata !0)
  ret void
}

!0 = !{!1}
!1 = distinct !{!1, !2, !"func: %agg.result"}
!2 = distinct !{!2, !"func"}
; CHECK: Entering function: main
; CHECK-NEXT:   tail call void @llvm.experimental.noalias.scope.decl(metadata !0)
; CHECK-NEXT:   ret void
; CHECK-NEXT: Exiting function: main