Blame - llvm/test/CodeGen/PowerPC/anon_aggr.ll - toolchain/llvm-project

blob: 9b32a8f55f34cd460b1ae881c007d9e8c9163e12 [file] [log] [blame]

Ehsan Amiri	a538b0f	2016-08-03 18:17:35 +0000	[diff] [blame]	1	; RUN: llc -verify-machineinstrs -O0 -mcpu=ppc64 -mtriple=powerpc64-unknown-linux-gnu -fast-isel=false < %s \| FileCheck %s
				2	; RUN: llc -verify-machineinstrs -O0 -mcpu=g4 -mtriple=powerpc-apple-darwin8 < %s \| FileCheck -check-prefix=DARWIN32 %s
				3	; RUN: llc -verify-machineinstrs -O0 -mcpu=ppc970 -mtriple=powerpc64-apple-darwin8 < %s \| FileCheck -check-prefix=DARWIN64 %s
Bill Schmidt	6631e94	2013-02-20 17:31:41 +0000	[diff] [blame]	4
				5	; Test case for PR 14779: anonymous aggregates are not handled correctly.
Bill Schmidt	38b6cb5	2013-05-08 17:22:33 +0000	[diff] [blame]	6	; Darwin bug report PR 15821 is similar.
Bill Schmidt	6631e94	2013-02-20 17:31:41 +0000	[diff] [blame]	7	; The bug is triggered by passing a byval structure after an anonymous
				8	; aggregate.
				9
				10	%tarray = type { i64, i8* }
				11
				12	define i8* @func1({ i64, i8* } %array, i8* %ptr) {
				13	entry:
				14	%array_ptr = extractvalue {i64, i8* } %array, 1
				15	%cond = icmp eq i8* %array_ptr, %ptr
				16	br i1 %cond, label %equal, label %unequal
				17	equal:
				18	ret i8* %array_ptr
				19	unequal:
				20	ret i8* %ptr
				21	}
				22
Stephen Lin	d24ab20	2013-07-14 06:24:09 +0000	[diff] [blame]	23	; CHECK-LABEL: func1:
Hal Finkel	7c5cb06	2015-04-23 18:30:38 +0000	[diff] [blame]	24	; CHECK: cmpld {{([0-9]+,)?}}4, 5
Bill Schmidt	4a28e82	2013-06-13 20:23:34 +0000	[diff] [blame]	25	; CHECK-DAG: std 4, -[[OFFSET1:[0-9]+]]
				26	; CHECK-DAG: std 5, -[[OFFSET2:[0-9]+]]
Bill Schmidt	6631e94	2013-02-20 17:31:41 +0000	[diff] [blame]	27	; CHECK: ld 3, -[[OFFSET1]](1)
				28	; CHECK: ld 3, -[[OFFSET2]](1)
				29
Bill Schmidt	38b6cb5	2013-05-08 17:22:33 +0000	[diff] [blame]	30	; DARWIN32: _func1:
				31	; DARWIN32: mr
				32	; DARWIN32: mr r[[REG1:[0-9]+]], r[[REGA:[0-9]+]]
				33	; DARWIN32: mr r[[REG2:[0-9]+]], r[[REGB:[0-9]+]]
Hal Finkel	7c5cb06	2015-04-23 18:30:38 +0000	[diff] [blame]	34	; DARWIN32: cmplw {{(cr[0-9]+,)?}}r[[REGA]], r[[REGB]]
Bill Schmidt	38b6cb5	2013-05-08 17:22:33 +0000	[diff] [blame]	35	; DARWIN32: stw r[[REG1]], -[[OFFSET1:[0-9]+]]
				36	; DARWIN32: stw r[[REG2]], -[[OFFSET2:[0-9]+]]
				37	; DARWIN32: lwz r3, -[[OFFSET1]]
				38	; DARWIN32: lwz r3, -[[OFFSET2]]
				39
				40	; DARWIN64: _func1:
				41	; DARWIN64: mr
				42	; DARWIN64: mr r[[REG1:[0-9]+]], r[[REGA:[0-9]+]]
				43	; DARWIN64: mr r[[REG2:[0-9]+]], r[[REGB:[0-9]+]]
Hal Finkel	7c5cb06	2015-04-23 18:30:38 +0000	[diff] [blame]	44	; DARWIN64: cmpld {{(cr[0-9]+,)?}}r[[REGA]], r[[REGB]]
Bill Schmidt	38b6cb5	2013-05-08 17:22:33 +0000	[diff] [blame]	45	; DARWIN64: std r[[REG1]], -[[OFFSET1:[0-9]+]]
				46	; DARWIN64: std r[[REG2]], -[[OFFSET2:[0-9]+]]
				47	; DARWIN64: ld r3, -[[OFFSET1]]
				48	; DARWIN64: ld r3, -[[OFFSET2]]
				49
