llvm/test/Transforms/GVN/freeze.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -gvn -S | FileCheck %s
   3 ; RUN: opt < %s -passes=gvn -S | FileCheck %s
   4
   5 define i1 @f(i1 %a) {
   6 ; CHECK-LABEL: @f(
   7 ; CHECK-NEXT:    [[B:%.*]] = freeze i1 [[A:%.*]]
   8 ; CHECK-NEXT:    ret i1 [[B]]
   9 ;
  10   %b = freeze i1 %a
  11   %c = freeze i1 %a
  12   %d = and i1 %b, %b
  13   ret i1 %d
  14 }
  15
  16 define void @f_multipleuses(i1 %a) {
  17 ; CHECK-LABEL: @f_multipleuses(
  18 ; CHECK-NEXT:    [[B:%.*]] = freeze i1 [[A:%.*]]
  19 ; CHECK-NEXT:    call void @use1(i1 [[B]])
  20 ; CHECK-NEXT:    call void @use1(i1 [[B]])
  21 ; CHECK-NEXT:    call void @use1(i1 [[B]])
  22 ; CHECK-NEXT:    ret void
  23 ;
  24   %b = freeze i1 %a
  25   %c = freeze i1 %a
  26   call void @use1(i1 %b)
  27   call void @use1(i1 %c)
  28   call void @use1(i1 %c)
  29   ret void
  30 }
  31
  32 define void @f_dom(i1 %cond, i1 %a) {
  33 ; CHECK-LABEL: @f_dom(
  34 ; CHECK-NEXT:    br i1 [[COND:%.*]], label [[BB1:%.*]], label [[BB2:%.*]]
  35 ; CHECK:       BB1:
  36 ; CHECK-NEXT:    [[X:%.*]] = freeze i1 [[A:%.*]]
  37 ; CHECK-NEXT:    call void @use1(i1 [[X]])
  38 ; CHECK-NEXT:    ret void
  39 ; CHECK:       BB2:
  40 ; CHECK-NEXT:    [[Y:%.*]] = freeze i1 [[A]]
  41 ; CHECK-NEXT:    call void @use2(i1 [[Y]])
  42 ; CHECK-NEXT:    ret void
  43 ;
  44   br i1 %cond, label %BB1, label %BB2
  45 BB1:
  46   %x = freeze i1 %a
  47   call void @use1(i1 %x)
  48   ret void
  49 BB2:
  50   %y = freeze i1 %a
  51   call void @use2(i1 %y) ; cannot use %x
  52   ret void
  53 }
  54 declare void @use1(i1)
  55 declare void @use2(i1)
  56