use rustc::mir;
use rustc::ty::layout::{TyLayout, LayoutOf, Size, Primitive, Integer::*};
use rustc::ty;

use rustc::mir::interpret::{EvalResult, Scalar, Value};
use rustc_mir::interpret::{Place, PlaceExtra, HasMemory, EvalContext, ValTy};

use helpers::EvalContextExt as HelperEvalContextExt;

use super::ScalarExt;

pub trait EvalContextExt<'tcx> {
    fn call_intrinsic(
        &mut self,
        instance: ty::Instance<'tcx>,
        args: &[ValTy<'tcx>],
        dest: Place,
        dest_layout: TyLayout<'tcx>,
        target: mir::BasicBlock,
    ) -> EvalResult<'tcx>;
}

impl<'a, 'mir, 'tcx> EvalContextExt<'tcx> for EvalContext<'a, 'mir, 'tcx, super::Evaluator<'tcx>> {
    fn call_intrinsic(
        &mut self,
        instance: ty::Instance<'tcx>,
        args: &[ValTy<'tcx>],
        dest: Place,
        dest_layout: TyLayout<'tcx>,
        target: mir::BasicBlock,
    ) -> EvalResult<'tcx> {
        let substs = instance.substs;

        let intrinsic_name = &self.tcx.item_name(instance.def_id()).as_str()[..];
        match intrinsic_name {
            "add_with_overflow" => {
                self.intrinsic_with_overflow(
                    mir::BinOp::Add,
                    args[0],
                    args[1],
                    dest,
                    dest_layout.ty,
                )?
            }

            "sub_with_overflow" => {
                self.intrinsic_with_overflow(
                    mir::BinOp::Sub,
                    args[0],
                    args[1],
                    dest,
                    dest_layout.ty,
                )?
            }

            "mul_with_overflow" => {
                self.intrinsic_with_overflow(
                    mir::BinOp::Mul,
                    args[0],
                    args[1],
                    dest,
                    dest_layout.ty,
                )?
            }

            "arith_offset" => {
                let offset = self.value_to_isize(args[1])?;
                let ptr = self.into_ptr(args[0].value)?;
                let result_ptr = self.wrapping_pointer_offset(ptr, substs.type_at(0), offset)?;
                self.write_ptr(dest, result_ptr, dest_layout.ty)?;
            }

            "assume" => {
                let cond = self.value_to_scalar(args[0])?.to_bool()?;
                if !cond {
                    return err!(AssumptionNotHeld);
                }
            }

            "atomic_load" |
            "atomic_load_relaxed" |
            "atomic_load_acq" |
            "volatile_load" => {
                let ptr = self.into_ptr(args[0].value)?;
                let align = self.layout_of(args[0].ty)?.align;

                let valty = ValTy {
                    value: Value::ByRef(ptr, align),
                    ty: substs.type_at(0),
                };
                self.write_value(valty, dest)?;
            }

            "atomic_store" |
            "atomic_store_relaxed" |
            "atomic_store_rel" |
            "volatile_store" => {
                let ty = substs.type_at(0);
                let align = self.layout_of(ty)?.align;
                let dest = self.into_ptr(args[0].value)?;
                self.write_value_to_ptr(args[1].value, dest, align, ty)?;
            }

            "atomic_fence_acq" => {
                // we are inherently singlethreaded and singlecored, this is a nop
            }

            _ if intrinsic_name.starts_with("atomic_xchg") => {
                let ty = substs.type_at(0);
                let align = self.layout_of(ty)?.align;
                let ptr = self.into_ptr(args[0].value)?;
                let change = self.value_to_scalar(args[1])?;
                let old = self.read_value(ptr, align, ty)?;
                let old = match old {
                    Value::Scalar(val) => val,
                    Value::ByRef { .. } => bug!("just read the value, can't be byref"),
                    Value::ScalarPair(..) => bug!("atomic_xchg doesn't work with nonprimitives"),
                };
                self.write_scalar(dest, old, ty)?;
                self.write_scalar(
                    Place::from_scalar_ptr(ptr, align),
                    change,
                    ty,
                )?;
            }

            _ if intrinsic_name.starts_with("atomic_cxchg") => {
                let ty = substs.type_at(0);
                let align = self.layout_of(ty)?.align;
                let ptr = self.into_ptr(args[0].value)?;
                let expect_old = self.value_to_scalar(args[1])?;
                let change = self.value_to_scalar(args[2])?;
                let old = self.read_value(ptr, align, ty)?;
                let old = match old {
                    Value::Scalar(val) => val,
                    Value::ByRef { .. } => bug!("just read the value, can't be byref"),
                    Value::ScalarPair(..) => bug!("atomic_cxchg doesn't work with nonprimitives"),
                };
                let (val, _) = self.binary_op(mir::BinOp::Eq, old, ty, expect_old, ty)?;
                let valty = ValTy {
                    value: Value::ScalarPair(old, val),
                    ty: dest_layout.ty,
                };
                self.write_value(valty, dest)?;
                self.write_scalar(
                    Place::from_scalar_ptr(ptr, dest_layout.align),
                    change,
                    ty,
                )?;
            }

            "atomic_or" |
            "atomic_or_acq" |
            "atomic_or_rel" |
            "atomic_or_acqrel" |
            "atomic_or_relaxed" |
            "atomic_xor" |
            "atomic_xor_acq" |
            "atomic_xor_rel" |
            "atomic_xor_acqrel" |
            "atomic_xor_relaxed" |
            "atomic_and" |
            "atomic_and_acq" |
            "atomic_and_rel" |
            "atomic_and_acqrel" |
            "atomic_and_relaxed" |
            "atomic_xadd" |
            "atomic_xadd_acq" |
            "atomic_xadd_rel" |
            "atomic_xadd_acqrel" |
            "atomic_xadd_relaxed" |
            "atomic_xsub" |
            "atomic_xsub_acq" |
            "atomic_xsub_rel" |
            "atomic_xsub_acqrel" |
            "atomic_xsub_relaxed" => {
                let ty = substs.type_at(0);
                let align = self.layout_of(ty)?.align;
                let ptr = self.into_ptr(args[0].value)?;
                let change = self.value_to_scalar(args[1])?;
                let old = self.read_value(ptr, align, ty)?;
                let old = match old {
                    Value::Scalar(val) => val,
                    Value::ByRef { .. } => bug!("just read the value, can't be byref"),
                    Value::ScalarPair(..) => {
                        bug!("atomic_xadd_relaxed doesn't work with nonprimitives")
                    }
                };
                self.write_scalar(dest, old, ty)?;
                let op = match intrinsic_name.split('_').nth(1).unwrap() {
                    "or" => mir::BinOp::BitOr,
                    "xor" => mir::BinOp::BitXor,
                    "and" => mir::BinOp::BitAnd,
                    "xadd" => mir::BinOp::Add,
                    "xsub" => mir::BinOp::Sub,
                    _ => bug!(),
                };
                // FIXME: what do atomics do on overflow?
                let (val, _) = self.binary_op(op, old, ty, change, ty)?;
                self.write_scalar(Place::from_scalar_ptr(ptr, dest_layout.align), val, ty)?;
            }

            "breakpoint" => unimplemented!(), // halt miri

            "copy" |
            "copy_nonoverlapping" => {
                let elem_ty = substs.type_at(0);
                let elem_layout = self.layout_of(elem_ty)?;
                let elem_size = elem_layout.size.bytes();
                let count = self.value_to_usize(args[2])?;
                if count * elem_size != 0 {
                    // TODO: We do not even validate alignment for the 0-bytes case.  libstd relies on this in vec::IntoIter::next.
                    // Also see the write_bytes intrinsic.
                    let elem_align = elem_layout.align;
                    let src = self.into_ptr(args[0].value)?;
                    let dest = self.into_ptr(args[1].value)?;
                    self.memory.copy(
                        src,
                        elem_align,
                        dest,
                        elem_align,
                        Size::from_bytes(count * elem_size),
                        intrinsic_name.ends_with("_nonoverlapping"),
                    )?;
                }
            }

            "ctpop" | "cttz" | "cttz_nonzero" | "ctlz" | "ctlz_nonzero" | "bswap" => {
                let ty = substs.type_at(0);
                let num = self.value_to_scalar(args[0])?.to_bytes()?;
                let kind = match self.layout_of(ty)?.abi {
                    ty::layout::Abi::Scalar(ref scalar) => scalar.value,
                    _ => Err(::rustc::mir::interpret::EvalErrorKind::TypeNotPrimitive(ty))?,
                };
                let num = if intrinsic_name.ends_with("_nonzero") {
                    if num == 0 {
                        return err!(Intrinsic(format!("{} called on 0", intrinsic_name)));
                    }
                    numeric_intrinsic(intrinsic_name.trim_right_matches("_nonzero"), num, kind)?
                } else {
                    numeric_intrinsic(intrinsic_name, num, kind)?
                };
                self.write_scalar(dest, num, ty)?;
            }

            "discriminant_value" => {
                let ty = substs.type_at(0);
                let layout = self.layout_of(ty)?;
                let adt_ptr = self.into_ptr(args[0].value)?;
                let adt_align = self.layout_of(args[0].ty)?.align;
                let place = Place::from_scalar_ptr(adt_ptr, adt_align);
                let discr_val = self.read_discriminant_value(place, layout)?;
                self.write_scalar(dest, Scalar::from_u128(discr_val), dest_layout.ty)?;
            }

            "sinf32" | "fabsf32" | "cosf32" | "sqrtf32" | "expf32" | "exp2f32" | "logf32" |
            "log10f32" | "log2f32" | "floorf32" | "ceilf32" | "truncf32" => {
                let f = self.value_to_scalar(args[0])?.to_bytes()?;
                let f = f32::from_bits(f as u32);
                let f = match intrinsic_name {
                    "sinf32" => f.sin(),
                    "fabsf32" => f.abs(),
                    "cosf32" => f.cos(),
                    "sqrtf32" => f.sqrt(),
                    "expf32" => f.exp(),
                    "exp2f32" => f.exp2(),
                    "logf32" => f.ln(),
                    "log10f32" => f.log10(),
                    "log2f32" => f.log2(),
                    "floorf32" => f.floor(),
                    "ceilf32" => f.ceil(),
                    "truncf32" => f.trunc(),
                    _ => bug!(),
                };
                self.write_scalar(dest, Scalar::from_f32(f), dest_layout.ty)?;
            }

            "sinf64" | "fabsf64" | "cosf64" | "sqrtf64" | "expf64" | "exp2f64" | "logf64" |
            "log10f64" | "log2f64" | "floorf64" | "ceilf64" | "truncf64" => {
                let f = self.value_to_scalar(args[0])?.to_bytes()?;
                let f = f64::from_bits(f as u64);
                let f = match intrinsic_name {
                    "sinf64" => f.sin(),
                    "fabsf64" => f.abs(),
                    "cosf64" => f.cos(),
                    "sqrtf64" => f.sqrt(),
                    "expf64" => f.exp(),
                    "exp2f64" => f.exp2(),
                    "logf64" => f.ln(),
                    "log10f64" => f.log10(),
                    "log2f64" => f.log2(),
                    "floorf64" => f.floor(),
                    "ceilf64" => f.ceil(),
                    "truncf64" => f.trunc(),
                    _ => bug!(),
                };
                self.write_scalar(dest, Scalar::from_f64(f), dest_layout.ty)?;
            }

            "fadd_fast" | "fsub_fast" | "fmul_fast" | "fdiv_fast" | "frem_fast" => {
                let ty = substs.type_at(0);
                let a = self.value_to_scalar(args[0])?;
                let b = self.value_to_scalar(args[1])?;
                let op = match intrinsic_name {
                    "fadd_fast" => mir::BinOp::Add,
                    "fsub_fast" => mir::BinOp::Sub,
                    "fmul_fast" => mir::BinOp::Mul,
                    "fdiv_fast" => mir::BinOp::Div,
                    "frem_fast" => mir::BinOp::Rem,
                    _ => bug!(),
                };
                let result = self.binary_op(op, a, ty, b, ty)?;
                self.write_scalar(dest, result.0, dest_layout.ty)?;
            }

            "exact_div" => {
                // Performs an exact division, resulting in undefined behavior where
                // `x % y != 0` or `y == 0` or `x == T::min_value() && y == -1`
                let ty = substs.type_at(0);
                let a = self.value_to_scalar(args[0])?;
                let b = self.value_to_scalar(args[1])?;
                // check x % y != 0
                if !self.binary_op(mir::BinOp::Rem, a, ty, b, ty)?.0.is_null()? {
                    return err!(ValidationFailure(format!("exact_div: {:?} cannot be divided by {:?}", a, b)));
                }
                let result = self.binary_op(mir::BinOp::Div, a, ty, b, ty)?;
                self.write_scalar(dest, result.0, dest_layout.ty)?;
            },

            "likely" | "unlikely" | "forget" => {}

            "init" => {
                let size = dest_layout.size;
                let init = |this: &mut Self, val: Value| {
                    let zero_val = match val {
                        Value::ByRef(ptr, _) => {
                            // These writes have no alignment restriction anyway.
                            this.memory.write_repeat(ptr, 0, size)?;
                            val
                        }
                        // TODO(solson): Revisit this, it's fishy to check for Undef here.
                        Value::Scalar(Scalar::Bits { defined: 0, .. }) => {
                            match this.layout_of(dest_layout.ty)?.abi {
                                ty::layout::Abi::Scalar(_) => Value::Scalar(Scalar::null()),
                                _ => {
                                    // FIXME(oli-obk): pass TyLayout to alloc_ptr instead of Ty
                                    let ptr = this.alloc_ptr(dest_layout.ty)?;
                                    let ptr = Scalar::Ptr(ptr);
                                    this.memory.write_repeat(ptr, 0, size)?;
                                    Value::ByRef(ptr, dest_layout.align)
                                }
                            }
                        }
                        Value::Scalar(_) => Value::Scalar(Scalar::null()),
                        Value::ScalarPair(..) => {
                            Value::ScalarPair(Scalar::null(), Scalar::null())
                        }
                    };
                    Ok(zero_val)
                };
                match dest {
                    Place::Local { frame, local } => self.modify_local(frame, local, init)?,
                    Place::Ptr {
                        ptr,
                        align: _align,
                        extra: PlaceExtra::None,
                    } => self.memory.write_repeat(ptr, 0, size)?,
                    Place::Ptr { .. } => {
                        bug!("init intrinsic tried to write to fat or unaligned ptr target")
                    }
                }
            }

            "min_align_of" => {
                let elem_ty = substs.type_at(0);
                let elem_align = self.layout_of(elem_ty)?.align.abi();
                let align_val = Scalar::from_u128(elem_align as u128);
                self.write_scalar(dest, align_val, dest_layout.ty)?;
            }

            "pref_align_of" => {
                let ty = substs.type_at(0);
                let layout = self.layout_of(ty)?;
                let align = layout.align.pref();
                let align_val = Scalar::from_u128(align as u128);
                self.write_scalar(dest, align_val, dest_layout.ty)?;
            }

            "move_val_init" => {
                let ty = substs.type_at(0);
                let ptr = self.into_ptr(args[0].value)?;
                let align = self.layout_of(args[0].ty)?.align;
                self.write_value_to_ptr(args[1].value, ptr, align, ty)?;
            }

            "needs_drop" => {
                let ty = substs.type_at(0);
                let env = ty::ParamEnv::reveal_all();
                let needs_drop = ty.needs_drop(self.tcx.tcx, env);
                self.write_scalar(
                    dest,
                    Scalar::from_bool(needs_drop),
                    dest_layout.ty,
                )?;
            }

            "offset" => {
                let offset = self.value_to_isize(args[1])?;
                let ptr = self.into_ptr(args[0].value)?;
                let result_ptr = self.pointer_offset(ptr, substs.type_at(0), offset)?;
                self.write_ptr(dest, result_ptr, dest_layout.ty)?;
            }

            "overflowing_sub" => {
                self.intrinsic_overflowing(
                    mir::BinOp::Sub,
                    args[0],
                    args[1],
                    dest,
                    dest_layout.ty,
                )?;
            }

            "overflowing_mul" => {
                self.intrinsic_overflowing(
                    mir::BinOp::Mul,
                    args[0],
                    args[1],
                    dest,
                    dest_layout.ty,
                )?;
            }

            "overflowing_add" => {
                self.intrinsic_overflowing(
                    mir::BinOp::Add,
                    args[0],
                    args[1],
                    dest,
                    dest_layout.ty,
                )?;
            }

            "powf32" => {
                let f = self.value_to_scalar(args[0])?.to_bits(Size::from_bits(32))?;
                let f = f32::from_bits(f as u32);
                let f2 = self.value_to_scalar(args[1])?.to_bits(Size::from_bits(32))?;
                let f2 = f32::from_bits(f2 as u32);
                self.write_scalar(
                    dest,
                    Scalar::from_f32(f.powf(f2)),
                    dest_layout.ty,
                )?;
            }

            "powf64" => {
                let f = self.value_to_scalar(args[0])?.to_bits(Size::from_bits(64))?;
                let f = f64::from_bits(f as u64);
                let f2 = self.value_to_scalar(args[1])?.to_bits(Size::from_bits(64))?;
                let f2 = f64::from_bits(f2 as u64);
                self.write_scalar(
                    dest,
                    Scalar::from_f64(f.powf(f2)),
                    dest_layout.ty,
                )?;
            }

            "fmaf32" => {
                let a = self.value_to_scalar(args[0])?.to_bits(Size::from_bits(32))?;
                let a = f32::from_bits(a as u32);
                let b = self.value_to_scalar(args[1])?.to_bits(Size::from_bits(32))?;
                let b = f32::from_bits(b as u32);
                let c = self.value_to_scalar(args[2])?.to_bits(Size::from_bits(32))?;
                let c = f32::from_bits(c as u32);
                self.write_scalar(
                    dest,
                    Scalar::from_f32(a * b + c),
                    dest_layout.ty,
                )?;
            }

            "fmaf64" => {
                let a = self.value_to_scalar(args[0])?.to_bits(Size::from_bits(64))?;
                let a = f64::from_bits(a as u64);
                let b = self.value_to_scalar(args[1])?.to_bits(Size::from_bits(64))?;
                let b = f64::from_bits(b as u64);
                let c = self.value_to_scalar(args[2])?.to_bits(Size::from_bits(64))?;
                let c = f64::from_bits(c as u64);
                self.write_scalar(
                    dest,
                    Scalar::from_f64(a * b + c),
                    dest_layout.ty,
                )?;
            }

            "powif32" => {
                let f = self.value_to_scalar(args[0])?.to_bits(Size::from_bits(32))?;
                let f = f32::from_bits(f as u32);
                let i = self.value_to_i32(args[1])?;
                self.write_scalar(
                    dest,
                    Scalar::from_f32(f.powi(i)),
                    dest_layout.ty,
                )?;
            }

            "powif64" => {
                let f = self.value_to_scalar(args[0])?.to_bits(Size::from_bits(64))?;
                let f = f64::from_bits(f as u64);
                let i = self.value_to_i32(args[1])?;
                self.write_scalar(
                    dest,
                    Scalar::from_f64(f.powi(i)),
                    dest_layout.ty,
                )?;
            }

            "size_of" => {
                let ty = substs.type_at(0);
                let size = self.layout_of(ty)?.size.bytes().into();
                self.write_scalar(dest, Scalar::from_u128(size), dest_layout.ty)?;
            }

            "size_of_val" => {
                let ty = substs.type_at(0);
                let (size, _) = self.size_and_align_of_dst(ty, args[0].value)?;
                self.write_scalar(
                    dest,
                    Scalar::from_u128(size.bytes() as u128),
                    dest_layout.ty,
                )?;
            }

            "min_align_of_val" |
            "align_of_val" => {
                let ty = substs.type_at(0);
                let (_, align) = self.size_and_align_of_dst(ty, args[0].value)?;
                self.write_scalar(
                    dest,
                    Scalar::from_u128(align.abi() as u128),
                    dest_layout.ty,
                )?;
            }

            "type_name" => {
                let ty = substs.type_at(0);
                let ty_name = ty.to_string();
                let value = self.str_to_value(&ty_name)?;
                self.write_value(ValTy { value, ty: dest_layout.ty }, dest)?;
            }
            "type_id" => {
                let ty = substs.type_at(0);
                let n = self.tcx.type_id_hash(ty);
                self.write_scalar(dest, Scalar::Bits { bits: n as u128, defined: 64 }, dest_layout.ty)?;
            }

            "transmute" => {
                let src_ty = substs.type_at(0);
                let _src_align = self.layout_of(src_ty)?.align;
                let ptr = self.force_allocation(dest)?.to_ptr()?;
                let dest_align = self.layout_of(substs.type_at(1))?.align;
                self.write_value_to_ptr(args[0].value, ptr.into(), dest_align, src_ty).unwrap();
            }

            "unchecked_shl" => {
                let bits = dest_layout.size.bytes() as u128 * 8;
                let rhs = self.value_to_scalar(args[1])?
                    .to_bytes()?;
                if rhs >= bits {
                    return err!(Intrinsic(
                        format!("Overflowing shift by {} in unchecked_shl", rhs),
                    ));
                }
                self.intrinsic_overflowing(
                    mir::BinOp::Shl,
                    args[0],
                    args[1],
                    dest,
                    dest_layout.ty,
                )?;
            }

            "unchecked_shr" => {
                let bits = dest_layout.size.bytes() as u128 * 8;
                let rhs = self.value_to_scalar(args[1])?
                    .to_bytes()?;
                if rhs >= bits {
                    return err!(Intrinsic(
                        format!("Overflowing shift by {} in unchecked_shr", rhs),
                    ));
                }
                self.intrinsic_overflowing(
                    mir::BinOp::Shr,
                    args[0],
                    args[1],
                    dest,
                    dest_layout.ty,
                )?;
            }

            "unchecked_div" => {
                let rhs = self.value_to_scalar(args[1])?
                    .to_bytes()?;
                if rhs == 0 {
                    return err!(Intrinsic(format!("Division by 0 in unchecked_div")));
                }
                self.intrinsic_overflowing(
                    mir::BinOp::Div,
                    args[0],
                    args[1],
                    dest,
                    dest_layout.ty,
                )?;
            }

            "unchecked_rem" => {
                let rhs = self.value_to_scalar(args[1])?
                    .to_bytes()?;
                if rhs == 0 {
                    return err!(Intrinsic(format!("Division by 0 in unchecked_rem")));
                }
                self.intrinsic_overflowing(
                    mir::BinOp::Rem,
                    args[0],
                    args[1],
                    dest,
                    dest_layout.ty,
                )?;
            }

            "uninit" => {
                let size = dest_layout.size;
                let uninit = |this: &mut Self, val: Value| match val {
                    Value::ByRef(ptr, _) => {
                        this.memory.mark_definedness(ptr, size, false)?;
                        Ok(val)
                    }
                    _ => Ok(Value::Scalar(Scalar::undef())),
                };
                match dest {
                    Place::Local { frame, local } => self.modify_local(frame, local, uninit)?,
                    Place::Ptr {
                        ptr,
                        align: _align,
                        extra: PlaceExtra::None,
                    } => self.memory.mark_definedness(ptr, size, false)?,
                    Place::Ptr { .. } => {
                        bug!("uninit intrinsic tried to write to fat or unaligned ptr target")
                    }
                }
            }

            "write_bytes" => {
                let ty = substs.type_at(0);
                let ty_layout = self.layout_of(ty)?;
                let val_byte = self.value_to_u8(args[1])?;
                let ptr = self.into_ptr(args[0].value)?;
                let count = self.value_to_usize(args[2])?;
                if count > 0 {
                    // HashMap relies on write_bytes on a NULL ptr with count == 0 to work
                    // TODO: Should we, at least, validate the alignment? (Also see the copy intrinsic)
                    self.memory.check_align(ptr, ty_layout.align)?;
                    self.memory.write_repeat(ptr, val_byte, ty_layout.size * count)?;
                }
            }

            name => return err!(Unimplemented(format!("unimplemented intrinsic: {}", name))),
        }

        self.goto_block(target);

        // Since we pushed no stack frame, the main loop will act
        // as if the call just completed and it's returning to the
        // current frame.
        Ok(())
    }
}

