From: Cameron Zwarich Date: Sun, 27 Feb 2011 08:05:57 +0000 (+0000) Subject: Give a test file a more sensible name so that it can hold more test cases. X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=60c8b22dad0403497d425f263de0a6b8716dd0a4;p=oota-llvm.git Give a test file a more sensible name so that it can hold more test cases. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@126566 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/test/CodeGen/X86/phi-bit-propagation.ll b/test/CodeGen/X86/phi-bit-propagation.ll new file mode 100644 index 00000000000..da9652f7340 --- /dev/null +++ b/test/CodeGen/X86/phi-bit-propagation.ll @@ -0,0 +1,35 @@ +; RUN: llc < %s -march=x86-64 | FileCheck %s + +%"class.std::bitset" = type { [8 x i8] } + +define zeroext i1 @_Z3fooPjmS_mRSt6bitsetILm32EE(i32* nocapture %a, i64 %asize, i32* nocapture %b, i64 %bsize, %"class.std::bitset"* %bits) nounwind readonly ssp noredzone { +entry: + %tmp.i.i.i.i = bitcast %"class.std::bitset"* %bits to i64* + br label %for.cond + +for.cond: ; preds = %for.inc, %entry + %0 = phi i32 [ 0, %entry ], [ %inc, %for.inc ] + %conv = zext i32 %0 to i64 + %cmp = icmp eq i64 %conv, %bsize + br i1 %cmp, label %return, label %for.body + +for.body: ; preds = %for.cond + %arrayidx = getelementptr inbounds i32* %b, i64 %conv + %tmp5 = load i32* %arrayidx, align 4 + %conv6 = zext i32 %tmp5 to i64 + %rem.i.i.i.i = and i64 %conv6, 63 + %tmp3.i = load i64* %tmp.i.i.i.i, align 8 + %shl.i.i = shl i64 1, %rem.i.i.i.i + %and.i = and i64 %shl.i.i, %tmp3.i + %cmp.i = icmp eq i64 %and.i, 0 + br i1 %cmp.i, label %for.inc, label %return + +for.inc: ; preds = %for.body + %inc = add i32 %0, 1 + br label %for.cond + +return: ; preds = %for.body, %for.cond +; CHECK-NOT: and + %retval.0 = phi i1 [ true, %for.body ], [ false, %for.cond ] + ret i1 %retval.0 +} diff --git a/test/CodeGen/X86/phi-constants.ll b/test/CodeGen/X86/phi-constants.ll deleted file mode 100644 index da9652f7340..00000000000 --- a/test/CodeGen/X86/phi-constants.ll +++ /dev/null @@ -1,35 +0,0 @@ -; RUN: llc < %s -march=x86-64 | FileCheck %s - -%"class.std::bitset" = type { [8 x i8] } - -define zeroext i1 @_Z3fooPjmS_mRSt6bitsetILm32EE(i32* nocapture %a, i64 %asize, i32* nocapture %b, i64 %bsize, %"class.std::bitset"* %bits) nounwind readonly ssp noredzone { -entry: - %tmp.i.i.i.i = bitcast %"class.std::bitset"* %bits to i64* - br label %for.cond - -for.cond: ; preds = %for.inc, %entry - %0 = phi i32 [ 0, %entry ], [ %inc, %for.inc ] - %conv = zext i32 %0 to i64 - %cmp = icmp eq i64 %conv, %bsize - br i1 %cmp, label %return, label %for.body - -for.body: ; preds = %for.cond - %arrayidx = getelementptr inbounds i32* %b, i64 %conv - %tmp5 = load i32* %arrayidx, align 4 - %conv6 = zext i32 %tmp5 to i64 - %rem.i.i.i.i = and i64 %conv6, 63 - %tmp3.i = load i64* %tmp.i.i.i.i, align 8 - %shl.i.i = shl i64 1, %rem.i.i.i.i - %and.i = and i64 %shl.i.i, %tmp3.i - %cmp.i = icmp eq i64 %and.i, 0 - br i1 %cmp.i, label %for.inc, label %return - -for.inc: ; preds = %for.body - %inc = add i32 %0, 1 - br label %for.cond - -return: ; preds = %for.body, %for.cond -; CHECK-NOT: and - %retval.0 = phi i1 [ true, %for.body ], [ false, %for.cond ] - ret i1 %retval.0 -}