Blame - llvm/test/CodeGen/AArch64/machine-zero-copy-remove.mir - toolchain/llvm-project

blob: 854e4f8cad0a08dba265b5187bd3de5c2b745e9d [file] [log] [blame]

Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	1	# RUN: llc -mtriple=aarch64--linux-gnu -run-pass=aarch64-copyelim %s -verify-machineinstrs -o - \| FileCheck %s
				2	---
				3	# CHECK-LABEL: name: test1
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	4	# CHECK: ANDSWri $w0, 1, implicit-def $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	5	# CHECK: bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	6	# CHECK-NOT: COPY $wzr
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	7	name: test1
				8	tracksRegLiveness: true
				9	body: \|
				10	bb.0.entry:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	11	liveins: $w0, $x1, $x2
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	12
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	13	$w0 = ANDSWri $w0, 1, implicit-def $nzcv
				14	STRWui killed $w0, killed $x1, 0
				15	Bcc 1, %bb.2, implicit killed $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	16	B %bb.1
				17
				18	bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	19	liveins: $x2
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	20
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	21	$w0 = COPY $wzr
				22	STRWui killed $w0, killed $x2, 0
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	23
				24	bb.2:
				25	RET_ReallyLR
				26	...
				27	# CHECK-LABEL: name: test2
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	28	# CHECK: ANDSXri $x0, 1, implicit-def $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	29	# CHECK: bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	30	# CHECK-NOT: COPY $xzr
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	31	name: test2
				32	tracksRegLiveness: true
				33	body: \|
				34	bb.0.entry:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	35	liveins: $x0, $x1, $x2
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	36
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	37	$x0 = ANDSXri $x0, 1, implicit-def $nzcv
				38	STRXui killed $x0, killed $x1, 0
				39	Bcc 1, %bb.2, implicit killed $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	40	B %bb.1
				41
				42	bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	43	liveins: $x2
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	44
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	45	$x0 = COPY $xzr
				46	STRXui killed $x0, killed $x2, 0
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	47
				48	bb.2:
				49	RET_ReallyLR
				50	...
				51	# CHECK-LABEL: name: test3
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	52	# CHECK: ADDSWri $w0, 1, 0, implicit-def $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	53	# CHECK: bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	54	# CHECK-NOT: COPY $wzr
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	55	name: test3
				56	tracksRegLiveness: true
				57	body: \|
				58	bb.0.entry:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	59	liveins: $w0, $x1, $x2
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	60
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	61	$w0 = ADDSWri $w0, 1, 0, implicit-def $nzcv
				62	STRWui killed $w0, killed $x1, 0
				63	Bcc 1, %bb.2, implicit killed $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	64	B %bb.1
				65
				66	bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	67	liveins: $x2
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	68
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	69	$w0 = COPY $wzr
				70	STRWui killed $w0, killed $x2, 0
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	71
				72	bb.2:
				73	RET_ReallyLR
				74	...
				75	# CHECK-LABEL: name: test4
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	76	# CHECK: ADDSXri $x0, 1, 0, implicit-def $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	77	# CHECK: bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	78	# CHECK-NOT: COPY $xzr
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	79	name: test4
				80	tracksRegLiveness: true
				81	body: \|
				82	bb.0.entry:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	83	liveins: $x0, $x1, $x2
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	84
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	85	$x0 = ADDSXri $x0, 1, 0, implicit-def $nzcv
				86	STRXui killed $x0, killed $x1, 0
				87	Bcc 1, %bb.2, implicit killed $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	88	B %bb.1
				89
				90	bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	91	liveins: $x2
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	92
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	93	$x0 = COPY $xzr
				94	STRXui killed $x0, killed $x2, 0
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	95
				96	bb.2:
				97	RET_ReallyLR
				98	...
				99	# CHECK-LABEL: name: test5
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	100	# CHECK: SUBSWri $w0, 1, 0, implicit-def $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	101	# CHECK: bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	102	# CHECK-NOT: COPY $wzr
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	103	name: test5
				104	tracksRegLiveness: true
				105	body: \|
				106	bb.0.entry:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	107	liveins: $w0, $x1, $x2
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	108
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	109	$w0 = SUBSWri $w0, 1, 0, implicit-def $nzcv
				110	STRWui killed $w0, killed $x1, 0
				111	Bcc 1, %bb.2, implicit killed $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	112	B %bb.1
				113
				114	bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	115	liveins: $x2
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	116
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	117	$w0 = COPY $wzr
				118	STRWui killed $w0, killed $x2, 0
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	119
				120	bb.2:
				121	RET_ReallyLR
				122	...
				123	# CHECK-LABEL: name: test6
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	124	# CHECK: SUBSXri $x0, 1, 0, implicit-def $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	125	# CHECK: bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	126	# CHECK-NOT: COPY $xzr
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	127	name: test6
				128	tracksRegLiveness: true
				129	body: \|
				130	bb.0.entry:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	131	liveins: $x0, $x1, $x2
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	132
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	133	$x0 = SUBSXri $x0, 1, 0, implicit-def $nzcv
				134	STRXui killed $x0, killed $x1, 0
				135	Bcc 1, %bb.2, implicit killed $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	136	B %bb.1
				137
				138	bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	139	liveins: $x2
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	140
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	141	$x0 = COPY $xzr
				142	STRXui killed $x0, killed $x2, 0
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	143
				144	bb.2:
				145	RET_ReallyLR
				146	...
				147	# CHECK-LABEL: name: test7
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	148	# CHECK: ADDSWrr $w0, $w1, implicit-def $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	149	# CHECK: bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	150	# CHECK-NOT: COPY $wzr
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	151	name: test7
				152	tracksRegLiveness: true
				153	body: \|
				154	bb.0.entry:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	155	liveins: $w0, $w1, $x2, $x3
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	156
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	157	$w0 = ADDSWrr $w0, $w1, implicit-def $nzcv
				158	STRWui killed $w0, killed $x2, 0
				159	Bcc 1, %bb.2, implicit killed $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	160	B %bb.1
				161
				162	bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	163	liveins: $x3
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	164
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	165	$w0 = COPY $wzr
				166	STRWui killed $w0, killed $x3, 0
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	167
				168	bb.2:
				169	RET_ReallyLR
				170	...
				171	# CHECK-LABEL: name: test8
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	172	# CHECK: ADDSXrr $x0, $x1, implicit-def $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	173	# CHECK: bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	174	# CHECK-NOT: COPY $xzr
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	175	name: test8
				176	tracksRegLiveness: true
				177	body: \|
				178	bb.0.entry:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	179	liveins: $x0, $x1, $x2, $x3
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	180
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	181	$x0 = ADDSXrr $x0, $x1, implicit-def $nzcv
				182	STRXui killed $x0, killed $x2, 0
				183	Bcc 1, %bb.2, implicit killed $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	184	B %bb.1
				185
				186	bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	187	liveins: $x3
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	188
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	189	$x0 = COPY $xzr
				190	STRXui killed $x0, killed $x3, 0
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	191
				192	bb.2:
				193	RET_ReallyLR
				194	...
				195	# CHECK-LABEL: name: test9
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	196	# CHECK: ANDSWrr $w0, $w1, implicit-def $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	197	# CHECK: bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	198	# CHECK-NOT: COPY $wzr
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	199	name: test9
				200	tracksRegLiveness: true
				201	body: \|
				202	bb.0.entry:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	203	liveins: $w0, $w1, $x2, $x3
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	204
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	205	$w0 = ANDSWrr $w0, $w1, implicit-def $nzcv
				206	STRWui killed $w0, killed $x2, 0
				207	Bcc 1, %bb.2, implicit killed $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	208	B %bb.1
				209
				210	bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	211	liveins: $x3
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	212
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	213	$w0 = COPY $wzr
				214	STRWui killed $w0, killed $x3, 0
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	215
				216	bb.2:
				217	RET_ReallyLR
				218	...
				219	# CHECK-LABEL: name: test10
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	220	# CHECK: ANDSXrr $x0, $x1, implicit-def $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	221	# CHECK: bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	222	# CHECK-NOT: COPY $xzr
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	223	name: test10
				224	tracksRegLiveness: true
				225	body: \|
				226	bb.0.entry:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	227	liveins: $x0, $x1, $x2, $x3
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	228
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	229	$x0 = ANDSXrr $x0, $x1, implicit-def $nzcv
				230	STRXui killed $x0, killed $x2, 0
				231	Bcc 1, %bb.2, implicit killed $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	232	B %bb.1
				233
				234	bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	235	liveins: $x3
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	236
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	237	$x0 = COPY $xzr
				238	STRXui killed $x0, killed $x3, 0
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	239
				240	bb.2:
				241	RET_ReallyLR
				242	...
				243	# CHECK-LABEL: name: test11
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	244	# CHECK: BICSWrr $w0, $w1, implicit-def $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	245	# CHECK: bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	246	# CHECK-NOT: COPY $wzr
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	247	name: test11
				248	tracksRegLiveness: true
				249	body: \|
				250	bb.0.entry:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	251	liveins: $w0, $w1, $x2, $x3
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	252
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	253	$w0 = BICSWrr $w0, $w1, implicit-def $nzcv
				254	STRWui killed $w0, killed $x2, 0
				255	Bcc 1, %bb.2, implicit killed $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	256	B %bb.1
				257
				258	bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	259	liveins: $x3
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	260
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	261	$w0 = COPY $wzr
				262	STRWui killed $w0, killed $x3, 0
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	263
				264	bb.2:
				265	RET_ReallyLR
				266	...
				267	# CHECK-LABEL: name: test12
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	268	# CHECK: BICSXrr $x0, $x1, implicit-def $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	269	# CHECK: bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	270	# CHECK-NOT: COPY $xzr
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	271	name: test12
				272	tracksRegLiveness: true
				273	body: \|
				274	bb.0.entry:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	275	liveins: $x0, $x1, $x2, $x3
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	276
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	277	$x0 = BICSXrr $x0, $x1, implicit-def $nzcv
				278	STRXui killed $x0, killed $x2, 0
				279	Bcc 1, %bb.2, implicit killed $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	280	B %bb.1
				281
				282	bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	283	liveins: $x3
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	284
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	285	$x0 = COPY $xzr
				286	STRXui killed $x0, killed $x3, 0
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	287
				288	bb.2:
				289	RET_ReallyLR
				290	...
				291	# CHECK-LABEL: name: test13
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	292	# CHECK: SUBSWrr $w0, $w1, implicit-def $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	293	# CHECK: bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	294	# CHECK-NOT: COPY $wzr
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	295	name: test13
				296	tracksRegLiveness: true
				297	body: \|
				298	bb.0.entry:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	299	liveins: $w0, $w1, $x2, $x3
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	300
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	301	$w0 = SUBSWrr $w0, $w1, implicit-def $nzcv
				302	STRWui killed $w0, killed $x2, 0
				303	Bcc 1, %bb.2, implicit killed $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	304	B %bb.1
				305
				306	bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	307	liveins: $x3
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	308
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	309	$w0 = COPY $wzr
				310	STRWui killed $w0, killed $x3, 0
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	311
				312	bb.2:
				313	RET_ReallyLR
				314	...
				315	# CHECK-LABEL: name: test14
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	316	# CHECK: SUBSXrr $x0, $x1, implicit-def $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	317	# CHECK: bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	318	# CHECK-NOT: COPY $xzr
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	319	name: test14
				320	tracksRegLiveness: true
				321	body: \|
				322	bb.0.entry:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	323	liveins: $x0, $x1, $x2, $x3
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	324
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	325	$x0 = SUBSXrr $x0, $x1, implicit-def $nzcv
				326	STRXui killed $x0, killed $x2, 0
				327	Bcc 1, %bb.2, implicit killed $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	328	B %bb.1
				329
				330	bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	331	liveins: $x3
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	332
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	333	$x0 = COPY $xzr
				334	STRXui killed $x0, killed $x3, 0
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	335
				336	bb.2:
				337	RET_ReallyLR
				338	...
				339	# CHECK-LABEL: name: test15
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	340	# CHECK: ADDSWrs $w0, $w1, 0, implicit-def $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	341	# CHECK: bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	342	# CHECK-NOT: COPY $wzr
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	343	name: test15
				344	tracksRegLiveness: true
				345	body: \|
				346	bb.0.entry:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	347	liveins: $w0, $w1, $x2, $x3
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	348
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	349	$w0 = ADDSWrs $w0, $w1, 0, implicit-def $nzcv
				350	STRWui killed $w0, killed $x2, 0
				351	Bcc 1, %bb.2, implicit killed $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	352	B %bb.1
				353
				354	bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	355	liveins: $x3
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	356
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	357	$w0 = COPY $wzr
				358	STRWui killed $w0, killed $x3, 0
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	359
				360	bb.2:
				361	RET_ReallyLR
				362	...
				363	# CHECK-LABEL: name: test16
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	364	# CHECK: ADDSXrs $x0, $x1, 0, implicit-def $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	365	# CHECK: bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	366	# CHECK-NOT: COPY $xzr
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	367	name: test16
				368	tracksRegLiveness: true
				369	body: \|
				370	bb.0.entry:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	371	liveins: $x0, $x1, $x2, $x3
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	372
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	373	$x0 = ADDSXrs $x0, $x1, 0, implicit-def $nzcv
				374	STRXui killed $x0, killed $x2, 0
				375	Bcc 1, %bb.2, implicit killed $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	376	B %bb.1
				377
				378	bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	379	liveins: $x3
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	380
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	381	$x0 = COPY $xzr
				382	STRXui killed $x0, killed $x3, 0
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	383
				384	bb.2:
				385	RET_ReallyLR
				386	...
				387	# CHECK-LABEL: name: test17
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	388	# CHECK: ANDSWrs $w0, $w1, 0, implicit-def $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	389	# CHECK: bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	390	# CHECK-NOT: COPY $wzr
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	391	name: test17
				392	tracksRegLiveness: true
				393	body: \|
				394	bb.0.entry:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	395	liveins: $w0, $w1, $x2, $x3
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	396
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	397	$w0 = ANDSWrs $w0, $w1, 0, implicit-def $nzcv
				398	STRWui killed $w0, killed $x2, 0
				399	Bcc 1, %bb.2, implicit killed $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	400	B %bb.1
				401
				402	bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	403	liveins: $x3
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	404
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	405	$w0 = COPY $wzr
				406	STRWui killed $w0, killed $x3, 0
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	407
				408	bb.2:
				409	RET_ReallyLR
				410	...
				411	# CHECK-LABEL: name: test18
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	412	# CHECK: ANDSXrs $x0, $x1, 0, implicit-def $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	413	# CHECK: bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	414	# CHECK-NOT: COPY $xzr
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	415	name: test18
				416	tracksRegLiveness: true
				417	body: \|
				418	bb.0.entry:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	419	liveins: $x0, $x1, $x2, $x3
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	420
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	421	$x0 = ANDSXrs $x0, $x1, 0, implicit-def $nzcv
				422	STRXui killed $x0, killed $x2, 0
				423	Bcc 1, %bb.2, implicit killed $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	424	B %bb.1
				425
				426	bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	427	liveins: $x3
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	428
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	429	$x0 = COPY $xzr
				430	STRXui killed $x0, killed $x3, 0
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	431
				432	bb.2:
				433	RET_ReallyLR
				434	...
				435	# CHECK-LABEL: name: test19
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	436	# CHECK: BICSWrs $w0, $w1, 0, implicit-def $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	437	# CHECK: bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	438	# CHECK-NOT: COPY $wzr
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	439	name: test19
				440	tracksRegLiveness: true
				441	body: \|
				442	bb.0.entry:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	443	liveins: $w0, $w1, $x2, $x3
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	444
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	445	$w0 = BICSWrs $w0, $w1, 0, implicit-def $nzcv
				446	STRWui killed $w0, killed $x2, 0
				447	Bcc 1, %bb.2, implicit killed $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	448	B %bb.1
				449
				450	bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	451	liveins: $x3
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	452
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	453	$w0 = COPY $wzr
				454	STRWui killed $w0, killed $x3, 0
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	455
				456	bb.2:
				457	RET_ReallyLR
				458	...
				459	# Unicorn test - we can remove a redundant copy and a redundant mov
				460	# CHECK-LABEL: name: test20
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	461	# CHECK: SUBSWri $w1, 1, 0, implicit-def $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	462	# CHECK: bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	463	# CHECK-NOT: $w0 = COPY $wzr
				464	# CHECK-NOT: $w1 = MOVi32imm 1
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	465	name: test20
				466	tracksRegLiveness: true
				467	body: \|
				468	bb.0.entry:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	469	liveins: $w1, $x2
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	470
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	471	$w0 = SUBSWri $w1, 1, 0, implicit-def $nzcv
				472	Bcc 1, %bb.2, implicit killed $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	473	B %bb.1
				474
				475	bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	476	liveins: $x2
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	477
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	478	$w0 = COPY $wzr
				479	$w1 = MOVi32imm 1
				480	STRWui killed $w0, $x2, 0
				481	STRWui killed $w1, killed $x2, 1
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	482
				483	bb.2:
				484	RET_ReallyLR
				485
				486	...
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	487	# Negative test - MOVi32imm clobbers $w0
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	488	# CHECK-LABEL: name: test21
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	489	# CHECK: ANDSWri $w0, 1, implicit-def $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	490	# CHECK: bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	491	# CHECK: $w0 = COPY $wzr
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	492	name: test21
				493	tracksRegLiveness: true
				494	body: \|
				495	bb.0.entry:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	496	liveins: $w0, $x1, $x2
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	497
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	498	$w0 = ANDSWri $w0, 1, implicit-def $nzcv
				499	STRWui killed $w0, $x1, 0
				500	$w0 = MOVi32imm -1
				501	STRWui killed $w0, killed $x1, 1
				502	Bcc 1, %bb.2, implicit killed $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	503	B %bb.1
				504
				505	bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	506	liveins: $x2
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	507
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	508	$w0 = COPY $wzr
				509	STRWui killed $w0, killed $x2, 0
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	510
				511	bb.2:
				512	RET_ReallyLR
				513	...
				514	# Negative test - SUBSXri self-clobbers x0, so MOVi64imm can't be removed
				515	# CHECK-LABEL: name: test22
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	516	# CHECK: SUBSXri $x0, 1, 0, implicit-def $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	517	# CHECK: bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	518	# CHECK: $x0 = MOVi64imm 1
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	519	name: test22
				520	tracksRegLiveness: true
				521	body: \|
				522	bb.0.entry:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	523	liveins: $x0, $x1, $x2
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	524
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	525	$x0 = SUBSXri $x0, 1, 0, implicit-def $nzcv
				526	STRXui killed $x0, killed $x1, 0
				527	Bcc 1, %bb.2, implicit killed $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	528	B %bb.1
				529
				530	bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	531	liveins: $x2
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	532
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	533	$x0 = MOVi64imm 1
				534	STRXui killed $x0, killed $x2, 0
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	535
				536	bb.2:
				537	RET_ReallyLR
				538	...
				539	# Negative test - bb.1 has multiple preds
				540	# CHECK-LABEL: name: test23
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	541	# CHECK: ADDSWri $w0, 1, 0, implicit-def $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	542	# CHECK: bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	543	# CHECK: COPY $wzr
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	544	name: test23
				545	tracksRegLiveness: true
				546	body: \|
				547	bb.0.entry:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	548	liveins: $w0, $x1, $x2
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	549
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	550	$w0 = ADDSWri $w0, 1, 0, implicit-def $nzcv
				551	STRWui killed $w0, killed $x1, 0
				552	Bcc 1, %bb.2, implicit killed $nzcv
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	553	B %bb.1
				554
				555	bb.3:
				556	B %bb.1
				557
				558	bb.1:
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	559	liveins: $x2
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	560
Puyan Lotfi	43e94b1	2018-01-31 22:04:26 +0000	[diff] [blame]	561	$w0 = COPY $wzr
				562	STRWui killed $w0, killed $x2, 0
Chad Rosier	9b2b4c9	2017-07-23 16:38:08 +0000	[diff] [blame]	563
				564	bb.2:
				565	RET_ReallyLR