; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
; RUN: opt -S -passes=gvn < %s | FileCheck %s

declare i32 @bar() #0

define i32 @foo() {
; CHECK-LABEL: define i32 @foo() {
; CHECK-NEXT:  [[ENTRY:.*:]]
; CHECK-NEXT:    [[TMP0:%.*]] = tail call i32 @bar() #[[ATTR1:[0-9]+]]
; CHECK-NEXT:    [[TMP1:%.*]] = tail call i32 @bar()
; CHECK-NEXT:    ret i32 1
;
entry:
  %0 = tail call i32 @bar() #1
  %1 = tail call i32 @bar()
  ret i32 1
}


attributes #0 = { memory(none) }
attributes #1 = { "llvm.assume"="ompx_no_call_asm" }