[llvm] 6a9434b - [SCEV] pre-commit test case for D127835, NFC

[Chen Zheng via llvm-commits]

Author: Chen Zheng
Date: 2022-07-01T04:25:00-04:00
New Revision: 6a9434bb9c88255f227f4fef1f8365330220cbe7

URL: https://github.com/llvm/llvm-project/commit/6a9434bb9c88255f227f4fef1f8365330220cbe7
DIFF: https://github.com/llvm/llvm-project/commit/6a9434bb9c88255f227f4fef1f8365330220cbe7.diff

LOG: [SCEV] pre-commit test case for D127835, NFC

Added: 
    llvm/test/Analysis/ScalarEvolution/annotation-intrinsics.ll

Modified: 
    

Removed: 
    


################################################################################
diff  --git a/llvm/test/Analysis/ScalarEvolution/annotation-intrinsics.ll b/llvm/test/Analysis/ScalarEvolution/annotation-intrinsics.ll
new file mode 100644
index 0000000000000..bd0704c7e5237
--- /dev/null
+++ b/llvm/test/Analysis/ScalarEvolution/annotation-intrinsics.ll
@@ -0,0 +1,28 @@
+; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py
+; RUN: opt -disable-output "-passes=print<scalar-evolution>" < %s 2>&1 | FileCheck %s
+
+declare i64 @llvm.annotation.i64(i64, i8*, i8*, i32)
+declare i8* @llvm.ptr.annotation.p0i8(i8*, i8*, i8*, i32, i8*)
+
+define i64 @annotation(i64 %x) {
+; CHECK-LABEL: 'annotation'
+; CHECK-NEXT:  Classifying expressions for: @annotation
+; CHECK-NEXT:    %1 = tail call i64 @llvm.annotation.i64(i64 %x, i8* null, i8* null, i32 0)
+; CHECK-NEXT:    --> %1 U: full-set S: full-set
+; CHECK-NEXT:  Determining loop execution counts for: @annotation
+;
+  %1 = tail call i64 @llvm.annotation.i64(i64 %x, i8* null, i8* null, i32 0)
+  ret i64 %1
+}
+
+define i8* @ptr_annotation(i8* %x) {
+; CHECK-LABEL: 'ptr_annotation'
+; CHECK-NEXT:  Classifying expressions for: @ptr_annotation
+; CHECK-NEXT:    %1 = call i8* @llvm.ptr.annotation.p0i8(i8* %x, i8* null, i8* null, i32 0, i8* null)
+; CHECK-NEXT:    --> %1 U: full-set S: full-set
+; CHECK-NEXT:  Determining loop execution counts for: @ptr_annotation
+;
+  %1 = call i8* @llvm.ptr.annotation.p0i8(i8* %x, i8* null, i8* null, i32 0, i8* null)
+  ret i8* %1
+}
+