diff options
Diffstat (limited to 'test/CodeGen/ARM/fabs-neon.ll')
-rw-r--r-- | test/CodeGen/ARM/fabs-neon.ll | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/test/CodeGen/ARM/fabs-neon.ll b/test/CodeGen/ARM/fabs-neon.ll index e3094aa..dc1dc32 100644 --- a/test/CodeGen/ARM/fabs-neon.ll +++ b/test/CodeGen/ARM/fabs-neon.ll @@ -15,3 +15,42 @@ define <2 x float> @test2(<2 x float> %a) { ret <2 x float> %foo } declare <2 x float> @llvm.fabs.v2f32(<2 x float> %a) + +; No constant pool loads or vector ops are needed for the fabs of a +; bitcasted integer constant; we should just return integer constants +; that have the sign bits turned off. +; +; So instead of something like this: +; mvn r0, #0 +; mov r1, #0 +; vmov d16, r1, r0 +; vabs.f32 d16, d16 +; vmov r0, r1, d16 +; bx lr +; +; We should generate: +; mov r0, #0 +; mvn r1, #-2147483648 +; bx lr + +define i64 @fabs_v2f32_1() { +; CHECK-LABEL: fabs_v2f32_1: +; CHECK: mvn r1, #-2147483648 +; CHECK: bx lr +; CHECK-NOT: vabs + %bitcast = bitcast i64 18446744069414584320 to <2 x float> ; 0xFFFF_FFFF_0000_0000 + %fabs = call <2 x float> @llvm.fabs.v2f32(<2 x float> %bitcast) + %ret = bitcast <2 x float> %fabs to i64 + ret i64 %ret +} + +define i64 @fabs_v2f32_2() { +; CHECK-LABEL: fabs_v2f32_2: +; CHECK: mvn r0, #-2147483648 +; CHECK: bx lr +; CHECK-NOT: vabs + %bitcast = bitcast i64 4294967295 to <2 x float> ; 0x0000_0000_FFFF_FFFF + %fabs = call <2 x float> @llvm.fabs.v2f32(<2 x float> %bitcast) + %ret = bitcast <2 x float> %fabs to i64 + ret i64 %ret +} |