Blame - llvm/test/Verifier/range-1.ll - toolchain/llvm-project

blob: 170badc751a15b86a8afe261863233bc0257c031 [file] [log] [blame]

Chandler Carruth	5da5343	2012-07-02 18:37:59 +0000	[diff] [blame]	1	; RUN: not llvm-as < %s -o /dev/null 2>&1 \| FileCheck %s
Rafael Espindola	ef9f550	2012-03-24 00:14:51 +0000	[diff] [blame]	2
				3	define void @f1(i8* %x) {
				4	entry:
				5	store i8 0, i8* %x, align 1, !range !0
				6	ret void
				7	}
Duncan P. N. Exon Smith	be7ea19	2014-12-15 19:07:53 +0000	[diff] [blame]	8	!0 = !{i8 0, i8 1}
Jingyue Wu	37fcb59	2014-06-19 16:50:16 +0000	[diff] [blame]	9	; CHECK: Ranges are only for loads, calls and invokes!
Rafael Espindola	ef9f550	2012-03-24 00:14:51 +0000	[diff] [blame]	10	; CHECK-NEXT: store i8 0, i8* %x, align 1, !range !0
				11
				12	define i8 @f2(i8* %x) {
				13	entry:
David Blaikie	a79ac14	2015-02-27 21:17:42 +0000	[diff] [blame]	14	%y = load i8, i8* %x, align 1, !range !1
Rafael Espindola	ef9f550	2012-03-24 00:14:51 +0000	[diff] [blame]	15	ret i8 %y
				16	}
Duncan P. N. Exon Smith	be7ea19	2014-12-15 19:07:53 +0000	[diff] [blame]	17	!1 = !{}
Rafael Espindola	ef9f550	2012-03-24 00:14:51 +0000	[diff] [blame]	18	; CHECK: It should have at least one range!
Rafael Espindola	ef9f550	2012-03-24 00:14:51 +0000	[diff] [blame]	19
				20	define i8 @f3(i8* %x) {
				21	entry:
David Blaikie	a79ac14	2015-02-27 21:17:42 +0000	[diff] [blame]	22	%y = load i8, i8* %x, align 1, !range !2
Rafael Espindola	ef9f550	2012-03-24 00:14:51 +0000	[diff] [blame]	23	ret i8 %y
				24	}
Duncan P. N. Exon Smith	be7ea19	2014-12-15 19:07:53 +0000	[diff] [blame]	25	!2 = !{i8 0}
Rafael Espindola	ef9f550	2012-03-24 00:14:51 +0000	[diff] [blame]	26	; CHECK: Unfinished range!
				27
				28	define i8 @f4(i8* %x) {
				29	entry:
David Blaikie	a79ac14	2015-02-27 21:17:42 +0000	[diff] [blame]	30	%y = load i8, i8* %x, align 1, !range !3
Rafael Espindola	ef9f550	2012-03-24 00:14:51 +0000	[diff] [blame]	31	ret i8 %y
				32	}
Duncan P. N. Exon Smith	be7ea19	2014-12-15 19:07:53 +0000	[diff] [blame]	33	!3 = !{double 0.0, i8 0}
Rafael Espindola	ef9f550	2012-03-24 00:14:51 +0000	[diff] [blame]	34	; CHECK: The lower limit must be an integer!
				35
				36	define i8 @f5(i8* %x) {
				37	entry:
David Blaikie	a79ac14	2015-02-27 21:17:42 +0000	[diff] [blame]	38	%y = load i8, i8* %x, align 1, !range !4
Rafael Espindola	ef9f550	2012-03-24 00:14:51 +0000	[diff] [blame]	39	ret i8 %y
				40	}
Duncan P. N. Exon Smith	be7ea19	2014-12-15 19:07:53 +0000	[diff] [blame]	41	!4 = !{i8 0, double 0.0}
Rafael Espindola	ef9f550	2012-03-24 00:14:51 +0000	[diff] [blame]	42	; CHECK: The upper limit must be an integer!
				43
				44	define i8 @f6(i8* %x) {
				45	entry:
David Blaikie	a79ac14	2015-02-27 21:17:42 +0000	[diff] [blame]	46	%y = load i8, i8* %x, align 1, !range !5
Rafael Espindola	ef9f550	2012-03-24 00:14:51 +0000	[diff] [blame]	47	ret i8 %y
				48	}
