Skip to content

Commit fb67737

Browse files
committed
[InstCombine] Add test with "align"(ptr %p, i32 1) assumption.
1 parent 9652dc9 commit fb67737

File tree

1 file changed

+11
-0
lines changed

1 file changed

+11
-0
lines changed

llvm/test/Transforms/InstCombine/assume-align.ll

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -247,6 +247,17 @@ define ptr @redundant_assume_align_8_via_asume(ptr %p) {
247247
ret ptr %p
248248
}
249249

250+
define ptr @assume_align_1(ptr %p) {
251+
; CHECK-LABEL: @assume_align_1(
252+
; CHECK-NEXT: call void @llvm.assume(i1 true) [ "align"(ptr [[P:%.*]], i32 1) ]
253+
; CHECK-NEXT: call void @foo(ptr [[P]])
254+
; CHECK-NEXT: ret ptr [[P]]
255+
;
256+
call void @llvm.assume(i1 true) [ "align"(ptr %p, i32 1) ]
257+
call void @foo(ptr %p)
258+
ret ptr %p
259+
}
260+
250261
declare void @foo(ptr)
251262

252263
; !align must have a constant integer alignment.

0 commit comments

Comments
 (0)