[llvm] r341880 - [AST] Add test coverage of memsets

[Philip Reames via llvm-commits]

Author: reames
Date: Mon Sep 10 16:14:30 2018
New Revision: 341880

URL: http://llvm.org/viewvc/llvm-project?rev=341880&view=rev
Log:
[AST] Add test coverage of memsets

Immediately after posting https://reviews.llvm.org/D51895, I noticed a small bug.  These tests would have caught that.


Added:
    llvm/trunk/test/Analysis/AliasSet/memset.ll

Added: llvm/trunk/test/Analysis/AliasSet/memset.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/AliasSet/memset.ll?rev=341880&view=auto
==============================================================================
--- llvm/trunk/test/Analysis/AliasSet/memset.ll (added)
+++ llvm/trunk/test/Analysis/AliasSet/memset.ll Mon Sep 10 16:14:30 2018
@@ -0,0 +1,48 @@
+; RUN: opt -basicaa -print-alias-sets -S -o - < %s 2>&1 | FileCheck %s
+
+ at s = global i8 1, align 1
+ at d = global i8 2, align 1
+
+; CHECK: Alias sets for function 'test_known_size':
+; CHECK: Alias Set Tracker: 1 alias sets for 1 pointer values.
+; CHECK:   AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod       Pointers: (i8* %d, 1)
+define void @test_known_size(i8* noalias %d) {
+entry:
+  call void @llvm.memset.p0i8.i64(i8* align 1 %d, i8 0, i64 1, i1 false)
+  ret void
+}
+
+; CHECK: Alias sets for function 'test_unknown_size':
+; CHECK: Alias Set Tracker: 1 alias sets for 1 pointer values.
+; CHECK:   AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod       Pointers: (i8* %d, unknown)
+define void @test_unknown_size(i8* noalias %d, i64 %len) {
+entry:
+  call void @llvm.memset.p0i8.i64(i8* align 1 %d, i8 0, i64 %len, i1 false)
+  ret void
+}
+
+
+; CHECK: Alias sets for function 'test_atomic_known_size':
+; CHECK: Alias Set Tracker: 1 alias sets for 1 pointer values.
+; CHECK:   AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod       Pointers: (i8* %d, 1)
+define void @test_atomic_known_size(i8* noalias %d) {
+entry:
+  call void @llvm.memset.element.unordered.atomic.p0i8.i32(i8* align 1 %d, i8 0, i64 1, i32 1)
+  ret void
+}
+
+; CHECK: Alias sets for function 'test_atomic_unknown_size':
+; CHECK: Alias Set Tracker: 1 alias sets for 1 pointer values.
+; CHECK:   AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod       Pointers: (i8* %d, unknown)
+define void @test_atomic_unknown_size(i8* noalias %d, i64 %len) {
+entry:
+  call void @llvm.memset.element.unordered.atomic.p0i8.i32(i8* align 1 %d, i8 0, i64 %len, i32 1)
+  ret void
+}
+
+declare void @llvm.memset.p0i8.i64(i8* %dest, i8 %val,
+                                   i64 %len, i1 %isvolatile)
+declare void @llvm.memset.element.unordered.atomic.p0i8.i32(i8* %dest,
+                                                            i8 %value,
+                                                            i64 %len,
+                                                            i32 %element_size)