Changes in catch-alignment-assumption-builtin_assume_aligned-three-params-variable.cpp

532dc62b - [OpaquePtrs][Clang] Add -no-opaque-pointers to tests (NFC)

Thu, 07 Apr 2022 10:03:55 +0000

[OpaquePtrs][Clang] Add -no-opaque-pointers to tests (NFC)This adds -no-opaque-pointers to clang tests whose output willchange when opaque pointers are enabled by default. This isintended to be part of the migration approach described inhttps://discourse.llvm.org/t/enabling-opaque-pointers-by-default/61322/9.The patch has been produced by replacing %clang_cc1 with%clang_cc1 -no-opaque-pointers for tests that fail with opaquepointers enabled. Worth noting that this doesn't cover all tests,there's a remaining ~40 tests not using %clang_cc1 that will needa followup change.Differential Revision: https://reviews.llvm.org/D123115 List of files: /llvm-project-15.0.7/clang/test/CodeGen/catch-alignment-assumption-builtin_assume_aligned-three-params-variable.cpp

1b1c8d83 - [Clang/Test]: Rename enable_noundef_analysis to disable-noundef-analysis and turn it off by default

Sun, 16 Jan 2022 09:53:11 +0000

fd9b0999 - Revert "[Clang/Test]: Rename enable_noundef_analysis to disable-noundef-analysis and turn it off by default"

Mon, 08 Nov 2021 17:09:49 +0000

Revert "[Clang/Test]: Rename enable_noundef_analysis to disable-noundef-analysis and turn it off by default"This reverts commit aacfbb953eb705af2ecfeb95a6262818fa85dd92.Revert "Fix lit test failures in CodeGenCoroutines"This reverts commit 63fff0f5bffe20fa2c84a45a41161afa0043cb34. List of files: /llvm-project-15.0.7/clang/test/CodeGen/catch-alignment-assumption-builtin_assume_aligned-three-params-variable.cpp

aacfbb95 - [Clang/Test]: Rename enable_noundef_analysis to disable-noundef-analysis and turn it off by default

Fri, 15 Oct 2021 10:26:07 +0000

[Clang/Test]: Rename enable_noundef_analysis to disable-noundef-analysis and turn it off by defaultTurning on `enable_noundef_analysis` flag allows better codegen by removing freeze instructions.I modified clang by renaming `enable_noundef_analysis` flag to `disable-noundef-analysis` and turning it off by default.Test updates are made as a separate patch: D108453Reviewed By: eugenisDifferential Revision: https://reviews.llvm.org/D105169[Clang/Test]: Rename enable_noundef_analysis to disable-noundef-analysis and turn it off by default (2)This patch updates test files after D105169.Autogenerated test codes are changed by `utils/update_cc_test_checks.py,` and non-autogenerated test codes are changed as follows:(1) I wrote a python script that (partially) updates the tests using regex: {F18594904} The script is not perfect, but I believe it gives hints about which patterns are updated to have `noundef` attached.(2) The remaining tests are updated manually.Reviewed By: eugenisDifferential Revision: https://reviews.llvm.org/D108453Resolve lit failures in clang after 8ca4b3e's landFix lit test failures in clang-ppc* and clang-x64-windows-msvcFix missing failures in clang-ppc64be* and retry fixing clang-x64-windows-msvcFix internal_clone(aarch64) inline assembly List of files: /llvm-project-15.0.7/clang/test/CodeGen/catch-alignment-assumption-builtin_assume_aligned-three-params-variable.cpp

89ad2822 - Revert "[Clang/Test]: Rename enable_noundef_analysis to disable-noundef-analysis and turn it off by default"

Sat, 06 Nov 2021 06:39:19 +0000

Revert "[Clang/Test]: Rename enable_noundef_analysis to disable-noundef-analysis and turn it off by default"This reverts commit 7584ef766a7219b6ee5a400637206d26e0fa98ac. List of files: /llvm-project-15.0.7/clang/test/CodeGen/catch-alignment-assumption-builtin_assume_aligned-three-params-variable.cpp

7584ef76 - [Clang/Test]: Rename enable_noundef_analysis to disable-noundef-analysis and turn it off by default

Sat, 06 Nov 2021 06:34:49 +0000

f193bcc7 - Revert D105169 due to the two-stage failure in ASAN

Mon, 18 Oct 2021 14:03:47 +0000

Revert D105169 due to the two-stage failure in ASANThis reverts the following commits:37ca7a795b277c20c02a218bf44052278c03344b9aa6c72b92b6c89cc6d23b693257df9af7de2d15705387c5074bcca36d626882462ebbc2bcc3bed48ca4b3ef19fe82d7ad6a6e1515317dcc01b4151580dba72a669b5416e97a42fd2c2a7bc5a6d3f44a List of files: /llvm-project-15.0.7/clang/test/CodeGen/catch-alignment-assumption-builtin_assume_aligned-three-params-variable.cpp

