llvm-6502/test/CodeGen/X86/2013-01-09-DAGCombineBug.ll
Benjamin Kramer 0b68b758bb DAGCombine: visitXOR can replace a node without returning it, bail out in that case.
Fixes the crash reported in PR15608.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@178429 91177308-0d34-0410-b5e6-96231b3b80d8
2013-03-30 21:28:18 +00:00

75 lines
4.1 KiB
LLVM

; RUN: llc -mtriple=x86_64-apple-macosx10.5.0 < %s
; rdar://12968664
define void @t() nounwind uwtable ssp {
br label %4
; <label>:1 ; preds = %4, %2
ret void
; <label>:2 ; preds = %6, %5, %3, %2
switch i32 undef, label %2 [
i32 1090573978, label %1
i32 1090573938, label %3
i32 1090573957, label %5
]
; <label>:3 ; preds = %4, %2
br i1 undef, label %2, label %4
; <label>:4 ; preds = %6, %5, %3, %0
switch i32 undef, label %11 [
i32 1090573938, label %3
i32 1090573957, label %5
i32 1090573978, label %1
i32 165205179, label %6
]
; <label>:5 ; preds = %4, %2
br i1 undef, label %2, label %4
; <label>:6 ; preds = %4
%7 = icmp eq i32 undef, 590901838
%8 = or i1 false, %7
%9 = or i1 true, %8
%10 = xor i1 %8, %9
br i1 %10, label %4, label %2
; <label>:11 ; preds = %11, %4
br label %11
}
; PR15608
@global = external constant [2 x i8]
define void @PR15608() {
bb:
br label %bb3
bb1: ; No predecessors!
br i1 icmp ult (i64 xor (i64 zext (i1 trunc (i192 lshr (i192 or (i192 shl (i192 zext (i64 trunc (i128 lshr (i128 trunc (i384 lshr (i384 or (i384 shl (i384 zext (i64 ptrtoint ([2 x i8]* @global to i64) to i384), i384 192), i384 425269881901436522087161771558896140289), i384 128) to i128), i128 64) to i64) to i192), i192 64), i192 1), i192 128) to i1) to i64), i64 1), i64 1), label %bb2, label %bb3
bb2: ; preds = %bb1
unreachable
bb3: ; preds = %bb1, %bb
br i1 xor (i1 trunc (i192 lshr (i192 or (i192 shl (i192 zext (i64 trunc (i128 lshr (i128 trunc (i384 lshr (i384 or (i384 shl (i384 zext (i64 ptrtoint ([2 x i8]* @global to i64) to i384), i384 192), i384 425269881901436522087161771558896140289), i384 128) to i128), i128 64) to i64) to i192), i192 64), i192 1), i192 128) to i1), i1 trunc (i192 lshr (i192 or (i192 and (i192 or (i192 shl (i192 zext (i64 trunc (i128 lshr (i128 trunc (i384 lshr (i384 or (i384 shl (i384 zext (i64 ptrtoint ([2 x i8]* @global to i64) to i384), i384 192), i384 425269881901436522087161771558896140289), i384 128) to i128), i128 64) to i64) to i192), i192 64), i192 1), i192 -340282366920938463463374607431768211457), i192 shl (i192 zext (i1 trunc (i192 lshr (i192 or (i192 shl (i192 zext (i64 trunc (i128 lshr (i128 trunc (i384 lshr (i384 or (i384 shl (i384 zext (i64 ptrtoint ([2 x i8]* @global to i64) to i384), i384 192), i384 425269881901436522087161771558896140289), i384 128) to i128), i128 64) to i64) to i192), i192 64), i192 1), i192 128) to i1) to i192), i192 128)), i192 128) to i1)), label %bb7, label %bb4
bb4: ; preds = %bb6, %bb3
%tmp = phi i1 [ true, %bb6 ], [ trunc (i192 lshr (i192 or (i192 and (i192 or (i192 shl (i192 zext (i64 trunc (i128 lshr (i128 trunc (i384 lshr (i384 or (i384 shl (i384 zext (i64 ptrtoint ([2 x i8]* @global to i64) to i384), i384 192), i384 425269881901436522087161771558896140289), i384 128) to i128), i128 64) to i64) to i192), i192 64), i192 1), i192 -340282366920938463463374607431768211457), i192 shl (i192 zext (i1 trunc (i192 lshr (i192 or (i192 shl (i192 zext (i64 trunc (i128 lshr (i128 trunc (i384 lshr (i384 or (i384 shl (i384 zext (i64 ptrtoint ([2 x i8]* @global to i64) to i384), i384 192), i384 425269881901436522087161771558896140289), i384 128) to i128), i128 64) to i64) to i192), i192 64), i192 1), i192 128) to i1) to i192), i192 128)), i192 128) to i1), %bb3 ]
br i1 false, label %bb8, label %bb5
bb5: ; preds = %bb4
br i1 %tmp, label %bb8, label %bb6
bb6: ; preds = %bb5
br i1 false, label %bb8, label %bb4
bb7: ; preds = %bb3
unreachable
bb8: ; preds = %bb6, %bb5, %bb4
unreachable
}