bitfield initializers

1 files changed, 14 insertions, 0 deletions

diff --git a/src/llvm.cff b/src/llvm.cff
index 97d1e3c..1a3bfef 100644
--- a/src/llvm.cff
+++ b/src/llvm.cff
@@ -933,6 +933,20 @@ fn genexpr(f *Fn, ex *Expr) Value {
       gen("\t%v = load %t, %t %v\n", &val, ty, tmp.ty, &tmp);
       return val;
 
+   case BitFIni ini;
+      assert(ex.ty->is(:BitF), "not bitf bitf ini");
+
+      let intty = ex.ty.u.BitF.intty;
+      let tmp = gentmp(ex.ty, "bitcast %t 0 to %t", ex.ty, ex.ty);
+      foreach(fld, i, ini.flds) {
+         let ex0 = convert(f, intty, &ini.exs[i]);
+         let fmask = fld.size == 64 ? ~0u64 : ((1u64 << fld.size) - 1);
+         let masked = gentmp(intty, "and %t %v, %I", intty, &ex0, fmask);
+         let shifted = gentmp(intty, "shl %t %v, %d", intty, &masked, fld.off);
+         tmp = gentmp(ex.ty, "or %t %v, %v", intty, &tmp, &shifted);
+      }
+      return tmp;
+
    case EUnionIni ini;
       let t0 = mktmp(mkptrtype(ex.ty));
       let vidx = ini.var - ex.ty.u.Agg.flds.#ptr;