)]}'
{
  "commit": "e80f48986c7ba6cc41378b8d8e12d804cf26895d",
  "tree": "d1c8d90be9ae75860c34732281373744ad4659bb",
  "parents": [
    "3b19e480c056a35a60e3c65de476b6097329ceac"
  ],
  "author": {
    "name": "Antonio Frighetto",
    "email": "me@antoniofrighetto.com",
    "time": "Thu Sep 05 17:01:56 2024 +0200"
  },
  "committer": {
    "name": "Antonio Frighetto",
    "email": "me@antoniofrighetto.com",
    "time": "Thu Sep 05 17:01:56 2024 +0200"
  },
  "message": "[SCEV] BECount to zero if `((-C + (C smax %x)) /u %x), C \u003e 0` holds\n\nThe SCEV expression `((-C + (C smax %x)) /u %x)` can be folded\nto zero for any positive constant C.\n\nProof: https://alive2.llvm.org/ce/z/_dLm8C.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "6b4a81c217b3c297a7102a3186266b3df249b0a6",
      "old_mode": 33188,
      "old_path": "llvm/lib/Analysis/ScalarEvolution.cpp",
      "new_id": "57e03f667ba6ff31eb9e06f9b51c0ff7904ab3df",
      "new_mode": 33188,
      "new_path": "llvm/lib/Analysis/ScalarEvolution.cpp"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "9405c0f726ac7f91b618a85691da3cadc658d02f",
      "new_mode": 33188,
      "new_path": "llvm/test/Analysis/ScalarEvolution/udiv-of-x-xsmaxone-fold.ll"
    }
  ]
}