aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2013-03-31 20:21:35 -0700
committerAlon Zakai <alonzakai@gmail.com>2013-03-31 20:21:35 -0700
commit169884133ca0224a27a196da54763bf585465fd3 (patch)
tree47bb08d9dae7483a8f8f3894d224c49a4847d782
parente4fec6624570a2560e9b5fe235a8a9e6044ea931 (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.js3
-rw-r--r--tests/cases/caall.ll21
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*, ...)