llvm/test/Transforms/GVN/load-dead-block.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -S -passes=gvn < %s | FileCheck %s
   3
   4 define i64 @test(ptr noalias %p, ptr noalias %q) {
   5 ; CHECK-LABEL: @test(
   6 ; CHECK-NEXT:  entry:
   7 ; CHECK-NEXT:    store ptr [[Q:%.*]], ptr [[P:%.*]], align 8
   8 ; CHECK-NEXT:    br i1 false, label [[IF:%.*]], label [[MERGE:%.*]]
   9 ; CHECK:       if:
  10 ; CHECK-NEXT:    call void @clobber(ptr [[P]])
  11 ; CHECK-NEXT:    br label [[MERGE]]
  12 ; CHECK:       merge:
  13 ; CHECK-NEXT:    store i64 1, ptr [[Q]], align 4
  14 ; CHECK-NEXT:    [[Q3:%.*]] = getelementptr i64, ptr [[Q]], i64 1
  15 ; CHECK-NEXT:    store i64 2, ptr [[Q3]], align 4
  16 ; CHECK-NEXT:    ret i64 1
  17 ;
  18 entry:
  19   store ptr %q, ptr %p
  20   br i1 false, label %if, label %merge
  21
  22 if:
  23   call void @clobber(ptr %p)
  24   br label %merge
  25
  26 merge:
  27   %q2 = load ptr, ptr %p
  28   store i64 1, ptr %q2
  29   %v = load i64, ptr %q
  30   %q3 = getelementptr i64, ptr %q, i64 %v
  31   store i64 2, ptr %q3
  32   %v2 = load i64, ptr %q
  33   ret i64 %v2
  34 }
  35
  36 declare void @clobber(ptr %p)