| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| ; RUN: opt -S -guard-widening-widen-branch-guards=true -guard-widening < %s | FileCheck %s |
| ; RUN: opt -S -guard-widening-widen-branch-guards=true -passes=guard-widening < %s | FileCheck %s |
| |
| ; Basic test case: we wide the first check to check both the |
| ; conditions. |
| define void @f_0(i1 %cond_0, i1 %cond_1) { |
| ; CHECK-LABEL: @f_0( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[WIDENABLE_COND:%.*]] = call i1 @llvm.experimental.widenable.condition() |
| ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND:%.*]] = and i1 [[COND_0:%.*]], [[WIDENABLE_COND]] |
| ; CHECK-NEXT: [[WIDE_CHK:%.*]] = and i1 [[COND_0]], [[COND_1:%.*]] |
| ; CHECK-NEXT: [[GUARD_CHK:%.*]] = and i1 [[WIDE_CHK]], [[WIDENABLE_COND]] |
| ; CHECK-NEXT: br i1 [[GUARD_CHK]], label [[GUARDED:%.*]], label [[DEOPT:%.*]], !prof !0 |
| ; CHECK: deopt: |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ; CHECK-NEXT: ret void |
| ; CHECK: guarded: |
| ; CHECK-NEXT: [[WIDENABLE_COND3:%.*]] = call i1 @llvm.experimental.widenable.condition() |
| ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND4:%.*]] = and i1 [[COND_1]], [[WIDENABLE_COND3]] |
| ; CHECK-NEXT: br i1 true, label [[GUARDED1:%.*]], label [[DEOPT2:%.*]], !prof !0 |
| ; CHECK: deopt2: |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ; CHECK-NEXT: ret void |
| ; CHECK: guarded1: |
| ; CHECK-NEXT: ret void |
| ; |
| entry: |
| %widenable_cond = call i1 @llvm.experimental.widenable.condition() |
| %exiplicit_guard_cond = and i1 %cond_0, %widenable_cond |
| br i1 %exiplicit_guard_cond, label %guarded, label %deopt, !prof !0 |
| |
| deopt: ; preds = %entry |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ret void |
| |
| guarded: ; preds = %entry |
| %widenable_cond3 = call i1 @llvm.experimental.widenable.condition() |
| %exiplicit_guard_cond4 = and i1 %cond_1, %widenable_cond3 |
| br i1 %exiplicit_guard_cond4, label %guarded1, label %deopt2, !prof !0 |
| |
| deopt2: ; preds = %guarded |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ret void |
| |
| guarded1: ; preds = %guarded |
| ret void |
| } |
| |
| ; Same as @f_0, but with using a more general notion of postdominance. |
| define void @f_1(i1 %cond_0, i1 %cond_1) { |
| ; CHECK-LABEL: @f_1( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[WIDENABLE_COND:%.*]] = call i1 @llvm.experimental.widenable.condition() |
| ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND:%.*]] = and i1 [[COND_0:%.*]], [[WIDENABLE_COND]] |
| ; CHECK-NEXT: [[WIDE_CHK:%.*]] = and i1 [[COND_0]], [[COND_1:%.*]] |
| ; CHECK-NEXT: [[GUARD_CHK:%.*]] = and i1 [[WIDE_CHK]], [[WIDENABLE_COND]] |
| ; CHECK-NEXT: br i1 [[GUARD_CHK]], label [[GUARDED:%.*]], label [[DEOPT:%.*]], !prof !0 |
| ; CHECK: deopt: |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ; CHECK-NEXT: ret void |
| ; CHECK: guarded: |
| ; CHECK-NEXT: br i1 undef, label [[LEFT:%.*]], label [[RIGHT:%.*]] |
| ; CHECK: left: |
| ; CHECK-NEXT: br label [[MERGE:%.*]] |
| ; CHECK: right: |
| ; CHECK-NEXT: br label [[MERGE]] |
| ; CHECK: merge: |
| ; CHECK-NEXT: [[WIDENABLE_COND3:%.*]] = call i1 @llvm.experimental.widenable.condition() |
| ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND4:%.*]] = and i1 [[COND_1]], [[WIDENABLE_COND3]] |
| ; CHECK-NEXT: br i1 true, label [[GUARDED1:%.*]], label [[DEOPT2:%.*]], !prof !0 |
| ; CHECK: deopt2: |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ; CHECK-NEXT: ret void |
| ; CHECK: guarded1: |
| ; CHECK-NEXT: ret void |
| ; |
| entry: |
| %widenable_cond = call i1 @llvm.experimental.widenable.condition() |
| %exiplicit_guard_cond = and i1 %cond_0, %widenable_cond |
| br i1 %exiplicit_guard_cond, label %guarded, label %deopt, !prof !0 |
| |
| deopt: ; preds = %entry |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ret void |
| |
| guarded: ; preds = %entry |
| br i1 undef, label %left, label %right |
| |
| left: ; preds = %guarded |
| br label %merge |
| |
| right: ; preds = %guarded |
| br label %merge |
| |
| merge: ; preds = %right, %left |
| %widenable_cond3 = call i1 @llvm.experimental.widenable.condition() |
| %exiplicit_guard_cond4 = and i1 %cond_1, %widenable_cond3 |
| br i1 %exiplicit_guard_cond4, label %guarded1, label %deopt2, !prof !0 |
| |
| deopt2: ; preds = %merge |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ret void |
| |
| guarded1: ; preds = %merge |
| ret void |
| } |
| |
| ; Like @f_1, but we have some code we need to hoist before we can |
| ; widen a dominanting check. |
| define void @f_2(i32 %a, i32 %b) { |
| ; CHECK-LABEL: @f_2( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[COND_0:%.*]] = icmp ult i32 [[A:%.*]], 10 |
| ; CHECK-NEXT: [[WIDENABLE_COND:%.*]] = call i1 @llvm.experimental.widenable.condition() |
| ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND:%.*]] = and i1 [[COND_0]], [[WIDENABLE_COND]] |
| ; CHECK-NEXT: [[COND_1:%.*]] = icmp ult i32 [[B:%.*]], 10 |
| ; CHECK-NEXT: [[WIDE_CHK:%.*]] = and i1 [[COND_0]], [[COND_1]] |
| ; CHECK-NEXT: [[GUARD_CHK:%.*]] = and i1 [[WIDE_CHK]], [[WIDENABLE_COND]] |
| ; CHECK-NEXT: br i1 [[GUARD_CHK]], label [[GUARDED:%.*]], label [[DEOPT:%.*]], !prof !0 |
| ; CHECK: deopt: |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ; CHECK-NEXT: ret void |
| ; CHECK: guarded: |
| ; CHECK-NEXT: br i1 undef, label [[LEFT:%.*]], label [[RIGHT:%.*]] |
| ; CHECK: left: |
| ; CHECK-NEXT: br label [[MERGE:%.*]] |
| ; CHECK: right: |
| ; CHECK-NEXT: br label [[MERGE]] |
| ; CHECK: merge: |
| ; CHECK-NEXT: [[WIDENABLE_COND3:%.*]] = call i1 @llvm.experimental.widenable.condition() |
| ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND4:%.*]] = and i1 [[COND_1]], [[WIDENABLE_COND3]] |
| ; CHECK-NEXT: br i1 true, label [[GUARDED1:%.*]], label [[DEOPT2:%.*]], !prof !0 |
| ; CHECK: deopt2: |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ; CHECK-NEXT: ret void |
| ; CHECK: guarded1: |
| ; CHECK-NEXT: ret void |
| ; |
| entry: |
| %cond_0 = icmp ult i32 %a, 10 |
| %widenable_cond = call i1 @llvm.experimental.widenable.condition() |
| %exiplicit_guard_cond = and i1 %cond_0, %widenable_cond |
| br i1 %exiplicit_guard_cond, label %guarded, label %deopt, !prof !0 |
| |
| deopt: ; preds = %entry |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ret void |
| |
| guarded: ; preds = %entry |
| br i1 undef, label %left, label %right |
| |
| left: ; preds = %guarded |
| br label %merge |
| |
| right: ; preds = %guarded |
| br label %merge |
| |
| merge: ; preds = %right, %left |
| %cond_1 = icmp ult i32 %b, 10 |
| %widenable_cond3 = call i1 @llvm.experimental.widenable.condition() |
| %exiplicit_guard_cond4 = and i1 %cond_1, %widenable_cond3 |
| br i1 %exiplicit_guard_cond4, label %guarded1, label %deopt2, !prof !0 |
| |
| deopt2: ; preds = %merge |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ret void |
| |
| guarded1: ; preds = %merge |
| ret void |
| } |
| |
| ; Negative test: don't hoist stuff out of control flow |
| ; indiscriminately, since that can make us do more work than needed. |
| define void @f_3(i32 %a, i32 %b) { |
| ; CHECK-LABEL: @f_3( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[COND_0:%.*]] = icmp ult i32 [[A:%.*]], 10 |
| ; CHECK-NEXT: [[WIDENABLE_COND:%.*]] = call i1 @llvm.experimental.widenable.condition() |
| ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND:%.*]] = and i1 [[COND_0]], [[WIDENABLE_COND]] |
| ; CHECK-NEXT: br i1 [[EXIPLICIT_GUARD_COND]], label [[GUARDED:%.*]], label [[DEOPT:%.*]], !prof !0 |
| ; CHECK: deopt: |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ; CHECK-NEXT: ret void |
| ; CHECK: guarded: |
| ; CHECK-NEXT: br i1 undef, label [[LEFT:%.*]], label [[RIGHT:%.*]] |
| ; CHECK: left: |
| ; CHECK-NEXT: [[COND_1:%.*]] = icmp ult i32 [[B:%.*]], 10 |
| ; CHECK-NEXT: [[WIDENABLE_COND3:%.*]] = call i1 @llvm.experimental.widenable.condition() |
| ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND4:%.*]] = and i1 [[COND_1]], [[WIDENABLE_COND3]] |
| ; CHECK-NEXT: br i1 [[EXIPLICIT_GUARD_COND4]], label [[GUARDED1:%.*]], label [[DEOPT2:%.*]], !prof !0 |
| ; CHECK: deopt2: |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ; CHECK-NEXT: ret void |
| ; CHECK: guarded1: |
| ; CHECK-NEXT: ret void |
| ; CHECK: right: |
| ; CHECK-NEXT: ret void |
| ; |
| entry: |
| %cond_0 = icmp ult i32 %a, 10 |
| %widenable_cond = call i1 @llvm.experimental.widenable.condition() |
| %exiplicit_guard_cond = and i1 %cond_0, %widenable_cond |
| br i1 %exiplicit_guard_cond, label %guarded, label %deopt, !prof !0 |
| |
| deopt: ; preds = %entry |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ret void |
| |
| guarded: ; preds = %entry |
| br i1 undef, label %left, label %right |
| |
| left: ; preds = %guarded |
| %cond_1 = icmp ult i32 %b, 10 |
| %widenable_cond3 = call i1 @llvm.experimental.widenable.condition() |
| %exiplicit_guard_cond4 = and i1 %cond_1, %widenable_cond3 |
| br i1 %exiplicit_guard_cond4, label %guarded1, label %deopt2, !prof !0 |
| |
| deopt2: ; preds = %left |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ret void |
| |
| guarded1: ; preds = %left |
| ret void |
| |
| right: ; preds = %guarded |
| ret void |
| } |
| |
| ; But hoisting out of control flow is fine if it makes a loop computed |
| ; condition loop invariant. This behavior may require some tuning in |
| ; the future. |
| define void @f_4(i32 %a, i32 %b) { |
| ; CHECK-LABEL: @f_4( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[COND_0:%.*]] = icmp ult i32 [[A:%.*]], 10 |
| ; CHECK-NEXT: [[WIDENABLE_COND:%.*]] = call i1 @llvm.experimental.widenable.condition() |
| ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND:%.*]] = and i1 [[COND_0]], [[WIDENABLE_COND]] |
| ; CHECK-NEXT: [[COND_1:%.*]] = icmp ult i32 [[B:%.*]], 10 |
| ; CHECK-NEXT: [[WIDE_CHK:%.*]] = and i1 [[COND_0]], [[COND_1]] |
| ; CHECK-NEXT: [[GUARD_CHK:%.*]] = and i1 [[WIDE_CHK]], [[WIDENABLE_COND]] |
| ; CHECK-NEXT: br i1 [[GUARD_CHK]], label [[GUARDED:%.*]], label [[DEOPT:%.*]], !prof !0 |
| ; CHECK: deopt: |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ; CHECK-NEXT: ret void |
| ; CHECK: guarded: |
| ; CHECK-NEXT: br i1 undef, label [[LOOP:%.*]], label [[LEAVE:%.*]] |
| ; CHECK: loop: |
| ; CHECK-NEXT: [[WIDENABLE_COND3:%.*]] = call i1 @llvm.experimental.widenable.condition() |
| ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND4:%.*]] = and i1 [[COND_1]], [[WIDENABLE_COND3]] |
| ; CHECK-NEXT: br i1 true, label [[GUARDED1:%.*]], label [[DEOPT2:%.*]], !prof !0 |
| ; CHECK: deopt2: |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ; CHECK-NEXT: ret void |
| ; CHECK: guarded1: |
| ; CHECK-NEXT: br i1 undef, label [[LOOP]], label [[LEAVE]] |
| ; CHECK: leave: |
| ; CHECK-NEXT: ret void |
| ; |
| entry: |
| %cond_0 = icmp ult i32 %a, 10 |
| %widenable_cond = call i1 @llvm.experimental.widenable.condition() |
| %exiplicit_guard_cond = and i1 %cond_0, %widenable_cond |
| br i1 %exiplicit_guard_cond, label %guarded, label %deopt, !prof !0 |
| |
| deopt: ; preds = %entry |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ret void |
| |
| guarded: ; preds = %entry |
| br i1 undef, label %loop, label %leave |
| |
| loop: ; preds = %guarded1, %guarded |
| %cond_1 = icmp ult i32 %b, 10 |
| %widenable_cond3 = call i1 @llvm.experimental.widenable.condition() |
| %exiplicit_guard_cond4 = and i1 %cond_1, %widenable_cond3 |
| br i1 %exiplicit_guard_cond4, label %guarded1, label %deopt2, !prof !0 |
| |
| deopt2: ; preds = %loop |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ret void |
| |
| guarded1: ; preds = %loop |
| br i1 undef, label %loop, label %leave |
| |
| leave: ; preds = %guarded1, %guarded |
| ret void |
| } |
| |
| ; Hoisting out of control flow is also fine if we can widen the |
| ; dominating check without doing any extra work. |
| define void @f_5(i32 %a) { |
| ; CHECK-LABEL: @f_5( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[COND_0:%.*]] = icmp ugt i32 [[A:%.*]], 7 |
| ; CHECK-NEXT: [[WIDENABLE_COND:%.*]] = call i1 @llvm.experimental.widenable.condition() |
| ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND:%.*]] = and i1 [[COND_0]], [[WIDENABLE_COND]] |
| ; CHECK-NEXT: [[WIDE_CHK:%.*]] = icmp uge i32 [[A]], 11 |
| ; CHECK-NEXT: [[GUARD_CHK:%.*]] = and i1 [[WIDE_CHK]], [[WIDENABLE_COND]] |
| ; CHECK-NEXT: br i1 [[GUARD_CHK]], label [[GUARDED:%.*]], label [[DEOPT:%.*]], !prof !0 |
| ; CHECK: deopt: |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ; CHECK-NEXT: ret void |
| ; CHECK: guarded: |
| ; CHECK-NEXT: br i1 undef, label [[LEFT:%.*]], label [[RIGHT:%.*]] |
| ; CHECK: left: |
| ; CHECK-NEXT: [[COND_1:%.*]] = icmp ugt i32 [[A]], 10 |
| ; CHECK-NEXT: [[WIDENABLE_COND3:%.*]] = call i1 @llvm.experimental.widenable.condition() |
| ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND4:%.*]] = and i1 [[COND_1]], [[WIDENABLE_COND3]] |
| ; CHECK-NEXT: br i1 true, label [[GUARDED1:%.*]], label [[DEOPT2:%.*]], !prof !0 |
| ; CHECK: deopt2: |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ; CHECK-NEXT: ret void |
| ; CHECK: guarded1: |
| ; CHECK-NEXT: ret void |
| ; CHECK: right: |
| ; CHECK-NEXT: ret void |
| ; |
| entry: |
| %cond_0 = icmp ugt i32 %a, 7 |
| %widenable_cond = call i1 @llvm.experimental.widenable.condition() |
| %exiplicit_guard_cond = and i1 %cond_0, %widenable_cond |
| br i1 %exiplicit_guard_cond, label %guarded, label %deopt, !prof !0 |
| |
| deopt: ; preds = %entry |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ret void |
| |
| guarded: ; preds = %entry |
| br i1 undef, label %left, label %right |
| |
| left: ; preds = %guarded |
| %cond_1 = icmp ugt i32 %a, 10 |
| %widenable_cond3 = call i1 @llvm.experimental.widenable.condition() |
| %exiplicit_guard_cond4 = and i1 %cond_1, %widenable_cond3 |
| br i1 %exiplicit_guard_cond4, label %guarded1, label %deopt2, !prof !0 |
| |
| deopt2: ; preds = %left |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ret void |
| |
| guarded1: ; preds = %left |
| ret void |
| |
| right: ; preds = %guarded |
| ret void |
| } |
| |
| ; Negative test: the load from %a can be safely speculated to before |
| ; the first guard, but there is no guarantee that it will produce the |
| ; same value. |
| define void @f_6(i1* dereferenceable(32) %a, i1* %b, i1 %unknown) { |
| ; CHECK-LABEL: @f_6( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[COND_0:%.*]] = load i1, i1* [[A:%.*]] |
| ; CHECK-NEXT: [[WIDENABLE_COND:%.*]] = call i1 @llvm.experimental.widenable.condition() |
| ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND:%.*]] = and i1 [[COND_0]], [[WIDENABLE_COND]] |
| ; CHECK-NEXT: br i1 [[EXIPLICIT_GUARD_COND]], label [[GUARDED:%.*]], label [[DEOPT:%.*]], !prof !0 |
| ; CHECK: deopt: |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ; CHECK-NEXT: ret void |
| ; CHECK: guarded: |
| ; CHECK-NEXT: store i1 [[UNKNOWN:%.*]], i1* [[B:%.*]] |
| ; CHECK-NEXT: [[COND_1:%.*]] = load i1, i1* [[A]] |
| ; CHECK-NEXT: [[WIDENABLE_COND3:%.*]] = call i1 @llvm.experimental.widenable.condition() |
| ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND4:%.*]] = and i1 [[COND_1]], [[WIDENABLE_COND3]] |
| ; CHECK-NEXT: br i1 [[EXIPLICIT_GUARD_COND4]], label [[GUARDED1:%.*]], label [[DEOPT2:%.*]], !prof !0 |
| ; CHECK: deopt2: |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ; CHECK-NEXT: ret void |
| ; CHECK: guarded1: |
| ; CHECK-NEXT: ret void |
| ; |
| entry: |
| %cond_0 = load i1, i1* %a |
| %widenable_cond = call i1 @llvm.experimental.widenable.condition() |
| %exiplicit_guard_cond = and i1 %cond_0, %widenable_cond |
| br i1 %exiplicit_guard_cond, label %guarded, label %deopt, !prof !0 |
| |
| deopt: ; preds = %entry |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ret void |
| |
| guarded: ; preds = %entry |
| store i1 %unknown, i1* %b |
| %cond_1 = load i1, i1* %a |
| %widenable_cond3 = call i1 @llvm.experimental.widenable.condition() |
| %exiplicit_guard_cond4 = and i1 %cond_1, %widenable_cond3 |
| br i1 %exiplicit_guard_cond4, label %guarded1, label %deopt2, !prof !0 |
| |
| deopt2: ; preds = %guarded |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ret void |
| |
| guarded1: ; preds = %guarded |
| ret void |
| } |
| |
| ; All else equal, we try to widen the earliest guard we can. This |
| ; heuristic can use some tuning. |
| define void @f_7(i32 %a, i1* %cond_buf) { |
| ; CHECK-LABEL: @f_7( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[COND_1:%.*]] = load volatile i1, i1* [[COND_BUF:%.*]] |
| ; CHECK-NEXT: [[WIDENABLE_COND:%.*]] = call i1 @llvm.experimental.widenable.condition() |
| ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND:%.*]] = and i1 [[COND_1]], [[WIDENABLE_COND]] |
| ; CHECK-NEXT: [[COND_3:%.*]] = icmp ult i32 [[A:%.*]], 7 |
| ; CHECK-NEXT: [[WIDE_CHK:%.*]] = and i1 [[COND_1]], [[COND_3]] |
| ; CHECK-NEXT: [[GUARD_CHK:%.*]] = and i1 [[WIDE_CHK]], [[WIDENABLE_COND]] |
| ; CHECK-NEXT: br i1 [[GUARD_CHK]], label [[GUARDED:%.*]], label [[DEOPT:%.*]], !prof !0 |
| ; CHECK: deopt: |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ; CHECK-NEXT: ret void |
| ; CHECK: guarded: |
| ; CHECK-NEXT: [[COND_2:%.*]] = load volatile i1, i1* [[COND_BUF]] |
| ; CHECK-NEXT: [[WIDENABLE_COND3:%.*]] = call i1 @llvm.experimental.widenable.condition() |
| ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND4:%.*]] = and i1 [[COND_2]], [[WIDENABLE_COND3]] |
| ; CHECK-NEXT: br i1 [[EXIPLICIT_GUARD_COND4]], label [[GUARDED1:%.*]], label [[DEOPT2:%.*]], !prof !0 |
| ; CHECK: deopt2: |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ; CHECK-NEXT: ret void |
| ; CHECK: guarded1: |
| ; CHECK-NEXT: br i1 undef, label [[LEFT:%.*]], label [[RIGHT:%.*]] |
| ; CHECK: left: |
| ; CHECK-NEXT: [[WIDENABLE_COND7:%.*]] = call i1 @llvm.experimental.widenable.condition() |
| ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND8:%.*]] = and i1 [[COND_3]], [[WIDENABLE_COND7]] |
| ; CHECK-NEXT: br i1 true, label [[GUARDED5:%.*]], label [[DEOPT6:%.*]], !prof !0 |
| ; CHECK: deopt6: |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ; CHECK-NEXT: ret void |
| ; CHECK: guarded5: |
| ; CHECK-NEXT: br label [[LEFT]] |
| ; CHECK: right: |
| ; CHECK-NEXT: ret void |
| ; |
| entry: |
| %cond_1 = load volatile i1, i1* %cond_buf |
| %widenable_cond = call i1 @llvm.experimental.widenable.condition() |
| %exiplicit_guard_cond = and i1 %cond_1, %widenable_cond |
| br i1 %exiplicit_guard_cond, label %guarded, label %deopt, !prof !0 |
| |
| deopt: ; preds = %entry |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ret void |
| |
| guarded: ; preds = %entry |
| %cond_2 = load volatile i1, i1* %cond_buf |
| %widenable_cond3 = call i1 @llvm.experimental.widenable.condition() |
| %exiplicit_guard_cond4 = and i1 %cond_2, %widenable_cond3 |
| br i1 %exiplicit_guard_cond4, label %guarded1, label %deopt2, !prof !0 |
| |
| deopt2: ; preds = %guarded |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ret void |
| |
| guarded1: ; preds = %guarded |
| br i1 undef, label %left, label %right |
| |
| left: ; preds = %guarded5, %guarded1 |
| %cond_3 = icmp ult i32 %a, 7 |
| %widenable_cond7 = call i1 @llvm.experimental.widenable.condition() |
| %exiplicit_guard_cond8 = and i1 %cond_3, %widenable_cond7 |
| br i1 %exiplicit_guard_cond8, label %guarded5, label %deopt6, !prof !0 |
| |
| deopt6: ; preds = %left |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ret void |
| |
| guarded5: ; preds = %left |
| br label %left |
| |
| right: ; preds = %guarded1 |
| ret void |
| } |
| |
| ; In this case the earliest dominating guard is in a loop, and we |
| ; don't want to put extra work in there. This heuristic can use some |
| ; tuning. |
| define void @f_8(i32 %a, i1 %cond_1, i1 %cond_2) { |
| ; CHECK-LABEL: @f_8( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: br label [[LOOP:%.*]] |
| ; CHECK: loop: |
| ; CHECK-NEXT: [[WIDENABLE_COND:%.*]] = call i1 @llvm.experimental.widenable.condition() |
| ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND:%.*]] = and i1 [[COND_1:%.*]], [[WIDENABLE_COND]] |
| ; CHECK-NEXT: br i1 [[EXIPLICIT_GUARD_COND]], label [[GUARDED:%.*]], label [[DEOPT:%.*]], !prof !0 |
| ; CHECK: deopt: |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ; CHECK-NEXT: ret void |
| ; CHECK: guarded: |
| ; CHECK-NEXT: br i1 undef, label [[LOOP]], label [[LEAVE:%.*]] |
| ; CHECK: leave: |
| ; CHECK-NEXT: [[WIDENABLE_COND3:%.*]] = call i1 @llvm.experimental.widenable.condition() |
| ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND4:%.*]] = and i1 [[COND_2:%.*]], [[WIDENABLE_COND3]] |
| ; CHECK-NEXT: [[COND_3:%.*]] = icmp ult i32 [[A:%.*]], 7 |
| ; CHECK-NEXT: [[WIDE_CHK:%.*]] = and i1 [[COND_2]], [[COND_3]] |
| ; CHECK-NEXT: [[GUARD_CHK:%.*]] = and i1 [[WIDE_CHK]], [[WIDENABLE_COND3]] |
| ; CHECK-NEXT: br i1 [[GUARD_CHK]], label [[GUARDED1:%.*]], label [[DEOPT2:%.*]], !prof !0 |
| ; CHECK: deopt2: |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ; CHECK-NEXT: ret void |
| ; CHECK: guarded1: |
| ; CHECK-NEXT: br i1 undef, label [[LOOP2:%.*]], label [[LEAVE2:%.*]] |
| ; CHECK: loop2: |
| ; CHECK-NEXT: [[WIDENABLE_COND7:%.*]] = call i1 @llvm.experimental.widenable.condition() |
| ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND8:%.*]] = and i1 [[COND_3]], [[WIDENABLE_COND7]] |
| ; CHECK-NEXT: br i1 true, label [[GUARDED5:%.*]], label [[DEOPT6:%.*]], !prof !0 |
| ; CHECK: deopt6: |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ; CHECK-NEXT: ret void |
| ; CHECK: guarded5: |
| ; CHECK-NEXT: br label [[LOOP2]] |
| ; CHECK: leave2: |
| ; CHECK-NEXT: ret void |
| ; |
| entry: |
| br label %loop |
| |
| loop: ; preds = %guarded, %entry |
| %widenable_cond = call i1 @llvm.experimental.widenable.condition() |
| %exiplicit_guard_cond = and i1 %cond_1, %widenable_cond |
| br i1 %exiplicit_guard_cond, label %guarded, label %deopt, !prof !0 |
| |
| deopt: ; preds = %loop |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ret void |
| |
| guarded: ; preds = %loop |
| br i1 undef, label %loop, label %leave |
| |
| leave: ; preds = %guarded |
| %widenable_cond3 = call i1 @llvm.experimental.widenable.condition() |
| %exiplicit_guard_cond4 = and i1 %cond_2, %widenable_cond3 |
| br i1 %exiplicit_guard_cond4, label %guarded1, label %deopt2, !prof !0 |
| |
| deopt2: ; preds = %leave |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ret void |
| |
| guarded1: ; preds = %leave |
| br i1 undef, label %loop2, label %leave2 |
| |
| loop2: ; preds = %guarded5, %guarded1 |
| %cond_3 = icmp ult i32 %a, 7 |
| %widenable_cond7 = call i1 @llvm.experimental.widenable.condition() |
| %exiplicit_guard_cond8 = and i1 %cond_3, %widenable_cond7 |
| br i1 %exiplicit_guard_cond8, label %guarded5, label %deopt6, !prof !0 |
| |
| deopt6: ; preds = %loop2 |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ret void |
| |
| guarded5: ; preds = %loop2 |
| br label %loop2 |
| |
| leave2: ; preds = %guarded1 |
| ret void |
| } |
| |
| ; In cases like these where there isn't any "obviously profitable" |
| ; widening sites, we refuse to do anything. |
| define void @f_9(i32 %a, i1 %cond_0, i1 %cond_1) { |
| ; CHECK-LABEL: @f_9( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: br label [[FIRST_LOOP:%.*]] |
| ; CHECK: first_loop: |
| ; CHECK-NEXT: [[WIDENABLE_COND:%.*]] = call i1 @llvm.experimental.widenable.condition() |
| ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND:%.*]] = and i1 [[COND_0:%.*]], [[WIDENABLE_COND]] |
| ; CHECK-NEXT: br i1 [[EXIPLICIT_GUARD_COND]], label [[GUARDED:%.*]], label [[DEOPT:%.*]], !prof !0 |
| ; CHECK: deopt: |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ; CHECK-NEXT: ret void |
| ; CHECK: guarded: |
| ; CHECK-NEXT: br i1 undef, label [[FIRST_LOOP]], label [[SECOND_LOOP:%.*]] |
| ; CHECK: second_loop: |
| ; CHECK-NEXT: [[WIDENABLE_COND3:%.*]] = call i1 @llvm.experimental.widenable.condition() |
| ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND4:%.*]] = and i1 [[COND_1:%.*]], [[WIDENABLE_COND3]] |
| ; CHECK-NEXT: br i1 [[EXIPLICIT_GUARD_COND4]], label [[GUARDED1:%.*]], label [[DEOPT2:%.*]], !prof !0 |
| ; CHECK: deopt2: |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ; CHECK-NEXT: ret void |
| ; CHECK: guarded1: |
| ; CHECK-NEXT: br label [[SECOND_LOOP]] |
| ; |
| entry: |
| br label %first_loop |
| |
| first_loop: ; preds = %guarded, %entry |
| %widenable_cond = call i1 @llvm.experimental.widenable.condition() |
| %exiplicit_guard_cond = and i1 %cond_0, %widenable_cond |
| br i1 %exiplicit_guard_cond, label %guarded, label %deopt, !prof !0 |
| |
| deopt: ; preds = %first_loop |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ret void |
| |
| guarded: ; preds = %first_loop |
| br i1 undef, label %first_loop, label %second_loop |
| |
| second_loop: ; preds = %guarded1, %guarded |
| %widenable_cond3 = call i1 @llvm.experimental.widenable.condition() |
| %exiplicit_guard_cond4 = and i1 %cond_1, %widenable_cond3 |
| br i1 %exiplicit_guard_cond4, label %guarded1, label %deopt2, !prof !0 |
| |
| deopt2: ; preds = %second_loop |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ret void |
| |
| guarded1: ; preds = %second_loop |
| br label %second_loop |
| } |
| |
| ; Same situation as in @f_9: no "obviously profitable" widening sites, |
| ; so we refuse to do anything. |
| define void @f_10(i32 %a, i1 %cond_0, i1 %cond_1) { |
| ; CHECK-LABEL: @f_10( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: br label [[LOOP:%.*]] |
| ; CHECK: loop: |
| ; CHECK-NEXT: [[WIDENABLE_COND:%.*]] = call i1 @llvm.experimental.widenable.condition() |
| ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND:%.*]] = and i1 [[COND_0:%.*]], [[WIDENABLE_COND]] |
| ; CHECK-NEXT: br i1 [[EXIPLICIT_GUARD_COND]], label [[GUARDED:%.*]], label [[DEOPT:%.*]], !prof !0 |
| ; CHECK: deopt: |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ; CHECK-NEXT: ret void |
| ; CHECK: guarded: |
| ; CHECK-NEXT: br i1 undef, label [[LOOP]], label [[NO_LOOP:%.*]] |
| ; CHECK: no_loop: |
| ; CHECK-NEXT: [[WIDENABLE_COND3:%.*]] = call i1 @llvm.experimental.widenable.condition() |
| ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND4:%.*]] = and i1 [[COND_1:%.*]], [[WIDENABLE_COND3]] |
| ; CHECK-NEXT: br i1 [[EXIPLICIT_GUARD_COND4]], label [[GUARDED1:%.*]], label [[DEOPT2:%.*]], !prof !0 |
| ; CHECK: deopt2: |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ; CHECK-NEXT: ret void |
| ; CHECK: guarded1: |
| ; CHECK-NEXT: ret void |
| ; |
| entry: |
| br label %loop |
| |
| loop: ; preds = %guarded, %entry |
| %widenable_cond = call i1 @llvm.experimental.widenable.condition() |
| %exiplicit_guard_cond = and i1 %cond_0, %widenable_cond |
| br i1 %exiplicit_guard_cond, label %guarded, label %deopt, !prof !0 |
| |
| deopt: ; preds = %loop |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ret void |
| |
| guarded: ; preds = %loop |
| br i1 undef, label %loop, label %no_loop |
| |
| no_loop: ; preds = %guarded |
| %widenable_cond3 = call i1 @llvm.experimental.widenable.condition() |
| %exiplicit_guard_cond4 = and i1 %cond_1, %widenable_cond3 |
| br i1 %exiplicit_guard_cond4, label %guarded1, label %deopt2, !prof !0 |
| |
| deopt2: ; preds = %no_loop |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ret void |
| |
| guarded1: ; preds = %no_loop |
| ret void |
| } |
| |
| ; With guards in loops, we're okay hoisting out the guard into the |
| ; containing loop. |
| define void @f_11(i32 %a, i1 %cond_0, i1 %cond_1) { |
| ; CHECK-LABEL: @f_11( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: br label [[OUTER_HEADER:%.*]] |
| ; CHECK: outer_header: |
| ; CHECK-NEXT: [[WIDENABLE_COND:%.*]] = call i1 @llvm.experimental.widenable.condition() |
| ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND:%.*]] = and i1 [[COND_0:%.*]], [[WIDENABLE_COND]] |
| ; CHECK-NEXT: [[WIDE_CHK:%.*]] = and i1 [[COND_0]], [[COND_1:%.*]] |
| ; CHECK-NEXT: [[GUARD_CHK:%.*]] = and i1 [[WIDE_CHK]], [[WIDENABLE_COND]] |
| ; CHECK-NEXT: br i1 [[GUARD_CHK]], label [[GUARDED:%.*]], label [[DEOPT:%.*]], !prof !0 |
| ; CHECK: deopt: |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ; CHECK-NEXT: ret void |
| ; CHECK: guarded: |
| ; CHECK-NEXT: br label [[INNER:%.*]] |
| ; CHECK: inner: |
| ; CHECK-NEXT: [[WIDENABLE_COND3:%.*]] = call i1 @llvm.experimental.widenable.condition() |
| ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND4:%.*]] = and i1 [[COND_1]], [[WIDENABLE_COND3]] |
| ; CHECK-NEXT: br i1 true, label [[GUARDED1:%.*]], label [[DEOPT2:%.*]], !prof !0 |
| ; CHECK: deopt2: |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ; CHECK-NEXT: ret void |
| ; CHECK: guarded1: |
| ; CHECK-NEXT: br i1 undef, label [[INNER]], label [[OUTER_LATCH:%.*]] |
| ; CHECK: outer_latch: |
| ; CHECK-NEXT: br i1 undef, label [[OUTER_HEADER]], label [[EXIT:%.*]] |
| ; CHECK: exit: |
| ; CHECK-NEXT: ret void |
| ; |
| entry: |
| br label %outer_header |
| |
| outer_header: ; preds = %outer_latch, %entry |
| %widenable_cond = call i1 @llvm.experimental.widenable.condition() |
| %exiplicit_guard_cond = and i1 %cond_0, %widenable_cond |
| br i1 %exiplicit_guard_cond, label %guarded, label %deopt, !prof !0 |
| |
| deopt: ; preds = %outer_header |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ret void |
| |
| guarded: ; preds = %outer_header |
| br label %inner |
| |
| inner: ; preds = %guarded1, %guarded |
| %widenable_cond3 = call i1 @llvm.experimental.widenable.condition() |
| %exiplicit_guard_cond4 = and i1 %cond_1, %widenable_cond3 |
| br i1 %exiplicit_guard_cond4, label %guarded1, label %deopt2, !prof !0 |
| |
| deopt2: ; preds = %inner |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ret void |
| |
| guarded1: ; preds = %inner |
| br i1 undef, label %inner, label %outer_latch |
| |
| outer_latch: ; preds = %guarded1 |
| br i1 undef, label %outer_header, label %exit |
| |
| exit: ; preds = %outer_latch |
| ret void |
| } |
| |
| ; Checks that we are adequately guarded against exponential-time |
| ; behavior when hoisting code. |
| define void @f_12(i32 %a0) { |
| ; CHECK-LABEL: @f_12( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[WIDENABLE_COND:%.*]] = call i1 @llvm.experimental.widenable.condition() |
| ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND:%.*]] = and i1 true, [[WIDENABLE_COND]] |
| ; CHECK-NEXT: [[A1:%.*]] = mul i32 [[A0:%.*]], [[A0]] |
| ; CHECK-NEXT: [[A2:%.*]] = mul i32 [[A1]], [[A1]] |
| ; CHECK-NEXT: [[A3:%.*]] = mul i32 [[A2]], [[A2]] |
| ; CHECK-NEXT: [[A4:%.*]] = mul i32 [[A3]], [[A3]] |
| ; CHECK-NEXT: [[A5:%.*]] = mul i32 [[A4]], [[A4]] |
| ; CHECK-NEXT: [[A6:%.*]] = mul i32 [[A5]], [[A5]] |
| ; CHECK-NEXT: [[A7:%.*]] = mul i32 [[A6]], [[A6]] |
| ; CHECK-NEXT: [[A8:%.*]] = mul i32 [[A7]], [[A7]] |
| ; CHECK-NEXT: [[A9:%.*]] = mul i32 [[A8]], [[A8]] |
| ; CHECK-NEXT: [[A10:%.*]] = mul i32 [[A9]], [[A9]] |
| ; CHECK-NEXT: [[A11:%.*]] = mul i32 [[A10]], [[A10]] |
| ; CHECK-NEXT: [[A12:%.*]] = mul i32 [[A11]], [[A11]] |
| ; CHECK-NEXT: [[A13:%.*]] = mul i32 [[A12]], [[A12]] |
| ; CHECK-NEXT: [[A14:%.*]] = mul i32 [[A13]], [[A13]] |
| ; CHECK-NEXT: [[A15:%.*]] = mul i32 [[A14]], [[A14]] |
| ; CHECK-NEXT: [[A16:%.*]] = mul i32 [[A15]], [[A15]] |
| ; CHECK-NEXT: [[A17:%.*]] = mul i32 [[A16]], [[A16]] |
| ; CHECK-NEXT: [[A18:%.*]] = mul i32 [[A17]], [[A17]] |
| ; CHECK-NEXT: [[A19:%.*]] = mul i32 [[A18]], [[A18]] |
| ; CHECK-NEXT: [[A20:%.*]] = mul i32 [[A19]], [[A19]] |
| ; CHECK-NEXT: [[A21:%.*]] = mul i32 [[A20]], [[A20]] |
| ; CHECK-NEXT: [[A22:%.*]] = mul i32 [[A21]], [[A21]] |
| ; CHECK-NEXT: [[A23:%.*]] = mul i32 [[A22]], [[A22]] |
| ; CHECK-NEXT: [[A24:%.*]] = mul i32 [[A23]], [[A23]] |
| ; CHECK-NEXT: [[A25:%.*]] = mul i32 [[A24]], [[A24]] |
| ; CHECK-NEXT: [[A26:%.*]] = mul i32 [[A25]], [[A25]] |
| ; CHECK-NEXT: [[A27:%.*]] = mul i32 [[A26]], [[A26]] |
| ; CHECK-NEXT: [[A28:%.*]] = mul i32 [[A27]], [[A27]] |
| ; CHECK-NEXT: [[A29:%.*]] = mul i32 [[A28]], [[A28]] |
| ; CHECK-NEXT: [[A30:%.*]] = mul i32 [[A29]], [[A29]] |
| ; CHECK-NEXT: [[COND:%.*]] = trunc i32 [[A30]] to i1 |
| ; CHECK-NEXT: [[WIDE_CHK:%.*]] = and i1 true, [[COND]] |
| ; CHECK-NEXT: [[GUARD_CHK:%.*]] = and i1 [[WIDE_CHK]], [[WIDENABLE_COND]] |
| ; CHECK-NEXT: br i1 [[GUARD_CHK]], label [[GUARDED:%.*]], label [[DEOPT:%.*]], !prof !0 |
| ; CHECK: deopt: |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ; CHECK-NEXT: ret void |
| ; CHECK: guarded: |
| ; CHECK-NEXT: [[WIDENABLE_COND3:%.*]] = call i1 @llvm.experimental.widenable.condition() |
| ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND4:%.*]] = and i1 [[COND]], [[WIDENABLE_COND3]] |
| ; CHECK-NEXT: br i1 true, label [[GUARDED1:%.*]], label [[DEOPT2:%.*]], !prof !0 |
| ; CHECK: deopt2: |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ; CHECK-NEXT: ret void |
| ; CHECK: guarded1: |
| ; CHECK-NEXT: ret void |
| ; |
| entry: |
| %widenable_cond = call i1 @llvm.experimental.widenable.condition() |
| %exiplicit_guard_cond = and i1 true, %widenable_cond |
| br i1 %exiplicit_guard_cond, label %guarded, label %deopt, !prof !0 |
| |
| deopt: ; preds = %entry |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ret void |
| |
| guarded: ; preds = %entry |
| %a1 = mul i32 %a0, %a0 |
| %a2 = mul i32 %a1, %a1 |
| %a3 = mul i32 %a2, %a2 |
| %a4 = mul i32 %a3, %a3 |
| %a5 = mul i32 %a4, %a4 |
| %a6 = mul i32 %a5, %a5 |
| %a7 = mul i32 %a6, %a6 |
| %a8 = mul i32 %a7, %a7 |
| %a9 = mul i32 %a8, %a8 |
| %a10 = mul i32 %a9, %a9 |
| %a11 = mul i32 %a10, %a10 |
| %a12 = mul i32 %a11, %a11 |
| %a13 = mul i32 %a12, %a12 |
| %a14 = mul i32 %a13, %a13 |
| %a15 = mul i32 %a14, %a14 |
| %a16 = mul i32 %a15, %a15 |
| %a17 = mul i32 %a16, %a16 |
| %a18 = mul i32 %a17, %a17 |
| %a19 = mul i32 %a18, %a18 |
| %a20 = mul i32 %a19, %a19 |
| %a21 = mul i32 %a20, %a20 |
| %a22 = mul i32 %a21, %a21 |
| %a23 = mul i32 %a22, %a22 |
| %a24 = mul i32 %a23, %a23 |
| %a25 = mul i32 %a24, %a24 |
| %a26 = mul i32 %a25, %a25 |
| %a27 = mul i32 %a26, %a26 |
| %a28 = mul i32 %a27, %a27 |
| %a29 = mul i32 %a28, %a28 |
| %a30 = mul i32 %a29, %a29 |
| %cond = trunc i32 %a30 to i1 |
| %widenable_cond3 = call i1 @llvm.experimental.widenable.condition() |
| %exiplicit_guard_cond4 = and i1 %cond, %widenable_cond3 |
| br i1 %exiplicit_guard_cond4, label %guarded1, label %deopt2, !prof !0 |
| |
| deopt2: ; preds = %guarded |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ret void |
| |
| guarded1: ; preds = %guarded |
| ret void |
| } |
| |
| define void @f_13(i32 %a) { |
| ; CHECK-LABEL: @f_13( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[COND_0:%.*]] = icmp ult i32 [[A:%.*]], 14 |
| ; CHECK-NEXT: [[WIDENABLE_COND:%.*]] = call i1 @llvm.experimental.widenable.condition() |
| ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND:%.*]] = and i1 [[COND_0]], [[WIDENABLE_COND]] |
| ; CHECK-NEXT: [[WIDE_CHK:%.*]] = icmp ult i32 [[A]], 10 |
| ; CHECK-NEXT: [[GUARD_CHK:%.*]] = and i1 [[WIDE_CHK]], [[WIDENABLE_COND]] |
| ; CHECK-NEXT: br i1 [[GUARD_CHK]], label [[GUARDED:%.*]], label [[DEOPT:%.*]], !prof !0 |
| ; CHECK: deopt: |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ; CHECK-NEXT: ret void |
| ; CHECK: guarded: |
| ; CHECK-NEXT: br i1 undef, label [[LEFT:%.*]], label [[RIGHT:%.*]] |
| ; CHECK: left: |
| ; CHECK-NEXT: [[COND_1:%.*]] = icmp slt i32 [[A]], 10 |
| ; CHECK-NEXT: [[WIDENABLE_COND3:%.*]] = call i1 @llvm.experimental.widenable.condition() |
| ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND4:%.*]] = and i1 [[COND_1]], [[WIDENABLE_COND3]] |
| ; CHECK-NEXT: br i1 true, label [[GUARDED1:%.*]], label [[DEOPT2:%.*]], !prof !0 |
| ; CHECK: deopt2: |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ; CHECK-NEXT: ret void |
| ; CHECK: guarded1: |
| ; CHECK-NEXT: ret void |
| ; CHECK: right: |
| ; CHECK-NEXT: ret void |
| ; |
| entry: |
| %cond_0 = icmp ult i32 %a, 14 |
| %widenable_cond = call i1 @llvm.experimental.widenable.condition() |
| %exiplicit_guard_cond = and i1 %cond_0, %widenable_cond |
| br i1 %exiplicit_guard_cond, label %guarded, label %deopt, !prof !0 |
| |
| deopt: ; preds = %entry |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ret void |
| |
| guarded: ; preds = %entry |
| br i1 undef, label %left, label %right |
| |
| left: ; preds = %guarded |
| %cond_1 = icmp slt i32 %a, 10 |
| %widenable_cond3 = call i1 @llvm.experimental.widenable.condition() |
| %exiplicit_guard_cond4 = and i1 %cond_1, %widenable_cond3 |
| br i1 %exiplicit_guard_cond4, label %guarded1, label %deopt2, !prof !0 |
| |
| deopt2: ; preds = %left |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ret void |
| |
| guarded1: ; preds = %left |
| ret void |
| |
| right: ; preds = %guarded |
| ret void |
| } |
| |
| define void @f_14(i32 %a) { |
| ; CHECK-LABEL: @f_14( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[COND_0:%.*]] = icmp ult i32 [[A:%.*]], 14 |
| ; CHECK-NEXT: [[WIDENABLE_COND:%.*]] = call i1 @llvm.experimental.widenable.condition() |
| ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND:%.*]] = and i1 [[COND_0]], [[WIDENABLE_COND]] |
| ; CHECK-NEXT: br i1 [[EXIPLICIT_GUARD_COND]], label [[GUARDED:%.*]], label [[DEOPT:%.*]], !prof !0 |
| ; CHECK: deopt: |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ; CHECK-NEXT: ret void |
| ; CHECK: guarded: |
| ; CHECK-NEXT: br i1 undef, label [[LEFT:%.*]], label [[RIGHT:%.*]] |
| ; CHECK: left: |
| ; CHECK-NEXT: [[COND_1:%.*]] = icmp sgt i32 [[A]], 10 |
| ; CHECK-NEXT: [[WIDENABLE_COND3:%.*]] = call i1 @llvm.experimental.widenable.condition() |
| ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND4:%.*]] = and i1 [[COND_1]], [[WIDENABLE_COND3]] |
| ; CHECK-NEXT: br i1 [[EXIPLICIT_GUARD_COND4]], label [[GUARDED1:%.*]], label [[DEOPT2:%.*]], !prof !0 |
| ; CHECK: deopt2: |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ; CHECK-NEXT: ret void |
| ; CHECK: guarded1: |
| ; CHECK-NEXT: ret void |
| ; CHECK: right: |
| ; CHECK-NEXT: ret void |
| ; |
| entry: |
| %cond_0 = icmp ult i32 %a, 14 |
| %widenable_cond = call i1 @llvm.experimental.widenable.condition() |
| %exiplicit_guard_cond = and i1 %cond_0, %widenable_cond |
| br i1 %exiplicit_guard_cond, label %guarded, label %deopt, !prof !0 |
| |
| deopt: ; preds = %entry |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ret void |
| |
| guarded: ; preds = %entry |
| br i1 undef, label %left, label %right |
| |
| left: ; preds = %guarded |
| %cond_1 = icmp sgt i32 %a, 10 |
| %widenable_cond3 = call i1 @llvm.experimental.widenable.condition() |
| %exiplicit_guard_cond4 = and i1 %cond_1, %widenable_cond3 |
| br i1 %exiplicit_guard_cond4, label %guarded1, label %deopt2, !prof !0 |
| |
| deopt2: ; preds = %left |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ret void |
| |
| guarded1: ; preds = %left |
| ret void |
| |
| right: ; preds = %guarded |
| ret void |
| } |
| |
| ; Make sure we do not widen guard by trivial true conditions into something. |
| define void @f_15(i1 %cond_0, i1 %cond_1) { |
| ; CHECK-LABEL: @f_15( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[WIDENABLE_COND:%.*]] = call i1 @llvm.experimental.widenable.condition() |
| ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND:%.*]] = and i1 [[COND_0:%.*]], [[WIDENABLE_COND]] |
| ; CHECK-NEXT: br i1 [[EXIPLICIT_GUARD_COND]], label [[GUARDED:%.*]], label [[DEOPT:%.*]], !prof !0 |
| ; CHECK: deopt: |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ; CHECK-NEXT: ret void |
| ; CHECK: guarded: |
| ; CHECK-NEXT: [[WIDENABLE_COND3:%.*]] = call i1 @llvm.experimental.widenable.condition() |
| ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND4:%.*]] = and i1 true, [[WIDENABLE_COND3]] |
| ; CHECK-NEXT: br i1 [[EXIPLICIT_GUARD_COND4]], label [[GUARDED1:%.*]], label [[DEOPT2:%.*]], !prof !0 |
| ; CHECK: deopt2: |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ; CHECK-NEXT: ret void |
| ; CHECK: guarded1: |
| ; CHECK-NEXT: ret void |
| ; |
| entry: |
| %widenable_cond = call i1 @llvm.experimental.widenable.condition() |
| %exiplicit_guard_cond = and i1 %cond_0, %widenable_cond |
| br i1 %exiplicit_guard_cond, label %guarded, label %deopt, !prof !0 |
| |
| deopt: ; preds = %entry |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ret void |
| |
| guarded: ; preds = %entry |
| %widenable_cond3 = call i1 @llvm.experimental.widenable.condition() |
| %exiplicit_guard_cond4 = and i1 true, %widenable_cond3 |
| br i1 %exiplicit_guard_cond4, label %guarded1, label %deopt2, !prof !0 |
| |
| deopt2: ; preds = %guarded |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ret void |
| |
| guarded1: ; preds = %guarded |
| ret void |
| } |
| |
| ; Make sure we do not widen guard by trivial false conditions into something. |
| define void @f_16(i1 %cond_0, i1 %cond_1) { |
| ; CHECK-LABEL: @f_16( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[WIDENABLE_COND:%.*]] = call i1 @llvm.experimental.widenable.condition() |
| ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND:%.*]] = and i1 [[COND_0:%.*]], [[WIDENABLE_COND]] |
| ; CHECK-NEXT: br i1 [[EXIPLICIT_GUARD_COND]], label [[GUARDED:%.*]], label [[DEOPT:%.*]], !prof !0 |
| ; CHECK: deopt: |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ; CHECK-NEXT: ret void |
| ; CHECK: guarded: |
| ; CHECK-NEXT: [[WIDENABLE_COND3:%.*]] = call i1 @llvm.experimental.widenable.condition() |
| ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND4:%.*]] = and i1 false, [[WIDENABLE_COND3]] |
| ; CHECK-NEXT: br i1 [[EXIPLICIT_GUARD_COND4]], label [[GUARDED1:%.*]], label [[DEOPT2:%.*]], !prof !0 |
| ; CHECK: deopt2: |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ; CHECK-NEXT: ret void |
| ; CHECK: guarded1: |
| ; CHECK-NEXT: ret void |
| ; |
| entry: |
| %widenable_cond = call i1 @llvm.experimental.widenable.condition() |
| %exiplicit_guard_cond = and i1 %cond_0, %widenable_cond |
| br i1 %exiplicit_guard_cond, label %guarded, label %deopt, !prof !0 |
| |
| deopt: ; preds = %entry |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ret void |
| |
| guarded: ; preds = %entry |
| %widenable_cond3 = call i1 @llvm.experimental.widenable.condition() |
| %exiplicit_guard_cond4 = and i1 false, %widenable_cond3 |
| br i1 %exiplicit_guard_cond4, label %guarded1, label %deopt2, !prof !0 |
| |
| deopt2: ; preds = %guarded |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] |
| ret void |
| |
| guarded1: ; preds = %guarded |
| ret void |
| } |
| |
| declare void @llvm.experimental.deoptimize.isVoid(...) |
| |
| ; Function Attrs: inaccessiblememonly nounwind |
| declare i1 @llvm.experimental.widenable.condition() #0 |
| |
| attributes #0 = { inaccessiblememonly nounwind } |
| |
| !0 = !{!"branch_weights", i32 1048576, i32 1} |
