| Florian Hahn | f8045b2 | 2020-02-14 00:05:50 +0100 | [diff] [blame] | 1 | ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| 2 | ; RUN: opt < %s -ipsccp -S | FileCheck %s |
| Eric Christopher | cee313d | 2019-04-17 04:52:47 +0000 | [diff] [blame] | 3 | |
| 4 | @G = internal global i66 undef |
| 5 | |
| 6 | |
| Eric Christopher | cee313d | 2019-04-17 04:52:47 +0000 | [diff] [blame] | 7 | define void @foo() { |
| Florian Hahn | f8045b2 | 2020-02-14 00:05:50 +0100 | [diff] [blame] | 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 |
| Eric Christopher | cee313d | 2019-04-17 04:52:47 +0000 | [diff] [blame] | 16 | } |
| 17 | |
| 18 | define i66 @bar() { |
| Florian Hahn | f8045b2 | 2020-02-14 00:05:50 +0100 | [diff] [blame] | 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 |
| Eric Christopher | cee313d | 2019-04-17 04:52:47 +0000 | [diff] [blame] | 33 | T: |
| Florian Hahn | f8045b2 | 2020-02-14 00:05:50 +0100 | [diff] [blame] | 34 | store i66 17, i66* @G |
| 35 | ret i66 %V |
| Eric Christopher | cee313d | 2019-04-17 04:52:47 +0000 | [diff] [blame] | 36 | F: |
| Florian Hahn | f8045b2 | 2020-02-14 00:05:50 +0100 | [diff] [blame] | 37 | store i66 123, i66* @G |
| 38 | ret i66 0 |
| Eric Christopher | cee313d | 2019-04-17 04:52:47 +0000 | [diff] [blame] | 39 | } |