70 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=licm < %s -S | FileCheck %s3 4define void @test(ptr %arg, ptr %arg1) {5; CHECK-LABEL: @test(6; CHECK-NEXT: bb2:7; CHECK-NEXT: [[TMP3:%.*]] = load i32, ptr [[ARG1:%.*]], align 4, !invariant.group !08; CHECK-NEXT: br label [[BB5:%.*]]9; CHECK: bb5:10; CHECK-NEXT: [[TMP6:%.*]] = phi i64 [ 0, [[BB2:%.*]] ], [ [[TMP10:%.*]], [[BB5]] ]11; CHECK-NEXT: [[TMP7:%.*]] = getelementptr inbounds i32, ptr [[ARG:%.*]], i64 [[TMP6]]12; CHECK-NEXT: store i32 [[TMP3]], ptr [[TMP7]], align 813; CHECK-NEXT: [[TMP10]] = add nuw nsw i64 [[TMP6]], 114; CHECK-NEXT: [[TMP11:%.*]] = icmp eq i64 [[TMP10]], 20015; CHECK-NEXT: br i1 [[TMP11]], label [[BB12:%.*]], label [[BB5]]16; CHECK: bb12:17; CHECK-NEXT: ret void18;19bb2: ; preds = %bb20 br label %bb521 22bb5: ; preds = %bb5, %bb223 %tmp6 = phi i64 [ 0, %bb2 ], [ %tmp10, %bb5 ]24 %tmp3 = load i32, ptr %arg1, align 4, !invariant.group !025 %tmp7 = getelementptr inbounds i32, ptr %arg, i64 %tmp626 store i32 %tmp3, ptr %tmp7, align 827 %tmp10 = add nuw nsw i64 %tmp6, 128 %tmp11 = icmp eq i64 %tmp10, 20029 br i1 %tmp11, label %bb12, label %bb530 31bb12: ; preds = %bb5, %bb32 ret void33}34 35 36define void @test_fail(ptr %arg, ptr %arg1) {37; CHECK-LABEL: @test_fail(38; CHECK-NEXT: bb2:39; CHECK-NEXT: br label [[BB5:%.*]]40; CHECK: bb5:41; CHECK-NEXT: [[TMP6:%.*]] = phi i64 [ 0, [[BB2:%.*]] ], [ [[TMP10:%.*]], [[BB5]] ]42; CHECK-NEXT: store i32 3, ptr [[ARG1:%.*]], align 443; CHECK-NEXT: [[TMP3:%.*]] = load i32, ptr [[ARG1]], align 4, !invariant.group !044; CHECK-NEXT: [[TMP7:%.*]] = getelementptr inbounds i32, ptr [[ARG:%.*]], i64 [[TMP6]]45; CHECK-NEXT: store i32 [[TMP3]], ptr [[TMP7]], align 846; CHECK-NEXT: [[TMP10]] = add nuw nsw i64 [[TMP6]], 147; CHECK-NEXT: [[TMP11:%.*]] = icmp eq i64 [[TMP10]], 20048; CHECK-NEXT: br i1 [[TMP11]], label [[BB12:%.*]], label [[BB5]]49; CHECK: bb12:50; CHECK-NEXT: ret void51;52bb2: ; preds = %bb53 br label %bb554 55bb5: ; preds = %bb5, %bb256 %tmp6 = phi i64 [ 0, %bb2 ], [ %tmp10, %bb5 ]57 store i32 3, ptr %arg158 %tmp3 = load i32, ptr %arg1, align 4, !invariant.group !059 %tmp7 = getelementptr inbounds i32, ptr %arg, i64 %tmp660 store i32 %tmp3, ptr %tmp7, align 861 %tmp10 = add nuw nsw i64 %tmp6, 162 %tmp11 = icmp eq i64 %tmp10, 20063 br i1 %tmp11, label %bb12, label %bb564 65bb12: ; preds = %bb5, %bb66 ret void67}68 69!0 = !{}70