import * as assert from 'assert';

import * as values from '../';
import { Void } from '../../types';
import { Instruction } from './base';
import { checkAlignment } from './common';

// TODO(indutny): separate instruction for atomic store?
export class Store extends Instruction {
  constructor(public readonly value: values.Value,
              public readonly ptr: values.Value,
              public readonly alignment?: number,
              public readonly isVolatile: boolean = false) {
    super(new Void(), 'store', [ value, ptr ]);

    if (alignment !== undefined) {
      checkAlignment(alignment);
    }

    const slotType = ptr.ty.toPointer().to;

    // It's okay to store functions inside a pointer field
    assert(value.ty.isEqual(slotType),
      'Invalid value type for Store instruction');
  }
}