1*0957b409SSimon J. Gerraty /* 2*0957b409SSimon J. Gerraty * Copyright (c) 2016 Thomas Pornin <pornin@bolet.org> 3*0957b409SSimon J. Gerraty * 4*0957b409SSimon J. Gerraty * Permission is hereby granted, free of charge, to any person obtaining 5*0957b409SSimon J. Gerraty * a copy of this software and associated documentation files (the 6*0957b409SSimon J. Gerraty * "Software"), to deal in the Software without restriction, including 7*0957b409SSimon J. Gerraty * without limitation the rights to use, copy, modify, merge, publish, 8*0957b409SSimon J. Gerraty * distribute, sublicense, and/or sell copies of the Software, and to 9*0957b409SSimon J. Gerraty * permit persons to whom the Software is furnished to do so, subject to 10*0957b409SSimon J. Gerraty * the following conditions: 11*0957b409SSimon J. Gerraty * 12*0957b409SSimon J. Gerraty * The above copyright notice and this permission notice shall be 13*0957b409SSimon J. Gerraty * included in all copies or substantial portions of the Software. 14*0957b409SSimon J. Gerraty * 15*0957b409SSimon J. Gerraty * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, 16*0957b409SSimon J. Gerraty * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF 17*0957b409SSimon J. Gerraty * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND 18*0957b409SSimon J. Gerraty * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS 19*0957b409SSimon J. Gerraty * BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN 20*0957b409SSimon J. Gerraty * ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN 21*0957b409SSimon J. Gerraty * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE 22*0957b409SSimon J. Gerraty * SOFTWARE. 23*0957b409SSimon J. Gerraty */ 24*0957b409SSimon J. Gerraty 25*0957b409SSimon J. Gerraty using System; 26*0957b409SSimon J. Gerraty 27*0957b409SSimon J. Gerraty class TPointerExpr : TPointerBase { 28*0957b409SSimon J. Gerraty 29*0957b409SSimon J. Gerraty string expr; 30*0957b409SSimon J. Gerraty int min, max; 31*0957b409SSimon J. Gerraty TPointerExpr(string expr, int min, int max)32*0957b409SSimon J. Gerraty internal TPointerExpr(string expr, int min, int max) 33*0957b409SSimon J. Gerraty { 34*0957b409SSimon J. Gerraty this.expr = expr; 35*0957b409SSimon J. Gerraty this.min = min; 36*0957b409SSimon J. Gerraty this.max = max; 37*0957b409SSimon J. Gerraty } 38*0957b409SSimon J. Gerraty ToBool(TValue vp)39*0957b409SSimon J. Gerraty internal override bool ToBool(TValue vp) 40*0957b409SSimon J. Gerraty { 41*0957b409SSimon J. Gerraty throw new Exception("Cannot evaluate C-expr at compile time"); 42*0957b409SSimon J. Gerraty } 43*0957b409SSimon J. Gerraty ToString(TValue vp)44*0957b409SSimon J. Gerraty internal override string ToString(TValue vp) 45*0957b409SSimon J. Gerraty { 46*0957b409SSimon J. Gerraty return ToCExpr(vp.x); 47*0957b409SSimon J. Gerraty } 48*0957b409SSimon J. Gerraty ToCExpr(int off)49*0957b409SSimon J. Gerraty internal string ToCExpr(int off) 50*0957b409SSimon J. Gerraty { 51*0957b409SSimon J. Gerraty if (off == 0) { 52*0957b409SSimon J. Gerraty return expr; 53*0957b409SSimon J. Gerraty } else if (off > 0) { 54*0957b409SSimon J. Gerraty return String.Format( 55*0957b409SSimon J. Gerraty "(uint32_t)({0}) + {1}", expr, off); 56*0957b409SSimon J. Gerraty } else { 57*0957b409SSimon J. Gerraty return String.Format( 58*0957b409SSimon J. Gerraty "(uint32_t)({0}) - {1}", expr, -(long)off); 59*0957b409SSimon J. Gerraty } 60*0957b409SSimon J. Gerraty } 61*0957b409SSimon J. Gerraty GetMaxBitLength(int off)62*0957b409SSimon J. Gerraty internal int GetMaxBitLength(int off) 63*0957b409SSimon J. Gerraty { 64*0957b409SSimon J. Gerraty long rmin = (long)min + off; 65*0957b409SSimon J. Gerraty long rmax = (long)max + off; 66*0957b409SSimon J. Gerraty int numBits = 1; 67*0957b409SSimon J. Gerraty if (rmin < 0) { 68*0957b409SSimon J. Gerraty numBits = Math.Max(numBits, BitLength(rmin)); 69*0957b409SSimon J. Gerraty } 70*0957b409SSimon J. Gerraty if (rmax > 0) { 71*0957b409SSimon J. Gerraty numBits = Math.Max(numBits, BitLength(rmax)); 72*0957b409SSimon J. Gerraty } 73*0957b409SSimon J. Gerraty return Math.Min(numBits, 32); 74*0957b409SSimon J. Gerraty } 75*0957b409SSimon J. Gerraty 76*0957b409SSimon J. Gerraty /* 77*0957b409SSimon J. Gerraty * Get the minimal bit length of a value. This is for a signed 78*0957b409SSimon J. Gerraty * representation: the length includes a sign bit. Thus, the 79*0957b409SSimon J. Gerraty * returned value will be at least 1. 80*0957b409SSimon J. Gerraty */ BitLength(long v)81*0957b409SSimon J. Gerraty static int BitLength(long v) 82*0957b409SSimon J. Gerraty { 83*0957b409SSimon J. Gerraty int num = 1; 84*0957b409SSimon J. Gerraty if (v < 0) { 85*0957b409SSimon J. Gerraty while (v != -1) { 86*0957b409SSimon J. Gerraty num ++; 87*0957b409SSimon J. Gerraty v >>= 1; 88*0957b409SSimon J. Gerraty } 89*0957b409SSimon J. Gerraty } else { 90*0957b409SSimon J. Gerraty while (v != 0) { 91*0957b409SSimon J. Gerraty num ++; 92*0957b409SSimon J. Gerraty v >>= 1; 93*0957b409SSimon J. Gerraty } 94*0957b409SSimon J. Gerraty } 95*0957b409SSimon J. Gerraty return num; 96*0957b409SSimon J. Gerraty } 97*0957b409SSimon J. Gerraty } 98