57 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=guard-widening -S < %s | FileCheck %s3 4define ptr @test(i1 %cond, ptr %p) {5; CHECK-LABEL: @test(6; CHECK-NEXT: bb:7; CHECK-NEXT: [[VAR:%.*]] = call i1 @llvm.experimental.widenable.condition()8; CHECK-NEXT: [[VAR2:%.*]] = call i1 @llvm.experimental.widenable.condition()9; CHECK-NEXT: [[VAR3:%.*]] = and i1 [[COND:%.*]], [[VAR2]]10; CHECK-NEXT: br label [[BB4:%.*]]11; CHECK: bb4:12; CHECK-NEXT: [[VAR5:%.*]] = load atomic i32, ptr [[P:%.*]] unordered, align 813; CHECK-NEXT: [[VAR6:%.*]] = icmp ugt i32 [[VAR5]], 014; CHECK-NEXT: [[VAR7:%.*]] = and i1 [[VAR6]], [[VAR]]15; CHECK-NEXT: br i1 [[VAR7]], label [[BB10:%.*]], label [[BB8:%.*]]16; CHECK: bb8:17; CHECK-NEXT: [[VAR9:%.*]] = call ptr (...) @llvm.experimental.deoptimize.p0(i32 13) [ "deopt"(i32 0) ]18; CHECK-NEXT: ret ptr [[VAR9]]19; CHECK: bb10:20; CHECK-NEXT: br i1 [[VAR3]], label [[BB13:%.*]], label [[BB11:%.*]]21; CHECK: bb11:22; CHECK-NEXT: [[VAR12:%.*]] = call ptr (...) @llvm.experimental.deoptimize.p0(i32 13) [ "deopt"(i32 1) ]23; CHECK-NEXT: ret ptr [[VAR12]]24; CHECK: bb13:25; CHECK-NEXT: unreachable26;27bb:28 %var = call i1 @llvm.experimental.widenable.condition()29 %var2 = call i1 @llvm.experimental.widenable.condition()30 %var3 = and i1 %cond, %var231 br label %bb432 33bb4: ; preds = %bb34 %var5 = load atomic i32, ptr %p unordered, align 835 %var6 = icmp ugt i32 %var5, 036 %var7 = and i1 %var6, %var37 br i1 %var7, label %bb10, label %bb838 39bb8: ; preds = %bb440 %var9 = call ptr (...) @llvm.experimental.deoptimize.p0(i32 13) [ "deopt"(i32 0) ]41 ret ptr %var942 43bb10: ; preds = %bb444 br i1 %var3, label %bb13, label %bb1145 46bb11: ; preds = %bb1047 %var12 = call ptr (...) @llvm.experimental.deoptimize.p0(i32 13) [ "deopt"(i32 1) ]48 ret ptr %var1249 50bb13: ; preds = %bb1051 unreachable52}53 54declare ptr @llvm.experimental.deoptimize.p0(...)55 56declare i1 @llvm.experimental.widenable.condition()57