llvm/test/Transforms/SCCP/PR26044.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes
   2 ; RUN: opt < %s -S -ipsccp | FileCheck %s
   3 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   4 target triple = "x86_64-unknown-linux-gnu"
   5
   6 define void @fn2(i32* %P) {
   7 ; CHECK-LABEL: define {{[^@]+}}@fn2
   8 ; CHECK-SAME: (i32* [[P:%.*]])
   9 ; CHECK-NEXT:  entry:
  10 ; CHECK-NEXT:    br label [[IF_END:%.*]]
  11 ; CHECK:       for.cond1:
  12 ; CHECK-NEXT:    br i1 false, label [[IF_END]], label [[IF_END]]
  13 ; CHECK:       if.end:
  14 ; CHECK-NEXT:    [[CALL:%.*]] = call i32 @fn1(i32 undef)
  15 ; CHECK-NEXT:    store i32 [[CALL]], i32* [[P]]
  16 ; CHECK-NEXT:    br label [[FOR_COND1:%.*]]
  17 ;
  18 entry:
  19   br label %if.end
  20
  21 for.cond1:                                        ; preds = %if.end, %for.end
  22   br i1 undef, label %if.end, label %if.end
  23
  24 if.end:                                           ; preds = %lbl, %for.cond1
  25   %e.2 = phi i32* [ undef, %entry ], [ null, %for.cond1 ], [ null, %for.cond1 ]
  26   %0 = load i32, i32* %e.2, align 4
  27   %call = call i32 @fn1(i32 %0)
  28   store i32 %call, i32* %P
  29   br label %for.cond1
  30 }
  31
  32 define internal i32 @fn1(i32 %p1) {
  33 ; CHECK-LABEL: define {{[^@]+}}@fn1
  34 ; CHECK-SAME: (i32 [[P1:%.*]])
  35 ; CHECK-NEXT:  entry:
  36 ; CHECK-NEXT:    [[TOBOOL:%.*]] = icmp ne i32 undef, 0
  37 ; CHECK-NEXT:    [[COND:%.*]] = select i1 [[TOBOOL]], i32 undef, i32 undef
  38 ; CHECK-NEXT:    ret i32 [[COND]]
  39 ;
  40 entry:
  41   %tobool = icmp ne i32 %p1, 0
  42   %cond = select i1 %tobool, i32 %p1, i32 %p1
  43   ret i32 %cond
  44 }
  45
  46 define void @fn_no_null_opt(i32* %P) #0 {
  47 ; CHECK-LABEL: define {{[^@]+}}@fn_no_null_opt
  48 ; CHECK-SAME: (i32* [[P:%.*]])
  49 ; CHECK-NEXT:  entry:
  50 ; CHECK-NEXT:    br label [[IF_END:%.*]]
  51 ; CHECK:       for.cond1:
  52 ; CHECK-NEXT:    br i1 false, label [[IF_END]], label [[IF_END]]
  53 ; CHECK:       if.end:
  54 ; CHECK-NEXT:    [[TMP0:%.*]] = load i32, i32* null, align 4
  55 ; CHECK-NEXT:    [[CALL:%.*]] = call i32 @fn0(i32 [[TMP0]])
  56 ; CHECK-NEXT:    store i32 [[CALL]], i32* [[P]]
  57 ; CHECK-NEXT:    br label [[FOR_COND1:%.*]]
  58 ;
  59 entry:
  60   br label %if.end
  61
  62 for.cond1:                                        ; preds = %if.end, %for.end
  63   br i1 undef, label %if.end, label %if.end
  64
  65 if.end:                                           ; preds = %lbl, %for.cond1
  66   %e.2 = phi i32* [ undef, %entry ], [ null, %for.cond1 ], [ null, %for.cond1 ]
  67   %0 = load i32, i32* %e.2, align 4
  68   %call = call i32 @fn0(i32 %0)
  69   store i32 %call, i32* %P
  70   br label %for.cond1
  71 }
  72
  73 define internal i32 @fn0(i32 %p1) {
  74 ; CHECK-LABEL: define {{[^@]+}}@fn0
  75 ; CHECK-SAME: (i32 [[P1:%.*]])
  76 ; CHECK-NEXT:  entry:
  77 ; CHECK-NEXT:    [[TOBOOL:%.*]] = icmp ne i32 [[P1]], 0
  78 ; CHECK-NEXT:    [[COND:%.*]] = select i1 [[TOBOOL]], i32 [[P1]], i32 [[P1]]
  79 ; CHECK-NEXT:    ret i32 [[COND]]
  80 ;
  81 entry:
  82   %tobool = icmp ne i32 %p1, 0
  83   %cond = select i1 %tobool, i32 %p1, i32 %p1
  84   ret i32 %cond
  85 }
  86
  87 attributes #0 = { null_pointer_is_valid }