fn numeric_intrinsic<'tcx>(
    name: &str,
    bytes: u128,
    kind: Primitive,
) -> EvalResult<'tcx, Scalar> {
    macro_rules! integer_intrinsic {
        ($method:ident) => ({
            let result_bytes = match kind {
                Primitive::Int(I8, true) => (bytes as i8).$method() as u128,
                Primitive::Int(I8, false) => (bytes as u8).$method() as u128,
                Primitive::Int(I16, true) => (bytes as i16).$method() as u128,
                Primitive::Int(I16, false) => (bytes as u16).$method() as u128,
                Primitive::Int(I32, true) => (bytes as i32).$method() as u128,
                Primitive::Int(I32, false) => (bytes as u32).$method() as u128,
                Primitive::Int(I64, true) => (bytes as i64).$method() as u128,
                Primitive::Int(I64, false) => (bytes as u64).$method() as u128,
                Primitive::Int(I128, true) => (bytes as i128).$method() as u128,
                Primitive::Int(I128, false) => bytes.$method() as u128,
                _ => bug!("invalid `{}` argument: {:?}", name, bytes),
            };

            Scalar::from_u128(result_bytes)
        });
    }

    let result_val = match name {
        "bswap" => integer_intrinsic!(swap_bytes),
        "ctlz" => integer_intrinsic!(leading_zeros),
        "ctpop" => integer_intrinsic!(count_ones),
        "cttz" => integer_intrinsic!(trailing_zeros),
        _ => bug!("not a numeric intrinsic: {}", name),
    };

    Ok(result_val)
}