llvm/test/Transforms/LICM/sinking-debugify.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -debugify -basic-aa -licm -S | FileCheck %s
   3
   4 %Ty = type { i32, i32 }
   5 @X2 = external global %Ty
   6
   7 ; The GEP in dead1 is adding a zero offset, so the DIExpression can be kept as
   8 ; a "register location".
   9 ; The GEP in dead2 is adding a 4 bytes to the pointer, so the DIExpression is
  10 ; turned into an "implicit location" using DW_OP_stack_value.
  11 define void @test11() {
  12 ; CHECK-LABEL: @test11(
  13 ; CHECK-NEXT:    br label [[LOOP:%.*]], !dbg [[DBG12:![0-9]+]]
  14 ; CHECK:       Loop:
  15 ; CHECK-NEXT:    call void @llvm.dbg.value(metadata %Ty* @X2, metadata [[META9:![0-9]+]], metadata !DIExpression()), !dbg [[DBG13:![0-9]+]]
  16 ; CHECK-NEXT:    call void @llvm.dbg.value(metadata %Ty* @X2, metadata [[META11:![0-9]+]], metadata !DIExpression(DW_OP_plus_uconst, 4, DW_OP_stack_value)), !dbg [[DBG14:![0-9]+]]
  17 ; CHECK-NEXT:    br i1 false, label [[LOOP]], label [[OUT:%.*]], !dbg [[DBG15:![0-9]+]]
  18 ; CHECK:       Out:
  19 ; CHECK-NEXT:    ret void, !dbg [[DBG16:![0-9]+]]
  20 ;
  21   br label %Loop
  22 Loop:
  23   %dead1 = getelementptr %Ty, %Ty* @X2, i64 0, i32 0
  24   %dead2 = getelementptr %Ty, %Ty* @X2, i64 0, i32 1
  25   br i1 false, label %Loop, label %Out
  26 Out:
  27   ret void
  28 }