Blame - llvm/test/CodeGen/X86/fp-fast.ll - toolchain/llvm-project

blob: 7b08ad67220bf0d520018becc37250a581716ce9 [file] [log] [blame]

Juergen Ributzka	5b6234d	2013-11-30 03:07:16 +0000	[diff] [blame]	1	; RUN: llc -march=x86-64 -mcpu=corei7-avx -enable-unsafe-fp-math < %s \| FileCheck %s
Owen Anderson	cc61f87	2012-08-30 23:35:16 +0000	[diff] [blame]	2
Stephen Lin	764d8d3	2013-07-12 14:54:12 +0000	[diff] [blame]	3	; CHECK-LABEL: test1
Owen Anderson	cc61f87	2012-08-30 23:35:16 +0000	[diff] [blame]	4	define float @test1(float %a) {
Owen Anderson	d1545e3	2012-08-30 23:51:20 +0000	[diff] [blame]	5	; CHECK-NOT: addss
				6	; CHECK: mulss
				7	; CHECK-NOT: addss
Owen Anderson	cc61f87	2012-08-30 23:35:16 +0000	[diff] [blame]	8	; CHECK: ret
				9	%t1 = fadd float %a, %a
				10	%r = fadd float %t1, %t1
				11	ret float %r
				12	}
				13
Stephen Lin	764d8d3	2013-07-12 14:54:12 +0000	[diff] [blame]	14	; CHECK-LABEL: test2
Owen Anderson	cc61f87	2012-08-30 23:35:16 +0000	[diff] [blame]	15	define float @test2(float %a) {
Owen Anderson	d1545e3	2012-08-30 23:51:20 +0000	[diff] [blame]	16	; CHECK-NOT: addss
				17	; CHECK: mulss
				18	; CHECK-NOT: addss
Owen Anderson	cc61f87	2012-08-30 23:35:16 +0000	[diff] [blame]	19	; CHECK: ret
				20	%t1 = fmul float 4.0, %a
				21	%t2 = fadd float %a, %a
				22	%r = fadd float %t1, %t2
				23	ret float %r
				24	}
				25
Stephen Lin	764d8d3	2013-07-12 14:54:12 +0000	[diff] [blame]	26	; CHECK-LABEL: test3
Owen Anderson	cc61f87	2012-08-30 23:35:16 +0000	[diff] [blame]	27	define float @test3(float %a) {
Owen Anderson	d1545e3	2012-08-30 23:51:20 +0000	[diff] [blame]	28	; CHECK-NOT: addss
Stephen Lin	e31f2d2	2013-06-14 18:17:35 +0000	[diff] [blame]	29	; CHECK: mulss
				30	; CHECK-NOT: addss
				31	; CHECK: ret
				32	%t1 = fmul float %a, 4.0
				33	%t2 = fadd float %a, %a
				34	%r = fadd float %t1, %t2
				35	ret float %r
				36	}
				37
Stephen Lin	764d8d3	2013-07-12 14:54:12 +0000	[diff] [blame]	38	; CHECK-LABEL: test4
Stephen Lin	e31f2d2	2013-06-14 18:17:35 +0000	[diff] [blame]	39	define float @test4(float %a) {
				40	; CHECK-NOT: addss
				41	; CHECK: mulss
				42	; CHECK-NOT: addss
				43	; CHECK: ret
				44	%t1 = fadd float %a, %a
				45	%t2 = fmul float 4.0, %a
				46	%r = fadd float %t1, %t2
				47	ret float %r
				48	}
				49
Stephen Lin	764d8d3	2013-07-12 14:54:12 +0000	[diff] [blame]	50	; CHECK-LABEL: test5
Stephen Lin	e31f2d2	2013-06-14 18:17:35 +0000	[diff] [blame]	51	define float @test5(float %a) {
				52	; CHECK-NOT: addss
				53	; CHECK: mulss
				54	; CHECK-NOT: addss
				55	; CHECK: ret
				56	%t1 = fadd float %a, %a
				57	%t2 = fmul float %a, 4.0
				58	%r = fadd float %t1, %t2
				59	ret float %r
				60	}
				61
