llvm/test/Transforms/SCCP/apint-ipsccp3.ll

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