Skip to content

Commit dd5735f

Browse files
committed
[Attributor] Add pre-commit tests
1 parent ae719f0 commit dd5735f

File tree

1 file changed

+16
-0
lines changed

1 file changed

+16
-0
lines changed
Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
2+
; RUN: opt -S -passes=attributor < %s | FileCheck %s
3+
4+
5+
6+
define i1 @foo(ptr %dst) {
7+
; CHECK-LABEL: define noundef i1 @foo(
8+
; CHECK-SAME: ptr nocapture nofree noundef nonnull writeonly align 4 dereferenceable(4) [[DST:%.*]]) #[[ATTR0:[0-9]+]] {
9+
; CHECK-NEXT: [[ENTRY:.*:]]
10+
; CHECK-NEXT: store i32 42, ptr [[DST]], align 4
11+
; CHECK-NEXT: ret i1 true
12+
;
13+
entry:
14+
store i32 42, ptr %dst
15+
ret i1 1
16+
}

0 commit comments

Comments
 (0)