test/Transforms/InstCombine/load-combine-metadata-4.ll

   1 ; RUN: opt -instcombine -S < %s | FileCheck %s
   2
   3 target datalayout = "e-m:e-p:64:64:64-i64:64-f80:128-n8:16:32:64-S128"
   4
   5 ; CHECK-LABEL: @test_load_load_combine_metadata(
   6 ; Check that dereferenceable_or_null metadata is combined
   7 ; CHECK: load i32*, i32** %0
   8 ; CHECK-SAME: !dereferenceable_or_null ![[DEREF:[0-9]+]]
   9 define void @test_load_load_combine_metadata(i32**, i32**, i32**) {
  10   %a = load i32*, i32** %0, !dereferenceable_or_null !0
  11   %b = load i32*, i32** %0, !dereferenceable_or_null !1
  12   store i32 0, i32* %a
  13   store i32 0, i32* %b
  14   ret void
  15 }
  16
  17 ; CHECK: ![[DEREF]] = !{i64 4}
  18
  19 !0 = !{i64 4}
  20 !1 = !{i64 8}