You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
20 lines
580 B
20 lines
580 B
; RUN: opt -instcombine -S < %s | FileCheck %s
|
|
|
|
target datalayout = "e-m:e-p:64:64:64-i64:64-f80:128-n8:16:32:64-S128"
|
|
|
|
; CHECK-LABEL: @test_load_load_combine_metadata(
|
|
; Check that dereferenceable metadata is combined
|
|
; CHECK: load i32*, i32** %0
|
|
; CHECK-SAME: !dereferenceable ![[DEREF:[0-9]+]]
|
|
define void @test_load_load_combine_metadata(i32**, i32**, i32**) {
|
|
%a = load i32*, i32** %0, !dereferenceable !0
|
|
%b = load i32*, i32** %0, !dereferenceable !1
|
|
store i32 0, i32* %a
|
|
store i32 0, i32* %b
|
|
ret void
|
|
}
|
|
|
|
; CHECK: ![[DEREF]] = !{i64 4}
|
|
|
|
!0 = !{i64 4}
|
|
!1 = !{i64 8} |