Stephen Lin	764d8d3	2013-07-12 14:54:12 +0000	[diff] [blame]	62	; CHECK-LABEL: test6
Stephen Lin	e31f2d2	2013-06-14 18:17:35 +0000	[diff] [blame]	63	define float @test6(float %a) {
				64	; CHECK-NOT: addss
Owen Anderson	d1545e3	2012-08-30 23:51:20 +0000	[diff] [blame]	65	; CHECK: xorps
				66	; CHECK-NOT: addss
Owen Anderson	cc61f87	2012-08-30 23:35:16 +0000	[diff] [blame]	67	; CHECK: ret
				68	%t1 = fmul float 2.0, %a
				69	%t2 = fadd float %a, %a
				70	%r = fsub float %t1, %t2
				71	ret float %r
				72	}
				73
Stephen Lin	764d8d3	2013-07-12 14:54:12 +0000	[diff] [blame]	74	; CHECK-LABEL: test7
Stephen Lin	e31f2d2	2013-06-14 18:17:35 +0000	[diff] [blame]	75	define float @test7(float %a) {
				76	; CHECK-NOT: addss
				77	; CHECK: xorps
				78	; CHECK-NOT: addss
				79	; CHECK: ret
				80	%t1 = fmul float %a, 2.0
				81	%t2 = fadd float %a, %a
				82	%r = fsub float %t1, %t2
				83	ret float %r
				84	}
				85
Stephen Lin	764d8d3	2013-07-12 14:54:12 +0000	[diff] [blame]	86	; CHECK-LABEL: test8
Stephen Lin	e31f2d2	2013-06-14 18:17:35 +0000	[diff] [blame]	87	define float @test8(float %a) {
Owen Anderson	b351c8d	2012-11-01 02:00:53 +0000	[diff] [blame]	88	; CHECK-NOT: fma
Benjamin Kramer	01b75cc	2013-03-09 18:25:40 +0000	[diff] [blame]	89	; CHECK-NOT: mul
Owen Anderson	b351c8d	2012-11-01 02:00:53 +0000	[diff] [blame]	90	; CHECK-NOT: add
				91	; CHECK: ret
				92	%t1 = fmul float %a, 0.0
				93	%t2 = fadd float %a, %t1
				94	ret float %t2
				95	}
				96
Stephen Lin	764d8d3	2013-07-12 14:54:12 +0000	[diff] [blame]	97	; CHECK-LABEL: test9
Stephen Lin	e31f2d2	2013-06-14 18:17:35 +0000	[diff] [blame]	98	define float @test9(float %a) {
				99	; CHECK-NOT: fma
				100	; CHECK-NOT: mul
				101	; CHECK-NOT: add
				102	; CHECK: ret
				103	%t1 = fmul float 0.0, %a
				104	%t2 = fadd float %t1, %a
				105	ret float %t2
				106	}
				107
Stephen Lin	764d8d3	2013-07-12 14:54:12 +0000	[diff] [blame]	108	; CHECK-LABEL: test10
Stephen Lin	e31f2d2	2013-06-14 18:17:35 +0000	[diff] [blame]	109	define float @test10(float %a) {
				110	; CHECK-NOT: add
				111	; CHECK: vxorps
				112	; CHECK: ret
				113	%t1 = fsub float -0.0, %a
				114	%t2 = fadd float %a, %t1
				115	ret float %t2
				116	}
				117
Stephen Lin	764d8d3	2013-07-12 14:54:12 +0000	[diff] [blame]	118	; CHECK-LABEL: test11
Stephen Lin	e31f2d2	2013-06-14 18:17:35 +0000	[diff] [blame]	119	define float @test11(float %a) {
Owen Anderson	b351c8d	2012-11-01 02:00:53 +0000	[diff] [blame]	120	; CHECK-NOT: add
				121	; CHECK: vxorps
				122	; CHECK: ret
				123	%t1 = fsub float -0.0, %a
				124	%t2 = fadd float %a, %t1
				125	ret float %t2
				126	}