xref: /llvm-project/llvm/test/Transforms/GVN/intersect-empty-attr.ll (revision eea8b44aaa3464f52dea1d56ca47e0519b08fd36)
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
2; RUN: opt -S -passes=gvn < %s | FileCheck %s
3
4declare i32 @bar() #0
5
6define i32 @foo() {
7; CHECK-LABEL: define i32 @foo() {
8; CHECK-NEXT:  [[ENTRY:.*:]]
9; CHECK-NEXT:    [[TMP0:%.*]] = tail call i32 @bar() #[[ATTR1:[0-9]+]]
10; CHECK-NEXT:    [[TMP1:%.*]] = tail call i32 @bar()
11; CHECK-NEXT:    ret i32 1
12;
13entry:
14  %0 = tail call i32 @bar() #1
15  %1 = tail call i32 @bar()
16  ret i32 1
17}
18
19
20attributes #0 = { memory(none) }
21attributes #1 = { "llvm.assume"="ompx_no_call_asm" }
22