Implement LLIL for `dadd` and `daddc`
Implement LLIL for
daddanddaddc