xref: /llvm-project/llvm/test/Transforms/InstCombine/early_constfold_changes_IR.ll (revision 0676acb6fd8d5e22fde16e6ec977ceac08427ab0) 
1; This run line verifies that we get the expected constant fold.
2; RUN: opt < %s -passes=instcombine -S | FileCheck %s
3
4define i32 @foo(i32 %arg) #0 {
5; CHECK-LABEL: @foo(
6; CHECK-NEXT:  entry:
7; CHECK-NEXT:    [[AND:%.*]] = and i32 [[ARG:%.*]], 7
8; CHECK-NEXT:    ret i32 [[AND]]
9;
10entry:
11  %or = or i32 0, 7
12  %and = and i32 %arg, %or
13  ret i32 %and
14}
15
16