1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -passes=guard-widening -S < %s | FileCheck %s 3 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 8 13; CHECK-NEXT: [[VAR6:%.*]] = icmp ugt i32 [[VAR5]], 0 14; 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: unreachable 26; 27bb: 28 %var = call i1 @llvm.experimental.widenable.condition() 29 %var2 = call i1 @llvm.experimental.widenable.condition() 30 %var3 = and i1 %cond, %var2 31 br label %bb4 32 33bb4: ; preds = %bb 34 %var5 = load atomic i32, ptr %p unordered, align 8 35 %var6 = icmp ugt i32 %var5, 0 36 %var7 = and i1 %var6, %var 37 br i1 %var7, label %bb10, label %bb8 38 39bb8: ; preds = %bb4 40 %var9 = call ptr (...) @llvm.experimental.deoptimize.p0(i32 13) [ "deopt"(i32 0) ] 41 ret ptr %var9 42 43bb10: ; preds = %bb4 44 br i1 %var3, label %bb13, label %bb11 45 46bb11: ; preds = %bb10 47 %var12 = call ptr (...) @llvm.experimental.deoptimize.p0(i32 13) [ "deopt"(i32 1) ] 48 ret ptr %var12 49 50bb13: ; preds = %bb10 51 unreachable 52} 53 54declare ptr @llvm.experimental.deoptimize.p0(...) 55 56declare i1 @llvm.experimental.widenable.condition() 57