This is an archive of the discontinued LLVM Phabricator instance.

	Show First 20 Lines • Show All 466 Lines • ▼ Show 20 Lines
	; CHECK-NEXT: [[ADD:%.]] = select i1 [[A:%.]], i32 [[B:%.*]], i32 0			; CHECK-NEXT: [[ADD:%.]] = select i1 [[A:%.]], i32 [[B:%.*]], i32 0
	; CHECK-NEXT: ret i32 [[ADD]]			; CHECK-NEXT: ret i32 [[ADD]]
	;			;
	%sel0 = select i1 %A, i32 0, i32 -2			%sel0 = select i1 %A, i32 0, i32 -2
	%sel1 = select i1 %A, i32 %B, i32 2			%sel1 = select i1 %A, i32 %B, i32 2
	%add = add i32 %sel0, %sel1			%add = add i32 %sel0, %sel1
	ret i32 %add			ret i32 %add
	}			}

				; The ADD can't cause overflow out of the low 4 bits so the OR can be removed.

				define i32 @add_undemanded_low_bits(i32 %x) {
				; CHECK-LABEL: @add_undemanded_low_bits(
				; CHECK-NEXT: [[OR:%.]] = or i32 [[X:%.]], 15
				; CHECK-NEXT: [[ADD:%.*]] = add i32 [[OR]], 1616
				; CHECK-NEXT: [[SHR:%.*]] = lshr i32 [[ADD]], 4
				; CHECK-NEXT: ret i32 [[SHR]]
				;
				%or = or i32 %x, 15
				%add = add i32 %or, 1616
				%shr = lshr i32 %add, 4
				ret i32 %shr
				}

				define i32 @sub_undemanded_low_bits(i32 %x) {
				; CHECK-LABEL: @sub_undemanded_low_bits(
				; CHECK-NEXT: [[OR:%.]] = or i32 [[X:%.]], 15
				; CHECK-NEXT: [[SUB:%.*]] = add i32 [[OR]], -1616
				; CHECK-NEXT: [[SHR:%.*]] = lshr i32 [[SUB]], 4
				; CHECK-NEXT: ret i32 [[SHR]]
				;
				%or = or i32 %x, 15
				%sub = sub i32 %or, 1616
				%shr = lshr i32 %sub, 4
				ret i32 %shr
				}

[InstCombine] Add tests for D130075ClosedPublic