| ; 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" } |
