-- Iir to ortho translator.
-- Copyright (C) 2002 - 2014 Tristan Gingold
--
-- GHDL is free software; you can redistribute it and/or modify it under
-- the terms of the GNU General Public License as published by the Free
-- Software Foundation; either version 2, or (at your option) any later
-- version.
--
-- GHDL is distributed in the hope that it will be useful, but WITHOUT ANY
-- WARRANTY; without even the implied warranty of MERCHANTABILITY or
-- FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
-- for more details.
--
-- You should have received a copy of the GNU General Public License
-- along with GCC; see the file COPYING. If not, write to the Free
-- Software Foundation, 59 Temple Place - Suite 330, Boston, MA
-- 02111-1307, USA.
package Trans.Chap6 is
-- Translate NAME.
function Translate_Name (Name : Iir; Mode : Object_Kind_Type) return Mnode;
-- Translate signal NAME. Return both the signal name SIG and the value
-- name VAL.
procedure Translate_Signal_Name
(Name : Iir; Sig : out Mnode; Val : out Mnode);
-- Translate signal NAME into its node (SIG) and its direct driver
-- node (DRV).
procedure Translate_Direct_Driver
(Name : Iir; Sig : out Mnode; Drv : out Mnode);
-- Translate port NAME to its node (SIG) and its default value (INIT).
procedure Translate_Port_Init
(Name : Iir; Sig : out Mnode; Init : out Mnode);
-- Direct driver of SIG (must be present).
function Get_Signal_Direct_Driver (Sig : Iir) return Mnode;
-- Initial value of PORT (must be present).
function Get_Port_Init_Value (Port : Iir) return Mnode;
-- Get record element EL of PREFIX.
function Translate_Selected_Element
(Prefix : Mnode; El : Iir_Element_Declaration) return Mnode;
-- Get array element at OFFSET of PREFIX. If unbounded, PREFIX must be
-- stabilized.
function Translate_Indexed_Name_By_Offset
(Prefix : Mnode; Prefix_Type : Iir; Offset : O_Dnode) return Mnode;
function Stabilize_If_Unbounded (Val : Mnode) return Mnode;
function Get_Array_Bound_Length (Arr : Mnode; Arr_Type : Iir; Dim : Natural)
return O_Enode;
procedure Gen_Bound_Error (Loc : Iir);
-- Generate code to emit a program error.
Prg_Err_Missing_Return : constant Natural := 1;
Prg_Err_Block_Configured : constant Natural := 2;
pragma Unreferenced (Prg_Err_Block_Configured);
Prg_Err_Dummy_Config : constant Natural := 3;
Prg_Err_No_Choice : constant Natural := 4;
Prg_Err_Bad_Choice : constant Natural := 5;
Prg_Err_Unreach_State : constant Natural := 6;
procedure Gen_Program_Error (Loc : Iir; Code : Natural);
-- Generate code to emit a failure if COND is TRUE, indicating an
-- index violation for dimension DIM of an array. LOC is usually
-- the expression which has computed the index and is used only for
-- its location.
procedure Check_Bound_Error (Cond : O_Enode; Loc : Iir; Dim : Natural);
-- Get the deepest range_expression of ATYPE.
-- This follows 'range and 'reverse_range.
-- Set IS_REVERSE to true if the range must be reversed.
procedure Get_Deep_Range_Expression
(Atype : Iir; Rng : out Iir; Is_Reverse : out Boolean);
-- Get the offset of INDEX in the range RNG.
-- This checks INDEX belongs to the range.
-- RANGE_TYPE is the subtype of the array index (or the subtype of RNG).
-- For unconstrained ranges, INDEX_EXPR must be NULL_IIR and RANGE_TYPE
-- must be set.
function Translate_Index_To_Offset (Rng : Mnode;
Index : O_Enode;
Index_Expr : Iir;
Range_Type : Iir;
Loc : Iir)
return O_Enode;
end Trans.Chap6;
11' href='#n11'>11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
# http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
# implied.
# See the License for the specific language governing permissions and
# limitations under the License.
import pytest
from cryptography import utils
from cryptography.exceptions import UnsupportedAlgorithm, InternalError
from cryptography.hazmat.bindings.commoncrypto.binding import Binding
from cryptography.hazmat.primitives import interfaces
from cryptography.hazmat.primitives.ciphers.algorithms import AES
from cryptography.hazmat.primitives.ciphers.base import Cipher
from cryptography.hazmat.primitives.ciphers.modes import CBC, GCM
@utils.register_interface(interfaces.CipherAlgorithm)
class DummyCipher(object):
name = "dummy-cipher"
block_size = 128
@pytest.mark.skipif(not Binding.is_available(),
reason="CommonCrypto not available")
class TestCommonCrypto(object):
def test_supports_cipher(self):
from cryptography.hazmat.backends.commoncrypto.backend import backend
assert backend.cipher_supported(None, None) is False
def test_register_duplicate_cipher_adapter(self):
from cryptography.hazmat.backends.commoncrypto.backend import backend
with pytest.raises(ValueError):
backend._register_cipher_adapter(
AES, backend._lib.kCCAlgorithmAES128,
CBC, backend._lib.kCCModeCBC
)
def test_handle_response(self):
from cryptography.hazmat.backends.commoncrypto.backend import backend
with pytest.raises(ValueError):
backend._check_response(backend._lib.kCCAlignmentError)
with pytest.raises(InternalError):
backend._check_response(backend._lib.kCCMemoryFailure)
with pytest.raises(InternalError):
backend._check_response(backend._lib.kCCDecodeError)
def test_nonexistent_aead_cipher(self):
from cryptography.hazmat.backends.commoncrypto.backend import Backend
b = Backend()
cipher = Cipher(
DummyCipher(), GCM(b"fake_iv_here"), backend=b,
)
with pytest.raises(UnsupportedAlgorithm):
cipher.encryptor()
|