Bill Schmidt	6631e94	2013-02-20 17:31:41 +0000	[diff] [blame]	50
				51	define i8* @func2({ i64, i8* } %array1, %tarray* byval %array2) {
				52	entry:
				53	%array1_ptr = extractvalue {i64, i8* } %array1, 1
David Blaikie	79e6c74	2015-02-27 19:29:02 +0000	[diff] [blame]	54	%tmp = getelementptr inbounds %tarray, %tarray* %array2, i32 0, i32 1
David Blaikie	a79ac14	2015-02-27 21:17:42 +0000	[diff] [blame]	55	%array2_ptr = load i8, i8* %tmp
Bill Schmidt	6631e94	2013-02-20 17:31:41 +0000	[diff] [blame]	56	%cond = icmp eq i8* %array1_ptr, %array2_ptr
				57	br i1 %cond, label %equal, label %unequal
				58	equal:
				59	ret i8* %array1_ptr
				60	unequal:
				61	ret i8* %array2_ptr
				62	}
Stephen Lin	d24ab20	2013-07-14 06:24:09 +0000	[diff] [blame]	63	; CHECK-LABEL: func2:
Nirav Dave	54e22f3	2017-03-14 00:34:14 +0000	[diff] [blame]	64	; CHECK: cmpld {{([0-9]+,)?}}4, 6
				65	; CHECK-DAG: std 6, 72(1)
				66	; CHECK-DAG: std 5, 64(1)
				67	; CHECK-DAG: std 6, -[[OFFSET1:[0-9]+]]
Nirav Dave	a413361	2016-11-28 14:30:29 +0000	[diff] [blame]	68	; CHECK-DAG: std 4, -[[OFFSET2:[0-9]+]]
Bill Schmidt	6631e94	2013-02-20 17:31:41 +0000	[diff] [blame]	69	; CHECK: ld 3, -[[OFFSET2]](1)
				70	; CHECK: ld 3, -[[OFFSET1]](1)
				71
Nirav Dave	54e22f3	2017-03-14 00:34:14 +0000	[diff] [blame]	72	; DARWIN32-LABEL: _func2
				73	; DARWIN32-DAG: addi r[[REG8:[0-9]+]], r[[REGSP:[0-9]+]], 36
				74	; DARWIN32-DAG: lwz r[[REG2:[0-9]+]], 44(r[[REGSP]])
Bill Schmidt	38b6cb5	2013-05-08 17:22:33 +0000	[diff] [blame]	75	; DARWIN32: mr
Nirav Dave	54e22f3	2017-03-14 00:34:14 +0000	[diff] [blame]	76	; DARWIN32: mr r[[REG7:[0-9]+]], r5
				77	; DARWIN32-DAG: cmplw {{(cr[0-9]+,)?}}r5, r[[REG2]]
				78	; DARWIN32-DAG: stw r[[REG7]], -[[OFFSET1:[0-9]+]]
				79	; DARWIN32-DAG: stw r[[REG2]], -[[OFFSET2:[0-9]+]]
				80	; DARWIN32-DAG: lwz r3, -[[OFFSET1]]
				81	; DARWIN32-DAG: lwz r3, -[[OFFSET2]]
				82
Bill Schmidt	38b6cb5	2013-05-08 17:22:33 +0000	[diff] [blame]	83
				84	; DARWIN64: _func2:
Ulrich Weigand	55a9665	2014-07-20 22:26:40 +0000	[diff] [blame]	85	; DARWIN64: ld r[[REG2:[0-9]+]], 72(r1)
Bill Schmidt	38b6cb5	2013-05-08 17:22:33 +0000	[diff] [blame]	86	; DARWIN64: mr
				87	; DARWIN64: mr r[[REG3:[0-9]+]], r[[REGA:[0-9]+]]
Hal Finkel	7c5cb06	2015-04-23 18:30:38 +0000	[diff] [blame]	88	; DARWIN64: cmpld {{(cr[0-9]+,)?}}r[[REGA]], r[[REG2]]
Chandler Carruth	ce52b80	2017-03-03 10:02:25 +0000	[diff] [blame]	89	; DARWIN64: std r[[REG2]], -[[OFFSET2:[0-9]+]]
Nirav Dave	54e22f3	2017-03-14 00:34:14 +0000	[diff] [blame]	90	; DARWIN64: std r[[REG3]], -[[OFFSET1:[0-9]+]]
Bill Schmidt	38b6cb5	2013-05-08 17:22:33 +0000	[diff] [blame]	91	; DARWIN64: ld r3, -[[OFFSET1]]
				92	; DARWIN64: ld r3, -[[OFFSET2]]
				93
				94
