[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: fix LR to be safe in leaf functions without CFG (PR #141824)

atrosinenko wrote: Factored this out of #137224. https://github.com/llvm/llvm-project/pull/141824 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: optionally assume auth traps on failure (PR #139778)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/139778 >From b096c6ba85935f7a090031eb693612d1a110d965 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 13 May 2025 19:50:41 +0300 Subject: [PATCH] [BOLT] Gadget scanner: optionally assume auth traps on

[llvm-branch-commits] [llvm] [BOLT] Introduce helpers to match `MCInst`s one at a time (NFC) (PR #138883)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/138883 >From af01b4e2be6387240a8cbac90d937e37a3413148 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Wed, 7 May 2025 16:42:00 +0300 Subject: [PATCH] [BOLT] Introduce helpers to match `MCInst`s one at a tim

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: account for BRK when searching for auth oracles (PR #137975)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/137975 >From 74bbe1e6f6e759c369ecf517dbfa6f98c40e9ffb Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Wed, 30 Apr 2025 16:08:10 +0300 Subject: [PATCH] [BOLT] Gadget scanner: account for BRK when searching f

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: prevent false positives due to jump tables (PR #138884)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/138884 >From b0eeddba47f56f0b917c4a43a744f120ea8e1d6e Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 6 May 2025 11:31:03 +0300 Subject: [PATCH] [BOLT] Gadget scanner: prevent false positives due to ju

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: optionally assume auth traps on failure (PR #139778)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/139778 >From b096c6ba85935f7a090031eb693612d1a110d965 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 13 May 2025 19:50:41 +0300 Subject: [PATCH] [BOLT] Gadget scanner: optionally assume auth traps on

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: make use of C++17 features and LLVM helpers (PR #141665)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/141665 >From d3742598bbf2a248124fe1b297d1447c52e40be1 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 27 May 2025 21:06:03 +0300 Subject: [PATCH] [BOLT] Gadget scanner: make use of C++17 features and L

[llvm-branch-commits] [llvm] [BOLT] Factor out MCInstReference from gadget scanner (NFC) (PR #138655)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/138655 >From 5b9848cf82a1f047d90c1482404ac60f730892cf Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Mon, 28 Apr 2025 18:35:48 +0300 Subject: [PATCH] [BOLT] Factor out MCInstReference from gadget scanner (

[llvm-branch-commits] [llvm] [BOLT] Factor out MCInstReference from gadget scanner (NFC) (PR #138655)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/138655 >From 5b9848cf82a1f047d90c1482404ac60f730892cf Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Mon, 28 Apr 2025 18:35:48 +0300 Subject: [PATCH] [BOLT] Factor out MCInstReference from gadget scanner (

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: account for BRK when searching for auth oracles (PR #137975)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/137975 >From 74bbe1e6f6e759c369ecf517dbfa6f98c40e9ffb Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Wed, 30 Apr 2025 16:08:10 +0300 Subject: [PATCH] [BOLT] Gadget scanner: account for BRK when searching f

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: detect untrusted LR before tail call (PR #137224)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/137224 >From a75cab7070e2167a4be39a4467895a2d1622c4e8 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 22 Apr 2025 21:43:14 +0300 Subject: [PATCH] [BOLT] Gadget scanner: detect untrusted LR before tail

[llvm-branch-commits] [llvm] [BOLT] Introduce helpers to match `MCInst`s one at a time (NFC) (PR #138883)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/138883 >From af01b4e2be6387240a8cbac90d937e37a3413148 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Wed, 7 May 2025 16:42:00 +0300 Subject: [PATCH] [BOLT] Introduce helpers to match `MCInst`s one at a tim

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: prevent false positives due to jump tables (PR #138884)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/138884 >From b0eeddba47f56f0b917c4a43a744f120ea8e1d6e Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 6 May 2025 11:31:03 +0300 Subject: [PATCH] [BOLT] Gadget scanner: prevent false positives due to ju

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: make use of C++17 features and LLVM helpers (PR #141665)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/141665 >From d3742598bbf2a248124fe1b297d1447c52e40be1 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 27 May 2025 21:06:03 +0300 Subject: [PATCH] [BOLT] Gadget scanner: make use of C++17 features and L

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: detect untrusted LR before tail call (PR #137224)

https://github.com/atrosinenko edited https://github.com/llvm/llvm-project/pull/137224 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: fix LR to be safe in leaf functions without CFG (PR #141824)

https://github.com/atrosinenko ready_for_review https://github.com/llvm/llvm-project/pull/141824 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: fix LR to be safe in leaf functions without CFG (PR #141824)

atrosinenko wrote: > [!WARNING] > This pull request is not mergeable via GitHub because a downstack PR is > open. Once all requirements are satisfied, merge this PR as a stack href="https://app.graphite.dev/github/pr/llvm/llvm-project/141824?utm_source=stack-comment-downstack-mergeability-warni

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: fix LR to be safe in leaf functions without CFG (PR #141824)

https://github.com/atrosinenko created https://github.com/llvm/llvm-project/pull/141824 After a label in a function without CFG information, use a reasonably pessimistic estimation of register state (assume that any register that can be clobbered in this function was actually clobbered) instead

[llvm-branch-commits] [llvm] [BOLT] Factor out MCInstReference from gadget scanner (NFC) (PR #138655)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/138655 >From c41022206fbb32d177b2712f2a80d481e05735c8 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Mon, 28 Apr 2025 18:35:48 +0300 Subject: [PATCH] [BOLT] Factor out MCInstReference from gadget scanner (

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: detect untrusted LR before tail call (PR #137224)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/137224 >From 5a680425d70dd55179e27a613c9ef29cfaf72086 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 22 Apr 2025 21:43:14 +0300 Subject: [PATCH 1/2] [BOLT] Gadget scanner: detect untrusted LR before t

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: do not crash on debug-printing CFI instructions (PR #136151)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/136151 >From 9d8fedf678fe91ca1d7ac3334747227df335ff2c Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 15 Apr 2025 21:47:18 +0300 Subject: [PATCH] [BOLT] Gadget scanner: do not crash on debug-printing C

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: improve handling of unreachable basic blocks (PR #136183)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/136183 >From c63cd7528660a41bf95821648defc6cdb0e09d0a Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Thu, 17 Apr 2025 20:51:16 +0300 Subject: [PATCH 1/3] [BOLT] Gadget scanner: improve handling of unreacha

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: do not crash on debug-printing CFI instructions (PR #136151)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/136151 >From 9d8fedf678fe91ca1d7ac3334747227df335ff2c Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 15 Apr 2025 21:47:18 +0300 Subject: [PATCH] [BOLT] Gadget scanner: do not crash on debug-printing C

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: detect untrusted LR before tail call (PR #137224)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/137224 >From 5a680425d70dd55179e27a613c9ef29cfaf72086 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 22 Apr 2025 21:43:14 +0300 Subject: [PATCH 1/2] [BOLT] Gadget scanner: detect untrusted LR before t

[llvm-branch-commits] [llvm] [BOLT] Factor out MCInstReference from gadget scanner (NFC) (PR #138655)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/138655 >From c41022206fbb32d177b2712f2a80d481e05735c8 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Mon, 28 Apr 2025 18:35:48 +0300 Subject: [PATCH] [BOLT] Factor out MCInstReference from gadget scanner (

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: improve handling of unreachable basic blocks (PR #136183)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/136183 >From c63cd7528660a41bf95821648defc6cdb0e09d0a Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Thu, 17 Apr 2025 20:51:16 +0300 Subject: [PATCH 1/3] [BOLT] Gadget scanner: improve handling of unreacha

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: make use of C++17 features and LLVM helpers (PR #141665)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/141665 >From 7a71b56676323327d012a9500f3e107d9b16d83c Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 27 May 2025 21:06:03 +0300 Subject: [PATCH] [BOLT] Gadget scanner: make use of C++17 features and L

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: account for BRK when searching for auth oracles (PR #137975)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/137975 >From ff3dc1d1dce6b7ec9ef9fb5a103455b0e946aca0 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Wed, 30 Apr 2025 16:08:10 +0300 Subject: [PATCH] [BOLT] Gadget scanner: account for BRK when searching f

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: optionally assume auth traps on failure (PR #139778)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/139778 >From 9ef4b06a50605ecb15d4d8ffacd39a835e7d43ff Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 13 May 2025 19:50:41 +0300 Subject: [PATCH] [BOLT] Gadget scanner: optionally assume auth traps on

[llvm-branch-commits] [llvm] [BOLT] Introduce helpers to match `MCInst`s one at a time (NFC) (PR #138883)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/138883 >From 4e08d36fcde69e0c9eebbac4ab2261e8db797393 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Wed, 7 May 2025 16:42:00 +0300 Subject: [PATCH] [BOLT] Introduce helpers to match `MCInst`s one at a tim

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: optionally assume auth traps on failure (PR #139778)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/139778 >From 9ef4b06a50605ecb15d4d8ffacd39a835e7d43ff Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 13 May 2025 19:50:41 +0300 Subject: [PATCH] [BOLT] Gadget scanner: optionally assume auth traps on

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: prevent false positives due to jump tables (PR #138884)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/138884 >From d7167e871fbde24246f71ec1553c3b22d30ad526 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 6 May 2025 11:31:03 +0300 Subject: [PATCH] [BOLT] Gadget scanner: prevent false positives due to ju

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: prevent false positives due to jump tables (PR #138884)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/138884 >From d7167e871fbde24246f71ec1553c3b22d30ad526 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 6 May 2025 11:31:03 +0300 Subject: [PATCH] [BOLT] Gadget scanner: prevent false positives due to ju

[llvm-branch-commits] [llvm] [BOLT] Introduce helpers to match `MCInst`s one at a time (NFC) (PR #138883)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/138883 >From 4e08d36fcde69e0c9eebbac4ab2261e8db797393 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Wed, 7 May 2025 16:42:00 +0300 Subject: [PATCH] [BOLT] Introduce helpers to match `MCInst`s one at a tim

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: make use of C++17 features and LLVM helpers (PR #141665)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/141665 >From 7a71b56676323327d012a9500f3e107d9b16d83c Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 27 May 2025 21:06:03 +0300 Subject: [PATCH] [BOLT] Gadget scanner: make use of C++17 features and L

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: improve handling of unreachable basic blocks (PR #136183)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/136183 >From 1bd54289ecbb513831c9b94adfc1822abf3deb73 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Thu, 17 Apr 2025 20:51:16 +0300 Subject: [PATCH 1/3] [BOLT] Gadget scanner: improve handling of unreacha

[llvm-branch-commits] [llvm] [BOLT] Factor out MCInstReference from gadget scanner (NFC) (PR #138655)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/138655 >From 403a8dba8f9730e7785adf479a181c059ae80eb3 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Mon, 28 Apr 2025 18:35:48 +0300 Subject: [PATCH] [BOLT] Factor out MCInstReference from gadget scanner (

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: do not crash on debug-printing CFI instructions (PR #136151)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/136151 >From 25fda06fe3c11cd52ee67e0bbd42b6f8dc44921d Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 15 Apr 2025 21:47:18 +0300 Subject: [PATCH] [BOLT] Gadget scanner: do not crash on debug-printing C

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: make use of C++17 features and LLVM helpers (PR #141665)

https://github.com/atrosinenko ready_for_review https://github.com/llvm/llvm-project/pull/141665 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: make use of C++17 features and LLVM helpers (PR #141665)

atrosinenko wrote: > [!WARNING] > This pull request is not mergeable via GitHub because a downstack PR is > open. Once all requirements are satisfied, merge this PR as a stack href="https://app.graphite.dev/github/pr/llvm/llvm-project/141665?utm_source=stack-comment-downstack-mergeability-warni

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: make use of C++17 features and LLVM helpers (PR #141665)

https://github.com/atrosinenko created https://github.com/llvm/llvm-project/pull/141665 Perform trivial syntactical cleanups: * make use of structured binding declarations * use LLVM utility functions when appropriate * omit braces around single expression inside single-line LLVM_DEBUG() This p

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: optionally assume auth traps on failure (PR #139778)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/139778 >From d6536f26399b2c385821c65af779fc694e8eee72 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 13 May 2025 19:50:41 +0300 Subject: [PATCH] [BOLT] Gadget scanner: optionally assume auth traps on

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: prevent false positives due to jump tables (PR #138884)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/138884 >From 65f42b50bc58d2e5b78946bf82be3db9f5d63230 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 6 May 2025 11:31:03 +0300 Subject: [PATCH] [BOLT] Gadget scanner: prevent false positives due to ju

[llvm-branch-commits] [llvm] [BOLT] Introduce helpers to match `MCInst`s one at a time (NFC) (PR #138883)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/138883 >From daff3ce49a0272612af7d94d6be176a2c65e305c Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Wed, 7 May 2025 16:42:00 +0300 Subject: [PATCH] [BOLT] Introduce helpers to match `MCInst`s one at a tim

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: prevent false positives due to jump tables (PR #138884)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/138884 >From 65f42b50bc58d2e5b78946bf82be3db9f5d63230 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 6 May 2025 11:31:03 +0300 Subject: [PATCH] [BOLT] Gadget scanner: prevent false positives due to ju

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: detect untrusted LR before tail call (PR #137224)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/137224 >From 11094a446c4b193d5b5e3023cdd01de0e619 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 22 Apr 2025 21:43:14 +0300 Subject: [PATCH 1/2] [BOLT] Gadget scanner: detect untrusted LR before t

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: account for BRK when searching for auth oracles (PR #137975)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/137975 >From ec1655b1fab18e3c2e13bc7b35ac1e151af4b615 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Wed, 30 Apr 2025 16:08:10 +0300 Subject: [PATCH] [BOLT] Gadget scanner: account for BRK when searching f

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: account for BRK when searching for auth oracles (PR #137975)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/137975 >From ec1655b1fab18e3c2e13bc7b35ac1e151af4b615 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Wed, 30 Apr 2025 16:08:10 +0300 Subject: [PATCH] [BOLT] Gadget scanner: account for BRK when searching f

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: detect untrusted LR before tail call (PR #137224)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/137224 >From 11094a446c4b193d5b5e3023cdd01de0e619 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 22 Apr 2025 21:43:14 +0300 Subject: [PATCH 1/2] [BOLT] Gadget scanner: detect untrusted LR before t

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: improve handling of unreachable basic blocks (PR #136183)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/136183 >From 1bd54289ecbb513831c9b94adfc1822abf3deb73 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Thu, 17 Apr 2025 20:51:16 +0300 Subject: [PATCH 1/3] [BOLT] Gadget scanner: improve handling of unreacha

[llvm-branch-commits] [llvm] [BOLT] Introduce helpers to match `MCInst`s one at a time (NFC) (PR #138883)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/138883 >From daff3ce49a0272612af7d94d6be176a2c65e305c Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Wed, 7 May 2025 16:42:00 +0300 Subject: [PATCH] [BOLT] Introduce helpers to match `MCInst`s one at a tim

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: optionally assume auth traps on failure (PR #139778)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/139778 >From d6536f26399b2c385821c65af779fc694e8eee72 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 13 May 2025 19:50:41 +0300 Subject: [PATCH] [BOLT] Gadget scanner: optionally assume auth traps on

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: optionally assume auth traps on failure (PR #139778)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/139778 >From 639d7046baca3f37d4ec17daf1116c28bac604b1 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 13 May 2025 19:50:41 +0300 Subject: [PATCH] [BOLT] Gadget scanner: optionally assume auth traps on

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: improve handling of unreachable basic blocks (PR #136183)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/136183 >From 3c131bb85c51e5d532ac2e70f006901703a5546e Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Thu, 17 Apr 2025 20:51:16 +0300 Subject: [PATCH 1/3] [BOLT] Gadget scanner: improve handling of unreacha

[llvm-branch-commits] [compiler-rt] compiler-rt: Introduce runtime functions for emulated PAC. (PR #133530)

@@ -0,0 +1,133 @@ +//===--- emupac.cpp - Emulated PAC implementation -===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Ap

[llvm-branch-commits] [llvm] [BOLT] Introduce helpers to match `MCInst`s one at a time (NFC) (PR #138883)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/138883 >From 53fe8585ad9af1f924b87abeeef166529f5b6ca5 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Wed, 7 May 2025 16:42:00 +0300 Subject: [PATCH] [BOLT] Introduce helpers to match `MCInst`s one at a tim

[llvm-branch-commits] [llvm] [BOLT] Introduce helpers to match `MCInst`s one at a time (NFC) (PR #138883)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/138883 >From 53fe8585ad9af1f924b87abeeef166529f5b6ca5 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Wed, 7 May 2025 16:42:00 +0300 Subject: [PATCH] [BOLT] Introduce helpers to match `MCInst`s one at a tim

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: account for BRK when searching for auth oracles (PR #137975)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/137975 >From 97a6d12945bd00ac2234854fca1886b58596b72f Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Wed, 30 Apr 2025 16:08:10 +0300 Subject: [PATCH] [BOLT] Gadget scanner: account for BRK when searching f

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: do not crash on debug-printing CFI instructions (PR #136151)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/136151 >From 36837ce02c564ee5b27a1b3bad164b1e77d93bb7 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 15 Apr 2025 21:47:18 +0300 Subject: [PATCH] [BOLT] Gadget scanner: do not crash on debug-printing C

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: account for BRK when searching for auth oracles (PR #137975)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/137975 >From 97a6d12945bd00ac2234854fca1886b58596b72f Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Wed, 30 Apr 2025 16:08:10 +0300 Subject: [PATCH] [BOLT] Gadget scanner: account for BRK when searching f

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: detect untrusted LR before tail call (PR #137224)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/137224 >From cfc7f4dac44c66f125c8d514c3d0a26d36dc0779 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 22 Apr 2025 21:43:14 +0300 Subject: [PATCH 1/2] [BOLT] Gadget scanner: detect untrusted LR before t

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: improve handling of unreachable basic blocks (PR #136183)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/136183 >From 3c131bb85c51e5d532ac2e70f006901703a5546e Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Thu, 17 Apr 2025 20:51:16 +0300 Subject: [PATCH 1/3] [BOLT] Gadget scanner: improve handling of unreacha

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: detect untrusted LR before tail call (PR #137224)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/137224 >From cfc7f4dac44c66f125c8d514c3d0a26d36dc0779 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 22 Apr 2025 21:43:14 +0300 Subject: [PATCH 1/2] [BOLT] Gadget scanner: detect untrusted LR before t

[llvm-branch-commits] [llvm] [BOLT] Factor out MCInstReference from gadget scanner (NFC) (PR #138655)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/138655 >From b98ae87ae7ce7b735c85896db7f24468fdad056a Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Mon, 28 Apr 2025 18:35:48 +0300 Subject: [PATCH] [BOLT] Factor out MCInstReference from gadget scanner (

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: optionally assume auth traps on failure (PR #139778)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/139778 >From 639d7046baca3f37d4ec17daf1116c28bac604b1 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 13 May 2025 19:50:41 +0300 Subject: [PATCH] [BOLT] Gadget scanner: optionally assume auth traps on

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: prevent false positives due to jump tables (PR #138884)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/138884 >From c2a64ee8c1f0446ce98defb3a0df8230521f66aa Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 6 May 2025 11:31:03 +0300 Subject: [PATCH] [BOLT] Gadget scanner: prevent false positives due to ju

[llvm-branch-commits] [llvm] [BOLT] Factor out MCInstReference from gadget scanner (NFC) (PR #138655)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/138655 >From b98ae87ae7ce7b735c85896db7f24468fdad056a Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Mon, 28 Apr 2025 18:35:48 +0300 Subject: [PATCH] [BOLT] Factor out MCInstReference from gadget scanner (

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: do not crash on debug-printing CFI instructions (PR #136151)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/136151 >From 36837ce02c564ee5b27a1b3bad164b1e77d93bb7 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 15 Apr 2025 21:47:18 +0300 Subject: [PATCH] [BOLT] Gadget scanner: do not crash on debug-printing C

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: prevent false positives due to jump tables (PR #138884)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/138884 >From c2a64ee8c1f0446ce98defb3a0df8230521f66aa Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 6 May 2025 11:31:03 +0300 Subject: [PATCH] [BOLT] Gadget scanner: prevent false positives due to ju

[llvm-branch-commits] [compiler-rt] compiler-rt: Introduce runtime functions for emulated PAC. (PR #133530)

atrosinenko wrote: Since this PR enables another language (CXX in addition to C and ASM) in the `builtins` library, it is probably worth reviewing by someone familiar with CMake build descriptions used in LLVM. https://github.com/llvm/llvm-project/pull/133530 __

[llvm-branch-commits] [compiler-rt] compiler-rt: Introduce runtime functions for emulated PAC. (PR #133530)

@@ -0,0 +1,133 @@ +//===--- emupac.cpp - Emulated PAC implementation -===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Ap

[llvm-branch-commits] [compiler-rt] compiler-rt: Introduce runtime functions for emulated PAC. (PR #133530)

@@ -0,0 +1,133 @@ +//===--- emupac.cpp - Emulated PAC implementation -===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Ap

[llvm-branch-commits] [compiler-rt] compiler-rt: Introduce runtime functions for emulated PAC. (PR #133530)

@@ -0,0 +1,133 @@ +//===--- emupac.cpp - Emulated PAC implementation -===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Ap

[llvm-branch-commits] [compiler-rt] compiler-rt: Introduce runtime functions for emulated PAC. (PR #133530)

@@ -172,7 +172,7 @@ function(add_compiler_rt_runtime name type) cmake_parse_arguments(LIB "" "PARENT_TARGET" - "OS;ARCHS;SOURCES;CFLAGS;LINK_FLAGS;DEFS;DEPS;LINK_LIBS;OBJECT_LIBS;ADDITIONAL_HEADERS;EXTENSIONS" + "OS;ARCHS;SOURCES;CFLAGS;LINK_FLAGS;DEFS;DEPS;LI

[llvm-branch-commits] [compiler-rt] compiler-rt: Introduce runtime functions for emulated PAC. (PR #133530)

@@ -0,0 +1,133 @@ +//===--- emupac.cpp - Emulated PAC implementation -===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Ap

[llvm-branch-commits] [compiler-rt] compiler-rt: Introduce runtime functions for emulated PAC. (PR #133530)

@@ -0,0 +1,62 @@ +// REQUIRES: librt_has_emupac +// RUN: %clang_builtins %s %librt -o %t +// RUN: %run %t 1 +// RUN: %run %t 2 +// RUN: %expect_crash %run %t 3 +// RUN: %expect_crash %run %t 4 + +#include +#include +#include + +uint64_t __emupac_pacda(uint64_t ptr, uint64_t dis

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: improve handling of unreachable basic blocks (PR #136183)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/136183 >From 8e8047416670662a22a98777429eb37511546d33 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Thu, 17 Apr 2025 20:51:16 +0300 Subject: [PATCH 1/3] [BOLT] Gadget scanner: improve handling of unreacha

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: optionally assume auth traps on failure (PR #139778)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/139778 >From 2c67c3f02d8474185ad6998142b05c1e7a0eeffa Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 13 May 2025 19:50:41 +0300 Subject: [PATCH] [BOLT] Gadget scanner: optionally assume auth traps on

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: detect untrusted LR before tail call (PR #137224)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/137224 >From 41914bd7fd1eefb7cba31c0c825cc119d01b35b6 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 22 Apr 2025 21:43:14 +0300 Subject: [PATCH 1/2] [BOLT] Gadget scanner: detect untrusted LR before t

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: do not crash on debug-printing CFI instructions (PR #136151)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/136151 >From 1e97d81fb85bd2210ead550e46f703c979dec8f7 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 15 Apr 2025 21:47:18 +0300 Subject: [PATCH] [BOLT] Gadget scanner: do not crash on debug-printing C

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: detect authentication oracles (PR #135663)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/135663 >From 453eeffd3f4488e6877026f1f9e9c86be4f82d21 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Sat, 5 Apr 2025 14:54:01 +0300 Subject: [PATCH 1/6] [BOLT] Gadget scanner: detect authentication oracles

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: detect authentication oracles (PR #135663)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/135663 >From 453eeffd3f4488e6877026f1f9e9c86be4f82d21 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Sat, 5 Apr 2025 14:54:01 +0300 Subject: [PATCH 1/6] [BOLT] Gadget scanner: detect authentication oracles

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: do not crash on debug-printing CFI instructions (PR #136151)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/136151 >From 1e97d81fb85bd2210ead550e46f703c979dec8f7 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 15 Apr 2025 21:47:18 +0300 Subject: [PATCH] [BOLT] Gadget scanner: do not crash on debug-printing C

[llvm-branch-commits] [llvm] [BOLT] Introduce helpers to match `MCInst`s one at a time (NFC) (PR #138883)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/138883 >From 7873996c4cd0e41cbae88060ef17f9168922476c Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Wed, 7 May 2025 16:42:00 +0300 Subject: [PATCH] [BOLT] Introduce helpers to match `MCInst`s one at a tim

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: account for BRK when searching for auth oracles (PR #137975)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/137975 >From 20b95e7ee5adba6cf09be4667cbfe4d2341e1ba0 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Wed, 30 Apr 2025 16:08:10 +0300 Subject: [PATCH] [BOLT] Gadget scanner: account for BRK when searching f

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: account for BRK when searching for auth oracles (PR #137975)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/137975 >From 20b95e7ee5adba6cf09be4667cbfe4d2341e1ba0 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Wed, 30 Apr 2025 16:08:10 +0300 Subject: [PATCH] [BOLT] Gadget scanner: account for BRK when searching f

[llvm-branch-commits] [llvm] [BOLT] Introduce helpers to match `MCInst`s one at a time (NFC) (PR #138883)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/138883 >From 7873996c4cd0e41cbae88060ef17f9168922476c Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Wed, 7 May 2025 16:42:00 +0300 Subject: [PATCH] [BOLT] Introduce helpers to match `MCInst`s one at a tim

[llvm-branch-commits] [llvm] [BOLT] Factor out MCInstReference from gadget scanner (NFC) (PR #138655)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/138655 >From a00612e35f986bf1eb383d3c7875adee2785a109 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Mon, 28 Apr 2025 18:35:48 +0300 Subject: [PATCH] [BOLT] Factor out MCInstReference from gadget scanner (

[llvm-branch-commits] [llvm] [BOLT] Factor out MCInstReference from gadget scanner (NFC) (PR #138655)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/138655 >From a00612e35f986bf1eb383d3c7875adee2785a109 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Mon, 28 Apr 2025 18:35:48 +0300 Subject: [PATCH] [BOLT] Factor out MCInstReference from gadget scanner (

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: detect untrusted LR before tail call (PR #137224)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/137224 >From 41914bd7fd1eefb7cba31c0c825cc119d01b35b6 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 22 Apr 2025 21:43:14 +0300 Subject: [PATCH 1/2] [BOLT] Gadget scanner: detect untrusted LR before t

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: prevent false positives due to jump tables (PR #138884)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/138884 >From e12f7b5b78cb96addbdb7c83d492fd491b68e773 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 6 May 2025 11:31:03 +0300 Subject: [PATCH] [BOLT] Gadget scanner: prevent false positives due to ju

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: optionally assume auth traps on failure (PR #139778)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/139778 >From 2c67c3f02d8474185ad6998142b05c1e7a0eeffa Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Tue, 13 May 2025 19:50:41 +0300 Subject: [PATCH] [BOLT] Gadget scanner: optionally assume auth traps on

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: detect authentication oracles (PR #135663)

@@ -717,6 +716,466 @@ SrcSafetyAnalysis::create(BinaryFunction &BF, RegsToTrackInstsFor); } +/// A state representing which registers are safe to be used as the destination +/// operand of an authentication instruction. +/

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: clarify MCPlusBuilder callbacks interface (PR #136147)

atrosinenko wrote: @kbeyls Looks like something went wrong with the UI, and only the "cover letter" was sent instead of the full review. https://github.com/llvm/llvm-project/pull/136147 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.ll

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: improve handling of unreachable basic blocks (PR #136183)

atrosinenko wrote: @jacobbramley As far as I can see, one possible reason for some control flow not to be detected is that BOLT does not detect jump tables correctly on AArch64. When I tried to debug this some time ago, it looked to me like branch instructions related to jump tables are analyz

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: detect authentication oracles (PR #135663)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/135663 >From def05034a2fb735f281325b40d0448586fe1e715 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Sat, 5 Apr 2025 14:54:01 +0300 Subject: [PATCH 1/5] [BOLT] Gadget scanner: detect authentication oracles

[llvm-branch-commits] [llvm] [BOLT] Factor out MCInstReference from gadget scanner (NFC) (PR #138655)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/138655 >From 69b6e028492a787934a4d5a4f23644988cb35af9 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Mon, 28 Apr 2025 18:35:48 +0300 Subject: [PATCH] [BOLT] Factor out MCInstReference from gadget scanner (

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: detect authentication oracles (PR #135663)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/135663 >From def05034a2fb735f281325b40d0448586fe1e715 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Sat, 5 Apr 2025 14:54:01 +0300 Subject: [PATCH 1/5] [BOLT] Gadget scanner: detect authentication oracles

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: clarify MCPlusBuilder callbacks interface (PR #136147)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/136147 >From 0c885cf21f0b4ec710f1e3c5972112b5b0c4ade9 Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Thu, 17 Apr 2025 15:40:05 +0300 Subject: [PATCH 1/2] [BOLT] Gadget scanner: clarify MCPlusBuilder callba

[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: refactor issue reporting (PR #135662)

https://github.com/atrosinenko updated https://github.com/llvm/llvm-project/pull/135662 >From 3bfe3b74f31b5af8ee7102207c23ecb0d0bc7a5f Mon Sep 17 00:00:00 2001 From: Anatoly Trosinenko Date: Mon, 14 Apr 2025 15:08:54 +0300 Subject: [PATCH 1/5] [BOLT] Gadget scanner: refactor issue reporting Re

  1   2   3   4   5   >