tree 78a88b19883a18ddab7ee1c262982b80d0293e45
parent 5d5b9682527debef472bd8547e4e10df22ac0ef4
author Roman Lebedev <lebedev.ri@gmail.com> 1593891941 +0300
committer Roman Lebedev <lebedev.ri@gmail.com> 1593895763 +0300
gpgsig -----BEGIN PGP SIGNATURE-----
 
 iQIzBAABCgAdFiEEjkF6151RK40WXe2HCDw+u0oWieAFAl8A61MACgkQCDw+u0oW
 ieDomQ//aNrSy9Ez/5HL81N7kqQidTRWjVg7puymoeevrQ5xhMgyHNWqLMh+qpgp
 m1cvjIyaXHJVh/BFKObvvyVZXIvmUISXYnDhaYvxYLVDjVlzH+LeS+DROrCjUsls
 IYrWg9IwWtilIfCJf6ThKYPpneVTk5lZ0SEERrvI/nTnIDb7CfAFCRNHlQD0hdx+
 5NBU5eL9MzOTm5Rtef6oDTx/vg5XvyH5Dyu/0quMlboQxpmnnyrrNEaz4DOBlEqk
 t1oVahIpkKLqLO2oTKbJDWGWun0NLzc1MhW1zkfRc3iValsEKr3FMm2qYVFw5KVH
 ow6Xz1npFK2tEgL7i9UVFlsFH4kG8VU/en1EOCPPTLTfzzu0yvH9fga0ZK0AiuaN
 F/aQZKjE0E+gOW8DIxgQDOh5Uc8pP+AiHnuayFE85cDDiXYBBIw5B2R8/Y68pSN9
 5fp3EWsu+xCAZduoVdmNjhOqDxreH1q8HKR9nThRfaB3zuO+Mg5ykAqs6kx/HdHN
 RGySfBz+Vd0d614kqGEE0EWDfpM/Gp1xMDUarosj1xsCTQGyv0PKofuk3PRcqUfp
 muecS/N/T6WHE5Z34xmBpKefdoPOwqIShXulL6dbN2iEybemA7JcyfeByqp/MQe/
 pXd7MpQgOhtMIch5U9W2Q2MSsUfQUbgDDta2aAj0L1yNK9N6u/o=
 =3Y9d
 -----END PGP SIGNATURE-----

Revert "[AssumeBundles] Use operand bundles to encode alignment assumptions"

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.