108 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 that floating point commutative instructions are not treated5; as commutative. Even though an ffadd is technically commutative, the order6; of operands still needs to be enforced since the process of fadding floating7; point values requires the order to be the same.8 9; We make sure that we outline the identical regions from the first two10; functions, but not the third. this is because the operands are in a different11; order in a floating point instruction in this section.12 13define void @outline_from_fadd1() {14; CHECK-LABEL: @outline_from_fadd1(15; CHECK-NEXT: entry:16; CHECK-NEXT: [[A:%.*]] = alloca double, align 417; CHECK-NEXT: [[B:%.*]] = alloca double, align 418; CHECK-NEXT: [[C:%.*]] = alloca double, align 419; CHECK-NEXT: call void @outlined_ir_func_0(ptr [[A]], ptr [[B]], ptr [[C]])20; CHECK-NEXT: ret void21;22entry:23 %a = alloca double, align 424 %b = alloca double, align 425 %c = alloca double, align 426 store double 2.0, ptr %a, align 427 store double 3.0, ptr %b, align 428 store double 4.0, ptr %c, align 429 %al = load double, ptr %a30 %bl = load double, ptr %b31 %cl = load double, ptr %c32 %0 = fadd double %al, %bl33 %1 = fadd double %al, %cl34 %2 = fadd double %bl, %cl35 ret void36}37 38define void @outline_from_fadd2.0() {39; CHECK-LABEL: @outline_from_fadd2.0(40; CHECK-NEXT: entry:41; CHECK-NEXT: [[A:%.*]] = alloca double, align 442; CHECK-NEXT: [[B:%.*]] = alloca double, align 443; CHECK-NEXT: [[C:%.*]] = alloca double, align 444; CHECK-NEXT: call void @outlined_ir_func_0(ptr [[A]], ptr [[B]], ptr [[C]])45; CHECK-NEXT: ret void46;47entry:48 %a = alloca double, align 449 %b = alloca double, align 450 %c = alloca double, align 451 store double 2.0, ptr %a, align 452 store double 3.0, ptr %b, align 453 store double 4.0, ptr %c, align 454 %al = load double, ptr %a55 %bl = load double, ptr %b56 %cl = load double, ptr %c57 %0 = fadd double %al, %bl58 %1 = fadd double %al, %cl59 %2 = fadd double %bl, %cl60 ret void61}62 63define void @outline_from_flipped_fadd3.0() {64; CHECK-LABEL: @outline_from_flipped_fadd3.0(65; CHECK-NEXT: entry:66; CHECK-NEXT: [[A:%.*]] = alloca double, align 467; CHECK-NEXT: [[B:%.*]] = alloca double, align 468; CHECK-NEXT: [[C:%.*]] = alloca double, align 469; CHECK-NEXT: store double 2.000000e+00, ptr [[A]], align 470; CHECK-NEXT: store double 3.000000e+00, ptr [[B]], align 471; CHECK-NEXT: store double 4.000000e+00, ptr [[C]], align 472; CHECK-NEXT: [[AL:%.*]] = load double, ptr [[A]], align 873; CHECK-NEXT: [[BL:%.*]] = load double, ptr [[B]], align 874; CHECK-NEXT: [[CL:%.*]] = load double, ptr [[C]], align 875; CHECK-NEXT: [[TMP0:%.*]] = fadd double [[BL]], [[AL]]76; CHECK-NEXT: [[TMP1:%.*]] = fadd double [[CL]], [[AL]]77; CHECK-NEXT: [[TMP2:%.*]] = fadd double [[CL]], [[BL]]78; CHECK-NEXT: ret void79;80entry:81 %a = alloca double, align 482 %b = alloca double, align 483 %c = alloca double, align 484 store double 2.0, ptr %a, align 485 store double 3.0, ptr %b, align 486 store double 4.0, ptr %c, align 487 %al = load double, ptr %a88 %bl = load double, ptr %b89 %cl = load double, ptr %c90 %0 = fadd double %bl, %al91 %1 = fadd double %cl, %al92 %2 = fadd double %cl, %bl93 ret void94}95 96; CHECK: define internal void @outlined_ir_func_0(ptr [[ARG0:%.*]], ptr [[ARG1:%.*]], ptr [[ARG2:%.*]]) #0 {97; CHECK: entry_to_outline:98; CHECK-NEXT: store double 2.000000e+00, ptr [[ARG0]], align 499; CHECK-NEXT: store double 3.000000e+00, ptr [[ARG1]], align 4100; CHECK-NEXT: store double 4.000000e+00, ptr [[ARG2]], align 4101; CHECK-NEXT: [[AL:%.*]] = load double, ptr [[ARG0]], align 8102; CHECK-NEXT: [[BL:%.*]] = load double, ptr [[ARG1]], align 8103; CHECK-NEXT: [[CL:%.*]] = load double, ptr [[ARG2]], align 8104; CHECK-NEXT: [[TMP0:%.*]] = fadd double [[AL]], [[BL]]105; CHECK-NEXT: [[TMP1:%.*]] = fadd double [[AL]], [[CL]]106; CHECK-NEXT: [[TMP2:%.*]] = fadd double [[BL]], [[CL]]107 108