[llvm] fb67737 - [InstCombine] Add test with "align"(ptr %p, i32 1) assumption.

[Florian Hahn via llvm-commits]

Author: Florian Hahn
Date: 2025-09-25T13:17:32+01:00
New Revision: fb67737c49ad098f5dcd4a2f9b67bdd1befb75b7

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

LOG: [InstCombine] Add test with "align"(ptr %p, i32 1) assumption.

Added: 
    

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

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/InstCombine/assume-align.ll b/llvm/test/Transforms/InstCombine/assume-align.ll
index 274632658496b..f6373d85ddb9c 100644
--- a/llvm/test/Transforms/InstCombine/assume-align.ll
+++ b/llvm/test/Transforms/InstCombine/assume-align.ll
@@ -247,6 +247,17 @@ define ptr @redundant_assume_align_8_via_asume(ptr %p) {
   ret ptr %p
 }
 
+define ptr @assume_align_1(ptr %p) {
+; CHECK-LABEL: @assume_align_1(
+; CHECK-NEXT:    call void @llvm.assume(i1 true) [ "align"(ptr [[P:%.*]], i32 1) ]
+; CHECK-NEXT:    call void @foo(ptr [[P]])
+; CHECK-NEXT:    ret ptr [[P]]
+;
+  call void @llvm.assume(i1 true) [ "align"(ptr %p, i32 1) ]
+  call void @foo(ptr %p)
+  ret ptr %p
+}
+
 declare void @foo(ptr)
 
 ; !align must have a constant integer alignment.