src/llvm/value.slate

   1 define: #Value &parents: {Pointer}.
   2
   3 v@(Value traits) new [
   4   v shouldNotImplement
   5 ].
   6
   7 "------------------------------------Operations on all values-----------------------------------------"
   8
   9 "const char *LLVMGetValueName(LLVMValueRef Val);"
  10 v@(Value traits) name [
  11   Lib primitives LLVMGetValueName applyTo: {v handle}
  12 ].
  13
  14 "void LLVMSetValueName(LLVMValueRef Val, const char *Name);"
  15 v@(Value traits) name: name@(String traits) [
  16   Lib primitives LLVMSetValueName applyTo: {v handle. name }.
  17   v
  18 ].
  19
  20 Value traits define: #User &parents: {Value}.
  21
  22 Value traits define: #Constant &parents: {Value User}.
  23
  24 Value traits define: #GlobalValue &parents: {Value Constant}.
  25
  26 "------------------------------------Operations on parameters-----------------------------------------"
  27
  28 Value traits define: #Function &parents: {Value GlobalValue}.
  29
  30 "unsigned LLVMCountParams(LLVMValueRef Fn);"
  31 f@(Value Function traits) parameterCount [
  32   Lib primitives LLVMCountParams applyTo: {f handle}
  33 ].
  34
  35 "LLVMValueRef LLVMGetParam(LLVMValueRef Fn, unsigned Index);"
  36 f@(Value Function traits) parameterAt: index@(Integer traits) [
  37   Value newWithHandle: (
  38     Lib primitives LLVMGetParam applyTo: {f handle. index}
  39   )
  40 ].
  41
  42 f@(Value Function traits) parameters
  43 [
  44   parameters ::= Array new &capacity: f parameterCount.
  45   parameters keysDo:
  46     [| :index | parameters at: index put: (f parameterAt: index)].
  47   parameters
  48 ].
  49
  50 Value traits define: #GlobalVariable &parents: {Value GlobalValue}.
  51
  52 Value traits define: #BasicBlock &parents: {Value}.
  53
  54 "------------------------------------Operations on basic blocks-----------------------------------------"
  55
  56 "LLVMBasicBlockRef LLVMAppendBasicBlock(LLVMValueRef Fn, const char *Name);"
  57 f@(Value Function traits) addBlockNamed: name@(String traits) [
  58   Value BasicBlock newWithHandle: (
  59     Lib primitives LLVMAppendBasicBlock applyTo: {f handle. name }
  60   )
  61 ].
  62
  63 "------------------------------------Operations on basic blocks-----------------------------------------"
  64
  65 "int wrapper_LLVMVerifyFunction(LLVMValueRef Fn);"
  66 f@(Value Function traits) verify &failureAction [
  67   failureAction `defaultsTo: VerifierFailureAction ReturnStatus.
  68   Lib primitives LLVMVerifyFunction applyTo: { f handle. failureAction }
  69 ].
  70
  71 "------------------------------------Constant expressions-----------------------------------------"
  72
  73 Value traits define: #ConstantInt &parents: {Value Constant}.
  74
  75 "LLVMValueRef LLVMConstIntToPtr(LLVMValueRef ConstantVal, LLVMTypeRef ToType);"
  76 ci@(Value ConstantInt traits) as: pointer@(Type Pointer traits) [
  77   Value newWithHandle: (
  78     Lib primitives LLVMConstIntToPtr applyTo: {ci handle. pointer handle}
  79   )
  80 ].
  81
  82
  83
  84
  85