Duncan P. N. Exon Smith	be7ea19	2014-12-15 19:07:53 +0000	[diff] [blame]	49	!5 = !{i32 0, i8 0}
Philip Reames	bf9676f	2014-10-20 23:52:07 +0000	[diff] [blame]	50	; CHECK: Range types must match instruction type!
Rafael Espindola	ef9f550	2012-03-24 00:14:51 +0000	[diff] [blame]	51	; CHECK: %y = load
				52
				53	define i8 @f7(i8* %x) {
				54	entry:
David Blaikie	a79ac14	2015-02-27 21:17:42 +0000	[diff] [blame]	55	%y = load i8, i8* %x, align 1, !range !6
Rafael Espindola	ef9f550	2012-03-24 00:14:51 +0000	[diff] [blame]	56	ret i8 %y
				57	}
Duncan P. N. Exon Smith	be7ea19	2014-12-15 19:07:53 +0000	[diff] [blame]	58	!6 = !{i8 0, i32 0}
Philip Reames	bf9676f	2014-10-20 23:52:07 +0000	[diff] [blame]	59	; CHECK: Range types must match instruction type!
Rafael Espindola	ef9f550	2012-03-24 00:14:51 +0000	[diff] [blame]	60	; CHECK: %y = load
				61
				62	define i8 @f8(i8* %x) {
				63	entry:
David Blaikie	a79ac14	2015-02-27 21:17:42 +0000	[diff] [blame]	64	%y = load i8, i8* %x, align 1, !range !7
Rafael Espindola	ef9f550	2012-03-24 00:14:51 +0000	[diff] [blame]	65	ret i8 %y
				66	}
Duncan P. N. Exon Smith	be7ea19	2014-12-15 19:07:53 +0000	[diff] [blame]	67	!7 = !{i32 0, i32 0}
Philip Reames	bf9676f	2014-10-20 23:52:07 +0000	[diff] [blame]	68	; CHECK: Range types must match instruction type!
Rafael Espindola	ef9f550	2012-03-24 00:14:51 +0000	[diff] [blame]	69	; CHECK: %y = load
				70
				71	define i8 @f9(i8* %x) {
				72	entry:
David Blaikie	a79ac14	2015-02-27 21:17:42 +0000	[diff] [blame]	73	%y = load i8, i8* %x, align 1, !range !8
Rafael Espindola	ef9f550	2012-03-24 00:14:51 +0000	[diff] [blame]	74	ret i8 %y
				75	}
Duncan P. N. Exon Smith	be7ea19	2014-12-15 19:07:53 +0000	[diff] [blame]	76	!8 = !{i8 0, i8 0}
Rafael Espindola	ef9f550	2012-03-24 00:14:51 +0000	[diff] [blame]	77	; CHECK: Range must not be empty!
Rafael Espindola	97d7787	2012-05-31 13:45:46 +0000	[diff] [blame]	78
				79	define i8 @f10(i8* %x) {
				80	entry:
David Blaikie	a79ac14	2015-02-27 21:17:42 +0000	[diff] [blame]	81	%y = load i8, i8* %x, align 1, !range !9
Rafael Espindola	97d7787	2012-05-31 13:45:46 +0000	[diff] [blame]	82	ret i8 %y
				83	}
Duncan P. N. Exon Smith	be7ea19	2014-12-15 19:07:53 +0000	[diff] [blame]	84	!9 = !{i8 0, i8 2, i8 1, i8 3}
Rafael Espindola	e3c5f3e	2012-05-31 16:04:26 +0000	[diff] [blame]	85	; CHECK: Intervals are overlapping
Rafael Espindola	97d7787	2012-05-31 13:45:46 +0000	[diff] [blame]	86
				87	define i8 @f11(i8* %x) {
				88	entry:
David Blaikie	a79ac14	2015-02-27 21:17:42 +0000	[diff] [blame]	89	%y = load i8, i8* %x, align 1, !range !10
Rafael Espindola	97d7787	2012-05-31 13:45:46 +0000	[diff] [blame]	90	ret i8 %y
				91	}
Duncan P. N. Exon Smith	be7ea19	2014-12-15 19:07:53 +0000	[diff] [blame]	92	!10 = !{i8 0, i8 2, i8 2, i8 3}
Rafael Espindola	e3c5f3e	2012-05-31 16:04:26 +0000	[diff] [blame]	93	; CHECK: Intervals are contiguous
Rafael Espindola	97d7787	2012-05-31 13:45:46 +0000	[diff] [blame]	94
				95	define i8 @f12(i8* %x) {
				96	entry:
David Blaikie	a79ac14	2015-02-27 21:17:42 +0000	[diff] [blame]	97	%y = load i8, i8* %x, align 1, !range !11
Rafael Espindola	97d7787	2012-05-31 13:45:46 +0000	[diff] [blame]	98	ret i8 %y
				99	}
