[PATCH] D96703: [DAG] foldSubToUSubSat - fold sub(a,trunc(umin(zext(a),b))) -> usubsat(a,trunc(umin(b,c)))

[Craig Topper via Phabricator via llvm-commits]

craig.topper added inline comments.


================
Comment at: llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp:3192
 
+  // sub(a,trunc(umin(zext(a),b))) -> usubsat(a,trunc(umin(b,c)))
+  if (Op1.getOpcode() == ISD::TRUNCATE &&
----------------
What is 'c' here? It doesn't appear in the sub(a,trunc(umin(zext(a),b))) pattern


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D96703/new/

https://reviews.llvm.org/D96703