test/Transforms/InstSimplify/known-non-zero.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -instsimplify -S | FileCheck %s
   3
   4 define i64 @test0(i64 %x) {
   5 ; CHECK-LABEL: @test0(
   6 ; CHECK-NEXT:  start:
   7 ; CHECK-NEXT:    [[A:%.*]] = icmp eq i64 [[X:%.*]], 0
   8 ; CHECK-NEXT:    br i1 [[A]], label [[EXIT:%.*]], label [[NON_ZERO:%.*]]
   9 ; CHECK:       non_zero:
  10 ; CHECK-NEXT:    [[B:%.*]] = icmp eq i64 [[X]], 0
  11 ; CHECK-NEXT:    br i1 [[B]], label [[UNREACHABLE:%.*]], label [[EXIT]]
  12 ; CHECK:       unreachable:
  13 ; CHECK-NEXT:    br label [[EXIT]]
  14 ; CHECK:       exit:
  15 ; CHECK-NEXT:    [[C:%.*]] = phi i64 [ 0, [[START:%.*]] ], [ 1, [[NON_ZERO]] ], [ 2, [[UNREACHABLE]] ]
  16 ; CHECK-NEXT:    ret i64 [[C]]
  17 ;
  18 start:
  19   %a = icmp eq i64 %x, 0
  20   br i1 %a, label %exit, label %non_zero
  21
  22 non_zero:
  23   %b = icmp eq i64 %x, 0
  24   br i1 %b, label %unreachable, label %exit
  25
  26 unreachable:
  27   br label %exit
  28
  29 exit:
  30   %c = phi i64 [ 0, %start ], [ 1, %non_zero ], [ 2, %unreachable ]
  31   ret i64 %c
  32 }
  33
  34 define i64 @test1(i64 %x) {
  35 ; CHECK-LABEL: @test1(
  36 ; CHECK-NEXT:  start:
  37 ; CHECK-NEXT:    [[A:%.*]] = icmp eq i64 [[X:%.*]], 0
  38 ; CHECK-NEXT:    br i1 [[A]], label [[EXIT:%.*]], label [[NON_ZERO:%.*]]
  39 ; CHECK:       non_zero:
  40 ; CHECK-NEXT:    [[B:%.*]] = icmp ugt i64 [[X]], 0
  41 ; CHECK-NEXT:    br i1 [[B]], label [[EXIT]], label [[UNREACHABLE:%.*]]
  42 ; CHECK:       unreachable:
  43 ; CHECK-NEXT:    br label [[EXIT]]
  44 ; CHECK:       exit:
  45 ; CHECK-NEXT:    [[C:%.*]] = phi i64 [ 0, [[START:%.*]] ], [ [[X]], [[NON_ZERO]] ], [ 0, [[UNREACHABLE]] ]
  46 ; CHECK-NEXT:    ret i64 [[C]]
  47 ;
  48 start:
  49   %a = icmp eq i64 %x, 0
  50   br i1 %a, label %exit, label %non_zero
  51
  52 non_zero:
  53   %b = icmp ugt i64 %x, 0
  54   br i1 %b, label %exit, label %unreachable
  55
  56 unreachable:
  57   br label %exit
  58
  59 exit:
  60   %c = phi i64 [ 0, %start ], [ %x, %non_zero ], [ 0, %unreachable ]
  61   ret i64 %c
  62 }
  63
  64 define i1 @test2(i64 %x, i1 %y) {
  65 ; CHECK-LABEL: @test2(
  66 ; CHECK-NEXT:  start:
  67 ; CHECK-NEXT:    [[A:%.*]] = icmp eq i64 [[X:%.*]], 0
  68 ; CHECK-NEXT:    br i1 [[A]], label [[EXIT:%.*]], label [[NON_ZERO:%.*]]
  69 ; CHECK:       non_zero:
  70 ; CHECK-NEXT:    br i1 [[Y:%.*]], label [[ONE:%.*]], label [[TWO:%.*]]
  71 ; CHECK:       one:
  72 ; CHECK-NEXT:    br label [[MAINBLOCK:%.*]]
  73 ; CHECK:       two:
  74 ; CHECK-NEXT:    br label [[MAINBLOCK]]
  75 ; CHECK:       mainblock:
  76 ; CHECK-NEXT:    [[P:%.*]] = phi i64 [ [[X]], [[ONE]] ], [ 42, [[TWO]] ]
  77 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i64 [[P]], 0
  78 ; CHECK-NEXT:    br label [[EXIT]]
  79 ; CHECK:       exit:
  80 ; CHECK-NEXT:    [[RES:%.*]] = phi i1 [ [[CMP]], [[MAINBLOCK]] ], [ true, [[START:%.*]] ]
  81 ; CHECK-NEXT:    ret i1 [[RES]]
  82 ;
  83 start:
  84   %a = icmp eq i64 %x, 0
  85   br i1 %a, label %exit, label %non_zero
  86
  87 non_zero:
  88   br i1 %y, label %one, label %two
  89
  90 one:
  91   br label %mainblock
  92
  93 two:
  94   br label %mainblock
  95
  96 mainblock:
  97   %p = phi i64 [ %x, %one ], [ 42, %two ]
  98   %cmp = icmp eq i64 %p, 0
  99   br label %exit
 100
 101 exit:
 102   %res = phi i1 [ %cmp, %mainblock ], [ 1, %start ]
 103   ret i1 %res
 104 }