From: Eric Christopher Date: Mon, 21 Oct 2013 23:14:06 +0000 (+0000) Subject: Fix spelling, grammar, and match naming convention for test files. X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=d114b41e62d8b784a9a48644d72489eba37c8a31;p=oota-llvm.git Fix spelling, grammar, and match naming convention for test files. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@193130 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/lib/Transforms/IPO/DeadArgumentElimination.cpp b/lib/Transforms/IPO/DeadArgumentElimination.cpp index 8621f1a78d9..911c14e7e31 100644 --- a/lib/Transforms/IPO/DeadArgumentElimination.cpp +++ b/lib/Transforms/IPO/DeadArgumentElimination.cpp @@ -359,13 +359,13 @@ bool DAE::RemoveDeadArgumentsFromCallers(Function &Fn) // If a function seen at compile time is not necessarily the one linked to // the binary being built, it is illegal to change the actual arguments - // passing to it. These functions can be captured by isWeakForLinker(). + // passed to it. These functions can be captured by isWeakForLinker(). // *NOTE* that mayBeOverridden() is insufficient for this purpose as it - // dosen't include linkage types like AvailableExternallyLinkage and + // doesn't include linkage types like AvailableExternallyLinkage and // LinkOnceODRLinkage. Take link_odr* as an example, it indicates a set of // *EQUIVALENT* globals that can be merged at link-time. However, the // semantic of *EQUIVALENT*-functions includes parameters. Changing - // parameters breaks the assumption. + // parameters breaks this assumption. // if (Fn.isWeakForLinker()) return false; diff --git a/test/CodeGen/X86/dagcombine-unsafe-math.ll b/test/CodeGen/X86/dagcombine-unsafe-math.ll new file mode 100644 index 00000000000..f06d9f1dc4b --- /dev/null +++ b/test/CodeGen/X86/dagcombine-unsafe-math.ll @@ -0,0 +1,56 @@ +; RUN: llc < %s -enable-unsafe-fp-math -mtriple=x86_64-apple-darwin -mcpu=corei7-avx | FileCheck %s + + +; rdar://13126763 +; Expression "x + x*x" was mistakenly transformed into "x * 3.0f". + +define float @test1(float %x) { + %t1 = fmul fast float %x, %x + %t2 = fadd fast float %t1, %x + ret float %t2 +; CHECK: test1 +; CHECK: vaddss +} + +; (x + x) + x => x * 3.0 +define float @test2(float %x) { + %t1 = fadd fast float %x, %x + %t2 = fadd fast float %t1, %x + ret float %t2 +; CHECK: .long 1077936128 +; CHECK: test2 +; CHECK: vmulss LCPI1_0(%rip), %xmm0, %xmm0 +} + +; x + (x + x) => x * 3.0 +define float @test3(float %x) { + %t1 = fadd fast float %x, %x + %t2 = fadd fast float %t1, %x + ret float %t2 +; CHECK: .long 1077936128 +; CHECK: test3 +; CHECK: vmulss LCPI2_0(%rip), %xmm0, %xmm0 +} + +; (y + x) + x != x * 3.0 +define float @test4(float %x, float %y) { + %t1 = fadd fast float %x, %y + %t2 = fadd fast float %t1, %x + ret float %t2 +; CHECK: test4 +; CHECK: vaddss +} + +; rdar://13445387 +; "x + x + x => 3.0 * x" should be disabled after legalization because +; Instruction-Selection doesn't know how to handle "3.0" +; +define float @test5() { + %mul.i.i151 = fmul <4 x float> zeroinitializer, zeroinitializer + %vecext.i8.i152 = extractelement <4 x float> %mul.i.i151, i32 1 + %vecext1.i9.i153 = extractelement <4 x float> %mul.i.i151, i32 0 + %add.i10.i154 = fadd float %vecext1.i9.i153, %vecext.i8.i152 + %vecext.i7.i155 = extractelement <4 x float> %mul.i.i151, i32 2 + %add.i.i156 = fadd float %vecext.i7.i155, %add.i10.i154 + ret float %add.i.i156 +} diff --git a/test/CodeGen/X86/dagcombine_unsafe_math.ll b/test/CodeGen/X86/dagcombine_unsafe_math.ll deleted file mode 100644 index 592cf1bec2e..00000000000 --- a/test/CodeGen/X86/dagcombine_unsafe_math.ll +++ /dev/null @@ -1,56 +0,0 @@ -; RUN: llc < %s -enable-unsafe-fp-math -mtriple=x86_64-apple-darwin -mcpu=corei7-avx | FileCheck %s - - -; rdar://13126763 -; Expression "x + x*x" was mistakenly transformed into "x * 3.0f". - -define float @test1(float %x) { - %t1 = fmul fast float %x, %x - %t2 = fadd fast float %t1, %x - ret float %t2 -; CHECK: test1 -; CHECK: vaddss -} - -; (x + x) + x => x * 3.0 -define float @test2(float %x) { - %t1 = fadd fast float %x, %x - %t2 = fadd fast float %t1, %x - ret float %t2 -; CHECK: .long 1077936128 -; CHECK: test2 -; CHECK: vmulss LCPI1_0(%rip), %xmm0, %xmm0 -} - -; x + (x + x) => x * 3.0 -define float @test3(float %x) { - %t1 = fadd fast float %x, %x - %t2 = fadd fast float %t1, %x - ret float %t2 -; CHECK: .long 1077936128 -; CHECK: test3 -; CHECK: vmulss LCPI2_0(%rip), %xmm0, %xmm0 -} - -; (y + x) + x != x * 3.0 -define float @test4(float %x, float %y) { - %t1 = fadd fast float %x, %y - %t2 = fadd fast float %t1, %x - ret float %t2 -; CHECK: test4 -; CHECK: vaddss -} - -; rdar://13445387 -; "x + x + x => 3.0 * x" should be disabled after legalization because -; Instruction-Selection dosen't know how to handle "3.0" -; -define float @test5() { - %mul.i.i151 = fmul <4 x float> zeroinitializer, zeroinitializer - %vecext.i8.i152 = extractelement <4 x float> %mul.i.i151, i32 1 - %vecext1.i9.i153 = extractelement <4 x float> %mul.i.i151, i32 0 - %add.i10.i154 = fadd float %vecext1.i9.i153, %vecext.i8.i152 - %vecext.i7.i155 = extractelement <4 x float> %mul.i.i151, i32 2 - %add.i.i156 = fadd float %vecext.i7.i155, %add.i10.i154 - ret float %add.i.i156 -}