dot is currently miscompiled for booleans (uses add instead of or).
Could you add a test case here?
Also please update the description to make it specific to the error being addressed: XLA is a downstream project and the command line option is specific to there but not relevant here, if there were a GitHub issue you could reference it in body or reference this commit there post, but for commit title it should be standalone in this context.
Fix linalg.dot over boolean tensors.
For boolean tensors, this currently uses addi, which is inconsistent with numpy. Numpy uses saturating arithmetic.
>>> np.array([True]) + np.array([True]) array([ True])