86 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -mtriple=riscv32 -verify-machineinstrs < %s | FileCheck %s3; RUN: llc -mtriple=riscv64 -verify-machineinstrs < %s | FileCheck %s4 5@x = global [6 x i32] [i32 0, i32 1, i32 2, i32 3, i32 4, i32 5], align 46@check = global [6 x i32] [i32 0, i32 1, i32 2, i32 3, i32 4, i32 5], align 47 8; This test case checks whether the base address of an array is repeatedly9; rematerialised within a unrolled loop.10define signext i32 @unroll_loop_cse() {11; CHECK-LABEL: unroll_loop_cse:12; CHECK: # %bb.0:13; CHECK-NEXT: lui a0, %hi(x)14; CHECK-NEXT: lui a1, %hi(check)15; CHECK-NEXT: lw a2, %lo(x)(a0)16; CHECK-NEXT: lw a1, %lo(check)(a1)17; CHECK-NEXT: li a0, 118; CHECK-NEXT: bne a2, a1, .LBB0_619; CHECK-NEXT: # %bb.1:20; CHECK-NEXT: lui a1, %hi(x)21; CHECK-NEXT: addi a1, a1, %lo(x)22; CHECK-NEXT: lui a2, %hi(check)23; CHECK-NEXT: addi a2, a2, %lo(check)24; CHECK-NEXT: lw a3, 4(a1)25; CHECK-NEXT: lw a4, 4(a2)26; CHECK-NEXT: bne a3, a4, .LBB0_627; CHECK-NEXT: # %bb.2:28; CHECK-NEXT: lw a3, 8(a1)29; CHECK-NEXT: lw a4, 8(a2)30; CHECK-NEXT: bne a3, a4, .LBB0_631; CHECK-NEXT: # %bb.3:32; CHECK-NEXT: lw a3, 12(a1)33; CHECK-NEXT: lw a4, 12(a2)34; CHECK-NEXT: bne a3, a4, .LBB0_635; CHECK-NEXT: # %bb.4:36; CHECK-NEXT: lw a3, 16(a1)37; CHECK-NEXT: lw a4, 16(a2)38; CHECK-NEXT: bne a3, a4, .LBB0_639; CHECK-NEXT: # %bb.5:40; CHECK-NEXT: lw a0, 20(a1)41; CHECK-NEXT: lw a1, 20(a2)42; CHECK-NEXT: xor a0, a0, a143; CHECK-NEXT: snez a0, a044; CHECK-NEXT: .LBB0_6:45; CHECK-NEXT: ret46 %1 = load i32, ptr @x, align 447 %2 = load i32, ptr @check, align 448 %3 = icmp eq i32 %1, %249 br i1 %3, label %4, label %2550 514:52 %5 = load i32, ptr getelementptr inbounds ([6 x i32], ptr @x, i64 0, i64 1), align 453 %6 = load i32, ptr getelementptr inbounds ([6 x i32], ptr @check, i64 0, i64 1), align 454 %7 = icmp eq i32 %5, %655 br i1 %7, label %8, label %2556 578:58 %9 = load i32, ptr getelementptr inbounds ([6 x i32], ptr @x, i64 0, i64 2), align 459 %10 = load i32, ptr getelementptr inbounds ([6 x i32], ptr @check, i64 0, i64 2), align 460 %11 = icmp eq i32 %9, %1061 br i1 %11, label %12, label %2562 6312:64 %13 = load i32, ptr getelementptr inbounds ([6 x i32], ptr @x, i64 0, i64 3), align 465 %14 = load i32, ptr getelementptr inbounds ([6 x i32], ptr @check, i64 0, i64 3), align 466 %15 = icmp eq i32 %13, %1467 br i1 %15, label %16, label %2568 6916:70 %17 = load i32, ptr getelementptr inbounds ([6 x i32], ptr @x, i64 0, i64 4), align 471 %18 = load i32, ptr getelementptr inbounds ([6 x i32], ptr @check, i64 0, i64 4), align 472 %19 = icmp eq i32 %17, %1873 br i1 %19, label %20, label %2574 7520:76 %21 = load i32, ptr getelementptr inbounds ([6 x i32], ptr @x, i64 0, i64 5), align 477 %22 = load i32, ptr getelementptr inbounds ([6 x i32], ptr @check, i64 0, i64 5), align 478 %23 = icmp ne i32 %21, %2279 %24 = zext i1 %23 to i3280 br label %2581 8225:83 %26 = phi i32 [ 1, %0 ], [ 1, %4 ], [ 1, %8 ], [ 1, %12 ], [ 1, %16 ], [ %24, %20 ]84 ret i32 %2685}86