[PATCH] D54391: Fix compatibility with z3-4.8.1

Mikhail Ramalho via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Wed Nov 14 06:32:14 PST 2018

Previous message: [PATCH] D53794: [TargetLowering] expandFP_TO_UINT - avoid FPE due to out of range conversion (PR17686)
Next message: [llvm] r346868 - [TTI] getOperandInfo - a broadcast shuffle means the result is OK_UniformValue
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

mikhail.ramalho added a comment.

Since we're supporting version 4.8.1 now, the cmake file should be changed to "minimum" instead of "exact".


Repository:
  rL LLVM

https://reviews.llvm.org/D54391

Previous message: [PATCH] D53794: [TargetLowering] expandFP_TO_UINT - avoid FPE due to out of range conversion (PR17686)
Next message: [llvm] r346868 - [TTI] getOperandInfo - a broadcast shuffle means the result is OK_UniformValue
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list