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

This commit is contained in:
Alon Zakai 2013-03-31 20:21:35 -07:00
Родитель e4fec66245
Коммит 169884133c
2 изменённых файлов: 23 добавлений и 1 удалений

Просмотреть файл

@ -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);

21
tests/cases/caall.ll Normal file
Просмотреть файл

@ -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*, ...)