Differential D87294 Diff 290514 llvm/test/Transforms/IROutliner/outlining-different-globals.ll

Changeset View

Standalone View

llvm/test/Transforms/IROutliner/outlining-different-globals.ll

	; NOTE: Assertions have been autogenerated by utils/update_test_checks.py			; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
	; RUN: opt -S -verify -iroutliner < %s \| FileCheck %s			; RUN: opt -S -verify -iroutliner < %s \| FileCheck %s

	; This test looks at the globals in the regions, and makes sure they are not			; This test looks at the globals in the regions, and makes sure they are not
	; outlined if they are different values.			; outlined if they are different values.

	@global1 = global i32 1, align 4			@global1 = global i32 1, align 4
	@global2 = global i32 2, align 4			@global2 = global i32 2, align 4
	@global3 = global i32 3, align 4			@global3 = global i32 3, align 4
	@global4 = global i32 4, align 4			@global4 = global i32 4, align 4

	define void @outline_globals1() {			define void @outline_globals1() {
	; CHECK-LABEL: @outline_globals1(			; CHECK-LABEL: @outline_globals1(
	; CHECK-NEXT: entry:			; CHECK-NEXT: entry:
	; CHECK-NEXT: [[TMP0:%.]] = load i32, i32 @global1, align 4			; CHECK-NEXT: call void @outlined_ir_func_0(i32* @global1, i32* @global2)
	; CHECK-NEXT: [[TMP1:%.]] = load i32, i32 @global2, align 4
	; CHECK-NEXT: [[TMP2:%.*]] = add i32 [[TMP0]], [[TMP1]]
	; CHECK-NEXT: ret void			; CHECK-NEXT: ret void
	;			;
	entry:			entry:
	%0 = load i32, i32* @global1			%0 = load i32, i32* @global1
	%1 = load i32, i32* @global2			%1 = load i32, i32* @global2
	%2 = add i32 %0, %1			%2 = add i32 %0, %1
	ret void			ret void
	}			}

	define void @outline_globals2() {			define void @outline_globals2() {
	; CHECK-LABEL: @outline_globals2(			; CHECK-LABEL: @outline_globals2(
	; CHECK-NEXT: entry:			; CHECK-NEXT: entry:
	; CHECK-NEXT: [[TMP0:%.]] = load i32, i32 @global3, align 4			; CHECK-NEXT: call void @outlined_ir_func_0(i32* @global3, i32* @global4)
	; CHECK-NEXT: [[TMP1:%.]] = load i32, i32 @global4, align 4
	; CHECK-NEXT: [[TMP2:%.*]] = add i32 [[TMP0]], [[TMP1]]
	; CHECK-NEXT: ret void			; CHECK-NEXT: ret void
	;			;
	entry:			entry:
	%0 = load i32, i32* @global3			%0 = load i32, i32* @global3
	%1 = load i32, i32* @global4			%1 = load i32, i32* @global4
	%2 = add i32 %0, %1			%2 = add i32 %0, %1
	ret void			ret void
	}			}

				; CHECK: define internal void @outlined_ir_func_0(i32* [[ARG0:%.]], i32 [[ARG1:%.*]])
				; CHECK: entry_to_outline:
				; CHECK-NEXT: [[TMP0:%.]] = load i32, i32 [[ARG0]]
				; CHECK-NEXT: [[TMP1:%.]] = load i32, i32 [[ARG1]]
				; CHECK-NEXT: [[TMP2:%.*]] = add i32 [[TMP0]], [[TMP1]]