171 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 checks the isomorphic comparisons can be outlined together into one5; function.6 7; The following three function are identical, except that in the third, the8; operand order, and predicate are swapped, meaning it is structurally the same9; and should be outlined together.10 11define void @outline_slt1() {12; CHECK-LABEL: @outline_slt1(13; CHECK-NEXT: entry:14; CHECK-NEXT: [[A:%.*]] = alloca i32, align 415; CHECK-NEXT: [[B:%.*]] = alloca i32, align 416; CHECK-NEXT: call void @outlined_ir_func_1(ptr [[A]], ptr [[B]])17; CHECK-NEXT: ret void18;19entry:20 %a = alloca i32, align 421 %b = alloca i32, align 422 store i32 2, ptr %a, align 423 store i32 3, ptr %b, align 424 %al = load i32, ptr %a25 %bl = load i32, ptr %b26 %0 = icmp slt i32 %al, %bl27 ret void28}29 30define void @outline_slt2() {31; CHECK-LABEL: @outline_slt2(32; CHECK-NEXT: entry:33; CHECK-NEXT: [[A:%.*]] = alloca i32, align 434; CHECK-NEXT: [[B:%.*]] = alloca i32, align 435; CHECK-NEXT: call void @outlined_ir_func_1(ptr [[A]], ptr [[B]])36; CHECK-NEXT: ret void37;38entry:39 %a = alloca i32, align 440 %b = alloca i32, align 441 store i32 2, ptr %a, align 442 store i32 3, ptr %b, align 443 %al = load i32, ptr %a44 %bl = load i32, ptr %b45 %0 = icmp slt i32 %al, %bl46 ret void47}48 49define void @outline_sgt() {50; CHECK-LABEL: @outline_sgt(51; CHECK-NEXT: entry:52; CHECK-NEXT: [[A:%.*]] = alloca i32, align 453; CHECK-NEXT: [[B:%.*]] = alloca i32, align 454; CHECK-NEXT: call void @outlined_ir_func_1(ptr [[A]], ptr [[B]])55; CHECK-NEXT: ret void56;57entry:58 %a = alloca i32, align 459 %b = alloca i32, align 460 store i32 2, ptr %a, align 461 store i32 3, ptr %b, align 462 %al = load i32, ptr %a63 %bl = load i32, ptr %b64 %0 = icmp sgt i32 %bl, %al65 ret void66}67 68; This has a swapped predicate, but not swapped operands, so it cannot use69; the same outlined function as the ones above.70 71define void @dontoutline_sgt() {72; CHECK-LABEL: @dontoutline_sgt(73; CHECK-NEXT: entry:74; CHECK-NEXT: [[A:%.*]] = alloca i32, align 475; CHECK-NEXT: [[B:%.*]] = alloca i32, align 476; CHECK-NEXT: store i32 2, ptr [[A]], align 477; CHECK-NEXT: store i32 3, ptr [[B]], align 478; CHECK-NEXT: [[AL:%.*]] = load i32, ptr [[A]], align 479; CHECK-NEXT: [[BL:%.*]] = load i32, ptr [[B]], align 480; CHECK-NEXT: [[TMP0:%.*]] = icmp sgt i32 [[AL]], [[BL]]81; CHECK-NEXT: ret void82;83entry:84 %a = alloca i32, align 485 %b = alloca i32, align 486 store i32 2, ptr %a, align 487 store i32 3, ptr %b, align 488 %al = load i32, ptr %a89 %bl = load i32, ptr %b90 %0 = icmp sgt i32 %al, %bl91 ret void92}93 94; The below functions use a different kind of predicate that is not compatible95; with the ones above, and should use a different outlined function.96; The other difference here is that the predicate with swapped operands comes97; first this time.98 99define void @outline_ugt1() {100; CHECK-LABEL: @outline_ugt1(101; CHECK-NEXT: entry:102; CHECK-NEXT: [[A:%.*]] = alloca i32, align 4103; CHECK-NEXT: [[B:%.*]] = alloca i32, align 4104; CHECK-NEXT: call void @outlined_ir_func_0(ptr [[A]], ptr [[B]])105; CHECK-NEXT: ret void106;107entry:108 %a = alloca i32, align 4109 %b = alloca i32, align 4110 store i32 2, ptr %a, align 4111 store i32 3, ptr %b, align 4112 %al = load i32, ptr %a113 %bl = load i32, ptr %b114 %0 = icmp ugt i32 %al, %bl115 ret void116}117 118define void @outline_ugt2() {119; CHECK-LABEL: @outline_ugt2(120; CHECK-NEXT: entry:121; CHECK-NEXT: [[A:%.*]] = alloca i32, align 4122; CHECK-NEXT: [[B:%.*]] = alloca i32, align 4123; CHECK-NEXT: call void @outlined_ir_func_0(ptr [[A]], ptr [[B]])124; CHECK-NEXT: ret void125;126entry:127 %a = alloca i32, align 4128 %b = alloca i32, align 4129 store i32 2, ptr %a, align 4130 store i32 3, ptr %b, align 4131 %al = load i32, ptr %a132 %bl = load i32, ptr %b133 %0 = icmp ugt i32 %al, %bl134 ret void135}136 137define void @outline_ult() {138; CHECK-LABEL: @outline_ult(139; CHECK-NEXT: entry:140; CHECK-NEXT: [[A:%.*]] = alloca i32, align 4141; CHECK-NEXT: [[B:%.*]] = alloca i32, align 4142; CHECK-NEXT: call void @outlined_ir_func_0(ptr [[A]], ptr [[B]])143; CHECK-NEXT: ret void144;145entry:146 %a = alloca i32, align 4147 %b = alloca i32, align 4148 store i32 2, ptr %a, align 4149 store i32 3, ptr %b, align 4150 %al = load i32, ptr %a151 %bl = load i32, ptr %b152 %0 = icmp ult i32 %bl, %al153 ret void154}155 156; CHECK: define internal void @outlined_ir_func_0(ptr [[ARG0:%.*]], ptr [[ARG1:%.*]]) #0 {157; CHECK: entry_to_outline:158; CHECK-NEXT: store i32 2, ptr [[ARG0]], align 4159; CHECK-NEXT: store i32 3, ptr [[ARG1]], align 4160; CHECK-NEXT: [[AL:%.*]] = load i32, ptr [[ARG0]], align 4161; CHECK-NEXT: [[BL:%.*]] = load i32, ptr [[ARG1]], align 4162; CHECK-NEXT: [[TMP0:%.*]] = icmp ugt i32 [[AL]], [[BL]]163 164; CHECK: define internal void @outlined_ir_func_1(ptr [[ARG0:%.*]], ptr [[ARG1:%.*]]) #0 {165; CHECK: entry_to_outline:166; CHECK-NEXT: store i32 2, ptr [[ARG0]], align 4167; CHECK-NEXT: store i32 3, ptr [[ARG1]], align 4168; CHECK-NEXT: [[AL:%.*]] = load i32, ptr [[ARG0]], align 4169; CHECK-NEXT: [[BL:%.*]] = load i32, ptr [[ARG1]], align 4170; CHECK-NEXT: [[TMP0:%.*]] = icmp slt i32 [[AL]], [[BL]]171