diff options
author | Alon Zakai <alonzakai@gmail.com> | 2013-03-31 20:21:35 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2013-03-31 20:21:35 -0700 |
commit | 169884133ca0224a27a196da54763bf585465fd3 (patch) | |
tree | 47bb08d9dae7483a8f8f3894d224c49a4847d782 | |
parent | e4fec6624570a2560e9b5fe235a8a9e6044ea931 (diff) |
differentiate better the ambiguous case of llvm call (where the type can be either just the return type, or the entire function type): ** and above are certainly just the return type
-rw-r--r-- | src/parseTools.js | 3 | ||||
-rw-r--r-- | tests/cases/caall.ll | 21 |
2 files changed, 23 insertions, 1 deletions
diff --git a/src/parseTools.js b/src/parseTools.js index d0d3e89f..6818e442 100644 --- a/src/parseTools.js +++ b/src/parseTools.js @@ -65,7 +65,7 @@ function pointingLevels(type) { var ret = 0; var len1 = type.length - 1; while (type[len1-ret] && type[len1-ret] === '*') { - ret ++; + ret++; } return ret; } @@ -234,6 +234,7 @@ function isFunctionType(type, out) { } function getReturnType(type) { + if (pointingLevels(type) > 1) return '*'; // the type of a call can be either the return value, or the entire function. ** or more means it is a return value var lastOpen = type.lastIndexOf('('); if (lastOpen > 0) { return type.substr(0, lastOpen-1); diff --git a/tests/cases/caall.ll b/tests/cases/caall.ll new file mode 100644 index 00000000..e723c056 --- /dev/null +++ b/tests/cases/caall.ll @@ -0,0 +1,21 @@ +; ModuleID = 'tests/hello_world.bc' +target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32-n8:16:32-S128" +target triple = "i386-pc-linux-gnu" + +@.str = private unnamed_addr constant [15 x i8] c"hello, world!\0A\00", align 1 ; [#uses=1 type=[15 x i8]*] + +; [#uses=0] +define i32 @main() { +entry: + %retval = alloca i32, align 4 ; [#uses=1 type=i32*] + store i32 0, i32* %retval + %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([15 x i8]* @.str, i32 0, i32 0)) ; [#uses=0 type=i32] + %call12 = call void (i32*)** @_ZNSt3__13mapINS_12basic_stringIcNS_11char_traitsIcEENS_9allocatorIcEEEEPFvP6ObjectENS_4lessIS6_EENS4_INS_4pairIKS6_SA_EEEEEixERSE_(i32 10) + %26 = load void (%class.Object*)** %call12 + ret i32 1 +} + +declare (i32*)** @_ZNSt3__13mapINS_12basic_stringIcNS_11char_traitsIcEENS_9allocatorIcEEEEPFvP6ObjectENS_4lessIS6_EENS4_INS_4pairIKS6_SA_EEEEEixERSE_(i32 %x) + +; [#uses=1] +declare i32 @printf(i8*, ...) |