1; RUN: opt -instcombine -S < %s | FileCheck %s
2
3target datalayout = "e-p:32:32-n32-S64"
4
5; CHECK-LABEL: @foo_ptr
6; CHECK: and
7define i32 @foo_ptr() {
8entry:
9  ; Even though the address of @foo is aligned, we cannot assume that the
10  ; pointer has the same alignment. This is not true for e.g. ARM targets
11  ; which store ARM/Thumb state in the LSB
12  ret i32 and (i32 ptrtoint (void ()* @foo to i32), i32 -4)
13}
14
15define internal void @foo() align 16 {
16entry:
17  ret void
18}
19