llvm/test/Transforms/GuardWidening/pr60234_recommit.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -passes=guard-widening -S < %s | FileCheck %s
   3
   4 define 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 ;
  27 bb:
  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
  33 bb4:                                              ; 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
  39 bb8:                                              ; preds = %bb4
  40   %var9 = call ptr (...) @llvm.experimental.deoptimize.p0(i32 13) [ "deopt"(i32 0) ]
  41   ret ptr %var9
  42
  43 bb10:                                             ; preds = %bb4
  44   br i1 %var3, label %bb13, label %bb11
  45
  46 bb11:                                             ; preds = %bb10
  47   %var12 = call ptr (...) @llvm.experimental.deoptimize.p0(i32 13) [ "deopt"(i32 1) ]
  48   ret ptr %var12
  49
  50 bb13:                                             ; preds = %bb10
  51   unreachable
  52 }
  53
  54 declare ptr @llvm.experimental.deoptimize.p0(...)
  55
  56 declare i1 @llvm.experimental.widenable.condition()