Duncan P. N. Exon Smith	be7ea19	2014-12-15 19:07:53 +0000	[diff] [blame]	100	!11 = !{i8 1, i8 2, i8 -1, i8 0}
Rafael Espindola	e3c5f3e	2012-05-31 16:04:26 +0000	[diff] [blame]	101	; CHECK: Intervals are not in order
Rafael Espindola	97d7787	2012-05-31 13:45:46 +0000	[diff] [blame]	102
				103	define i8 @f13(i8* %x) {
				104	entry:
David Blaikie	a79ac14	2015-02-27 21:17:42 +0000	[diff] [blame]	105	%y = load i8, i8* %x, align 1, !range !12
Rafael Espindola	97d7787	2012-05-31 13:45:46 +0000	[diff] [blame]	106	ret i8 %y
				107	}
Duncan P. N. Exon Smith	be7ea19	2014-12-15 19:07:53 +0000	[diff] [blame]	108	!12 = !{i8 1, i8 3, i8 5, i8 1}
Rafael Espindola	e3c5f3e	2012-05-31 16:04:26 +0000	[diff] [blame]	109	; CHECK: Intervals are contiguous
Rafael Espindola	97d7787	2012-05-31 13:45:46 +0000	[diff] [blame]	110
				111	define i8 @f14(i8* %x) {
				112	entry:
David Blaikie	a79ac14	2015-02-27 21:17:42 +0000	[diff] [blame]	113	%y = load i8, i8* %x, align 1, !range !13
Rafael Espindola	97d7787	2012-05-31 13:45:46 +0000	[diff] [blame]	114	ret i8 %y
				115	}
Duncan P. N. Exon Smith	be7ea19	2014-12-15 19:07:53 +0000	[diff] [blame]	116	!13 = !{i8 1, i8 3, i8 5, i8 2}
Rafael Espindola	e3c5f3e	2012-05-31 16:04:26 +0000	[diff] [blame]	117	; CHECK: Intervals are overlapping
				118
				119	define i8 @f15(i8* %x) {
				120	entry:
David Blaikie	a79ac14	2015-02-27 21:17:42 +0000	[diff] [blame]	121	%y = load i8, i8* %x, align 1, !range !14
Rafael Espindola	e3c5f3e	2012-05-31 16:04:26 +0000	[diff] [blame]	122	ret i8 %y
				123	}
Duncan P. N. Exon Smith	be7ea19	2014-12-15 19:07:53 +0000	[diff] [blame]	124	!14 = !{i8 10, i8 1, i8 12, i8 13}
Rafael Espindola	e3c5f3e	2012-05-31 16:04:26 +0000	[diff] [blame]	125	; CHECK: Intervals are overlapping
				126
				127	define i8 @f16(i8* %x) {
				128	entry:
David Blaikie	a79ac14	2015-02-27 21:17:42 +0000	[diff] [blame]	129	%y = load i8, i8* %x, align 1, !range !16
Rafael Espindola	e3c5f3e	2012-05-31 16:04:26 +0000	[diff] [blame]	130	ret i8 %y
				131	}
Duncan P. N. Exon Smith	be7ea19	2014-12-15 19:07:53 +0000	[diff] [blame]	132	!16 = !{i8 1, i8 3, i8 4, i8 5, i8 6, i8 2}
Rafael Espindola	e3c5f3e	2012-05-31 16:04:26 +0000	[diff] [blame]	133	; CHECK: Intervals are overlapping
				134
				135	define i8 @f17(i8* %x) {
				136	entry:
David Blaikie	a79ac14	2015-02-27 21:17:42 +0000	[diff] [blame]	137	%y = load i8, i8* %x, align 1, !range !17
Rafael Espindola	e3c5f3e	2012-05-31 16:04:26 +0000	[diff] [blame]	138	ret i8 %y
				139	}
Duncan P. N. Exon Smith	be7ea19	2014-12-15 19:07:53 +0000	[diff] [blame]	140	!17 = !{i8 1, i8 3, i8 4, i8 5, i8 6, i8 1}
Rafael Espindola	e3c5f3e	2012-05-31 16:04:26 +0000	[diff] [blame]	141	; CHECK: Intervals are contiguous
Philip Reames	bf9676f	2014-10-20 23:52:07 +0000	[diff] [blame]	142
				143	define i8 @f18() {
				144	entry:
				145	%y = call i8 undef(), !range !18
				146	ret i8 %y
				147	}
Duncan P. N. Exon Smith	be7ea19	2014-12-15 19:07:53 +0000	[diff] [blame]	148	!18 = !{}
Philip Reames	bf9676f	2014-10-20 23:52:07 +0000	[diff] [blame]	149	; CHECK: It should have at least one range!