[InstCombine] Add tests for (select (icmp x, Cp2_0), (binop y, Cp2_1), y); NFC
ClosedPublic

	Show First 20 Lines • Show All 765 Lines • ▼ Show 20 Lines
	; CHECK-NEXT: ret i8 [[SELECT]]			; CHECK-NEXT: ret i8 [[SELECT]]
	;			;
	%cmp = icmp slt i8 %x, 0			%cmp = icmp slt i8 %x, 0
	%or = or i8 %y, 2			%or = or i8 %y, 2
	%select = select i1 %cmp, i8 %or, i8 %y			%select = select i1 %cmp, i8 %or, i8 %y
	ret i8 %select			ret i8 %select
	}			}

				define i8 @test70_multiuse(i8 %x, i8 %y) {
				; CHECK-LABEL: @test70_multiuse(
				; CHECK-NEXT: [[CMP:%.]] = icmp slt i8 [[X:%.]], 0
				; CHECK-NEXT: [[OR:%.]] = or i8 [[Y:%.]], 2
				; CHECK-NEXT: call void @use(i8 [[OR]])
				; CHECK-NEXT: [[SELECT:%.*]] = select i1 [[CMP]], i8 [[OR]], i8 [[Y]]
				; CHECK-NEXT: ret i8 [[SELECT]]
				;
				%cmp = icmp slt i8 %x, 0
				%or = or i8 %y, 2
				call void @use(i8 %or)
				%select = select i1 %cmp, i8 %or, i8 %y
				ret i8 %select
				}

	define i32 @shift_no_xor_multiuse_or(i32 %x, i32 %y) {			define i32 @shift_no_xor_multiuse_or(i32 %x, i32 %y) {
	; CHECK-LABEL: @shift_no_xor_multiuse_or(			; CHECK-LABEL: @shift_no_xor_multiuse_or(
	; CHECK-NEXT: [[OR:%.]] = or i32 [[Y:%.]], 2			; CHECK-NEXT: [[OR:%.]] = or i32 [[Y:%.]], 2
	; CHECK-NEXT: [[AND:%.]] = shl i32 [[X:%.]], 1			; CHECK-NEXT: [[AND:%.]] = shl i32 [[X:%.]], 1
	; CHECK-NEXT: [[TMP1:%.*]] = and i32 [[AND]], 2			; CHECK-NEXT: [[TMP1:%.*]] = and i32 [[AND]], 2
	; CHECK-NEXT: [[SELECT:%.*]] = or i32 [[TMP1]], [[Y]]			; CHECK-NEXT: [[SELECT:%.*]] = or i32 [[TMP1]], [[Y]]
	; CHECK-NEXT: [[RES:%.*]] = mul i32 [[SELECT]], [[OR]]			; CHECK-NEXT: [[RES:%.*]] = mul i32 [[SELECT]], [[OR]]
	; CHECK-NEXT: ret i32 [[RES]]			; CHECK-NEXT: ret i32 [[RES]]
	▲ Show 20 Lines • Show All 785 Lines • ▼ Show 20 Lines
	; CHECK-NEXT: ret i8 [[COND]]			; CHECK-NEXT: ret i8 [[COND]]
	;			;
	%and = and i8 %x, 250			%and = and i8 %x, 250
	%or = or i8 %x, 5			%or = or i8 %x, 5
	call void @use(i8 %or)			call void @use(i8 %or)
	%cond = select i1 %b, i8 %and, i8 %or			%cond = select i1 %b, i8 %and, i8 %or
	ret i8 %cond			ret i8 %cond
	}			}

				; Tests factoring in cost of saving the `and`
				define i64 @xor_i8_to_i64_shl_save_and_eq(i8 %x, i64 %y) {
				; CHECK-LABEL: @xor_i8_to_i64_shl_save_and_eq(
				; CHECK-NEXT: [[XX:%.]] = and i8 [[X:%.]], 1
				; CHECK-NEXT: [[CMP:%.*]] = icmp eq i8 [[XX]], 0
				; CHECK-NEXT: [[Z:%.]] = xor i64 [[Y:%.]], -9223372036854775808
				; CHECK-NEXT: [[R:%.*]] = select i1 [[CMP]], i64 [[Z]], i64 [[Y]]
				; CHECK-NEXT: ret i64 [[R]]
				;
				%xx = and i8 %x, 1
				%cmp = icmp eq i8 %xx, 0
				%z = xor i64 %y, -9223372036854775808
				%r = select i1 %cmp, i64 %z, i64 %y
				ret i64 %r
				}

				define i64 @xor_i8_to_i64_shl_save_and_ne(i8 %x, i64 %y) {
				; CHECK-LABEL: @xor_i8_to_i64_shl_save_and_ne(
				; CHECK-NEXT: [[XX:%.]] = and i8 [[X:%.]], 1
				; CHECK-NEXT: [[CMP_NOT:%.*]] = icmp eq i8 [[XX]], 0
				; CHECK-NEXT: [[Z:%.]] = xor i64 [[Y:%.]], -9223372036854775808
				; CHECK-NEXT: [[R:%.*]] = select i1 [[CMP_NOT]], i64 [[Y]], i64 [[Z]]
				; CHECK-NEXT: ret i64 [[R]]
				;
				%xx = and i8 %x, 1
				%cmp = icmp ne i8 %xx, 0
				%z = xor i64 %y, -9223372036854775808
				%r = select i1 %cmp, i64 %z, i64 %y
				ret i64 %r
				}

This is an archive of the discontinued LLVM Phabricator instance.

[InstCombine] Add tests for (select (icmp x, Cp2_0), (binop y, Cp2_1), y); NFCClosedPublic

Details

Diff Detail

Event Timeline

Revision Contents

Diff 535145

llvm/test/Transforms/InstCombine/select-with-bitwise-ops.ll

[InstCombine] Add tests for (select (icmp x, Cp2_0), (binop y, Cp2_1), y); NFC
ClosedPublic