6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-04-06 09:44:39 +00:00
Code Issues Projects Releases Wiki Activity

SimplifyCFG: Don't crash when forming a switch bitmap with an undef default value.

Browse Source 
Fixes PR13985.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@164934 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Benjamin Kramer 2012-10-01 11:31:48 +00:00
parent 1e1b16c485
commit 64f27e78c4
2 changed files with 29 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
lib/Transforms/Utils/SimplifyCFG.cpp
View File

@ -3351,8 +3351,11 @@ SwitchLookupTable::SwitchLookupTable(Module &M,
APInt TableInt(TableSize * IT->getBitWidth(), 0);
for (uint64_t I = TableSize; I > 0; --I) {
TableInt <<= IT->getBitWidth();
ConstantInt *Val = cast<ConstantInt>(TableContents[I - 1]);
TableInt |= Val->getValue().zext(TableInt.getBitWidth());
// Insert values into the bitmap. Undef values are set to zero.
if (!isa<UndefValue>(TableContents[I - 1])) {
ConstantInt *Val = cast<ConstantInt>(TableContents[I - 1]);
TableInt |= Val->getValue().zext(TableInt.getBitWidth());
}
}
BitMap = ConstantInt::get(M.getContext(), TableInt);
BitMapElementTy = IT;

24
test/Transforms/SimplifyCFG/switch_to_lookup_table.ll
View File

@ -269,3 +269,27 @@ if.end:
; CHECK: switch
; CHECK: phi
}
; PR13985
define i1 @undef(i32 %tmp) uwtable ssp {
bb:
switch i32 %tmp, label %bb3 [
i32 0, label %bb1
i32 1, label %bb1
i32 7, label %bb2
i32 8, label %bb2
]
bb1: ; preds = %bb, %bb
br label %bb3
bb2: ; preds = %bb, %bb
br label %bb3
bb3: ; preds = %bb2, %bb1, %bb
%tmp4 = phi i1 [ undef, %bb ], [ false, %bb2 ], [ true, %bb1 ]
ret i1 %tmp4
; CHECK: define i1 @undef
; CHECK: %switch.cast = trunc i32 %switch.tableidx to i9
; CHECK: %switch.downshift = lshr i9 3, %switch.shiftamt
}