51 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals all --version 62; RUN: opt -passes=loop-idiom -S %s | FileCheck %s3 4target datalayout = "p:16:16"5 6;.7; CHECK: @.crctable = private constant [256 x i32] zeroinitializer8;.9define void @test_with_dl() {10; CHECK-LABEL: define void @test_with_dl() {11; CHECK-NEXT: [[ENTRY:.*]]:12; CHECK-NEXT: br label %[[PH:.*]]13; CHECK: [[PH_LOOPEXIT:.*]]:14; CHECK-NEXT: [[CRC_NEXT_LCSSA:%.*]] = phi i32 [ [[CRC_NEXT3:%.*]], %[[LOOP:.*]] ]15; CHECK-NEXT: br label %[[PH]]16; CHECK: [[PH]]:17; CHECK-NEXT: [[CRC_USE:%.*]] = phi i32 [ 0, %[[ENTRY]] ], [ [[CRC_NEXT_LCSSA]], %[[PH_LOOPEXIT]] ]18; CHECK-NEXT: br label %[[LOOP]]19; CHECK: [[LOOP]]:20; CHECK-NEXT: [[IV:%.*]] = phi i16 [ 0, %[[PH]] ], [ [[IV_NEXT:%.*]], %[[LOOP]] ]21; CHECK-NEXT: [[CRC2:%.*]] = phi i32 [ 0, %[[PH]] ], [ [[CRC_NEXT3]], %[[LOOP]] ]22; CHECK-NEXT: [[INDEXER_LO:%.*]] = trunc i32 [[CRC2]] to i823; CHECK-NEXT: [[INDEXER_EXT:%.*]] = zext i8 [[INDEXER_LO]] to i1624; CHECK-NEXT: [[TBL_PTRADD:%.*]] = getelementptr inbounds i32, ptr @.crctable, i16 [[INDEXER_EXT]]25; CHECK-NEXT: [[TBL_LD:%.*]] = load i32, ptr [[TBL_PTRADD]], align 426; CHECK-NEXT: [[CRC_LE_SHIFT:%.*]] = lshr i32 [[CRC2]], 827; CHECK-NEXT: [[CRC_NEXT3]] = xor i32 [[CRC_LE_SHIFT]], [[TBL_LD]]28; CHECK-NEXT: [[IV_NEXT]] = add i16 [[IV]], 129; CHECK-NEXT: [[EXIT_COND1:%.*]] = icmp ne i16 [[IV]], 030; CHECK-NEXT: br i1 [[EXIT_COND1]], label %[[LOOP]], label %[[PH_LOOPEXIT]]31;32entry:33 br label %ph34 35ph:36 %crc.use = phi i32 [ 0, %entry ], [ %crc.next, %loop ]37 br label %loop38 39loop:40 %iv = phi i16 [ 0, %ph ], [ %iv.next, %loop ]41 %crc = phi i32 [ 0, %ph ], [ %crc.next, %loop ]42 %lshr.crc.1 = lshr i32 %crc, 143 %crc.and.1 = and i32 %crc, 144 %sb.check = icmp eq i32 %crc.and.1, 045 %xor = xor i32 %lshr.crc.1, 046 %crc.next = select i1 %sb.check, i32 %lshr.crc.1, i32 %xor47 %iv.next = add i16 %iv, 148 %exit.cond = icmp ult i16 %iv, 749 br i1 %exit.cond, label %loop, label %ph50}51