71 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --include-generated-funcs2; RUN: opt -S -passes=verify,iroutliner -ir-outlining-no-cost < %s | FileCheck %s3 4; This test checks that we do can outline indirect and regular function calls5; 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 412 %b = alloca i32, align 413 %c = alloca i32, align 414 store i32 2, ptr %a, align 415 store i32 3, ptr %b, align 416 store i32 4, ptr %c, align 417 call void %func()18 %al = load i32, ptr %a19 %bl = load i32, ptr %b20 %cl = load i32, ptr %c21 ret void22}23 24define void @function2() {25entry:26 %a = alloca i32, align 427 %b = alloca i32, align 428 %c = alloca i32, align 429 store i32 2, ptr %a, align 430 store i32 3, ptr %b, align 431 store i32 4, ptr %c, align 432 call void @f1()33 %al = load i32, ptr %a34 %bl = load i32, ptr %b35 %cl = load i32, ptr %c36 ret void37}38; CHECK-LABEL: @function1(39; CHECK-NEXT: entry:40; CHECK-NEXT: [[A:%.*]] = alloca i32, align 441; CHECK-NEXT: [[B:%.*]] = alloca i32, align 442; CHECK-NEXT: [[C:%.*]] = alloca i32, align 443; CHECK-NEXT: call void @outlined_ir_func_0(ptr [[A]], ptr [[B]], ptr [[C]], ptr [[FUNC:%.*]])44; CHECK-NEXT: ret void45;46;47; CHECK-LABEL: @function2(48; CHECK-NEXT: entry:49; CHECK-NEXT: [[A:%.*]] = alloca i32, align 450; CHECK-NEXT: [[B:%.*]] = alloca i32, align 451; CHECK-NEXT: [[C:%.*]] = alloca i32, align 452; CHECK-NEXT: call void @outlined_ir_func_0(ptr [[A]], ptr [[B]], ptr [[C]], ptr @f1)53; CHECK-NEXT: ret void54;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 461; CHECK-NEXT: store i32 3, ptr [[TMP1:%.*]], align 462; CHECK-NEXT: store i32 4, ptr [[TMP2:%.*]], align 463; CHECK-NEXT: call void [[TMP3:%.*]]()64; CHECK-NEXT: [[AL:%.*]] = load i32, ptr [[TMP0]], align 465; CHECK-NEXT: [[BL:%.*]] = load i32, ptr [[TMP1]], align 466; CHECK-NEXT: [[CL:%.*]] = load i32, ptr [[TMP2]], align 467; CHECK-NEXT: br label [[ENTRY_AFTER_OUTLINE_EXITSTUB:%.*]]68; CHECK: entry_after_outline.exitStub:69; CHECK-NEXT: ret void70;71