9114ac67a9
The global constant arguments could be in a different address space than the first argument, so we have to add another overloaded argument. This patch was originally made for CHERI LLVM (where globals can be in address space 200), but it also appears to be useful for in-tree targets as can be seen from the test diffs. Differential Revision: https://reviews.llvm.org/D138722
28 lines
1.0 KiB
LLVM
28 lines
1.0 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
|
; RUN: opt -passes=instcombine %s -S -o - | FileCheck %s
|
|
|
|
; This tests that llvm.annotation does not prevent load combining.
|
|
|
|
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
|
|
target triple = "x86_64-grtev4-linux-gnu"
|
|
|
|
declare i32 @llvm.annotation.i32(i32, ptr, ptr, i32) #1
|
|
|
|
define dso_local i32 @annotated(ptr %c) local_unnamed_addr #0 {
|
|
; CHECK-LABEL: @annotated(
|
|
; CHECK-NEXT: entry:
|
|
; CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr [[C:%.*]], align 4
|
|
; CHECK-NEXT: [[TMP1:%.*]] = call i32 @llvm.annotation.i32.p0(i32 [[TMP0]], ptr undef, ptr undef, i32 undef)
|
|
; CHECK-NEXT: [[ADD:%.*]] = add nsw i32 [[TMP1]], [[TMP0]]
|
|
; CHECK-NEXT: ret i32 [[ADD]]
|
|
;
|
|
entry:
|
|
%0 = load i32, ptr %c, align 4
|
|
%1 = call i32 @llvm.annotation.i32(i32 %0, ptr undef, ptr undef, i32 undef)
|
|
%2 = load i32, ptr %c, align 4
|
|
%add = add nsw i32 %1, %2
|
|
ret i32 %add
|
|
}
|
|
|
|
attributes #0 = { nofree nounwind uwtable willreturn mustprogress }
|