mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2025-01-31 20:51:52 +01:00
cb062e6baf
Assume bundle can have more than one entry with the same name,
but at least AlignmentFromAssumptionsPass::extractAlignmentInfo() uses
getOperandBundle("align"), which internally assumes that it isn't the
case, and happily crashes otherwise.
Minimal reduced reproducer: run `opt -alignment-from-assumptions` on
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-unknown-linux-gnu"
%0 = type { i64, %1*, i8*, i64, %2, i32, %3*, i8* }
%1 = type opaque
%2 = type { i8, i8, i16 }
%3 = type { i32, i32, i32, i32 }
; Function Attrs: nounwind
define i32 @f(%0* noalias nocapture readonly %arg, %0* noalias %arg1) local_unnamed_addr #0 {
bb:
call void @llvm.assume(i1 true) [ "align"(%0* %arg, i64 8), "align"(%0* %arg1, i64 8) ]
ret i32 0
}
; Function Attrs: nounwind willreturn
declare void @llvm.assume(i1) #1
attributes #0 = { nounwind "reciprocal-estimates"="none" }
attributes #1 = { nounwind willreturn }
This is what we'd have with -mllvm -enable-knowledge-retention
This reverts commit c95ffadb2474a4d8c4f598d94d35a9f31d9606cb.
20 lines
780 B
LLVM
20 lines
780 B
LLVM
; RUN: not opt -verify < %s 2>&1 | FileCheck %s
|
|
|
|
declare void @llvm.assume(i1)
|
|
|
|
define void @func(i32* %P, i32 %P1, i32* %P2, i32* %P3) {
|
|
; CHECK: tags must be valid attribute names
|
|
call void @llvm.assume(i1 true) ["adazdazd"()]
|
|
; CHECK: the second argument should be a constant integral value
|
|
call void @llvm.assume(i1 true) ["align"(i32* %P, i32 %P1)]
|
|
; CHECK: to many arguments
|
|
call void @llvm.assume(i1 true) ["align"(i32* %P, i32 8, i32 8)]
|
|
; CHECK: this attribute should have 2 arguments
|
|
call void @llvm.assume(i1 true) ["align"(i32* %P)]
|
|
; CHECK: this attribute has no argument
|
|
call void @llvm.assume(i1 true) ["align"(i32* %P, i32 4), "cold"(i32* %P)]
|
|
; CHECK: this attribute should have one argument
|
|
call void @llvm.assume(i1 true) ["noalias"()]
|
|
ret void
|
|
}
|