git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@215087
91177308-0d34-0410-b5e6-
96231b3b80d8
if (auto *BitsTy = dyn_cast<BitsRecTy>(Ty))
// Accept only bits<1> expression.
return BitsTy->getNumBits() == 1 ? VI : nullptr;
if (auto *BitsTy = dyn_cast<BitsRecTy>(Ty))
// Accept only bits<1> expression.
return BitsTy->getNumBits() == 1 ? VI : nullptr;
+ // Ternary !if can be converted to bit, but only if both sides are
+ // convertible to a bit.
+ if (TernOpInit *TOI = dyn_cast<TernOpInit>(VI)) {
+ if (TOI->getOpcode() != TernOpInit::TernaryOp::IF)
+ return nullptr;
+ if (!TOI->getMHS()->convertInitializerTo(BitRecTy::get()) ||
+ !TOI->getRHS()->convertInitializerTo(BitRecTy::get()))
+ return nullptr;
+ return TOI;
+ }
class A<bit b = 1> {
int a = !if(b, 5, 6);
class A<bit b = 1> {
int a = !if(b, 5, 6);
+ bit c = !if(b, 0, 1);
+ bits<1> d = !if(b, 0, 1);