58 lines · plain
1; RUN: opt -passes='print<access-info>' < %s -disable-output 2>&1 | FileCheck %s2 3define void @laa(ptr nocapture readonly %Base1, ptr nocapture readonly %Base2, ptr %Dest) {4entry:5 br label %loop6 7loop:8 %iv = phi i64 [ 0, %entry ], [ %iv.next, %loop ]9 %gep.Dest = getelementptr inbounds float, ptr %Dest, i64 %iv10 %l.Dest = load float, ptr %gep.Dest11 %cmp = fcmp une float %l.Dest, 0.012 %gep.1 = getelementptr inbounds float, ptr %Base1, i64 %iv13 %gep.2 = getelementptr inbounds float, ptr %Base2, i64 %iv14 %select = select i1 %cmp, ptr %gep.1, ptr %gep.215 %sink = load float, ptr %select, align 416 store float %sink, ptr %gep.Dest, align 417 %iv.next = add nuw nsw i64 %iv, 118 %exitcond.not = icmp eq i64 %iv.next, 10019 br i1 %exitcond.not, label %exit, label %loop20 21exit:22 ret void23}24 25define void @test_brace_escapes(ptr noundef %arr) {26entry:27 br label %loop.128 29loop.1:30 %iv = phi i64 [ %iv.next, %loop.1 ], [ 8, %entry ]31 %arr.addr.0.i = phi ptr [ %incdec.ptr.i, %loop.1 ], [ %arr, %entry ]32 %incdec.ptr.i = getelementptr inbounds ptr, ptr %arr.addr.0.i, i64 133 %0 = load ptr, ptr %arr.addr.0.i, align 834 %tobool.not.i = icmp eq ptr %0, null35 %iv.next = add i64 %iv, 836 br i1 %tobool.not.i, label %loop.1.exit, label %loop.137 38loop.1.exit:39 %iv.lcssa = phi i64 [ %iv, %loop.1 ]40 br label %loop.241 42loop.2:43 %iv.1 = phi i64 [ 0, %loop.1.exit ], [ %iv.1.next, %loop.2 ]44 %iv.2 = phi i64 [ %iv.lcssa, %loop.1.exit ], [ %iv.2.next, %loop.2 ]45 %gep.iv.1 = getelementptr inbounds ptr, ptr %arr, i64 %iv.146 %l.1 = load ptr, ptr %gep.iv.1, align 847 %iv.2.next = add nsw i64 %iv.2, 148 %gep.iv.2 = getelementptr inbounds ptr, ptr %arr, i64 %iv.249 store ptr %l.1, ptr %gep.iv.2, align 850 %iv.1.next = add nuw nsw i64 %iv.1, 151 %cmp = icmp ult i64 %iv.1.next, 100052 br i1 %cmp, label %loop.2, label %exit53 54exit:55 ret void56}57 58