[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / 2009-03-09-APIntCrash.ll
blob1c4d71e38a954f6b43b75e56f5edcc1e188f5b30
1 ; RUN: llc < %s -mtriple=x86_64--
2 ; PR3763
3         %struct.__block_descriptor = type { i64, i64 }
5 define %struct.__block_descriptor @evUTCTime() nounwind {
6 entry:
7         br i1 false, label %if.then, label %return
9 if.then:                ; preds = %entry
10         %srcval18 = load i128, i128* null, align 8              ; <i128> [#uses=1]
11         %tmp15 = lshr i128 %srcval18, 64                ; <i128> [#uses=1]
12         %tmp9 = mul i128 %tmp15, 18446744073709551616000                ; <i128> [#uses=1]
13         br label %return
15 return:         ; preds = %if.then, %entry
16         %retval.0 = phi i128 [ %tmp9, %if.then ], [ undef, %entry ]             ; <i128> [#uses=0]
17         ret %struct.__block_descriptor undef
20 define i128 @test(i128 %arg) nounwind {
21         %A = shl i128 1, 92
22         %B = sub i128 0, %A
23         %C = mul i128 %arg, %B
24         ret i128 %C  ;; should codegen to neg(shift)