Bill Schmidt	6631e94	2013-02-20 17:31:41 +0000	[diff] [blame]	95	define i8* @func3({ i64, i8* }* byval %array1, %tarray* byval %array2) {
				96	entry:
David Blaikie	79e6c74	2015-02-27 19:29:02 +0000	[diff] [blame]	97	%tmp1 = getelementptr inbounds { i64, i8* }, { i64, i8* }* %array1, i32 0, i32 1
David Blaikie	a79ac14	2015-02-27 21:17:42 +0000	[diff] [blame]	98	%array1_ptr = load i8, i8* %tmp1
David Blaikie	79e6c74	2015-02-27 19:29:02 +0000	[diff] [blame]	99	%tmp2 = getelementptr inbounds %tarray, %tarray* %array2, i32 0, i32 1
David Blaikie	a79ac14	2015-02-27 21:17:42 +0000	[diff] [blame]	100	%array2_ptr = load i8, i8* %tmp2
Bill Schmidt	6631e94	2013-02-20 17:31:41 +0000	[diff] [blame]	101	%cond = icmp eq i8* %array1_ptr, %array2_ptr
				102	br i1 %cond, label %equal, label %unequal
				103	equal:
				104	ret i8* %array1_ptr
				105	unequal:
				106	ret i8* %array2_ptr
				107	}
				108
Stephen Lin	d24ab20	2013-07-14 06:24:09 +0000	[diff] [blame]	109	; CHECK-LABEL: func3:
Nirav Dave	54e22f3	2017-03-14 00:34:14 +0000	[diff] [blame]	110	; CHECK: cmpld {{([0-9]+,)?}}4, 6
				111	; CHECK-DAG: std 4, -[[OFFSET2:[0-9]+]](1)
				112	; CHECK-DAG: std 6, -[[OFFSET1:[0-9]+]](1)
Bill Schmidt	6631e94	2013-02-20 17:31:41 +0000	[diff] [blame]	113	; CHECK: ld 3, -[[OFFSET2]](1)
				114	; CHECK: ld 3, -[[OFFSET1]](1)
				115
Nirav Dave	54e22f3	2017-03-14 00:34:14 +0000	[diff] [blame]	116	; DARWIN32-LABEL: _func3:
				117	; DARWIN32-DAG: stw r[[REG8:[0-9]+]], 44(r[[REGSP:[0-9]+]])
				118	; DARWIN32-DAG: stw r[[REG5:[0-9]+]], 32(r[[REGSP]])
				119	; DARWIN32-DAG: addi r[[REG5a:[0-9]+]], r[[REGSP:[0-9]+]], 36
				120	; DARWIN32-DAG: addi r[[REG8a:[0-9]+]], r[[REGSP]], 24
				121	; DARWIN32-DAG: lwz r[[REG5a:[0-9]+]], 44(r[[REGSP]])
				122	; DARWIN32-DAG: lwz r[[REG8a:[0-9]+]], 32(r[[REGSP]])
				123	; DARWIN32-DAG: cmplw {{(cr[0-9]+,)?}}r[[REG8a]], r[[REG5a]]
				124	; DARWIN32-DAG: stw r[[REG5a]], -[[OFFSET1:[0-9]+]]
				125	; DARWIN32-DAG: stw r[[REG8a]], -[[OFFSET2:[0-9]+]]
				126	; DARWIN32-DAG: lwz r3, -[[OFFSET1:[0-9]+]]
				127	; DARWIN32-DAG: lwz r3, -[[OFFSET2:[0-9]+]]
Bill Schmidt	38b6cb5	2013-05-08 17:22:33 +0000	[diff] [blame]	128
				129	; DARWIN64: _func3:
Ulrich Weigand	55a9665	2014-07-20 22:26:40 +0000	[diff] [blame]	130	; DARWIN64: ld r[[REG3:[0-9]+]], 72(r1)
				131	; DARWIN64: ld r[[REG4:[0-9]+]], 56(r1)
Hal Finkel	7c5cb06	2015-04-23 18:30:38 +0000	[diff] [blame]	132	; DARWIN64: cmpld {{(cr[0-9]+,)?}}r[[REG4]], r[[REG3]]
Bill Schmidt	38b6cb5	2013-05-08 17:22:33 +0000	[diff] [blame]	133	; DARWIN64: std r[[REG3]], -[[OFFSET1:[0-9]+]]
				134	; DARWIN64: std r[[REG4]], -[[OFFSET2:[0-9]+]]
				135	; DARWIN64: ld r3, -[[OFFSET2]]
				136	; DARWIN64: ld r3, -[[OFFSET1]]
				137
				138