8ca4b3ef - [Clang/Test]: Rename enable_noundef_analysis to disable-noundef-analysis and turn it off by default (2)

Fri, 15 Oct 2021 10:45:30 +0000

[Clang/Test]: Rename enable_noundef_analysis to disable-noundef-analysis and turn it off by default (2)This patch updates test files after D105169.Autogenerated test codes are changed by `utils/update_cc_test_checks.py,` and non-autogenerated test codes are changed as follows:(1) I wrote a python script that (partially) updates the tests using regex: {F18594904} The script is not perfect, but I believe it gives hints about which patterns are updated to have `noundef` attached.(2) The remaining tests are updated manually.Reviewed By: eugenisDifferential Revision: https://reviews.llvm.org/D108453 List of files: /llvm-project-15.0.7/clang/test/CodeGen/catch-alignment-assumption-builtin_assume_aligned-three-params-variable.cpp

a6891d21 - [clang] Set max allowed alignment to 2^32

Wed, 06 Oct 2021 18:20:44 +0000

[clang] Set max allowed alignment to 2^32Followup to D110451 which set LLVM's max allowed alignment to 2^32.Reviewed By: hansDifferential Revision: https://reviews.llvm.org/D111250 List of files: /llvm-project-15.0.7/clang/test/CodeGen/catch-alignment-assumption-builtin_assume_aligned-three-params-variable.cpp

05392466 - Reland [IR] Increase max alignment to 4GB

Fri, 24 Sep 2021 22:54:17 +0000

Reland [IR] Increase max alignment to 4GBCurrently the max alignment representable is 1GB, see D108661.Setting the align of an object to 4GB is desirable in some cases to make sure the lower 32 bits are clear which can be used for some optimizations, e.g. https://crbug.com/1016945.This uses an extra bit in instructions that carry an alignment. We can store 15 bits of "free" information, and with this change some instructions (e.g. AtomicCmpXchgInst) use 14 bits.We can increase the max alignment representable above 4GB (up to 2^62) since we're only using 33 of the 64 values, but I've just limited it to 4GB for now.The one place we have to update the bitcode format is for the alloca instruction. It stores its alignment into 5 bits of a 32 bit bitfield. I've added another field which is 8 bits and should be future proof for a while. For backward compatibility, we check if the old field has a value and use that, otherwise use the new field.Updating clang's max allowed alignment will come in a future patch.Reviewed By: hansDifferential Revision: https://reviews.llvm.org/D110451 List of files: /llvm-project-15.0.7/clang/test/CodeGen/catch-alignment-assumption-builtin_assume_aligned-three-params-variable.cpp

569346f2 - Revert "Reland [IR] Increase max alignment to 4GB"

Wed, 06 Oct 2021 18:35:27 +0000

Revert "Reland [IR] Increase max alignment to 4GB"This reverts commit 8d64314ffea55f2ad94c1b489586daa8ce30f451. List of files: /llvm-project-15.0.7/clang/test/CodeGen/catch-alignment-assumption-builtin_assume_aligned-three-params-variable.cpp

8d64314f - Reland [IR] Increase max alignment to 4GB

Fri, 24 Sep 2021 22:54:17 +0000

564d85e0 - The maximal representable alignment in LLVM IR is 1GiB, not 512MiB

Thu, 26 Aug 2021 08:51:28 +0000

The maximal representable alignment in LLVM IR is 1GiB, not 512MiBIn LLVM IR, `AlignmentBitfieldElementT` is 5-bit wideBut that means that the maximal alignment exponent is `(1<<5)-2`,which is `30`, not `29`. And indeed, alignment of `1073741824`roundtrips IR serialization-deserialization.While this doesn't seem all that important, this doublesthe maximal supported alignment from 512MiB to 1GiB,and there's actually one noticeable use-case for that;On X86, the huge pages can have sizes of 2MiB and 1GiB (!).So while this doesn't add support for truly huge alignments,which i think we can easily-ish do if wanted, i think this addszero-cost support for a not-trivially-dismissable case.I don't believe we need any upgrade infrastructure,and since we don't explicitly record the IR version,we don't need to bump one either.As @craig.topper speculates in D108661#2963519,this might be an artificial limit imposed by the original implementationof the `getAlignment()` functions.Differential Revision: https://reviews.llvm.org/D108661 List of files: /llvm-project-15.0.7/clang/test/CodeGen/catch-alignment-assumption-builtin_assume_aligned-three-params-variable.cpp

0c0d009a - [NFC] Disallow unused prefixes under clang/test/CodeGen

Tue, 26 Jan 2021 04:44:41 +0000

[NFC] Disallow unused prefixes under clang/test/CodeGenDifferential Revision: https://reviews.llvm.org/D95417 List of files: /llvm-project-15.0.7/clang/test/CodeGen/catch-alignment-assumption-builtin_assume_aligned-three-params-variable.cpp

fd739804 - [test] Add {{.*}} to make ELF tests immune to dso_local/dso_preemptable/(none) differences

