LLVM代碼生成：恆定值fptoui指令

Question

比方說，我們有一些代碼

%conv = fptoui double -1 to i32

執行轉化％後爲4294967295確定。但是，當我試圖生成這樣的代碼，我叫

Builder.CreateFPToUI(val, Builder.getInt32Ty())

其中val是ConstantFP其值是-1，則返回ConstantInt其值爲0，而不是4294967295！有人可以解釋爲什麼嗎？

UPD： Example.Let說，我需要生成IR下一碼

a << -1 

代碼生成會像水木清華

Value* one; // for 1 literal 
Value* minusOne; // for -1 
Value* a; //represents variable a 
.... 
one = llvm::ConstantFP::get(Builder.getDoubleTy(), 1); 
.... 
/* Negation. CreateFSub also doesn't emits instruction but returns ConstantFP with -1 value */ 
minusOne = CreateFSub(ConstantFP::getZeroValueForNegation(Builder.getDoubleTy()), one); 
.... 
Value* unsignedOne = Builder.CreateFPToUI(minusOne, Builder.getInt32Ty()); 
.... 
Value* shift = Builder.CreateShl(a, unsignedOne, "shl"); 

而這一切，只是變成了

%shl = shl i32 %a, 0 

Answer 1

來自language reference：

'fptoui'指令將其浮點操作數轉換爲最接近（向零舍入）的無符號整數值。 如果該值不適合ty2，則結果未定義爲。

-1不適合任何無符號整數類型...所以你得到未定義的結果。

如果你想知道如何從同一個IR獲得兩件不同的東西，那麼你應該知道它不是一樣的IR：如你所見，IRBuilder::CreateFPToUI調用的結果是一個值（ConstantInt）和不是指令，因爲它是不斷摺疊的。