can LLVM optimize out checking if op2 of a right shift is greater than bit count of op1?

test1.ll

define i32 @main(i32, i32) {
  %ok = icmp ult i32 %1, 32
  br i1 %ok, label %ok_label, label %bad_label
ok_label:
  ret i32 0
bad_label:
  %a = lshr i32 %0, %1
  ret i32 %a
}

test1.s

main:                                   # @main
# BB#0:
	cmpl	$31, %esi
	ja	.LBB0_2
# BB#1:                                 # %ok_label
	xorl	%eax, %eax
	retq
.LBB0_2:                                # %bad_label
	movl	%esi, %ecx
	shrl	%cl, %edi
	movl	%edi, %eax
	retq

test2.ll

define i32 @main(i32, i32) {
  %ok = icmp ult i32 %1, 32
  %a = lshr i32 %0, %1
  %result = select i1 %ok, i32 %a, i32 0
  ret i32 %result
}

test2.s

main:                                   # @main
# BB#0:
	movl	%esi, %ecx
	shrl	%cl, %edi
	xorl	%eax, %eax
	cmpl	$32, %esi
	cmovbl	%edi, %eax
	retq

test3(no-check).ll

define i32 @main(i32, i32) {
  %a = lshr i32 %0, %1
  ret i32 %a
}

test3(no-check).s

main:                                   # @main
# BB#0:
	movl	%esi, %ecx
	shrl	%cl, %edi
	movl	%edi, %eax
	retq