125 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=gvn -S %s | FileCheck %s3 4target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"5 6declare void @foo(i64 %v) readonly7 8define void @non_local_load(ptr %ptr) {9; CHECK-LABEL: @non_local_load(10; CHECK-NEXT: entry:11; CHECK-NEXT: store i32 0, ptr [[PTR:%.*]], align 412; CHECK-NEXT: br label [[LOOP:%.*]]13; CHECK: loop:14; CHECK-NEXT: [[VAL:%.*]] = phi i32 [ [[VAL_INC:%.*]], [[LOOP]] ], [ 0, [[ENTRY:%.*]] ]15; CHECK-NEXT: [[IV:%.*]] = phi i32 [ [[IV_NEXT:%.*]], [[LOOP]] ], [ 0, [[ENTRY]] ]16; CHECK-NEXT: [[VAL_INC]] = add i32 [[VAL]], 117; CHECK-NEXT: store i32 [[VAL_INC]], ptr [[PTR]], align 418; CHECK-NEXT: [[IV_NEXT]] = add i32 [[IV]], 119; CHECK-NEXT: [[LOOP_COND:%.*]] = icmp eq i32 [[IV]], 100020; CHECK-NEXT: br i1 [[LOOP_COND]], label [[EXIT:%.*]], label [[LOOP]]21; CHECK: exit:22; CHECK-NEXT: ret void23;24entry:25 store i32 0, ptr %ptr26 br label %loop27 28loop:29 %iv = phi i32 [ %iv.next, %loop ], [ 0, %entry ]30 %val = load i32, ptr %ptr31 %val.inc = add i32 %val, 132 store i32 %val.inc, ptr %ptr33 %iv.next = add i32 %iv, 134 %loop.cond = icmp eq i32 %iv, 100035 br i1 %loop.cond, label %exit, label %loop36 37exit:38 ret void39}40 41define void @non_local_load_with_iv_zext(ptr %ptr) {42; CHECK-LABEL: @non_local_load_with_iv_zext(43; CHECK-NEXT: entry:44; CHECK-NEXT: store i32 0, ptr [[PTR:%.*]], align 445; CHECK-NEXT: br label [[LOOP:%.*]]46; CHECK: loop:47; CHECK-NEXT: [[VAL:%.*]] = phi i32 [ [[VAL_INC:%.*]], [[LOOP]] ], [ 0, [[ENTRY:%.*]] ]48; CHECK-NEXT: [[IV:%.*]] = phi i32 [ [[IV_NEXT:%.*]], [[LOOP]] ], [ 0, [[ENTRY]] ]49; CHECK-NEXT: [[VAL_INC]] = add i32 [[VAL]], 150; CHECK-NEXT: store i32 [[VAL_INC]], ptr [[PTR]], align 451; CHECK-NEXT: [[IV_WIDE:%.*]] = zext i32 [[IV]] to i6452; CHECK-NEXT: call void @foo(i64 [[IV_WIDE]])53; CHECK-NEXT: [[IV_NEXT]] = add i32 [[IV]], 154; CHECK-NEXT: [[LOOP_COND:%.*]] = icmp eq i32 [[IV]], 100055; CHECK-NEXT: br i1 [[LOOP_COND]], label [[EXIT:%.*]], label [[LOOP]]56; CHECK: exit:57; CHECK-NEXT: ret void58;59entry:60 store i32 0, ptr %ptr61 br label %loop62 63loop:64 %iv = phi i32 [ %iv.next, %loop ], [ 0, %entry ]65 %val = load i32, ptr %ptr66 %val.inc = add i32 %val, 167 store i32 %val.inc, ptr %ptr68 %iv.wide = zext i32 %iv to i6469 call void @foo(i64 %iv.wide)70 %iv.next = add i32 %iv, 171 %loop.cond = icmp eq i32 %iv, 100072 br i1 %loop.cond, label %exit, label %loop73 74exit:75 ret void76}77 78define void @two_non_local_loads(ptr %ptr1) {79; CHECK-LABEL: @two_non_local_loads(80; CHECK-NEXT: entry:81; CHECK-NEXT: [[PTR2:%.*]] = getelementptr inbounds i32, ptr [[PTR1:%.*]], i64 182; CHECK-NEXT: store i32 0, ptr [[PTR1]], align 483; CHECK-NEXT: store i32 0, ptr [[PTR2]], align 484; CHECK-NEXT: br label [[LOOP:%.*]]85; CHECK: loop:86; CHECK-NEXT: [[VAL2:%.*]] = phi i32 [ [[VAL2_INC:%.*]], [[LOOP]] ], [ 0, [[ENTRY:%.*]] ]87; CHECK-NEXT: [[VAL1:%.*]] = phi i32 [ [[VAL1_INC:%.*]], [[LOOP]] ], [ 0, [[ENTRY]] ]88; CHECK-NEXT: [[IV:%.*]] = phi i32 [ [[IV_NEXT:%.*]], [[LOOP]] ], [ 0, [[ENTRY]] ]89; CHECK-NEXT: [[VAL1_INC]] = add i32 [[VAL1]], 190; CHECK-NEXT: store i32 [[VAL1_INC]], ptr [[PTR1]], align 491; CHECK-NEXT: [[VAL2_INC]] = add i32 [[VAL2]], 192; CHECK-NEXT: store i32 [[VAL2_INC]], ptr [[PTR2]], align 493; CHECK-NEXT: [[IV_WIDE:%.*]] = zext i32 [[IV]] to i6494; CHECK-NEXT: call void @foo(i64 [[IV_WIDE]])95; CHECK-NEXT: [[IV_NEXT]] = add i32 [[IV]], 196; CHECK-NEXT: [[LOOP_COND:%.*]] = icmp eq i32 [[IV]], 100097; CHECK-NEXT: br i1 [[LOOP_COND]], label [[EXIT:%.*]], label [[LOOP]]98; CHECK: exit:99; CHECK-NEXT: ret void100;101entry:102 %ptr2 = getelementptr inbounds i32, ptr %ptr1, i64 1103 store i32 0, ptr %ptr1104 store i32 0, ptr %ptr2105 br label %loop106 107loop:108 %iv = phi i32 [ %iv.next, %loop ], [ 0, %entry ]109 %val1 = load i32, ptr %ptr1110 %val1.inc = add i32 %val1, 1111 store i32 %val1.inc, ptr %ptr1112 %val2 = load i32, ptr %ptr2113 %val2.inc = add i32 %val2, 1114 store i32 %val2.inc, ptr %ptr2115 %iv.wide = zext i32 %iv to i64116 call void @foo(i64 %iv.wide)117 %iv.next = add i32 %iv, 1118 %loop.cond = icmp eq i32 %iv, 1000119 br i1 %loop.cond, label %exit, label %loop120 121exit:122 ret void123}124 125