This is an archive of the discontinued LLVM Phabricator instance.

[InstCombine] Add new tests for icmp ugt/ult (add nuw X, C2), C
ClosedPublic

Authored by Nicola on Aug 21 2018, 8:07 AM.

Reviewers

Commits

Summary

The new tests will be improved after https://reviews.llvm.org/D50972

LGTM - thanks!

This revision is now accepted and ready to land.Aug 21 2018, 8:25 AM

This revision was automatically updated to reflect the committed changes.

Path

Size

llvm/

trunk/

test/

Transforms/

InstCombine/

43 lines

	Show First 20 Lines • Show All 275 Lines • ▼ Show 20 Lines
	; CHECK-LABEL: @slt_zero_add_nuw_signbit(			; CHECK-LABEL: @slt_zero_add_nuw_signbit(
	; CHECK-NEXT: ret i1 true			; CHECK-NEXT: ret i1 true
	;			;
	%y = add nuw i8 %x, 128			%y = add nuw i8 %x, 128
	%z = icmp slt i8 %y, 0			%z = icmp slt i8 %y, 0
	ret i1 %z			ret i1 %z
	}			}

				define i1 @reduce_add_ult(i32 %in) {
				; CHECK-LABEL: @reduce_add_ult(
				; CHECK-NEXT: [[A6:%.]] = add nuw i32 [[IN:%.]], 3
				; CHECK-NEXT: [[A18:%.*]] = icmp ult i32 [[A6]], 12
				; CHECK-NEXT: ret i1 [[A18]]
				;
				%a6 = add nuw i32 %in, 3
				%a18 = icmp ult i32 %a6, 12
				ret i1 %a18
				}

				define i1 @reduce_add_ugt(i32 %in) {
				; CHECK-LABEL: @reduce_add_ugt(
				; CHECK-NEXT: [[A6:%.]] = add nuw i32 [[IN:%.]], 3
				; CHECK-NEXT: [[A18:%.*]] = icmp ugt i32 [[A6]], 12
				; CHECK-NEXT: ret i1 [[A18]]
				;
				%a6 = add nuw i32 %in, 3
				%a18 = icmp ugt i32 %a6, 12
				ret i1 %a18
				}

				define i1 @reduce_add_ule(i32 %in) {
				; CHECK-LABEL: @reduce_add_ule(
				; CHECK-NEXT: [[A6:%.]] = add nuw i32 [[IN:%.]], 3
				; CHECK-NEXT: [[A18:%.*]] = icmp ult i32 [[A6]], 13
				; CHECK-NEXT: ret i1 [[A18]]
				;
				%a6 = add nuw i32 %in, 3
				%a18 = icmp ule i32 %a6, 12
				ret i1 %a18
				}

				define i1 @reduce_add_uge(i32 %in) {
				; CHECK-LABEL: @reduce_add_uge(
				; CHECK-NEXT: [[A6:%.]] = add nuw i32 [[IN:%.]], 3
				; CHECK-NEXT: [[A18:%.*]] = icmp ugt i32 [[A6]], 11
				; CHECK-NEXT: ret i1 [[A18]]
				;
				%a6 = add nuw i32 %in, 3
				%a18 = icmp uge i32 %a6, 12
				ret i1 %a18
				}