• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1; RUN: opt -instcombine -S < %s | FileCheck %s
2
3target 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 metadata is combined
7; CHECK: load i32*, i32** %0
8; CHECK-SAME: !dereferenceable ![[DEREF:[0-9]+]]
9define void @test_load_load_combine_metadata(i32**, i32**, i32**) {
10  %a = load i32*, i32** %0, !dereferenceable !0
11  %b = load i32*, i32** %0, !dereferenceable !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}