llvm/test/Transforms/InstCombine/nonnull-select.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -instcombine -S | FileCheck %s
   3
   4 ; Passing select(cond, null, v) as nonnull should be optimized to passing v
   5
   6 define nonnull i32* @pr48975(i32** %.0) {
   7 ; CHECK-LABEL: @pr48975(
   8 ; CHECK-NEXT:    [[DOT1:%.*]] = load i32*, i32** [[DOT0:%.*]], align 8
   9 ; CHECK-NEXT:    [[DOT2:%.*]] = icmp eq i32* [[DOT1]], null
  10 ; CHECK-NEXT:    [[DOT3:%.*]] = bitcast i32** [[DOT0]] to i32*
  11 ; CHECK-NEXT:    [[DOT4:%.*]] = select i1 [[DOT2]], i32* null, i32* [[DOT3]]
  12 ; CHECK-NEXT:    ret i32* [[DOT4]]
  13 ;
  14   %.1 = load i32*, i32** %.0, align 8
  15   %.2 = icmp eq i32* %.1, null
  16   %.3 = bitcast i32** %.0 to i32*
  17   %.4 = select i1 %.2, i32* null, i32* %.3
  18   ret i32* %.4
  19 }
  20
  21 define nonnull i32* @nonnull_ret(i1 %cond, i32* %p) {
  22 ; CHECK-LABEL: @nonnull_ret(
  23 ; CHECK-NEXT:    [[RES:%.*]] = select i1 [[COND:%.*]], i32* [[P:%.*]], i32* null
  24 ; CHECK-NEXT:    ret i32* [[RES]]
  25 ;
  26   %res = select i1 %cond, i32* %p, i32* null
  27   ret i32* %res
  28 }
  29
  30 define nonnull i32* @nonnull_ret2(i1 %cond, i32* %p) {
  31 ; CHECK-LABEL: @nonnull_ret2(
  32 ; CHECK-NEXT:    [[RES:%.*]] = select i1 [[COND:%.*]], i32* null, i32* [[P:%.*]]
  33 ; CHECK-NEXT:    ret i32* [[RES]]
  34 ;
  35   %res = select i1 %cond, i32* null, i32* %p
  36   ret i32* %res
  37 }
  38
  39 define nonnull noundef i32* @nonnull_noundef_ret(i1 %cond, i32* %p) {
  40 ; CHECK-LABEL: @nonnull_noundef_ret(
  41 ; CHECK-NEXT:    [[RES:%.*]] = select i1 [[COND:%.*]], i32* [[P:%.*]], i32* null
  42 ; CHECK-NEXT:    ret i32* [[RES]]
  43 ;
  44   %res = select i1 %cond, i32* %p, i32* null
  45   ret i32* %res
  46 }
  47
  48 define nonnull noundef i32* @nonnull_noundef_ret2(i1 %cond, i32* %p) {
  49 ; CHECK-LABEL: @nonnull_noundef_ret2(
  50 ; CHECK-NEXT:    [[RES:%.*]] = select i1 [[COND:%.*]], i32* null, i32* [[P:%.*]]
  51 ; CHECK-NEXT:    ret i32* [[RES]]
  52 ;
  53   %res = select i1 %cond, i32* null, i32* %p
  54   ret i32* %res
  55 }
  56
  57
  58 define void @nonnull_call(i1 %cond, i32* %p) {
  59 ; CHECK-LABEL: @nonnull_call(
  60 ; CHECK-NEXT:    [[RES:%.*]] = select i1 [[COND:%.*]], i32* [[P:%.*]], i32* null
  61 ; CHECK-NEXT:    call void @f(i32* nonnull [[RES]])
  62 ; CHECK-NEXT:    ret void
  63 ;
  64   %res = select i1 %cond, i32* %p, i32* null
  65   call void @f(i32* nonnull %res)
  66   ret void
  67 }
  68
  69 define void @nonnull_call2(i1 %cond, i32* %p) {
  70 ; CHECK-LABEL: @nonnull_call2(
  71 ; CHECK-NEXT:    [[RES:%.*]] = select i1 [[COND:%.*]], i32* null, i32* [[P:%.*]]
  72 ; CHECK-NEXT:    call void @f(i32* nonnull [[RES]])
  73 ; CHECK-NEXT:    ret void
  74 ;
  75   %res = select i1 %cond, i32* null, i32* %p
  76   call void @f(i32* nonnull %res)
  77   ret void
  78 }
  79
  80 define void @nonnull_noundef_call(i1 %cond, i32* %p) {
  81 ; CHECK-LABEL: @nonnull_noundef_call(
  82 ; CHECK-NEXT:    [[RES:%.*]] = select i1 [[COND:%.*]], i32* [[P:%.*]], i32* null
  83 ; CHECK-NEXT:    call void @f(i32* noundef nonnull [[RES]])
  84 ; CHECK-NEXT:    ret void
  85 ;
  86   %res = select i1 %cond, i32* %p, i32* null
  87   call void @f(i32* nonnull noundef %res)
  88   ret void
  89 }
  90
  91 define void @nonnull_noundef_call2(i1 %cond, i32* %p) {
  92 ; CHECK-LABEL: @nonnull_noundef_call2(
  93 ; CHECK-NEXT:    [[RES:%.*]] = select i1 [[COND:%.*]], i32* null, i32* [[P:%.*]]
  94 ; CHECK-NEXT:    call void @f(i32* noundef nonnull [[RES]])
  95 ; CHECK-NEXT:    ret void
  96 ;
  97   %res = select i1 %cond, i32* null, i32* %p
  98   call void @f(i32* nonnull noundef %res)
  99   ret void
 100 }
 101
 102 declare void @f(i32*)