16682   uint32_t db = 0x101 * (0xFF & (dst_nonpremul >> 0));  in wuffs_base__composite_nonpremul_nonpremul_u32_axxx()  local
16691   db = (db * da) / 0xFFFF;  in wuffs_base__composite_nonpremul_nonpremul_u32_axxx()
16700   db = ((sb * sa) + (db * ia)) / 0xFFFF;  in wuffs_base__composite_nonpremul_nonpremul_u32_axxx()
16706     db = (db * 0xFFFF) / da;  in wuffs_base__composite_nonpremul_nonpremul_u32_axxx()
16713   db >>= 8;  in wuffs_base__composite_nonpremul_nonpremul_u32_axxx()
16716   return (db << 0) | (dg << 8) | (dr << 16) | (da << 24);  in wuffs_base__composite_nonpremul_nonpremul_u32_axxx()
16735   uint64_t db = 0xFFFF & (dst_nonpremul >> 0);  in wuffs_base__composite_nonpremul_nonpremul_u64_axxx()  local
16744   db = (db * da) / 0xFFFF;  in wuffs_base__composite_nonpremul_nonpremul_u64_axxx()
16753   db = ((sb * sa) + (db * ia)) / 0xFFFF;  in wuffs_base__composite_nonpremul_nonpremul_u64_axxx()
16759     db = (db * 0xFFFF) / da;  in wuffs_base__composite_nonpremul_nonpremul_u64_axxx()
16763   return (db << 0) | (dg << 16) | (dr << 32) | (da << 48);  in wuffs_base__composite_nonpremul_nonpremul_u64_axxx()
16773   uint32_t db = 0x101 * (0xFF & (dst_nonpremul >> 0));  in wuffs_base__composite_nonpremul_premul_u32_axxx()  local
16782   db = (db * da) / 0xFFFF;  in wuffs_base__composite_nonpremul_premul_u32_axxx()
16791   db = sb + ((db * ia) / 0xFFFF);  in wuffs_base__composite_nonpremul_premul_u32_axxx()
16797     db = (db * 0xFFFF) / da;  in wuffs_base__composite_nonpremul_premul_u32_axxx()
16804   db >>= 8;  in wuffs_base__composite_nonpremul_premul_u32_axxx()
16807   return (db << 0) | (dg << 8) | (dr << 16) | (da << 24);  in wuffs_base__composite_nonpremul_premul_u32_axxx()
16817   uint64_t db = 0xFFFF & (dst_nonpremul >> 0);  in wuffs_base__composite_nonpremul_premul_u64_axxx()  local
16826   db = (db * da) / 0xFFFF;  in wuffs_base__composite_nonpremul_premul_u64_axxx()
16835   db = sb + ((db * ia) / 0xFFFF);  in wuffs_base__composite_nonpremul_premul_u64_axxx()
16841     db = (db * 0xFFFF) / da;  in wuffs_base__composite_nonpremul_premul_u64_axxx()
16845   return (db << 0) | (dg << 16) | (dr << 32) | (da << 48);  in wuffs_base__composite_nonpremul_premul_u64_axxx()
16855   uint32_t db = 0x101 * (0xFF & (dst_premul >> 0));  in wuffs_base__composite_premul_nonpremul_u32_axxx()  local
16868   db = ((sb * sa) + (db * ia)) / 0xFFFF;  in wuffs_base__composite_premul_nonpremul_u32_axxx()
16874   db >>= 8;  in wuffs_base__composite_premul_nonpremul_u32_axxx()
16877   return (db << 0) | (dg << 8) | (dr << 16) | (da << 24);  in wuffs_base__composite_premul_nonpremul_u32_axxx()
16887   uint64_t db = 0xFFFF & (dst_premul >> 0);  in wuffs_base__composite_premul_nonpremul_u64_axxx()  local
16900   db = ((sb * sa) + (db * ia)) / 0xFFFF;  in wuffs_base__composite_premul_nonpremul_u64_axxx()
16903   return (db << 0) | (dg << 16) | (dr << 32) | (da << 48);  in wuffs_base__composite_premul_nonpremul_u64_axxx()
16913   uint32_t db = 0x101 * (0xFF & (dst_premul >> 0));  in wuffs_base__composite_premul_premul_u32_axxx()  local
16926   db = sb + ((db * ia) / 0xFFFF);  in wuffs_base__composite_premul_premul_u32_axxx()
16932   db >>= 8;  in wuffs_base__composite_premul_premul_u32_axxx()
16935   return (db << 0) | (dg << 8) | (dr << 16) | (da << 24);  in wuffs_base__composite_premul_premul_u32_axxx()
17310     uint32_t db = (0x8421 * old_b5) >> 4;  in wuffs_base__pixel_swizzler__bgr_565__bgra_nonpremul__src_over()  local
17318     db = ((sb * sa) + (db * ia)) / 0xFFFF;  in wuffs_base__pixel_swizzler__bgr_565__bgra_nonpremul__src_over()
17323     uint32_t new_b5 = 0x1F & (db >> 11);  in wuffs_base__pixel_swizzler__bgr_565__bgra_nonpremul__src_over()
17366     uint32_t db = (0x8421 * old_b5) >> 4;  in wuffs_base__pixel_swizzler__bgr_565__bgra_nonpremul_4x16le__src_over()  local
17374     db = ((sb * sa) + (db * ia)) / 0xFFFF;  in wuffs_base__pixel_swizzler__bgr_565__bgra_nonpremul_4x16le__src_over()
17379     uint32_t new_b5 = 0x1F & (db >> 11);  in wuffs_base__pixel_swizzler__bgr_565__bgra_nonpremul_4x16le__src_over()
17451     uint32_t db = (0x8421 * old_b5) >> 4;  in wuffs_base__pixel_swizzler__bgr_565__bgra_premul__src_over()  local
17459     db = sb + ((db * ia) / 0xFFFF);  in wuffs_base__pixel_swizzler__bgr_565__bgra_premul__src_over()
17464     uint32_t new_b5 = 0x1F & (db >> 11);  in wuffs_base__pixel_swizzler__bgr_565__bgra_premul__src_over()
17571     uint32_t db = (0x8421 * old_b5) >> 4;  in wuffs_base__pixel_swizzler__bgr_565__rgba_nonpremul__src_over()  local
17579     db = ((sb * sa) + (db * ia)) / 0xFFFF;  in wuffs_base__pixel_swizzler__bgr_565__rgba_nonpremul__src_over()
17584     uint32_t new_b5 = 0x1F & (db >> 11);  in wuffs_base__pixel_swizzler__bgr_565__rgba_nonpremul__src_over()
17658     uint32_t db = (0x8421 * old_b5) >> 4;  in wuffs_base__pixel_swizzler__bgr_565__rgba_premul__src_over()  local
17666     db = sb + ((db * ia) / 0xFFFF);  in wuffs_base__pixel_swizzler__bgr_565__rgba_premul__src_over()
17671     uint32_t new_b5 = 0x1F & (db >> 11);  in wuffs_base__pixel_swizzler__bgr_565__rgba_premul__src_over()
17979     uint32_t db = 0x101 * ((uint32_t)d[0]);  in wuffs_base__pixel_swizzler__bgr__bgra_nonpremul__src_over()  local
17991     db = ((sb * sa) + (db * ia)) / 0xFFFF;  in wuffs_base__pixel_swizzler__bgr__bgra_nonpremul__src_over()
17994     d[0] = (uint8_t)(db >> 8);  in wuffs_base__pixel_swizzler__bgr__bgra_nonpremul__src_over()
18027     uint32_t db = 0x101 * ((uint32_t)d[0]);  in wuffs_base__pixel_swizzler__bgr__bgra_nonpremul_4x16le__src_over()  local
18039     db = ((sb * sa) + (db * ia)) / 0xFFFF;  in wuffs_base__pixel_swizzler__bgr__bgra_nonpremul_4x16le__src_over()
18042     d[0] = (uint8_t)(db >> 8);  in wuffs_base__pixel_swizzler__bgr__bgra_nonpremul_4x16le__src_over()
18102     uint32_t db = 0x101 * ((uint32_t)d[0]);  in wuffs_base__pixel_swizzler__bgr__bgra_premul__src_over()  local
18114     db = sb + ((db * ia) / 0xFFFF);  in wuffs_base__pixel_swizzler__bgr__bgra_premul__src_over()
18117     d[0] = (uint8_t)(db >> 8);  in wuffs_base__pixel_swizzler__bgr__bgra_premul__src_over()
18180     uint32_t db = 0x101 * ((uint32_t)d[0]);  in wuffs_base__pixel_swizzler__bgr__rgba_nonpremul__src_over()  local
18192     db = ((sb * sa) + (db * ia)) / 0xFFFF;  in wuffs_base__pixel_swizzler__bgr__rgba_nonpremul__src_over()
18195     d[0] = (uint8_t)(db >> 8);  in wuffs_base__pixel_swizzler__bgr__rgba_nonpremul__src_over()
18255     uint32_t db = 0x101 * ((uint32_t)d[0]);  in wuffs_base__pixel_swizzler__bgr__rgba_premul__src_over()  local
18267     db = sb + ((db * ia) / 0xFFFF);  in wuffs_base__pixel_swizzler__bgr__rgba_premul__src_over()
18270     d[0] = (uint8_t)(db >> 8);  in wuffs_base__pixel_swizzler__bgr__rgba_premul__src_over()