1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --include-generated-funcs 2; RUN: opt -S -passes=verify,iroutliner -ir-outlining-no-cost < %s | FileCheck %s 3 4; This test checks that we do can outline indirect and regular function calls 5; when the type matches when it is not specified that the names must match. 6 7declare void @f1(); 8 9define void @function1(ptr %func) { 10entry: 11 %a = alloca i32, align 4 12 %b = alloca i32, align 4 13 %c = alloca i32, align 4 14 store i32 2, ptr %a, align 4 15 store i32 3, ptr %b, align 4 16 store i32 4, ptr %c, align 4 17 call void %func() 18 %al = load i32, ptr %a 19 %bl = load i32, ptr %b 20 %cl = load i32, ptr %c 21 ret void 22} 23 24define void @function2() { 25entry: 26 %a = alloca i32, align 4 27 %b = alloca i32, align 4 28 %c = alloca i32, align 4 29 store i32 2, ptr %a, align 4 30 store i32 3, ptr %b, align 4 31 store i32 4, ptr %c, align 4 32 call void @f1() 33 %al = load i32, ptr %a 34 %bl = load i32, ptr %b 35 %cl = load i32, ptr %c 36 ret void 37} 38; CHECK-LABEL: @function1( 39; CHECK-NEXT: entry: 40; CHECK-NEXT: [[A:%.*]] = alloca i32, align 4 41; CHECK-NEXT: [[B:%.*]] = alloca i32, align 4 42; CHECK-NEXT: [[C:%.*]] = alloca i32, align 4 43; CHECK-NEXT: call void @outlined_ir_func_0(ptr [[A]], ptr [[B]], ptr [[C]], ptr [[FUNC:%.*]]) 44; CHECK-NEXT: ret void 45; 46; 47; CHECK-LABEL: @function2( 48; CHECK-NEXT: entry: 49; CHECK-NEXT: [[A:%.*]] = alloca i32, align 4 50; CHECK-NEXT: [[B:%.*]] = alloca i32, align 4 51; CHECK-NEXT: [[C:%.*]] = alloca i32, align 4 52; CHECK-NEXT: call void @outlined_ir_func_0(ptr [[A]], ptr [[B]], ptr [[C]], ptr @f1) 53; CHECK-NEXT: ret void 54; 55; 56; CHECK-LABEL: define internal void @outlined_ir_func_0( 57; CHECK-NEXT: newFuncRoot: 58; CHECK-NEXT: br label [[ENTRY_TO_OUTLINE:%.*]] 59; CHECK: entry_to_outline: 60; CHECK-NEXT: store i32 2, ptr [[TMP0:%.*]], align 4 61; CHECK-NEXT: store i32 3, ptr [[TMP1:%.*]], align 4 62; CHECK-NEXT: store i32 4, ptr [[TMP2:%.*]], align 4 63; CHECK-NEXT: call void [[TMP3:%.*]]() 64; CHECK-NEXT: [[AL:%.*]] = load i32, ptr [[TMP0]], align 4 65; CHECK-NEXT: [[BL:%.*]] = load i32, ptr [[TMP1]], align 4 66; CHECK-NEXT: [[CL:%.*]] = load i32, ptr [[TMP2]], align 4 67; CHECK-NEXT: br label [[ENTRY_AFTER_OUTLINE_EXITSTUB:%.*]] 68; CHECK: entry_after_outline.exitStub: 69; CHECK-NEXT: ret void 70; 71