| ; RUN: opt < %s -S -early-cse-memssa | FileCheck %s |
| |
| define i16 @f1() readonly { |
| ret i16 0 |
| } |
| |
| declare void @f2() |
| |
| ; Check that EarlyCSE correctly handles pseudo probes that don't have |
| ; a MemoryAccess. |
| |
| define void @f3() { |
| ; CHECK-LABEL: @f3( |
| ; CHECK-NEXT: [[CALL1:%.*]] = call i16 @f1() |
| ; CHECK-NEXT: call void @llvm.pseudoprobe |
| ; CHECK-NEXT: ret void |
| ; |
| %call1 = call i16 @f1() |
| call void @llvm.pseudoprobe(i64 6878943695821059507, i64 9, i32 0, i64 -1) |
| %call2 = call i16 @f1() |
| ret void |
| } |
| |
| |
| ; Function Attrs: inaccessiblememonly nounwind willreturn |
| declare void @llvm.pseudoprobe(i64, i64, i32, i64) #0 |
| |
| attributes #0 = { inaccessiblememonly nounwind willreturn } |
