34 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 22; RUN: opt -S -passes=guard-widening < %s | FileCheck %s3 4; Make sure we don't hang here.5define i64 @test() {6; CHECK-LABEL: define i64 @test() {7; CHECK-NEXT: bb:8; CHECK-NEXT: [[DOTGW_FR:%.*]] = freeze i1 poison9; CHECK-NEXT: [[WIDE_CHK:%.*]] = and i1 poison, [[DOTGW_FR]]10; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 [[WIDE_CHK]]) [ "deopt"() ]11; CHECK-NEXT: br label [[BB2:%.*]]12; CHECK: bb2:13; CHECK-NEXT: br i1 poison, label [[BB3:%.*]], label [[BB2]]14; CHECK: bb3:15; CHECK-NEXT: [[CALL:%.*]] = call i64 (...) @llvm.experimental.deoptimize.i64() [ "deopt"() ]16; CHECK-NEXT: ret i64 [[CALL]]17;18bb:19 call void (i1, ...) @llvm.experimental.guard(i1 poison) [ "deopt"() ]20 br label %bb221 22bb2: ; preds = %bb2, %bb23 br i1 poison, label %bb3, label %bb224 25bb3: ; preds = %bb226 call void (i1, ...) @llvm.experimental.guard(i1 poison) [ "deopt"() ]27 %call = call i64 (...) @llvm.experimental.deoptimize.i64() [ "deopt"() ]28 ret i64 %call29}30 31declare i64 @llvm.experimental.deoptimize.i64(...)32 33declare void @llvm.experimental.guard(i1, ...)34