llvm/test/Transforms/LoopDeletion/assume.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt %s -passes=loop-deletion -S | FileCheck %s --check-prefixes=CHECK
   3
   4 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
   5 target triple = "x86_64-unknown-linux-gnu"
   6
   7 %class.Loc.95 = type { %class.Domain.96 }
   8 %class.Domain.96 = type { %class.DomainBase.97 }
   9 %class.DomainBase.97 = type { [3 x %struct.WrapNoInit] }
  10 %struct.WrapNoInit = type { %class.Loc }
  11 %class.Loc = type { %class.Domain.67 }
  12 %class.Domain.67 = type { %class.DomainBase.68 }
  13 %class.DomainBase.68 = type { i32 }
  14
  15 define dso_local void @_ZSt8_DestroyIP3LocILi3EES1_EvT_S3_RSaIT0_E(ptr %0) #0 {
  16 ; CHECK-LABEL: @_ZSt8_DestroyIP3LocILi3EES1_EvT_S3_RSaIT0_E(
  17 ; CHECK-NEXT:    br label [[_ZST8_DESTROYIP3LOCILI3EEEVT_S3__EXIT:%.*]]
  18 ; CHECK:       _ZSt8_DestroyIP3LocILi3EEEvT_S3_.exit:
  19 ; CHECK-NEXT:    ret void
  20 ;
  21   br label %2
  22
  23 2:                                                ; preds = %4, %1
  24   %.0.i.i = phi ptr [ undef, %1 ], [ %5, %4 ]
  25   %3 = icmp ne ptr %.0.i.i, %0
  26   br i1 %3, label %4, label %_ZSt8_DestroyIP3LocILi3EEEvT_S3_.exit
  27
  28 4:                                                ; preds = %2
  29   call void @llvm.assume(i1 true) [ "align"(ptr %.0.i.i, i64 4) ]
  30   %5 = getelementptr inbounds %class.Loc.95, ptr %.0.i.i, i32 1
  31   br label %2
  32
  33 _ZSt8_DestroyIP3LocILi3EEEvT_S3_.exit:            ; preds = %2
  34   ret void
  35 }
  36
  37 declare void @llvm.assume(i1) #1
  38
  39 attributes #0 = { "target-cpu"="x86-64" }
  40 attributes #1 = { willreturn readnone norecurse nofree }