<html><body><div style="color:#000; background-color:#fff; font-family:times new roman, new york, times, serif;font-size:10pt"><div>Hello !</div><div><br></div><div style="color: rgb(0, 0, 0); font-size: 13.3333px; font-family: times new roman,new york,times,serif; background-color: transparent; font-style: normal;">This may be a trivial question, but I cannot get fields from a Value type.</div><div style="color: rgb(0, 0, 0); font-size: 13.3333px; font-family: times new roman,new york,times,serif; background-color: transparent; font-style: normal;"><br></div><div style="color: rgb(0, 0, 0); font-size: 13.3333px; font-family: times new roman,new york,times,serif; background-color: transparent; font-style: normal;">If my Value is <span style="font-style: italic;"><span style="font-weight: bold;">i32 1</span></span>, how can I store <span style="font-style: italic;"><span style="font-weight: bold;">1</span></span> in a different structure (an integer) ?
For the type, I have getType(). For the value, I see no method in Value.h. <span><br></span></div><div style="color: rgb(0, 0, 0); font-size: 13.3333px; font-family: times new roman,new york,times,serif; background-color: transparent; font-style: italic;"><span><br></span></div><div style="color: rgb(0, 0, 0); font-size: 13.3333px; font-family: times new roman,new york,times,serif; background-color: transparent;"><span>I tried to cast to <span style="font-style: italic;">ConstantExpr</span> and then to get operands, or cast to <span style="font-style: italic;">ConstantDataArray</span> and then use <span style="font-style: italic;">getAsString</span>(), but is not working. How should I get the value?</span></div><div style="color: rgb(0, 0, 0); font-size: 13.3333px; font-family: times new roman,new york,times,serif; background-color: transparent; font-style: normal;"><span><br></span></div><div style="color: rgb(0, 0, 0); font-size: 13.3333px;
font-family: times new roman,new york,times,serif; background-color: transparent; font-style: normal;"><span>Thank you !<br></span></div><div style="color: rgb(0, 0, 0); font-size: 13.3333px; font-family: times new roman,new york,times,serif; background-color: transparent; font-style: italic;"><br></div><div style="color: rgb(0, 0, 0); font-size: 13.3333px; font-family: times new roman,new york,times,serif; background-color: transparent; font-style: italic;"></div></div></body></html>