; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2
; RUN: opt -S -passes=loop-predication < %s 2>&1 | FileCheck %s
; Do not convert branch in loop_outer block on the widenable_cond11 to a
; loop-varying one.
; It will result in a miscompile.
; deopt9 will have incorrect deopt state (it currently uses init_val because
; indvars identified that if that exit is taken, it will be taken on first
; iteration, since widenable_cond11 is a loop-invariant condition).
define i32 @foo(ptr addrspace(1) %arg) {
; CHECK-LABEL: define i32 @foo
; CHECK-SAME: (ptr addrspace(1) [[ARG:%.*]]) {
; CHECK-NEXT: entry:
; CHECK-NEXT: [[INIT_VAL:%.*]] = load i32, ptr addrspace(1) [[ARG]], align 4
; CHECK-NEXT: [[WIDENABLE_COND11:%.*]] = call i1 @llvm.experimental.widenable.condition()
; CHECK-NEXT: br label [[LOOP_OUTER:%.*]]
; CHECK: loop_outer:
; CHECK-NEXT: [[IV:%.*]] = phi i32 [ [[PHI36:%.*]], [[OUTER_LOOP_LATCH:%.*]] ], [ 42, [[ENTRY:%.*]] ]
; CHECK-NEXT: [[PHI21:%.*]] = phi i32 [ [[ADD39:%.*]], [[OUTER_LOOP_LATCH]] ], [ [[INIT_VAL]], [[ENTRY]] ]
; CHECK-NEXT: [[ADD27:%.*]] = add i32 [[IV]], 1
; CHECK-NEXT: [[ICMP28:%.*]] = icmp eq i32 [[ADD27]], 60
; CHECK-NEXT: br i1 [[WIDENABLE_COND11]], label [[INNER_LOOP_PH:%.*]], label [[DEOPT9:%.*]]
; CHECK: inner_loop_ph:
; CHECK-NEXT: store atomic i32 606, ptr addrspace(1) [[ARG]] unordered, align 4
; CHECK-NEXT: br label [[INNER_LOOP:%.*]]
; CHECK: inner_loop:
; CHECK-NEXT: [[PHI43:%.*]] = phi i32 [ 1, [[INNER_LOOP_PH]] ], [ [[ADD55:%.*]], [[INNER_LOOP_LATCH:%.*]] ]
; CHECK-NEXT: [[PHI44:%.*]] = phi i32 [ [[ADD27]], [[INNER_LOOP_PH]] ], [ [[ADD48:%.*]], [[INNER_LOOP_LATCH]] ]
; CHECK-NEXT: [[ADD48]] = add i32 [[PHI44]], 1
; CHECK-NEXT: [[ICMP49:%.*]] = icmp eq i32 [[ADD48]], 0
; CHECK-NEXT: br i1 [[ICMP49]], label [[DEOPT57:%.*]], label [[INNER_LOOP_LATCH]]
; CHECK: inner_loop_latch:
; CHECK-NEXT: store atomic i32 606, ptr addrspace(1) [[ARG]] unordered, align 4
; CHECK-NEXT: [[ADD55]] = add nuw nsw i32 [[PHI43]], 1
; CHECK-NEXT: [[EXITCOND:%.*]] = icmp eq i32 [[ADD55]], 10
; CHECK-NEXT: br i1 [[EXITCOND]], label [[OUTER_LOOP_LATCH]], label [[INNER_LOOP]]
; CHECK: outer_loop_latch:
; CHECK-NEXT: [[PHI36]] = phi i32 [ [[ADD48]], [[INNER_LOOP_LATCH]] ]
; CHECK-NEXT: [[ADD39]] = add i32 [[PHI21]], 1
; CHECK-NEXT: br label [[LOOP_OUTER]]
; CHECK: deopt9:
; CHECK-NEXT: [[LCSSA:%.*]] = phi i32 [ [[INIT_VAL]], [[LOOP_OUTER]] ]
; CHECK-NEXT: [[CALL53:%.*]] = call i32 (...) @llvm.experimental.deoptimize.i32(i32 13) [ "deopt"(i32 606, i32 [[LCSSA]]) ]
; CHECK-NEXT: ret i32 [[CALL53]]
; CHECK: deopt57:
; CHECK-NEXT: [[CALL62:%.*]] = call i32 (...) @llvm.experimental.deoptimize.i32(i32 12) [ "deopt"(i32 7) ]
; CHECK-NEXT: ret i32 [[CALL62]]
;
entry:
%init_val = load i32, ptr addrspace(1) %arg, align 4
%widenable_cond11 = call i1 @llvm.experimental.widenable.condition()
br label %loop_outer
loop_outer: ; preds = %outer_loop_latch, %entry
%iv = phi i32 [ %phi36, %outer_loop_latch ], [ 42, %entry ]
%phi21 = phi i32 [ %add39, %outer_loop_latch ], [ %init_val, %entry ]
%add27 = add i32 %iv, 1
%icmp28 = icmp eq i32 %add27, 60
br i1 %widenable_cond11, label %inner_loop_ph, label %deopt9
inner_loop_ph: ; preds = %loop_outer
store atomic i32 606, ptr addrspace(1) %arg unordered, align 4
br label %inner_loop
inner_loop: ; preds = %inner_loop_latch, %inner_loop_ph
%phi43 = phi i32 [ 1, %inner_loop_ph ], [ %add55, %inner_loop_latch ]
%phi44 = phi i32 [ %add27, %inner_loop_ph ], [ %add48, %inner_loop_latch ]
%add48 = add i32 %phi44, 1
%icmp49 = icmp eq i32 %add48, 0
br i1 %icmp49, label %deopt57, label %inner_loop_latch
inner_loop_latch: ; preds = %inner_loop
store atomic i32 606, ptr addrspace(1) %arg unordered, align 4
%add55 = add nuw nsw i32 %phi43, 1
%exitcond = icmp eq i32 %add55, 10
br i1 %exitcond, label %outer_loop_latch, label %inner_loop
outer_loop_latch: ; preds = %inner_loop_latch
%phi36 = phi i32 [ %add48, %inner_loop_latch ]
%add39 = add i32 %phi21, 1
br label %loop_outer
deopt9: ; preds = %loop_outer
%lcssa = phi i32 [ %init_val, %loop_outer ]
%call53 = call i32 (...) @llvm.experimental.deoptimize.i32(i32 13) [ "deopt"(i32 606, i32 %lcssa) ]
ret i32 %call53
deopt57: ; preds = %inner_loop
%call62 = call i32 (...) @llvm.experimental.deoptimize.i32(i32 12) [ "deopt"(i32 7) ]
ret i32 %call62
}
declare i32 @llvm.experimental.deoptimize.i32(...)
; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(inaccessiblemem: readwrite)
declare noundef i1 @llvm.experimental.widenable.condition()
Codebase Browser
llvm