llvm/test/Transforms/SimplifyCFG/pr52290.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=simplifycfg -S | FileCheck %s
   3
   4 ; ModuleID = 'test/Transforms/SimplifyCFG/pr-new.ll'
   5 source_filename = "test/Transforms/SimplifyCFG/pr-new.ll"
   6
   7 define i32 @test(float %arg, i1 %c) gc "statepoint-example" personality ptr @blam {
   8 ; CHECK-LABEL: @test(
   9 ; CHECK-NEXT:  bb:
  10 ; CHECK-NEXT:    [[TMP:%.*]] = call i1 @llvm.experimental.widenable.condition()
  11 ; CHECK-NEXT:    br i1 [[TMP]], label [[BB2:%.*]], label [[BB1:%.*]]
  12 ; CHECK:       bb1:
  13 ; CHECK-NEXT:    br i1 [[C:%.*]], label [[BB7:%.*]], label [[BB5:%.*]]
  14 ; CHECK:       bb2:
  15 ; CHECK-NEXT:    [[TMP3:%.*]] = getelementptr inbounds i8, ptr addrspace(1) undef, i64 16
  16 ; CHECK-NEXT:    br i1 [[C]], label [[BB7]], label [[BB4:%.*]]
  17 ; CHECK:       bb4:
  18 ; CHECK-NEXT:    call void @snork() [ "deopt"() ]
  19 ; CHECK-NEXT:    unreachable
  20 ; CHECK:       bb5:
  21 ; CHECK-NEXT:    ret i32 0
  22 ; CHECK:       bb7:
  23 ; CHECK-NEXT:    [[TMP8:%.*]] = call i32 (...) @llvm.experimental.deoptimize.i32(i32 10) [ "deopt"() ]
  24 ; CHECK-NEXT:    ret i32 [[TMP8]]
  25 ;
  26 bb:
  27   %tmp = call i1 @llvm.experimental.widenable.condition()
  28   br i1 %tmp, label %bb2, label %bb1
  29
  30 bb1:                                              ; preds = %bb
  31   br i1 %c, label %bb7, label %bb5
  32
  33 bb2:                                              ; preds = %bb
  34   %tmp3 = getelementptr inbounds i8, ptr addrspace(1) undef, i64 16
  35   br i1 %c, label %bb6, label %bb4
  36
  37 bb4:                                              ; preds = %bb2
  38   call void @snork() [ "deopt"() ]
  39   unreachable
  40
  41 bb5:                                              ; preds = %bb1
  42   ret i32 0
  43
  44 bb6:                                              ; preds = %bb2
  45   br label %bb7
  46
  47 bb7:                                              ; preds = %bb6, %bb1
  48   %tmp8 = call i32 (...) @llvm.experimental.deoptimize.i32(i32 10) [ "deopt"() ]
  49   ret i32 %tmp8
  50 }
  51
  52 declare ptr @blam()
  53
  54 declare void @snork()
  55
  56 declare i32 @llvm.experimental.deoptimize.i32(...)
  57
  58 ; Function Attrs: inaccessiblememonly nofree nosync nounwind speculatable willreturn
  59 declare i1 @llvm.experimental.widenable.condition() #0
  60
  61 attributes #0 = { inaccessiblememonly nofree nosync nounwind speculatable willreturn }
  62