This is an archive of the discontinued LLVM Phabricator instance.

	Show First 20 Lines • Show All 351 Lines • ▼ Show 20 Lines
	; CHECK-NEXT: [[C:%.]] = sub i8 16, [[A:%.]]			; CHECK-NEXT: [[C:%.]] = sub i8 16, [[A:%.]]
	; CHECK-NEXT: ret i8 [[C]]			; CHECK-NEXT: ret i8 [[C]]
	;			;
	%B = xor i8 %A, -1			%B = xor i8 %A, -1
	%C = add i8 %B, 17			%C = add i8 %B, 17
	ret i8 %C			ret i8 %C
	}			}

				; ~X + -127 and (-128) - X with nsw are equally poisonous
				define i8 @test18_nsw(i8 %A) {
				; CHECK-LABEL: @test18_nsw(
				; CHECK-NEXT: [[C:%.]] = sub i8 -128, [[A:%.]]
				; CHECK-NEXT: ret i8 [[C]]
				;
				%B = xor i8 %A, -1
				%C = add nsw i8 %B, -127
				ret i8 %C
				}

				; 127 - X with nsw will be more poisonous than ~X + -128 with nsw. (see X = -1)
				define i8 @test18_nsw_overflow(i8 %A) {
				; CHECK-LABEL: @test18_nsw_overflow(
				; CHECK-NEXT: [[C:%.]] = sub i8 127, [[A:%.]]
				; CHECK-NEXT: ret i8 [[C]]
				;
				%B = xor i8 %A, -1
				%C = add nsw i8 %B, -128
				ret i8 %C
				}

	define <2 x i64> @test18vec(<2 x i64> %A) {			define <2 x i64> @test18vec(<2 x i64> %A) {
	; CHECK-LABEL: @test18vec(			; CHECK-LABEL: @test18vec(
	; CHECK-NEXT: [[ADD:%.]] = sub <2 x i64> <i64 1, i64 2>, [[A:%.]]			; CHECK-NEXT: [[ADD:%.]] = sub <2 x i64> <i64 1, i64 2>, [[A:%.]]
	; CHECK-NEXT: ret <2 x i64> [[ADD]]			; CHECK-NEXT: ret <2 x i64> [[ADD]]
	;			;
	%xor = xor <2 x i64> %A, <i64 -1, i64 -1>			%xor = xor <2 x i64> %A, <i64 -1, i64 -1>
	%add = add <2 x i64> %xor, <i64 2, i64 3>			%add = add <2 x i64> %xor, <i64 2, i64 3>
	ret <2 x i64> %add			ret <2 x i64> %add
	▲ Show 20 Lines • Show All 2,579 Lines • Show Last 20 Lines

[InstCombine] precommit test for D152088(NFC)ClosedPublic