inlining: optimize and_int(x, true) and or_int(x, false)

We need an additional inlining pass to optimize cases like
`and_int(x, true)` and `or_int(x, false)` to `x`.

base/compiler/ssair/inlining.jl

@@ -1717,6 +1717,24 @@ function early_inline_special_case(ir::IRCode, stmt::Expr, flag::UInt32,
         elseif ⊑(optimizer_lattice(state.interp), cond, Bool) && stmt.args[3] === stmt.args[4]
             return SomeCase(stmt.args[3])
         end
+    elseif f === and_int && length(argtypes) == 3
+        argtype2 = argtypes[2]
+        if argtype2 isa Const && argtype2.val === true
+            return SomeCase(stmt.args[3])
+        end
+        argtype3 = argtypes[3]
+        if argtype3 isa Const && argtype3.val === true
+            return SomeCase(stmt.args[2])
+        end
+    elseif f === or_int && length(argtypes) == 3
+        argtype2 = argtypes[2]
+        if argtype2 isa Const && argtype2.val === false
+            return SomeCase(stmt.args[3])
+        end
+        argtype3 = argtypes[3]
+        if argtype3 isa Const && argtype3.val === false
+            return SomeCase(stmt.args[2])
+        end
     end
     return nothing
 end

test/compiler/inline.jl

@@ -2214,3 +2214,9 @@ let ir = Base.code_ircode((Issue52644,); optimize_until="Inlining") do t
     @test irfunc(Issue52644(Tuple{})) === :DataType
     @test_throws MethodError irfunc(Issue52644(Tuple{<:Integer}))
 end
+
+# inlining optimization for `and_int` and `or_int`
+@test fully_eliminated(x->x&true, (Bool,); retval=Argument(2))
+@test fully_eliminated(x->true&x, (Bool,); retval=Argument(2))
+@test fully_eliminated(x->x|false, (Bool,); retval=Argument(2))
+@test fully_eliminated(x->false|x, (Bool,); retval=Argument(2))