llvm/llvm/test/Transforms/InstCombine/early_constfold_changes_IR.ll

; This run line verifies that we get the expected constant fold.
; RUN: opt < %s -passes=instcombine -S | FileCheck %s

define i32 @foo(i32 %arg) #0 {
; CHECK-LABEL: @foo(
; CHECK-NEXT:  entry:
; CHECK-NEXT:    [[AND:%.*]] = and i32 [[ARG:%.*]], 7
; CHECK-NEXT:    ret i32 [[AND]]
;
entry:
  %or = or i32 0, 7
  %and = and i32 %arg, %or
  ret i32 %and
}