)]}'
{
  "commit": "bbcab0bf573ef3c95ca1fa6753c3a30f6f60a5d1",
  "tree": "55356600a39033abc4d057d772f1fe168eafbdd8",
  "parents": [
    "5db5782da16b546d0f515c5d5cc4c7a3bc0b7f5e"
  ],
  "author": {
    "name": "Justin Lebar",
    "email": "justin.lebar@gmail.com",
    "time": "Mon Jan 12 11:03:00 2026 -0800"
  },
  "committer": {
    "name": "GitHub",
    "email": "noreply@github.com",
    "time": "Mon Jan 12 11:03:00 2026 -0800"
  },
  "message": "[InstCombine] Fix i1 ssub.sat compare folding (#173742)\n\nFor every type other than i1, ssub.sat x, y \u003d 0 implies x \u003d\u003d y.  But\nssub.sat.i1 0, -1 \u003d 0 (because the result of 1 saturates to 0).\n\nThe changes to instcombine are not strictly necessary.  Instcombine\ncanonicalizes the ssub.sat.i1 before we arrive at these pattern-matches.\nThe real fix is in ValueTracking.\n\nNonetheless we agreed in review it makes sense to add these checks to\ninstcombine, even though they\u0027re currently unreachable:\nhttps://github.com/llvm/llvm-project/pull/173742#issuecomment-3696631396\n\nThis was found by a fuzzer I\u0027m working on!",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "4c123aa0bd0540bd6de3660139cefe24900dea33",
      "old_mode": 33188,
      "old_path": "llvm/lib/Analysis/ValueTracking.cpp",
      "new_id": "ab64156e2d17324e830d31e0344739898edcd650",
      "new_mode": 33188,
      "new_path": "llvm/lib/Analysis/ValueTracking.cpp"
    },
    {
      "type": "modify",
      "old_id": "adf1649e5e1bc0d79613f49b89ffd06d00222c7a",
      "old_mode": 33188,
      "old_path": "llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp",
      "new_id": "d536cb752d562f5b28f630ac6484c0a41a11a266",
      "new_mode": 33188,
      "new_path": "llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp"
    },
    {
      "type": "modify",
      "old_id": "1294f867f07c0512a20a0377cbe59ddab67c74a1",
      "old_mode": 33188,
      "old_path": "llvm/test/Transforms/InstCombine/saturating-add-sub.ll",
      "new_id": "80676de47f193c7a98465a4e5753eb0d786284a7",
      "new_mode": 33188,
      "new_path": "llvm/test/Transforms/InstCombine/saturating-add-sub.ll"
    }
  ]
}