+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2
; RUN: opt -S < %s -passes=instcombine | FileCheck %s
target datalayout = "e-p1:16:16-p2:32:32-p3:64:64"
define i64 @f1() {
; This cannot be constant folded because G1 is underaligned.
-; CHECK-LABEL: @f1(
-; CHECK: ret i64 and
+; CHECK-LABEL: define i64 @f1() {
+; CHECK-NEXT: ret i64 and (i64 ptrtoint (ptr @G1 to i64), i64 1)
+;
ret i64 and (i64 ptrtoint (ptr @G1 to i64), i64 1)
}
define i64 @f2() {
; The preferred alignment for G2 allows this one to foled to zero.
-; CHECK-LABEL: @f2(
-; CHECK: ret i64 0
+; CHECK-LABEL: define i64 @f2() {
+; CHECK-NEXT: ret i64 0
+;
ret i64 and (i64 ptrtoint (ptr @G2 to i64), i64 1)
}
define i64 @g1() {
; This cannot be constant folded because A1 aliases G3 which is underalaigned.
-; CHECK-LABEL: @g1(
-; CHECK: ret i64 and
+; CHECK-LABEL: define i64 @g1() {
+; CHECK-NEXT: ret i64 and (i64 ptrtoint (ptr @A1 to i64), i64 1)
+;
ret i64 and (i64 ptrtoint (ptr @A1 to i64), i64 1)
}
define i64 @g2() {
; While A2 also aliases G3 which is underaligned, the math of A2 forces a
; certain alignment allowing this to fold to zero.
-; CHECK-LABEL: @g2(
-; CHECK: ret i64 0
+; CHECK-LABEL: define i64 @g2() {
+; CHECK-NEXT: ret i64 0
+;
ret i64 and (i64 ptrtoint (ptr @A2 to i64), i64 1)
}