Mercurial > hg > CbC > CbC_llvm
comparison test/CodeGen/X86/shuffle-combine-crash.ll @ 77:54457678186b LLVM3.6
LLVM 3.6
| author | Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Mon, 08 Sep 2014 22:06:00 +0900 |
| parents | |
| children | afa8332a0e37 |
comparison
equal
deleted
inserted
replaced
| 34:e874dbf0ad9d | 77:54457678186b |
|---|---|
| 1 ; RUN: llc < %s -mtriple=x86_64-unknown-linux-gnu -mcpu=corei7 | |
| 2 | |
| 3 ; Verify that DAGCombiner does not crash when checking if it is | |
| 4 ; safe to fold the shuffles in function @sample_test according to rule | |
| 5 ; (shuffle (shuffle A, Undef, M0), Undef, M1) -> (shuffle A, Undef, M2) | |
| 6 ; | |
| 7 ; The DAGCombiner avoids folding shuffles if | |
| 8 ; the resulting shuffle dag node is not legal for the target. | |
| 9 ; That means, the shuffle must have legal type and legal mask. | |
| 10 ; | |
| 11 ; Before, the DAGCombiner forgot to check if the resulting shuffle | |
| 12 ; was legal. It instead just called method | |
| 13 ; 'X86TargetLowering::isShuffleMaskLegal'; however, that was not enough since | |
| 14 ; that method always expect to have a valid vector type in input. | |
| 15 ; As a consequence, compiling the function below would have caused a crash. | |
| 16 | |
| 17 define void @sample_test() { | |
| 18 br i1 undef, label %5, label %1 | |
| 19 | |
| 20 ; <label>:1 ; preds = %0 | |
| 21 %2 = load <4 x i8>* undef | |
| 22 %3 = shufflevector <4 x i8> %2, <4 x i8> undef, <4 x i32> <i32 2, i32 2, i32 0, i32 0> | |
| 23 %4 = shufflevector <4 x i8> %3, <4 x i8> undef, <4 x i32> <i32 2, i32 3, i32 0, i32 1> | |
| 24 store <4 x i8> %4, <4 x i8>* undef | |
| 25 br label %5 | |
| 26 | |
| 27 ; <label>:5 ; preds = %1, %0 | |
| 28 ret void | |
| 29 } | |
| 30 |