59 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=verify,iroutliner -ir-outlining-no-cost --no-ir-sim-indirect-calls < %s | FileCheck %s3 4; This test checks that we do not outline indirect calls when it is specified5; that we should not.6 7declare void @f1(ptr, ptr);8declare void @f2(ptr, ptr);9 10define void @function1(ptr %func) {11; CHECK-LABEL: @function1(12; CHECK-NEXT: entry:13; CHECK-NEXT: [[A:%.*]] = alloca i32, align 414; CHECK-NEXT: [[B:%.*]] = alloca i32, align 415; CHECK-NEXT: [[C:%.*]] = alloca i32, align 416; CHECK-NEXT: call void @outlined_ir_func_1(ptr [[A]], ptr [[B]], ptr [[C]])17; CHECK-NEXT: call void [[FUNC:%.*]]()18; CHECK-NEXT: call void @outlined_ir_func_0(ptr [[A]], ptr [[B]], ptr [[C]])19; CHECK-NEXT: ret void20;21entry:22 %a = alloca i32, align 423 %b = alloca i32, align 424 %c = alloca i32, align 425 store i32 2, ptr %a, align 426 store i32 3, ptr %b, align 427 store i32 4, ptr %c, align 428 call void %func()29 %al = load i32, ptr %a30 %bl = load i32, ptr %b31 %cl = load i32, ptr %c32 ret void33}34 35define void @function2(ptr %func) {36; CHECK-LABEL: @function2(37; CHECK-NEXT: entry:38; CHECK-NEXT: [[A:%.*]] = alloca i32, align 439; CHECK-NEXT: [[B:%.*]] = alloca i32, align 440; CHECK-NEXT: [[C:%.*]] = alloca i32, align 441; CHECK-NEXT: call void @outlined_ir_func_1(ptr [[A]], ptr [[B]], ptr [[C]])42; CHECK-NEXT: call void [[FUNC:%.*]]()43; CHECK-NEXT: call void @outlined_ir_func_0(ptr [[A]], ptr [[B]], ptr [[C]])44; CHECK-NEXT: ret void45;46entry:47 %a = alloca i32, align 448 %b = alloca i32, align 449 %c = alloca i32, align 450 store i32 2, ptr %a, align 451 store i32 3, ptr %b, align 452 store i32 4, ptr %c, align 453 call void %func()54 %al = load i32, ptr %a55 %bl = load i32, ptr %b56 %cl = load i32, ptr %c57 ret void58}59