| Index: src/trusted/validator_arm/gen/arm32_decode_actuals_2.h
|
| ===================================================================
|
| --- src/trusted/validator_arm/gen/arm32_decode_actuals_2.h (revision 10736)
|
| +++ src/trusted/validator_arm/gen/arm32_decode_actuals_2.h (working copy)
|
| @@ -3258,10 +3258,12 @@
|
| // Actual_VBIC_immediate_1111001i1d000mmmddddcccc0q11mmmm_case_1
|
| //
|
| // Actual:
|
| -// {safety: [inst(11:8)(0)=0 ||
|
| +// {defs: {},
|
| +// safety: [inst(11:8)(0)=0 ||
|
| // inst(11:8)(3:2)=11 => DECODER_ERROR,
|
| // inst(6)=1 &&
|
| -// inst(15:12)(0)=1 => UNDEFINED]}
|
| +// inst(15:12)(0)=1 => UNDEFINED],
|
| +// uses: {}}
|
| //
|
| // Baseline:
|
| // {D: D(22),
|
| @@ -3272,6 +3274,7 @@
|
| // cmode: cmode(11:8),
|
| // constraints: ,
|
| // d: D:Vd,
|
| +// defs: {},
|
| // fields: [i(24),
|
| // D(22),
|
| // imm3(18:16),
|
| @@ -3294,7 +3297,8 @@
|
| // safety: [cmode(0)=0 ||
|
| // cmode(3:2)=11 => DECODER_ERROR,
|
| // Q(6)=1 &&
|
| -// Vd(0)=1 => UNDEFINED]}
|
| +// Vd(0)=1 => UNDEFINED],
|
| +// uses: {}}
|
| //
|
| // Baseline:
|
| // {D: D(22),
|
| @@ -3305,6 +3309,7 @@
|
| // cmode: cmode(11:8),
|
| // constraints: ,
|
| // d: D:Vd,
|
| +// defs: {},
|
| // fields: [i(24),
|
| // D(22),
|
| // imm3(18:16),
|
| @@ -3327,13 +3332,16 @@
|
| // safety: [cmode(0)=0 ||
|
| // cmode(3:2)=11 => DECODER_ERROR,
|
| // Q(6)=1 &&
|
| -// Vd(0)=1 => UNDEFINED]}
|
| +// Vd(0)=1 => UNDEFINED],
|
| +// uses: {}}
|
| class Actual_VBIC_immediate_1111001i1d000mmmddddcccc0q11mmmm_case_1
|
| : public ClassDecoder {
|
| public:
|
| Actual_VBIC_immediate_1111001i1d000mmmddddcccc0q11mmmm_case_1()
|
| : ClassDecoder() {}
|
| + virtual RegisterList defs(Instruction inst) const;
|
| virtual SafetyLevel safety(Instruction i) const;
|
| + virtual RegisterList uses(Instruction i) const;
|
| private:
|
| NACL_DISALLOW_COPY_AND_ASSIGN(
|
| Actual_VBIC_immediate_1111001i1d000mmmddddcccc0q11mmmm_case_1);
|
| @@ -7001,13 +7009,15 @@
|
| // Actual_VMOV_immediate_A1_1111001m1d000mmmddddcccc0qp1mmmm_case_1
|
| //
|
| // Actual:
|
| -// {safety: [inst(5)=0 &&
|
| +// {defs: {},
|
| +// safety: [inst(5)=0 &&
|
| // inst(11:8)(0)=1 &&
|
| // inst(11:8)(3:2)=~11 => DECODER_ERROR,
|
| // inst(5)=1 &&
|
| // inst(11:8)=~1110 => DECODER_ERROR,
|
| // inst(6)=1 &&
|
| -// inst(15:12)(0)=1 => UNDEFINED]}
|
| +// inst(15:12)(0)=1 => UNDEFINED],
|
| +// uses: {}}
|
| //
|
| // Baseline:
|
| // {D: D(22),
|
| @@ -7018,6 +7028,7 @@
|
| // cmode: cmode(11:8),
|
| // constraints: ,
|
| // d: D:Vd,
|
| +// defs: {},
|
| // false: false,
|
| // fields: [i(24),
|
| // D(22),
|
| @@ -7045,13 +7056,16 @@
|
| // cmode(11:8)=~1110 => DECODER_ERROR,
|
| // Q(6)=1 &&
|
| // Vd(0)=1 => UNDEFINED],
|
| -// single_register: false}
|
| +// single_register: false,
|
| +// uses: {}}
|
| class Actual_VMOV_immediate_A1_1111001m1d000mmmddddcccc0qp1mmmm_case_1
|
| : public ClassDecoder {
|
| public:
|
| Actual_VMOV_immediate_A1_1111001m1d000mmmddddcccc0qp1mmmm_case_1()
|
| : ClassDecoder() {}
|
| + virtual RegisterList defs(Instruction inst) const;
|
| virtual SafetyLevel safety(Instruction i) const;
|
| + virtual RegisterList uses(Instruction i) const;
|
| private:
|
| NACL_DISALLOW_COPY_AND_ASSIGN(
|
| Actual_VMOV_immediate_A1_1111001m1d000mmmddddcccc0qp1mmmm_case_1);
|
| @@ -7261,11 +7275,13 @@
|
| // Actual_VMVN_immediate_1111001i1d000mmmddddcccc0q11mmmm_case_1
|
| //
|
| // Actual:
|
| -// {safety: [(inst(11:8)(0)=1 &&
|
| +// {defs: {},
|
| +// safety: [(inst(11:8)(0)=1 &&
|
| // inst(11:8)(3:2)=~11) ||
|
| // inst(11:8)(3:1)=111 => DECODER_ERROR,
|
| // inst(6)=1 &&
|
| -// inst(15:12)(0)=1 => UNDEFINED]}
|
| +// inst(15:12)(0)=1 => UNDEFINED],
|
| +// uses: {}}
|
| //
|
| // Baseline:
|
| // {D: D(22),
|
| @@ -7276,6 +7292,7 @@
|
| // cmode: cmode(11:8),
|
| // constraints: ,
|
| // d: D:Vd,
|
| +// defs: {},
|
| // fields: [i(24),
|
| // D(22),
|
| // imm3(18:16),
|
| @@ -7299,13 +7316,16 @@
|
| // cmode(3:2)=~11) ||
|
| // cmode(3:1)=111 => DECODER_ERROR,
|
| // Q(6)=1 &&
|
| -// Vd(0)=1 => UNDEFINED]}
|
| +// Vd(0)=1 => UNDEFINED],
|
| +// uses: {}}
|
| class Actual_VMVN_immediate_1111001i1d000mmmddddcccc0q11mmmm_case_1
|
| : public ClassDecoder {
|
| public:
|
| Actual_VMVN_immediate_1111001i1d000mmmddddcccc0q11mmmm_case_1()
|
| : ClassDecoder() {}
|
| + virtual RegisterList defs(Instruction inst) const;
|
| virtual SafetyLevel safety(Instruction i) const;
|
| + virtual RegisterList uses(Instruction i) const;
|
| private:
|
| NACL_DISALLOW_COPY_AND_ASSIGN(
|
| Actual_VMVN_immediate_1111001i1d000mmmddddcccc0q11mmmm_case_1);
|
|
|