| Meador Inge | 56edbc9 | 2012-11-11 03:51:48 +0000 | [diff] [blame] | 1 | ; Test that the strstr library call simplifier works correctly. |
| 2 | ; |
| 3 | ; RUN: opt < %s -instcombine -S | FileCheck %s |
| 4 | |
| 5 | target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" |
| 6 | |
| 7 | @null = private constant [1 x i8] zeroinitializer |
| 8 | |
| 9 | declare i8 @strstr(i8*, i8*) |
| 10 | |
| 11 | define i8 @test_no_simplify1(i8* %str) { |
| Stephen Lin | c1c7a13 | 2013-07-14 01:42:54 +0000 | [diff] [blame] | 12 | ; CHECK-LABEL: @test_no_simplify1( |
| Meador Inge | 56edbc9 | 2012-11-11 03:51:48 +0000 | [diff] [blame] | 13 | %pat = getelementptr inbounds [1 x i8]* @null, i32 0, i32 0 |
| 14 | %ret = call i8 @strstr(i8* %str, i8* %pat) |
| 15 | ; CHECK-NEXT: call i8 @strstr |
| 16 | ret i8 %ret |
| 17 | ; CHECK-NEXT: ret i8 %ret |
| 18 | } |