; RUN: opt -passes=instcombine -S < %s | FileCheck %s

target datalayout = "e-p:32:32-n32-S64"

; CHECK-LABEL: @foo_ptr
; CHECK: and
define i32 @foo_ptr() {
entry:
  ; Even though the address of @foo is aligned, we cannot assume that the
  ; pointer has the same alignment. This is not true for e.g. ARM targets
  ; which store ARM/Thumb state in the LSB
  ret i32 and (i32 ptrtoint (ptr @foo to i32), i32 -4)
}

define internal void @foo() align 16 {
entry:
  ret void
}