[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / GlobalOpt / large-int-crash.ll
blob7584554b9781484a670258e1c93bb0c833368ea8
1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2 ; RUN: opt < %s -globalopt -S | FileCheck %s
4 @X = internal global i128 0
6 define void @foo() {
7 ; CHECK-LABEL: @foo(
8 ; CHECK-NEXT:    [[T0_B:%.*]] = load i1, i1* @X
9 ; CHECK-NEXT:    [[T0:%.*]] = select i1 [[T0_B]], i128 18446744073709551616, i128 0
10 ; CHECK-NEXT:    ret void
12   %t0 = load i128, i128* @X, align 8
13   ret void
16 define void @store() {
17 ; CHECK-LABEL: @store(
18 ; CHECK-NEXT:    store i1 true, i1* @X
19 ; CHECK-NEXT:    ret void
21   store i128 18446744073709551616, i128* @X, align 8
22   ret void