[llvm] r245741 - [PowerPC] PPCVSXFMAMutate should not segfault on undef input registers

[Hal Finkel via llvm-commits]

----- Original Message -----
> From: "Eric Christopher" <echristo at gmail.com>
> To: "Hal Finkel" <hfinkel at anl.gov>, llvm-commits at lists.llvm.org
> Sent: Wednesday, August 26, 2015 6:21:17 PM
> Subject: Re: [llvm] r245741 - [PowerPC] PPCVSXFMAMutate should not segfault on undef input registers
> 
> 
> 
> 
> 
> 
> + if (!AddendValNo) {
> + // This can be null if the register is undef.
> + continue;
> + }
> +
> 
> 
> 
> Nit: No need for braces here. :)

Yea, I included them because of the comment. I should move it above the if.

Thanks again,
Hal

> 
> 
> -eric
> 
> 
> MachineInstr *AddendMI =
> LIS->getInstructionFromIndex(AddendValNo->def);
> 
> // The addend and this instruction must be in the same block.
> 
> Added: llvm/trunk/test/CodeGen/PowerPC/vsx-fma-mutate-undef.ll
> URL:
> http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/PowerPC/vsx-fma-mutate-undef.ll?rev=245741&view=auto
> ==============================================================================
> --- llvm/trunk/test/CodeGen/PowerPC/vsx-fma-mutate-undef.ll (added)
> +++ llvm/trunk/test/CodeGen/PowerPC/vsx-fma-mutate-undef.ll Fri Aug
> 21 16:34:24 2015
> @@ -0,0 +1,33 @@
> +; RUN: llc < %s | FileCheck %s
> +target datalayout = "e-m:e-i64:64-n32:64"
> +target triple = "powerpc64le-unknown-linux-gnu"
> +
> +; Function Attrs: nounwind
> +define void @acosh_float8() #0 {
> +entry:
> + br i1 undef, label %if.then, label %if.end
> +
> +if.then: ; preds = %entry
> + %0 = tail call <4 x float> @llvm.fmuladd.v4f32(<4 x float> undef,
> <4 x float> <float 0x3FE62E4200000000, float 0x3FE62E4200000000,
> float 0x3FE62E4200000000, float 0x3FE62E4200000000>, <4 x float>
> undef) #0
> + %astype.i.i.74.i = bitcast <4 x float> %0 to <4 x i32>
> + %and.i.i.76.i = and <4 x i32> %astype.i.i.74.i, undef
> + %or.i.i.79.i = or <4 x i32> %and.i.i.76.i, undef
> + %astype5.i.i.80.i = bitcast <4 x i32> %or.i.i.79.i to <4 x float>
> + %1 = shufflevector <4 x float> %astype5.i.i.80.i, <4 x float>
> undef, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 undef, i32 undef,
> i32 undef, i32 undef>
> + %2 = shufflevector <8 x float> undef, <8 x float> %1, <8 x i32>
> <i32 0, i32 1, i32 2, i32 3, i32 8, i32 9, i32 10, i32 11>
> + store <8 x float> %2, <8 x float>* undef, align 32
> + br label %if.end
> +
> +; CHECK-LABEL: @acosh_float8
> +; CHECK: xvmaddasp
> +
> +if.end: ; preds = %if.then, %entry
> + ret void
> +}
> +
> +; Function Attrs: nounwind readnone
> +declare <4 x float> @llvm.fmuladd.v4f32(<4 x float>, <4 x float>, <4
> x float>) #1
> +
> +attributes #0 = { nounwind }
> +attributes #1 = { nounwind readnone }
> +
> 
> 
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits
> 

-- 
Hal Finkel
Assistant Computational Scientist
Leadership Computing Facility
Argonne National Laboratory