92 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=verify,iroutliner -ir-outlining-no-cost < %s | FileCheck %s3 4; This test shows that we do not outline from basic blocks with their address5; taken.6 7@ba1 = constant ptr blockaddress (@dontoutline, %new_block)8 9define void @outline_1() {10; CHECK-LABEL: @outline_1(11; CHECK-NEXT: entry:12; CHECK-NEXT: [[A:%.*]] = alloca i32, align 413; CHECK-NEXT: [[B:%.*]] = alloca i32, align 414; CHECK-NEXT: [[C:%.*]] = alloca i32, align 415; CHECK-NEXT: call void @[[FUNCTION_1:.*]](ptr [[A]], ptr [[B]], ptr [[C]])16; CHECK-NEXT: ret void17;18entry:19 %a = alloca i32, align 420 %b = alloca i32, align 421 %c = alloca i32, align 422 store i32 2, ptr %a, align 423 store i32 3, ptr %b, align 424 store i32 4, ptr %c, align 425 %al = load i32, ptr %a26 %bl = load i32, ptr %b27 %cl = load i32, ptr %c28 ret void29}30 31define void @outline_2() {32; CHECK-LABEL: @outline_2(33; CHECK-NEXT: entry:34; CHECK-NEXT: [[A:%.*]] = alloca i32, align 435; CHECK-NEXT: [[B:%.*]] = alloca i32, align 436; CHECK-NEXT: [[C:%.*]] = alloca i32, align 437; CHECK-NEXT: call void @[[FUNCTION_1]](ptr [[A]], ptr [[B]], ptr [[C]])38; CHECK-NEXT: ret void39;40entry:41 %a = alloca i32, align 442 %b = alloca i32, align 443 %c = alloca i32, align 444 store i32 2, ptr %a, align 445 store i32 3, ptr %b, align 446 store i32 4, ptr %c, align 447 %al = load i32, ptr %a48 %bl = load i32, ptr %b49 %cl = load i32, ptr %c50 ret void51}52 53define void @dontoutline() {54; CHECK-LABEL: @dontoutline(55; CHECK-NEXT: entry:56; CHECK-NEXT: [[A:%.*]] = alloca i32, align 457; CHECK-NEXT: [[B:%.*]] = alloca i32, align 458; CHECK-NEXT: [[C:%.*]] = alloca i32, align 459; CHECK-NEXT: br label [[NEW_BLOCK:%.*]]60; CHECK: new_block:61; CHECK-NEXT: store i32 2, ptr [[A]], align 462; CHECK-NEXT: store i32 3, ptr [[B]], align 463; CHECK-NEXT: store i32 4, ptr [[C]], align 464; CHECK-NEXT: [[AL:%.*]] = load i32, ptr [[A]], align 465; CHECK-NEXT: [[BL:%.*]] = load i32, ptr [[B]], align 466; CHECK-NEXT: [[CL:%.*]] = load i32, ptr [[C]], align 467; CHECK-NEXT: ret void68;69entry:70 %a = alloca i32, align 471 %b = alloca i32, align 472 %c = alloca i32, align 473 br label %new_block74new_block:75 store i32 2, ptr %a, align 476 store i32 3, ptr %b, align 477 store i32 4, ptr %c, align 478 %al = load i32, ptr %a79 %bl = load i32, ptr %b80 %cl = load i32, ptr %c81 ret void82}83 84; CHECK: define internal void @[[FUNCTION_1]](ptr [[ARG0:%.*]], ptr [[ARG1:%.*]], ptr [[ARG2:%.*]])85; CHECK: entry_to_outline:86; CHECK-NEXT: store i32 2, ptr [[ARG0]], align 487; CHECK-NEXT: store i32 3, ptr [[ARG1]], align 488; CHECK-NEXT: store i32 4, ptr [[ARG2]], align 489; CHECK-NEXT: [[AL:%.*]] = load i32, ptr [[ARG0]], align 490; CHECK-NEXT: [[BL:%.*]] = load i32, ptr [[ARG1]], align 491; CHECK-NEXT: [[CL:%.*]] = load i32, ptr [[ARG2]], align 492