[PATCH] D55115: [IR] Don't assume all functions are 4 byte aligned
Phabricator via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Mon Dec 3 16:04:30 PST 2018
This revision was automatically updated to reflect the committed changes.
Closed by commit rL348215: [IR] Don't assume all functions are 4 byte aligned (authored by rsingh, committed by ).
Changed prior to commit:
https://reviews.llvm.org/D55115?vs=176378&id=176505#toc
Repository:
rL LLVM
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D55115/new/
https://reviews.llvm.org/D55115
Files:
llvm/trunk/lib/IR/ConstantFold.cpp
llvm/trunk/test/Analysis/ConstantFolding/func-and-folding.ll
llvm/trunk/test/Assembler/2004-03-07-FunctionAddressAlignment.ll
Index: llvm/trunk/lib/IR/ConstantFold.cpp
===================================================================
--- llvm/trunk/lib/IR/ConstantFold.cpp
+++ llvm/trunk/lib/IR/ConstantFold.cpp
@@ -27,6 +27,7 @@
#include "llvm/IR/GlobalAlias.h"
#include "llvm/IR/GlobalVariable.h"
#include "llvm/IR/Instructions.h"
+#include "llvm/IR/Module.h"
#include "llvm/IR/Operator.h"
#include "llvm/IR/PatternMatch.h"
#include "llvm/Support/ErrorHandling.h"
@@ -1077,10 +1078,8 @@
isa<GlobalValue>(CE1->getOperand(0))) {
GlobalValue *GV = cast<GlobalValue>(CE1->getOperand(0));
- // Functions are at least 4-byte aligned.
- unsigned GVAlign = GV->getAlignment();
- if (isa<Function>(GV))
- GVAlign = std::max(GVAlign, 4U);
+ unsigned GVAlign =
+ GV->getPointerAlignment(GV->getParent()->getDataLayout());
if (GVAlign > 1) {
unsigned DstWidth = CI2->getType()->getBitWidth();
Index: llvm/trunk/test/Analysis/ConstantFolding/func-and-folding.ll
===================================================================
--- llvm/trunk/test/Analysis/ConstantFolding/func-and-folding.ll
+++ llvm/trunk/test/Analysis/ConstantFolding/func-and-folding.ll
@@ -0,0 +1,27 @@
+; RUN: opt < %s -constprop -S -o - | FileCheck %s
+
+; Function Attrs: minsize norecurse nounwind optsize readnone
+define dso_local void @foo1() #0 {
+entry:
+ ret void
+}
+
+; Function Attrs: minsize norecurse nounwind optsize readnone
+define dso_local void @foo2() align 4 {
+entry:
+ ret void
+}
+
+; Function Attrs: minsize nounwind optsize
+define dso_local i32 @main() local_unnamed_addr #1 {
+entry:
+; CHECK: ptrtoint
+ %call = tail call i32 bitcast (i32 (...)* @process to i32 (i32)*)(i32 and (i32 ptrtoint (void ()* @foo1 to i32), i32 2)) #3
+; CHECK-NEXT: ptrtoint
+ %call2 = tail call i32 bitcast (i32 (...)* @process to i32 (i32)*)(i32 and (i32 ptrtoint (void ()* @foo2 to i32), i32 2)) #3
+ ret i32 0
+}
+
+; Function Attrs: minsize optsize
+declare dso_local i32 @process(...) local_unnamed_addr #2
+
Index: llvm/trunk/test/Assembler/2004-03-07-FunctionAddressAlignment.ll
===================================================================
--- llvm/trunk/test/Assembler/2004-03-07-FunctionAddressAlignment.ll
+++ llvm/trunk/test/Assembler/2004-03-07-FunctionAddressAlignment.ll
@@ -1,16 +0,0 @@
-; RUN: llvm-as < %s | llvm-dis | not grep ptrtoint
-; RUN: verify-uselistorder %s
-; All of these should be eliminable
-
-
-define i32 @foo() {
- ret i32 and (i32 ptrtoint (i32()* @foo to i32), i32 1)
-}
-
-define i32 @foo2() {
- ret i32 and (i32 1, i32 ptrtoint (i32()* @foo2 to i32))
-}
-
-define i1 @foo3() {
- ret i1 icmp ne (i1()* @foo3, i1()* null)
-}
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D55115.176505.patch
Type: text/x-patch
Size: 2738 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20181204/f218689d/attachment.bin>
More information about the llvm-commits
mailing list