1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt < %s -ipsccp -S | FileCheck %s
3
4@G = internal global i66 undef
5
6
7define void @foo() {
8; CHECK-LABEL: @foo(
9; CHECK-NEXT:    [[X:%.*]] = load i66, i66* @G
10; CHECK-NEXT:    store i66 [[X]], i66* @G
11; CHECK-NEXT:    ret void
12;
13  %X = load i66, i66* @G
14  store i66 %X, i66* @G
15  ret void
16}
17
18define i66 @bar() {
19; CHECK-LABEL: @bar(
20; CHECK-NEXT:    [[V:%.*]] = load i66, i66* @G
21; CHECK-NEXT:    [[C:%.*]] = icmp eq i66 [[V]], 17
22; CHECK-NEXT:    br i1 [[C]], label [[T:%.*]], label [[F:%.*]]
23; CHECK:       T:
24; CHECK-NEXT:    store i66 17, i66* @G
25; CHECK-NEXT:    ret i66 17
26; CHECK:       F:
27; CHECK-NEXT:    store i66 123, i66* @G
28; CHECK-NEXT:    ret i66 0
29;
30  %V = load i66, i66* @G
31  %C = icmp eq i66 %V, 17
32  br i1 %C, label %T, label %F
33T:
34  store i66 17, i66* @G
35  ret i66 %V
36F:
37  store i66 123, i66* @G
38  ret i66 0
39}
40