This is an archive of the discontinued LLVM Phabricator instance.

Added Check Statements for "not.ll & not-fcmp.ll" files.
ClosedPublic

Authored by sonamkumari on Nov 27 2014, 1:29 AM.

Download Raw Diff

Details

Reviewers

Commits

rGc3024c75e08a: Use FileCheck instead of grep. Change by Sonam.
rL222876: Use FileCheck instead of grep. Change by Sonam.

Summary

Hi Suyog,

I have added the Check Statements for "not.ll & not-fcmp.ll" files.
Please help in reviewing it.

Regards,
Sonam.

Diff Detail

Repository: rL LLVM

Event Timeline

sonamkumari updated this revision to Diff 16671.Nov 27 2014, 1:29 AM

sonamkumari retitled this revision from to Added Check Statements for "not.ll & not-fcmp.ll" files..

sonamkumari updated this object.

sonamkumari edited the test plan for this revision. (Show Details)

sonamkumari added a reviewer: suyog.

sonamkumari added a subscriber: Unknown Object (MLST).

Hi Suyog,

I have made some changes in "not.ll" file and updated the patch.
Please help in reviewing.

Regards,
Sonam

LGTM

This revision is now accepted and ready to land.Nov 27 2014, 1:54 AM

Closed by commit rL222876 (authored by @suyog).

Revision Contents

Path

Size

llvm/

trunk/

test/

Transforms/

InstCombine/

not-fcmp.ll

7 lines

not.ll

4 lines

Diff 16674

llvm/trunk/test/Transforms/InstCombine/not-fcmp.ll

	; RUN: opt < %s -instcombine -S \| grep "fcmp uge"			; RUN: opt < %s -instcombine -S \| FileCheck %s
	; PR1570			; PR1570

	define i1 @f(float %X, float %Y) {			define i1 @f(float %X, float %Y) {
	entry:			entry:
	%tmp3 = fcmp olt float %X, %Y ; <i1> [#uses=1]			%tmp3 = fcmp olt float %X, %Y ; <i1> [#uses=1]
	%toBoolnot5 = xor i1 %tmp3, true ; <i1> [#uses=1]			%toBoolnot5 = xor i1 %tmp3, true ; <i1> [#uses=1]
	ret i1 %toBoolnot5			ret i1 %toBoolnot5
				; CHECK-LABEL: @f(
				; CHECK-NEXT: entry:
				; CHECK-NEXT: %toBoolnot5 = fcmp uge float %X, %Y
				; CHECK-NEXT: ret i1 %toBoolnot5
	}			}

llvm/trunk/test/Transforms/InstCombine/not.ll

	; This test makes sure that these instructions are properly eliminated.			; This test makes sure that these instructions are properly eliminated.
	;			;

	; RUN: opt < %s -instcombine -S \| not grep xor			; RUN: opt < %s -instcombine -S \| FileCheck %s
				; CHECK-NOT: xor

	define i32 @test1(i32 %A) {			define i32 @test1(i32 %A) {
	%B = xor i32 %A, -1 ; <i32> [#uses=1]			%B = xor i32 %A, -1 ; <i32> [#uses=1]
	%C = xor i32 %B, -1 ; <i32> [#uses=1]			%C = xor i32 %B, -1 ; <i32> [#uses=1]
	ret i32 %C			ret i32 %C
	}			}

	define i1 @test2(i32 %A, i32 %B) {			define i1 @test2(i32 %A, i32 %B) {
	Show All 33 Lines
	define zeroext i8 @test6(i32 %a, i32 %b) nounwind {			define zeroext i8 @test6(i32 %a, i32 %b) nounwind {
	entry:			entry:
	%tmp1not = xor i32 %a, -1 ; <i32> [#uses=1]			%tmp1not = xor i32 %a, -1 ; <i32> [#uses=1]
	%tmp2not = xor i32 %b, -1 ; <i32> [#uses=1]			%tmp2not = xor i32 %b, -1 ; <i32> [#uses=1]
	%tmp3 = icmp slt i32 %tmp1not, %tmp2not ; <i1> [#uses=1]			%tmp3 = icmp slt i32 %tmp1not, %tmp2not ; <i1> [#uses=1]
	%retval67 = zext i1 %tmp3 to i8 ; <i8> [#uses=1]			%retval67 = zext i1 %tmp3 to i8 ; <i8> [#uses=1]
	ret i8 %retval67			ret i8 %retval67
	}			}