Bill Schmidt	6631e94	2013-02-20 17:31:41 +0000	[diff] [blame]	139	define i8* @func4(i64 %p1, i64 %p2, i64 %p3, i64 %p4,
				140	i64 %p5, i64 %p6, i64 %p7, i64 %p8,
				141	{ i64, i8* } %array1, %tarray* byval %array2) {
				142	entry:
				143	%array1_ptr = extractvalue {i64, i8* } %array1, 1
David Blaikie	79e6c74	2015-02-27 19:29:02 +0000	[diff] [blame]	144	%tmp = getelementptr inbounds %tarray, %tarray* %array2, i32 0, i32 1
David Blaikie	a79ac14	2015-02-27 21:17:42 +0000	[diff] [blame]	145	%array2_ptr = load i8, i8* %tmp
Bill Schmidt	6631e94	2013-02-20 17:31:41 +0000	[diff] [blame]	146	%cond = icmp eq i8* %array1_ptr, %array2_ptr
				147	br i1 %cond, label %equal, label %unequal
				148	equal:
				149	ret i8* %array1_ptr
				150	unequal:
				151	ret i8* %array2_ptr
				152	}
				153
Stephen Lin	d24ab20	2013-07-14 06:24:09 +0000	[diff] [blame]	154	; CHECK-LABEL: func4:
Ulrich Weigand	55a9665	2014-07-20 22:26:40 +0000	[diff] [blame]	155	; CHECK: ld [[REG3:[0-9]+]], 136(1)
Bill Schmidt	6631e94	2013-02-20 17:31:41 +0000	[diff] [blame]	156	; CHECK: ld [[REG2:[0-9]+]], 120(1)
Hal Finkel	7c5cb06	2015-04-23 18:30:38 +0000	[diff] [blame]	157	; CHECK: cmpld {{([0-9]+,)?}}[[REG2]], [[REG3]]
Bill Schmidt	6631e94	2013-02-20 17:31:41 +0000	[diff] [blame]	158	; CHECK: std [[REG3]], -[[OFFSET2:[0-9]+]](1)
Ulrich Weigand	55a9665	2014-07-20 22:26:40 +0000	[diff] [blame]	159	; CHECK: std [[REG2]], -[[OFFSET1:[0-9]+]](1)
Bill Schmidt	6631e94	2013-02-20 17:31:41 +0000	[diff] [blame]	160	; CHECK: ld 3, -[[OFFSET1]](1)
				161	; CHECK: ld 3, -[[OFFSET2]](1)
				162
Bill Schmidt	38b6cb5	2013-05-08 17:22:33 +0000	[diff] [blame]	163	; DARWIN32: _func4:
				164	; DARWIN32: lwz r[[REG4:[0-9]+]], 96(r1)
				165	; DARWIN32: addi r[[REG1:[0-9]+]], r1, 100
				166	; DARWIN32: lwz r[[REG3:[0-9]+]], 108(r1)
				167	; DARWIN32: mr r[[REG2:[0-9]+]], r[[REG4]]
Hal Finkel	7c5cb06	2015-04-23 18:30:38 +0000	[diff] [blame]	168	; DARWIN32: cmplw {{(cr[0-9]+,)?}}r[[REG4]], r[[REG3]]
Owen Anderson	db42012	2015-03-19 22:48:57 +0000	[diff] [blame]	169	; DARWIN32: stw r[[REG2]], -[[OFFSET1:[0-9]+]]
Bill Schmidt	38b6cb5	2013-05-08 17:22:33 +0000	[diff] [blame]	170	; DARWIN32: stw r[[REG3]], -[[OFFSET2:[0-9]+]]
				171	; DARWIN32: lwz r[[REG1]], -[[OFFSET1]]
				172	; DARWIN32: lwz r[[REG1]], -[[OFFSET2]]
				173
				174	; DARWIN64: _func4:
Bill Schmidt	38b6cb5	2013-05-08 17:22:33 +0000	[diff] [blame]	175	; DARWIN64: ld r[[REG2:[0-9]+]], 120(r1)
Ulrich Weigand	55a9665	2014-07-20 22:26:40 +0000	[diff] [blame]	176	; DARWIN64: ld r[[REG3:[0-9]+]], 136(r1)
Bill Schmidt	38b6cb5	2013-05-08 17:22:33 +0000	[diff] [blame]	177	; DARWIN64: mr r[[REG4:[0-9]+]], r[[REG2]]
Hal Finkel	7c5cb06	2015-04-23 18:30:38 +0000	[diff] [blame]	178	; DARWIN64: cmpld {{(cr[0-9]+,)?}}r[[REG2]], r[[REG3]]
Bill Schmidt	38b6cb5	2013-05-08 17:22:33 +0000	[diff] [blame]	179	; DARWIN64: std r[[REG4]], -[[OFFSET1:[0-9]+]]
				180	; DARWIN64: std r[[REG3]], -[[OFFSET2:[0-9]+]]
				181	; DARWIN64: ld r3, -[[OFFSET1]]
				182	; DARWIN64: ld r3, -[[OFFSET2]]