Thu, 31 Dec 2020 08:27:11 +0000

[test] Add {{.*}} to make ELF tests immune to dso_local/dso_preemptable/(none) differencesFor a default visibility external linkage definition, dso_local is set for ELF-fno-pic/-fpie and COFF and Mach-O. Since default clang -cc1 for ELF is similarto -fpic ("PIC Level" is not set), this nuance causes unneeded binary format differences.To make emitted IR similar, ELF -cc1 -fpic will default to -fno-semantic-interposition,which sets dso_local for default visibility external linkage definitions.To make this flip smooth and enable future (dso_local as definition default),this patch replaces (function) `define ` with `define{{.*}} `,(variable/constant/alias) `= ` with `={{.*}} `, or inserts appropriate `{{.*}} `. List of files: /llvm-project-15.0.7/clang/test/CodeGen/catch-alignment-assumption-builtin_assume_aligned-three-params-variable.cpp

c5978f42 - UBSAN: emit distinctive traps

Wed, 21 Oct 2020 09:11:25 +0000

UBSAN: emit distinctive trapsSometimes people get minimal crash reports after a UBSAN incident. This changetags each trap with an integer representing the kind of failure encountered,which can aid in tracking down the root cause of the problem. List of files: /llvm-project-15.0.7/clang/test/CodeGen/catch-alignment-assumption-builtin_assume_aligned-three-params-variable.cpp

78de7297 - Reland [AssumeBundles] Use operand bundles to encode alignment assumptions

Sat, 12 Sep 2020 11:36:45 +0000

Reland [AssumeBundles] Use operand bundles to encode alignment assumptionsNOTE: There is a mailing list discussion on this: http://lists.llvm.org/pipermail/llvm-dev/2019-December/137632.htmlComplemantary to the assumption outliner prototype in D71692, this patchshows how we could simplify the code emitted for an alignemntassumption. The generated code is smaller, less fragile, and it makes iteasier to recognize the additional use as a "assumption use".As mentioned in D71692 and on the mailing list, we could adopt thisscheme, and similar schemes for other patterns, without adopting theassumption outlining. List of files: /llvm-project-15.0.7/clang/test/CodeGen/catch-alignment-assumption-builtin_assume_aligned-three-params-variable.cpp

7bfaa400 - Temporarily Revert "[AssumeBundles] Use operand bundles to encode alignment assumptions"

Thu, 16 Jul 2020 18:40:43 +0000

Temporarily Revert "[AssumeBundles] Use operand bundles to encode alignment assumptions"due to the performance bugs filed in https://bugs.llvm.org/show_bug.cgi?id=46753.An SROA change soon may obviate some of these problems.This reverts commit 8d09f20798ac180b1749276bff364682ce0196ab. List of files: /llvm-project-15.0.7/clang/test/CodeGen/catch-alignment-assumption-builtin_assume_aligned-three-params-variable.cpp

8d09f207 - [AssumeBundles] Use operand bundles to encode alignment assumptions

Mon, 13 Jul 2020 22:52:37 +0000

[AssumeBundles] Use operand bundles to encode alignment assumptionsSummary:NOTE: There is a mailing list discussion on this: http://lists.llvm.org/pipermail/llvm-dev/2019-December/137632.htmlComplemantary to the assumption outliner prototype in D71692, this patchshows how we could simplify the code emitted for an alignemntassumption. The generated code is smaller, less fragile, and it makes iteasier to recognize the additional use as a "assumption use".As mentioned in D71692 and on the mailing list, we could adopt thisscheme, and similar schemes for other patterns, without adopting theassumption outlining.Reviewers: hfinkel, xbolva00, lebedev.ri, nikic, rjmccall, spatel, jdoerfert, sstefan1Reviewed By: jdoerfertSubscribers: thopre, yamauchi, kuter, fhahn, merge_guards_bot, hiraditya, bollu, rkruppe, cfe-commits, llvm-commitsTags: #clang, #llvmDifferential Revision: https://reviews.llvm.org/D71739 List of files: /llvm-project-15.0.7/clang/test/CodeGen/catch-alignment-assumption-builtin_assume_aligned-three-params-variable.cpp

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

Sat, 04 Jul 2020 19:45:41 +0000

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() usesgetOperandBundle("align"), which internally assumes that it isn't thecase, and happily crashes otherwise.Minimal reduced reproducer: run `opt -alignment-from-assumptions` ontarget 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: nounwinddefine 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 willreturndeclare void @llvm.assume(i1) #1attributes #0 = { nounwind "reciprocal-estimates"="none" }attributes #1 = { nounwind willreturn }This is what we'd have with -mllvm -enable-knowledge-retentionThis reverts commit c95ffadb2474a4d8c4f598d94d35a9f31d9606cb. List of files: /llvm-project-15.0.7/clang/test/CodeGen/catch-alignment-assumption-builtin_assume_aligned-three-params-variable.cpp