llvm/test/Transforms/NewGVN/assume_dominating_icmp.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 3
   2 ; RUN: opt -passes=newgvn -S < %s | FileCheck %s
   3
   4 @c = global i32 0, align 4
   5
   6 ; Function Attrs: nounwind optsize uwtable
   7 define i32 @main(i1 %cond1, i32 %arg0, i32 %arg1) {
   8 ; CHECK-LABEL: define i32 @main(
   9 ; CHECK-SAME: i1 [[COND1:%.*]], i32 [[ARG0:%.*]], i32 [[ARG1:%.*]]) {
  10 ; CHECK-NEXT:  entry:
  11 ; CHECK-NEXT:    br i1 [[COND1]], label [[BB1:%.*]], label [[BB3:%.*]]
  12 ; CHECK:       bb1:
  13 ; CHECK-NEXT:    [[XOR1:%.*]] = xor i32 [[ARG0]], 1
  14 ; CHECK-NEXT:    [[COND2:%.*]] = icmp eq i32 [[ARG1]], 0
  15 ; CHECK-NEXT:    br i1 [[COND2]], label [[BB3]], label [[BB2:%.*]]
  16 ; CHECK:       bb2:
  17 ; CHECK-NEXT:    [[COND3:%.*]] = icmp ne i32 [[XOR1]], 0
  18 ; CHECK-NEXT:    tail call void @llvm.assume(i1 [[COND3]])
  19 ; CHECK-NEXT:    br label [[BB3]]
  20 ; CHECK:       bb3:
  21 ; CHECK-NEXT:    [[PHI:%.*]] = phi i32 [ undef, [[ENTRY:%.*]] ], [ [[XOR1]], [[BB1]] ], [ [[XOR1]], [[BB2]] ]
  22 ; CHECK-NEXT:    [[XOR2:%.*]] = xor i32 [[PHI]], -1
  23 ; CHECK-NEXT:    [[LD:%.*]] = load i32, ptr @c, align 4
  24 ; CHECK-NEXT:    [[OR:%.*]] = or i32 [[LD]], [[XOR2]]
  25 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp eq i32 [[OR]], 0
  26 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp eq i32 [[PHI]], 0
  27 ; CHECK-NEXT:    [[COND4:%.*]] = or i1 [[CMP1]], [[CMP2]]
  28 ; CHECK-NEXT:    br i1 [[COND4]], label [[EXIT1:%.*]], label [[EXIT2:%.*]]
  29 ; CHECK:       exit1:
  30 ; CHECK-NEXT:    ret i32 0
  31 ; CHECK:       exit2:
  32 ; CHECK-NEXT:    ret i32 1
  33 ;
  34 entry:
  35 ;    entry
  36 ;     / |
  37 ;   bb1 |
  38 ;   / | |
  39 ; bb2 | |
  40 ;    \| |
  41 ;     bb3
  42 ;     / \
  43 ; exit1 exit2
  44   br i1 %cond1, label %bb1, label %bb3
  45
  46 bb1:                                          ; preds = %entry
  47   %xor1 = xor i32 %arg0, 1
  48   %cond2 = icmp eq i32 %arg1, 0
  49   br i1 %cond2, label %bb3, label %bb2
  50
  51 bb2:                                          ; preds = %bb1
  52   %cond3 = icmp ne i32 %xor1, 0
  53   tail call void @llvm.assume(i1 %cond3)
  54   br label %bb3
  55
  56 bb3:                                          ; preds = %bb2, %bb1, %entry
  57   %phi = phi i32 [ undef, %entry ], [ %xor1, %bb1 ], [ %xor1, %bb2 ]
  58   %xor2 = xor i32 %phi, -1
  59   %ld = load i32, ptr @c, align 4
  60   %or = or i32 %ld, %xor2
  61   %cmp1 = icmp eq i32 %or, 0
  62   %cmp2 = icmp eq i32 %phi, 0
  63   %cond4 = or i1 %cmp1, %cmp2
  64   br i1 %cond4, label %exit1, label %exit2
  65
  66 exit1:                                        ; preds = %bb3
  67   ret i32 0
  68
  69 exit2:                                        ; preds = %bb3
  70   ret i32 1
  71 }
  72
  73 declare void @llvm.assume(i1 noundef)