1; This run line verifies that we get the expected constant fold.
2; RUN: opt < %s -instcombine -S | FileCheck %s
3
4; This run line verifies that InstructionCombiningPass::runOnFunction reports
5; this as a modification of the IR.
6; RUN: opt < %s -instcombine -disable-output -debug-pass=Details -enable-new-pm=0 2>&1 | FileCheck %s --check-prefix=DETAILS
7
8define i32 @foo(i32 %arg) #0 {
9; CHECK-LABEL: @foo(
10; CHECK-NEXT:  entry:
11; CHECK-NEXT:    [[AND:%.*]] = and i32 [[ARG:%.*]], 7
12; CHECK-NEXT:    ret i32 [[AND]]
13;
14entry:
15  %or = or i32 0, 7
16  %and = and i32 %arg, %or
17  ret i32 %and
18}
19
20; DETAILS:  Made Modification 'Combine redundant instructions' on Function 'foo'
21